今回は
- (sinx)′=cosx
- (cosx)′=−sinx
がなぜ成り立つのかを、微分の定義から見ていきます。
三角関数の微分は公式として覚えることが多いですが、実はこれも極限から自然に現れます。
1. 微分の定義
まず、微分の定義を確認します。
f′(x)=h→0limhf(x+h)−f(x)
今回はこの定義に、三角関数をそのまま代入して考えます。
2. sinx の微分
f(x)=sinx とすると
f′(x)=h→0limhsin(x+h)−sinx
です。
ここで加法定理
sin(x+h)=sinxcosh+cosxsinh
を使うと
hsin(x+h)−sinx=hsinxcosh+cosxsinh−sinx=hsinx(cosh−1)+hcosxsinh
となります。
三角関数の加法定理についてはこちらをご覧ください。
寄り道
したがって
f′(x)=h→0lim(sinxhcosh−1+cosxhsinh)
ここで重要なのは、次の2つの極限です。
h→0limhsinh=1
h→0limhcosh−1=0
これを使うと
f′(x)=sinx⋅0+cosx⋅1=cosx
となります。
つまり
(sinx)′=cosx
です。
3. cosx の微分
同様に
f(x)=cosx
とすると
f′(x)=h→0limhcos(x+h)−cosx
です。
加法定理
cos(x+h)=cosxcosh−sinxsinh
を使うと
hcos(x+h)−cosx=hcosxcosh−sinxsinh−cosx=hcosx(cosh−1)−hsinxsinh
したがって
f′(x)=h→0lim(cosxhcosh−1−sinxhsinh)
同じ極限を使うと
f′(x)=cosx⋅0−sinx⋅1=−sinx
となります。
つまり
(cosx)′=−sinx
です。
4. なぜこの形になるのか
ここまでの計算で、
- sinx → cosx
- cosx → −sinx
という関係が出てきました。
これは偶然ではなく、
三角関数が回転と対応している
ことと関係しています。
角度を少しずらすと、
- sin は cos の方向に変化し
- cos は −sin の方向に変化する
という構造になっています。
つまり微分とは
「どの方向に変化するか」を取り出している
とも考えることができます。
5. 重要な極限について
今回の計算では次の2つを使いました。
h→0limhsinh=1
h→0limhcosh−1=0
これらは三角関数の微分の土台になる非常に重要な結果です。
この極限の証明には、図形的な考察や極限の議論が必要になります。
(ここは一段階難しくなるため、今回は結果だけを使いました。)
まとめ
三角関数の微分は
(sinx)′=cosx
(cosx)′=−sinx
となります。
これは
から導かれます。
三角関数の微分は丸暗記しがちですが、
極限から自然に現れる結果
であることが分かります。