三角関数の導関数についての証明です。