ずっと書く書く言っていてやってない強制法のいい加減な導入ですが、まだ当分書けないと思います(ダメ過ぎ)。ちょっと眠れないので一点だけ。っていうか、わかる必要なんて無いんですよ、強制法がどう正当化されるかなんて。sinの微分がcosになることを証明…