数学の複素解析におけるオイラーの公式(オイラーのこうしき、英: Euler's formula)とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである: e i z = cos z + i sin z {\displaystyle e^{iz}=\cos z+i\sin z}
ここで z {\displaystyle z} は任意の複素数、 e {\displaystyle e} はネイピア数、 i {\displaystyle i} は虚数単位、 cos {\displaystyle \cos } は余弦関数、 sin {\displaystyle \sin } は正弦関数である。
特に、 z = φ ( ∈ R ) {\displaystyle z=\varphi (\in \mathbb {R} )} とする場合がよく使われ、この場合、 e i φ {\displaystyle e^{i\varphi }} は、絶対値 1 {\displaystyle 1} , 偏角 φ [ r a d ] {\displaystyle \varphi [\mathrm {rad} ]} の複素数に等しい。オイラーの公式の図形的な表現。複素数平面において、複素数 eiθ は、単位円周上の偏角 θ [rad] の点を表す。
オイラーの公式は、複素解析をはじめとする数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要である。物理学者のリチャード・P・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 だと述べている[1][2]。 この公式の名前は、18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に log ( cos x + i sin x ) = i x {\displaystyle \log \left(\cos x+i\sin x\right)=ix\ } を発見した[3]が、三角関数の周期性による対数関数の多価性を見逃した。1740年頃、オイラーは、コーツの公式を基に、指数関数と三角関数の級数展開を比較することによって、オイラーの公式を証明し、1748年に発表した[3]。 オイラーの公式を導入することにより、極形式の複素数は、より簡素な表記に変換することができる。すなわち、複素数の極形式 z = r(cos θ + i sin θ) は z = reiθ に等しい。また、特に、θ = π のとき、 e i π + 1 = 0 {\displaystyle e^{i\pi }+1=0} が導かれる。この関係式はオイラーの等式 (Euler's identity) と呼ばれる。 オイラーの公式により、余弦関数および正弦関数は、双曲線関数に変換することができる: cos θ = cosh i θ {\displaystyle \cos \theta =\cosh i\theta } sin θ = 1 i sinh i θ {\displaystyle \sin \theta ={\tfrac {1}{i}}\sinh i\theta } 応用上では、三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などが利用しやすくなる。 実関数としての指数関数 ex, 三角関数 cos x, sin x をそれぞれマクローリン展開すると e x = ∑ n = 0 ∞ x n n ! ( x ∈ R ) {\displaystyle e^{x}=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {x^{n}}{n!}}\quad (x\in \mathbb {R} )} (1) cos x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! x 2 n ( x ∈ R ) {\displaystyle \cos x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n)!}}\,x^{2n}\quad (x\in \mathbb {R} )} (2) sin x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! x 2 n + 1 ( x ∈ R ) {\displaystyle \sin x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n+1)!}}\,x^{2n+1}\quad (x\in \mathbb {R} )} (3) となる。これらの冪級数の収束半径が ∞ であることは、ダランベールの収束判定法によって確認することができる[注 1]。従ってこれらの級数は、変数 x を複素数全体に拡張することができ、広義一様収束する。つまりこれらの級数によって表される関数は整関数である[注 2]。解析接続すると、一致の定理より、複素数全体での正則関数としての拡張は一意であり、この収束冪級数で表される。 ここで、 ex の x を ix に置き換え、eix の冪級数が絶対収束することより級数の項の順序は任意に交換可能であることを考慮すれば e i x = ∑ n = 0 ∞ i n n ! x n = ∑ n = 0 ∞ i 2 n ( 2 n ) ! x 2 n + ∑ n = 0 ∞ i 2 n + 1 ( 2 n + 1 ) ! x 2 n + 1 = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! x 2 n + i ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! x 2 n + 1 = cos x + i sin x {\displaystyle {\begin{aligned}e^{ix}&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {i^{n}}{n!}}x^{n}\\&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {i^{2n}}{(2n)!}}x^{2n}+\sum \limits _{n=0}^{\infty }{\dfrac {i^{2n+1}}{(2n+1)!}}x^{2n+1}\\&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n)!}}x^{2n}+i\sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n+1)!}}x^{2n+1}\\&=\cos x+i\sin x\end{aligned}}}
概要
指数関数と三角関数
Size:101 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef