オイラーの公式 オイラーの公式の概要

オイラーの公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/10/16 12:51 UTC 版)

オイラーの公式の図形的な表現。グラフは横軸が実数軸、縦軸が虚数軸の複素平面であり、φ は複素数 e の偏角である。
e^{i\theta} =\cos\theta +i\sin\theta.

ここで e· は指数関数、i虚数単位cos(·), sin(·) はそれぞれ余弦関数および正弦関数である[注 1]θ実数なら、θ複素数 e がなす複素平面上の偏角に対応する。

公式の名前は18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に今日オイラーの公式と呼ばれる等式を発表したが、その証明は曖昧なものだった。その後オイラーによって1748年に再発見され、有名になった。

この公式は複素解析をはじめとする純粋数学の様々な分野や、電気工学物理学などで現れる微分方程式の解析において重要な役割を演じる。物理学者のリチャード・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 [1][2]だと述べている。

オイラーの公式は、変数 θ が実数である場合には、右辺は実空間上で定義される通常の三角関数で表され、虚数の指数関数の実部と虚部がそれぞれ角度 θ に対応する余弦関数 cos と正弦関数 sin に等しいことを表す。このとき、偏角 θパラメータとする曲線 e は、複素平面上の単位円をなす。 特に、θ = π のとき(すなわち偏角が 180 度のとき)、

e^{i\pi}=-1

となる。この関係はオイラーの等式 (Euler's identity) と呼ばれる[注 2]

θ が純虚数である場合には、左辺は実空間上で定義される通常の指数関数であり、右辺は純虚数に対する三角関数となる。

オイラーの公式は、三角関数 cos θ, sin θ双曲線関数 cosh(), sinh()/i に対応することを導く。また応用上は、オイラーの公式を経由して三角関数を複素指数関数に置き換えることで、微分方程式フーリエ級数などの扱いを簡単にすることなどに利用される。

指数関数と三角関数

実関数として定義される指数関数 ex および三角関数 cos x, sin x をそれぞれマクローリン展開すれば、

e^x =\sum^{\infin}_{n=0} \frac{1}{n!} x^{n},
\cos x=\sum^{\infin}_{n=0} (-1)^n \frac{1}{(2n)!} x^{2n},
\sin x=\sum^{\infin}_{n=0} (-1)^n \frac{1}{(2n+1)!} x^{2n+1}

なる冪級数としての表示を得る。これらの式の右辺に現れる級数は、x が複素平面上を動く複素変数と見た場合にも、任意の x の近傍で広義一様に絶対収束する。これら級数の収束性と正則関数に関する一致の定理により、正則関数としての拡張は全平面でこの収束冪級数によって確定されるため、複素関数としての指数関数・三角関数は通常、この級数展開式を以って定義される。ここで exix を代入すれば、絶対収束性によって和の順序交換が正当化され

e^{ix} = \sum^{\infin}_{n=0} i^n \frac{1}{n!} x^n =\sum^{\infin}_{n=0} (-1)^n \frac{1}{(2n)!} x^{2n} +i\sum^{\infin}_{n=0} (-1)^n \frac{1}{(2n+1)!} x^{2n+1}

なる式が意味を持つ。右辺の初項は cos x のマクローリン展開に、次項は sin x のマクローリン展開に i を乗じたものに他ならず、したがって等式 eix = cos x + i sin x が得られるのである。この公式は、全く起源の異なる指数関数三角関数が、複素数の世界では密接に結びついていることを示していると見ることができる。たとえば三角関数の加法定理は、指数法則 eaeb = ea+b に対応していることが分かる。さらに

\cos z=\frac{e^{iz}+e^{-iz}}{2},
\sin z =\frac{e^{iz}-e^{-iz}}{2i}

と置き換えることで、三角関数は全て指数関数の一部であると見なすこともできる。

証明

この公式には、上記のマクローリン展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの証明を挙げる。

微分による証明

関数の微分を用いた証明を示す。実変数 x の関数 f (x) を次のように定義する。

f(x)=(\cos x-i\sin x)\cdot e^{ix}.

 

 

 

 

(1)

f (x) の微分は以下のようになる。


\begin{align}
f'(x)&= (\cos x-i\sin x)'\cdot e^{ix} +(\cos x-i\sin x)\cdot (e^{ix})' \qquad \mbox{(Leibniz's rule)} \\
     &= (-\sin x-i\cos x)\cdot e^{ix} +(\cos x-i\sin x)\cdot ie^{ix} \\
     &= \left\{(-\sin x-i\cos x) +(i\cos x + \sin x)\right\}\cdot e^{ix} \qquad (i^2 = -1)\\
     &= 0
\end{align}

したがって、すべての実数 x について f' (x) = 0 が成り立つ。これは f (x)定数関数であることと同値である。よって f (x) = f (0) より、

f(x)=(\cos 0-i\sin 0)\cdot e^{i\cdot 0}=1

 

 

 

 

(2)

となる。(2)(1) に代入すると次のようになる。

(\cos x-i\sin x)\cdot e^{ix} =1.

 

 

 

 

(3)

ここで (3) の両辺に、左辺の eix の係数の複素共役 (cos x + i sin x) を掛ければ、三角関数に関するピタゴラスの定理 sin2x + cos2x = 1 よりオイラーの公式が得られる[3]

e^{ix} =\cos x+i\sin x.

微分方程式による証明

微分方程式を用いた証明を示す。x を実数、x の関数 f (x) を以下のように定義する。

f(x) = \cos x + i\sin x.

また記法を簡潔にするために補助的な方程式

y = f(x)

によって y を定める。これらをまとめると以下の方程式を得る。

y = \cos x+ i\sin x.

 

 

 

 

(1)

(1)x = 0 を代入すると

