MathLabs
定理証明済み

オイラーの公式

内容

任意の実数 θ\theta に対して eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta が成り立つ。

なぜ正しいのか?

cos⁡θ+isin⁡θ\cos\theta+i\sin\theta を θ\theta で微分すると −sin⁡θ+icos⁡θ=i(cos⁡θ+isin⁡θ)-\sin\theta+i\cos\theta = i(\cos\theta+i\sin\theta) となる。つまりこの関数は、常にその時点の位置から 90°90° 回転した方向、すなわち自分自身に ii を掛けた方向へ増加していく——これはまさに eiθe^{i\theta} の振る舞いである。両者は角速度 11 で同じ単位円を描くため、同一の関数となる。θ=π\theta=\pi とすればオイラーの等式 eiπ+1=0e^{i\pi}+1=0 が得られる。

証明の概略

テイラー級数 ex=∑k=0∞xk/k!e^x=\sum_{k=0}^\infty x^k/k! に x=iθx=i\theta を代入し、ii の偶数乗と奇数乗の項を分ける:偶数次の項は i2=−1i^2=-1 を用いて ∑(−1)mθ2m/(2m)!=cos⁡θ\sum (-1)^m\theta^{2m}/(2m)! = \cos\theta にまとまり、奇数次の項は i∑(−1)mθ2m+1/(2m+1)!=isin⁡θi\sum (-1)^m\theta^{2m+1}/(2m+1)! = i\sin\theta にまとまる。

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. John Stillwell (2010). Mathematics and Its History