三角 関数 微分 証明クリムゾンナミ味方がいない