y = \cos 0 + i\sin 0 = 1

 

 

 

 

(2)

を得る。(1) の両辺を x について微分し、両辺に虚数単位 i を掛けると以下のようになる。

i\frac{\mathrm{d}y}{\mathrm{d}x} 
= \underbrace{-i\sin x}_{\frac{\mathrm{d}\cos x}{\mathrm{d}x} = -\sin x} 
- \underbrace{\cos x}_{\frac{\mathrm{d}\sin x}{\mathrm{d}x} = \cos x}

 

 

 

 

(3)

(3)(1) より

\frac{\mathrm{d}y}{\mathrm{d}x} =iy

 

 

 

 

(4)

を得る[注 3](4) は、右辺の係数が実であれば、実数の指数関数の解析学的な定義に他ならない。すなわち、任意の 0 でない複素数 α について、関数 eαx は次の関係を満たす。

\frac{\mathrm d}{\mathrm{d}(\alpha x)}e^{\alpha x} = e^{\alpha x}.

 

 

 

 

(5)

(4)(5) を見比べ、α = i と置き換えれば、

y=e^{ix}

 

 

 

 

(6)

が成り立つ。最後に (1) および (6) から y を消去すればオイラーの公式が得られる。

e^{ix} = \cos x + i\sin x.

2階線型微分方程式による証明

2階線型微分方程式を用いた証明を示す。実数 x を変数とする関数

\begin{cases}
\displaystyle y = e^{ix} \\
\displaystyle y = \cos x \\
\displaystyle y = \sin x
\end{cases}

 

 

 

 

(1)

はいずれも以下の2階の線型常微分方程式の解である。

\frac{\mathrm{d}^2y}{{\mathrm{d}x}^2} + y = 0.

 

 

 

 

(2)

(2) は斉次な方程式なので、一般解は基本解の線型結合として表すことができる。 cos xsin x(2) の基本解なので、 (1) および (2) より

e^{ix} = C_1 \cos x + C_2 \sin x

 

 

 

 

(3)

が成立する。また、(3) の両辺を微分したものは

ie^{ix}=-C_1\sin x + C_2 \cos x

 

 

 

 

(4)

となる。(3), (4)x = 0 を代入したものはそれぞれ、

\begin{align}
1 = C_1\\
i = C_2
\end{align}

 

 

 

 

(5)

となるので[注 4](5) より (3) の線型結合はオイラーの公式を与える[4]

e^{ix} = \cos x + i\sin x.

ロンスキー行列による証明

ロンスキー行列式を用いた証明を示す。 cos xsin xeix のロンスキー行列式 W

W=\begin{pmatrix}
\cos x & \sin x & e^{ix}\\
-\sin x & \cos x & ie^{ix}\\
-\cos x & -\sin x & -e^{ix}
\end{pmatrix}

上記の 3 行 3 列の行列式を計算すると

|W|=\begin{vmatrix}
\cos x & \sin x & e^{ix}\\
-\sin x & \cos x & ie^{ix}\\
-\cos x & -\sin x & -e^{ix}
\end{vmatrix}=0

ロンスキー行列 W行列式 |W| = 0 なので、cos x, sin x, eix線型従属である。 そのため[注 5]

e^{ix} = a \cos x + b \sin x

が成立する。 2階線型微分方程式による証明と同様にして

e^{ix} = \cos x + i\sin x

が得られる[5][6]

別解として

|W|=\begin{vmatrix}
e^{ix} & \cos x +i\sin x \\
ie^{ix} & -\sin x+i\cos x
\end{vmatrix}=0

として cos x + i sin xeix が線型従属であることを確認する。 ここで、ある定数 C について

e^{ix} = C(\cos x + i\sin x)

が成立する[注 6]。ここで x = 0 を代入すると C = 1 となり

e^{ix} = \cos x + i\sin x

が得られる[7]


[ヘルプ]

参照

注釈

  1. ^ 指数関数 e·累乗を拡張したもので、複素数 x, y について ex × ey = ex+y という関係が成り立つ。e = e1 = 2.718281828...自然対数の底あるいはネイピア数と呼ばれる。
    虚数単位 ii2 = i × i = −1 を満たす数である。
    余弦関数 cos · および正弦関数 sin · は三角関数の一種である。正弦関数 sin θ は、直角三角形斜辺とその三角形の変数 θ に対応する角度を持つ鋭角対辺(正弦)の長さの比を表す。余弦関数 cos θ はもう一方の鋭角(余角)の対辺と斜辺の長さの比を表す。単位円(半径の長さを 1 とする円)の中心を原点とする直交座標系をとったとき、単位円上の点を表す x, y 座標はそれぞれ cos θ, sin θ に等しい(θ は円の中心と円周上の点を結ぶ直線と、x 軸のなす角の大きさに対応する)。
    文献によっては、指数関数は、exponent(指数)から3字取って exp x (= ex) と表される。また虚数単位には i でなく j を用いることがある。
  2. ^ 三角関数の周期性(従って複素指数関数の周期性)により、オイラーの等式が成り立つのは θ = π に限らない。すなわち、任意の整数 z について θ = π + 2πz = 2π(z + 1/2)e = −1 を満たす。
  3. ^ i2 = −1 より i = −1/i であることを利用した。
  4. ^ e0 = 1 および sin 0 = 0, cos 0 = 1 を利用した。
  5. ^ cos x, sin x は関数として 0 でないので。
  6. ^ cos x + i sin x は関数として 0 でないので。


「オイラーの公式」の続きの解説一覧





オイラーの公式と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

「オイラーの公式」の関連用語

オイラーの公式のお隣キーワード

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

画像から探す




オイラーの公式のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

  
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのオイラーの公式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2014 Weblio RSS