「オイラーの公式」の版間の差分
編集の要約なし |
|||
1行目: | 1行目: | ||
[[Image:Euler's formula.svg|thumb|right|オイラーの公式の図形的な表現。グラフは横軸が実数軸、縦軸が虚数軸の複素平面であり、{{mvar| |
[[Image:Euler's formula.svg|thumb|right|オイラーの公式の図形的な表現。グラフは横軸が実数軸、縦軸が虚数軸の複素平面であり、{{mvar|φ}} は複素数 {{math|''e{{sup|iφ}}''}} の偏角である。]] |
||
[[数学]]、特に[[複素解析]]における'''オイラーの公式'''(オイラーのこうしき、{{lang-en-short|Euler's formula}})は、[[指数 |
[[数学]]、特に[[複素解析]]における'''オイラーの公式'''(オイラーのこうしき、{{lang-en-short|Euler's formula}})は、[[複素指数函数]]と[[三角関数]]の間に成り立つ以下の関係をいう。 |
||
:<math>e^{i\theta} =\cos\theta +i\sin\theta |
:<math>e^{i\theta} =\cos\theta +i\sin\theta</math> |
||
ここで {{math|''e'' |
ここで {{math|''e''{{sup|'''·'''}}}} は指数関数、{{mvar|i}} は[[虚数単位]]、{{math|cos '''·''', sin '''·'''}} はそれぞれ余弦関数および正弦関数である<ref group="注">指数関数 {{math|''e''{{sup|'''·'''}}}} は[[冪乗|累乗]]を拡張したもので、複素数 {{math|''x'', ''y''}} について {{math|''e''{{sup|''x''}} × e{{sup|''y''}} {{=}} e{{sup|''x''+''y''}}}} という関係が成り立つ。{{math|''e'' {{=}} ''e''{{sup|1}} {{=}} 2.718281828…}} は'''自然対数の底'''あるいは'''[[ネイピア数]]'''と呼ばれる。<br />虚数単位 {{mvar|i}} は {{math|''i''{{sup|2}} {{=}} ''i'' × ''i'' {{=}} −1}} を満たす複素数である。<br />余弦関数 {{math|cos '''·'''}} および正弦関数 {{math|sin '''·'''}} は三角関数の一種である。正弦関数 {{math|sin ''θ''}} は、[[直角三角形]]の[[斜辺]]とその三角形の変数 {{mvar|θ}} に対応する角度を持つ[[鋭角]]の[[対辺]](正弦)の長さの比を表す。余弦関数 {{math|cos ''θ''}} はもう一方の鋭角(余角)の対辺と斜辺の長さの比を表す。単位円(半径の長さを 1 とする円)の中心を原点とする直交座標系をとったとき、単位円上の点を表す {{math|''x'', ''y''}} 座標はそれぞれ {{math|cos''θ''}}, {{math|sin''θ'''}} に等しい({{mvar|θ}} は円の中心と円周上の点を結ぶ直線と、{{mvar|x}} 軸のなす角の大きさに対応する)。<br />文献によっては、指数関数は、{{en|<u>exp</u>onent}}(指数)から3字取って {{math|exp ''x'' ({{=}} ''e''{{sup|''x''}})}} と表される。また虚数単位には {{mvar|i}} でなく {{mvar|j}} を用いることがある。</ref>。任意の[[複素数]] {{mvar|θ}} に対して成り立つ等式であるが、特に {{mvar|θ}} が実数である場合が重要でありよく使われる。{{mvar|θ}} が[[実数]]のとき、{{mvar|θ}} は[[複素数]] {{math|''e''{{sup|''iθ''}}}} がなす[[複素平面]]上の[[複素数#極形式|偏角]](角度 {{mvar|θ}} の単位は[[ラジアン]])に対応する。 |
||
公式の名前は18世紀の数学者[[レオンハルト・オイラー]] ([[:en:Leonhard Euler|Leonhard Euler]]) に因むが、最初の発見者は[[ロジャー・コーツ]] ([[:en:Roger Cotes|Roger Cotes]]) とされる。コーツは[[1714年]]に |
公式の名前は18世紀の数学者[[レオンハルト・オイラー]] ([[:en:Leonhard Euler|Leonhard Euler]]) に因むが、最初の発見者は[[ロジャー・コーツ]] ([[:en:Roger Cotes|Roger Cotes]]) とされる。コーツは[[1714年]]に |
||
:<math> \log\left(\cos x + i\sin x \right)=ix \ </math> |
:<math> \log\left(\cos x + i\sin x \right)=ix \ </math> |
||
⚫ | |||
⚫ | |||
1740年頃オイラーはこの対数関数の形での公式から現在オイラーの公式の名で呼ばれる指数関数での形に注意を向けた。指数関数と三角関数の級数展開を比較することによる証明が得られ出版されたのは1748年のことだった<ref name="Stillwell"/>。 |
1740年頃オイラーはこの対数関数の形での公式から現在オイラーの公式の名で呼ばれる指数関数での形に注意を向けた。指数関数と三角関数の級数展開を比較することによる証明が得られ出版されたのは1748年のことだった<ref name="Stillwell"/>。 |
||
15行目: | 13行目: | ||
{{sfn|ファインマン|1977|pp=294, 307}}{{sfn|吉田|2010}}だと述べている。 |
{{sfn|ファインマン|1977|pp=294, 307}}{{sfn|吉田|2010}}だと述べている。 |
||
オイラーの公式は、[[変数 (数学)|変数]] {{mvar| |
オイラーの公式は、[[変数 (数学)|変数]] {{mvar|θ}} が実数である場合には、右辺は実空間上で定義される通常の三角関数で表され、[[虚数]]の指数関数の実部と虚部がそれぞれ角度 {{mvar|θ}} に対応する余弦関数 {{math|cos}} と正弦関数 {{math|sin}} に等しいことを表す。このとき、偏角 {{mvar|θ}} を[[媒介変数|パラメータ]]とする[[曲線]] {{math|''e''{{sup|''iθ''}}}} は、複素平面上の[[単位円]]をなす。 |
||
特に、{{math|'' |
特に、{{math|''θ'' {{=}} {{π}}}} のとき(すなわち偏角が 180 度のとき)、 |
||
:<math>e^{i\pi}=-1</math> |
:<math>e^{i\pi}=-1</math> |
||
となる。この関係は'''[[オイラーの等式]]''' {{en|(Euler's identity)}} と呼ばれる<ref group="注">三角関数の周期性(従って複素指数関数の周期性)により、オイラーの等式が成り立つのは {{math|'' |
となる。この関係は'''[[オイラーの等式]]''' {{en|(Euler's identity)}} と呼ばれる<ref group="注">三角関数の周期性(従って複素指数関数の周期性)により、オイラーの等式が成り立つのは {{math|''θ'' {{=}} {{π}}}} に限らない。すなわち、任意の整数 {{mvar|z}} について {{math|''θ'' {{=}} {{π}} + 2{{π}}''z'' {{=}} 2{{π}}(''z'' + {{sfrac|1|2}})}} は {{math|''e''{{sup|''iθ''}} {{=}} −1}} を満たす。</ref>。 |
||
{{mvar| |
{{mvar|θ}} が純虚数である場合には、左辺は実空間上で定義される通常の指数関数であり、右辺は純虚数に対する三角関数となる。 |
||
オイラーの公式は、三角関数 {{math|cos |
オイラーの公式は、三角関数 {{math|cos ''θ''}}, {{math|sin ''θ''}} が[[双曲線関数]] {{math|cosh(''iθ''), sinh(''iθ'')/''i''}} に対応することを導く。また応用上は、オイラーの公式を経由して三角関数を複素指数関数に置き換えることで、[[微分方程式]]や[[フーリエ級数]]などを利用しやすくする。 |
||
== 指数関数と三角関数 == |
== 指数関数と三角関数 == |
||
実関数として定義される[[指数関数]] {{math|''e'' |
実関数として定義される[[指数関数]] {{math|''e''{{sup|''x''}}}} および[[三角関数]] {{math|cos ''x''}}, {{math|sin ''x''}} を各々[[マクローリン展開]]すれば<ref group="注">{{math|''x'' {{=}} 0}} の周りの[[テイラー展開]]をマクローリン展開 {{en|(Maclaurin expansion)}} と呼ぶ。また一般に関数を[[冪級数]]として表すことを冪級数展開と呼ぶ。</ref> |
||
{{numBlk|:|<math>e^ |
{{numBlk|:|<math>e^x = \sum^{\infin}_{n=0} \frac{x^n}{n!}\quad\mbox{ for all }x</math>|{{equationRef|Macl1|1}}}} |
||
{{numBlk|:|<math>\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} \, x^{2n}\quad\mbox{ for all } x</math>|{{equationRef|Macl2|2}}}} |
{{numBlk|:|<math>\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} \, x^{2n}\quad\mbox{ for all } x</math>|{{equationRef|Macl2|2}}}} |
||
{{numBlk|:|<math>\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} \, x^{2n+1}\quad\mbox{ for all } x</math>|{{equationRef|Macl3|3}}}} |
{{numBlk|:|<math>\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} \, x^{2n+1}\quad\mbox{ for all } x</math>|{{equationRef|Macl3|3}}}} |
||
34行目: | 32行目: | ||
:<math>\scriptstyle r=\lim_{n \to \infty}\left |\frac{a_{n}}{a_{n+1}}\right|</math> |
:<math>\scriptstyle r=\lim_{n \to \infty}\left |\frac{a_{n}}{a_{n+1}}\right|</math> |
||
が存在すれば、{{math|''R'' {{=}} ''r''}} である。(極限が存在しない場合、収束半径はこの方法では求まらない。) |
が存在すれば、{{math|''R'' {{=}} ''r''}} である。(極限が存在しない場合、収束半径はこの方法では求まらない。) |
||
{{math|''e'' |
{{math|''e''{{sup|''x''}}}} の収束半径は |
||
:<math>\begin{align}\scriptstyle |
:<math>\begin{align}\scriptstyle |
||
\lim_{n \to \infty}\left|\frac{1/n!}{1/(n+1)!} \right| |
\lim_{n \to \infty}\left|\frac{1/n!}{1/(n+1)!} \right| |
||
41行目: | 39行目: | ||
&\scriptstyle = \infty |
&\scriptstyle = \infty |
||
\end{align}</math> |
\end{align}</math> |
||
となる。{{math|cos ''x''}} の収束半径を求めるには、{{math|''y'' {{=}} ''x'' |
となる。{{math|cos ''x''}} の収束半径を求めるには、{{math|''y'' {{=}} ''x''{{sup|2}}}} についての級数と考えて、その収束半径を求めればよい。 |
||
:<math>\begin{align} \scriptstyle |
:<math>\begin{align} \scriptstyle |
||
\lim_{n \to \infty}\left|\frac{(-1)^n/(2n)!}{(-1)^{n+1}/\{2(n+1)\}!} \right| |
\lim_{n \to \infty}\left|\frac{(-1)^n/(2n)!}{(-1)^{n+1}/\{2(n+1)\}!} \right| |
||
57行目: | 55行目: | ||
&\scriptstyle =\infty |
&\scriptstyle =\infty |
||
\end{align}</math> |
\end{align}</math> |
||
であるので、任意の {{mvar|y}} で収束し、{{math|''y'' {{=}} ''x'' |
であるので、任意の {{mvar|y}} で収束し、{{math|''y'' {{=}} ''x''{{sup|2}}}} を代入した級数も任意の {{mvar|x}} で収束し、それに {{mvar|x}} をかけた級数(すなわち {{math|sin ''x''}} のマクローリン展開)も任意の {{mvar|x}} で収束する。 |
||
以上で {{equationNote|Macl1|(1)}}, {{equationNote|Macl2|(2)}}, {{equationNote|Macl3|(3)}} の右辺の収束半径が {{math|∞}} であることが証明された。</ref>。従ってこれらの級数は、{{mvar|x}} を複素変数と見て全複素平面上広義一様に[[絶対収束]]し、これらの級数によって表される関数は[[整関数]]である<ref group="注">全平面上正則な関数を整関数と言う。なおこれらは多項式でないので超越整関数であり、[[無限遠点]]を[[真性特異点]]に持つ</ref>。これら級数の収束性と[[正則関数]]に関する[[一致の定理]]により、[[解析接続|正則関数としての拡張]]は全平面でこの収束[[冪級数]]によって確定されるため、複素関数としての指数関数および、三角関数は通常、この級数展開式をもって定義される。 |
以上で {{equationNote|Macl1|(1)}}, {{equationNote|Macl2|(2)}}, {{equationNote|Macl3|(3)}} の右辺の収束半径が {{math|∞}} であることが証明された。</ref>。従ってこれらの級数は、{{mvar|x}} を複素変数と見て全複素平面上広義一様に[[絶対収束]]し、これらの級数によって表される関数は[[整関数]]である<ref group="注">全平面上正則な関数を整関数と言う。なおこれらは多項式でないので超越整関数であり、[[無限遠点]]を[[真性特異点]]に持つ</ref>。これら級数の収束性と[[正則関数]]に関する[[一致の定理]]により、[[解析接続|正則関数としての拡張]]は全平面でこの収束[[冪級数]]によって確定されるため、複素関数としての指数関数および、三角関数は通常、この級数展開式をもって定義される。 |
||
ここで、 {{math|''e'' |
ここで、 {{math|''e''{{sup|''x''}}}} の {{mvar|x}} を {{mvar|ix}} に置き換え、{{math|''e''{{sup|''ix''}}}} の冪級数が絶対収束するために級数の項の順序を任意に交換可能である事を考慮すれば |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
e^{ix} |
e^{ix} |
||
73行目: | 71行目: | ||
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、[[複素数]]の世界では密接に結びついていることを表している。 |
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、[[複素数]]の世界では密接に結びついていることを表している。 |
||
たとえば、三角関数の[[三角関数#加法定理|加法定理]]は、指数法則 {{math|''e'' |
たとえば、三角関数の[[三角関数#加法定理|加法定理]]は、指数法則 {{math|''e''{{sup|''a''}}''e''{{sup|''b''}} {{=}} ''e''{{sup|''a'' + ''b''}}}} に対応していることが分かる<ref name="複素関数を学ぶ人のために" /><ref group="注">{{math|''e''{{sup|''a'' + ''b''}}}} を冪級数で表し、各項を[[二項定理|二項展開]]し、展開した項を改めて整理すれば、指数法則 {{math|''e''{{sup|''a'' + ''b''}} {{=}} ''e''{{sup|''a''}}''e''{{sup|''b''}}}} を導出できる。 |
||
:<math>\begin{align}\scriptstyle |
:<math>\begin{align}\scriptstyle |
||
e^{a+b} |
e^{a+b} |
||
111行目: | 109行目: | ||
となる。{{equationNote|D2|(2)}} を {{equationNote|D1|(1)}} に代入すると次のようになる。 |
となる。{{equationNote|D2|(2)}} を {{equationNote|D1|(1)}} に代入すると次のようになる。 |
||
{{numBlk|:|<math>(\cos x-i\sin x)\cdot e^{ix} =1.</math>|{{equationRef|D3|3}}}} |
{{numBlk|:|<math>(\cos x-i\sin x)\cdot e^{ix} =1.</math>|{{equationRef|D3|3}}}} |
||
ここで {{equationNote|D3|(3)}} の両辺に、{{math|(cos ''x'' - ''i'' sin ''x'')}} の[[複素共役]] {{math|(cos ''x'' + ''i'' sin ''x'')}} を掛ければ、三角関数に関するピタゴラスの定理 {{math|sin |
ここで {{equationNote|D3|(3)}} の両辺に、{{math|(cos ''x'' - ''i'' sin ''x'')}} の[[複素共役]] {{math|(cos ''x'' + ''i'' sin ''x'')}} を掛ければ、三角関数に関するピタゴラスの定理 {{math|sin{{sup|2}}''x'' + cos{{sup|2}}''x'' {{=}} 1}} よりオイラーの公式が得られる<ref name="複素数の取り扱い" />。 |
||
:<math>e^{ix} =\cos x+i\sin x.</math> |
:<math>e^{ix} =\cos x+i\sin x.</math> |
||
|drop=no}}{{math proof| |
|drop=no}}{{math proof| |
||
131行目: | 129行目: | ||
{{equationNote|D5|(5)}} を {{equationNote|D4|(4)}} に代入すると |
{{equationNote|D5|(5)}} を {{equationNote|D4|(4)}} に代入すると |
||
:<math>(\cos x+i\sin x)\cdot e^{-ix} =1</math> |
:<math>(\cos x+i\sin x)\cdot e^{-ix} =1</math> |
||
が導出される。この両辺に {{math|''e'' |
が導出される。この両辺に {{math|''e''{{sup|''ix''}}}} を掛け、任意の複素数 ''a'', ''b'' に対して成り立つ指数法則 {{math|''e''{{sup|''a''}}''e''{{sup|''b''}} {{=}} ''e''{{sup|''a'' + ''b''}}}} を利用すれば<ref name="複素関数を学ぶ人のために"/> |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
e^{ix} |
e^{ix} |
||
159行目: | 157行目: | ||
{{equationNote|DE3|(3)}} と {{equationNote|DE1|(1)}} より |
{{equationNote|DE3|(3)}} と {{equationNote|DE1|(1)}} より |
||
{{numBlk|:|<math>\frac{\mathrm{d}y}{\mathrm{d}x} =iy</math>|{{equationRef|DE4|4}}}} |
{{numBlk|:|<math>\frac{\mathrm{d}y}{\mathrm{d}x} =iy</math>|{{equationRef|DE4|4}}}} |
||
を得る<ref group="注">{{math|''i'' |
を得る<ref group="注">{{math|''i''{{sup|2}} {{=}} −1}} より {{math|''i'' {{=}} −{{sfrac|1|''i''}}}} であることを利用した。</ref>。任意の 0 でない複素数 {{mvar|α}} について、関数 {{math|''e''{{sup|''αx''}}}} は次の関係を満たす。 |
||
{{numBlk|:|<math>\frac{\mathrm d}{\mathrm{d}(\alpha x)}e^{\alpha x} = e^{\alpha x}.</math>|{{equationRef|DE5|5}}}} |
{{numBlk|:|<math>\frac{\mathrm d}{\mathrm{d}(\alpha x)}e^{\alpha x} = e^{\alpha x}.</math>|{{equationRef|DE5|5}}}} |
||
{{equationNote|DE4|(4)}} と {{equationNote|DE5|(5)}} を見比べ、{{math|''α'' {{=}} ''i''}} と置き換えれば、''f''(0) = 1 より |
{{equationNote|DE4|(4)}} と {{equationNote|DE5|(5)}} を見比べ、{{math|''α'' {{=}} ''i''}} と置き換えれば、''f''(0) = 1 より |
||
192行目: | 190行目: | ||
i = C_2 |
i = C_2 |
||
\end{align}</math>|{{equationRef|2DE5|5}}}} |
\end{align}</math>|{{equationRef|2DE5|5}}}} |
||
となるので<ref group="注">{{math|''e'' |
となるので<ref group="注">{{math|''e''{{sup|0}} {{=}} 1}} および {{math|sin 0 {{=}} 0, cos 0 {{=}} 1}} を利用した。</ref>、{{equationNote|2DE5|(5)}} より {{equationNote|2DE3|(3)}} の線型結合はオイラーの公式を与える<ref name="kwansei-univ-euler" />。 |
||
:<math>e^{ix} = \cos x + i\sin x.</math> |
:<math>e^{ix} = \cos x + i\sin x.</math> |
||
|drop=no}} |
|drop=no}} |
||
202行目: | 200行目: | ||
ie^{ix} & -\sin x+i\cos x |
ie^{ix} & -\sin x+i\cos x |
||
\end{vmatrix}=e^{ix}(-\sin x + i\cos x) - e^{ix}(i\cos x - \sin x)=0</math> |
\end{vmatrix}=e^{ix}(-\sin x + i\cos x) - e^{ix}(i\cos x - \sin x)=0</math> |
||
として {{math|cos ''x'' + ''i'' sin ''x''}} と {{math|''e'' |
として {{math|cos ''x'' + ''i'' sin ''x''}} と {{math|''e''{{sup|''ix''}}}} が線型従属であることを確認する。 |
||
ここで、ある定数 {{mvar|C}} について |
ここで、ある定数 {{mvar|C}} について |
||
:<math>e^{ix} = C(\cos x + i\sin x)</math> |
:<math>e^{ix} = C(\cos x + i\sin x)</math> |
||
257行目: | 255行目: | ||
&= 1+na_{n}+\binom{n}{2}a_{n}^2+ \dotsb |
&= 1+na_{n}+\binom{n}{2}a_{n}^2+ \dotsb |
||
\end{align}</math> |
\end{align}</math> |
||
であるから、{{mvar|a |
であるから、{{mvar|a{{sub|n}}}} が小さいとき、{{mvar|n}} 乗すると誤差はおよそ {{mvar|n}} 倍されるが、{{mvar|a{{sub|n}}}} が {{math|{{sfrac|1|n}}}} よりも早く {{math|0}} に近づくときには、極限に影響しない。 |
||
本議論において |
本議論において |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
304行目: | 302行目: | ||
<ref name="野海正俊">[http://www.sci.kobe-u.ac.jp/old/seminar/pdf/noumi2007.pdf オイラーの数学から — 『無限解析序説』への招待 - 野海 正俊]</ref> |
<ref name="野海正俊">[http://www.sci.kobe-u.ac.jp/old/seminar/pdf/noumi2007.pdf オイラーの数学から — 『無限解析序説』への招待 - 野海 正俊]</ref> |
||
<ref name="複素数の取り扱い">[http://www.kutl.kyushu-u.ac.jp/~member/noro/KikanButsuri_IA/4_keiji.pdf 複素数の取り扱いとオイラーの公式]</ref> |
<ref name="複素数の取り扱い">[http://www.kutl.kyushu-u.ac.jp/~member/noro/KikanButsuri_IA/4_keiji.pdf 複素数の取り扱いとオイラーの公式]</ref> |
||
<ref name="kwansei-univ-euler">[http://sci-tech.ksc.kwansei.ac.jp/~shimeno/math/euler/euler.pdf {{math|e |
<ref name="kwansei-univ-euler">[http://sci-tech.ksc.kwansei.ac.jp/~shimeno/math/euler/euler.pdf {{math|e{{sup|π''i''}} + 1 {{=}} 0}}]</ref> |
||
<ref name="複素関数を学ぶ人のために">[http://collie.low-temp.sci.yamaguchi-u.ac.jp/~ashida/work/comp.pdf 複素関数を学ぶ人のために - 山口大学 理学部 物理・情報科学科 - 芦田 正巳]</ref> |
<ref name="複素関数を学ぶ人のために">[http://collie.low-temp.sci.yamaguchi-u.ac.jp/~ashida/work/comp.pdf 複素関数を学ぶ人のために - 山口大学 理学部 物理・情報科学科 - 芦田 正巳]</ref> |
||
}} |
}} |
||
314行目: | 312行目: | ||
{{commonscat|Euler's formula}} |
{{commonscat|Euler's formula}} |
||
*{{Cite book|和書 |
*{{Cite book|和書 |
||
| |
|author = [[リチャード・ファインマン]] |
||
|last=ファインマン |
|||
|author = リチャード P.ファインマン |
|||
|authorlink = リチャード・ファインマン |
|||
|coauthor = レイトン、サンズ |
|coauthor = レイトン、サンズ |
||
|translator = 坪井忠二 |
|translator = 坪井忠二 |
||
331行目: | 326行目: | ||
}} |
}} |
||
* {{Cite book|和書 |
* {{Cite book|和書 |
||
| |
|author = 吉田武 |
||
⚫ | |||
|first = 武 |
|||
⚫ | |||
|edition = 新装版 |
|edition = 新装版 |
||
|year = 2010 |
|year = 2010 |
||
342行目: | 336行目: | ||
}} |
}} |
||
*{{Cite book|和書 |
*{{Cite book|和書 |
||
| |
|author = 小笠英志 |
||
|last=小笠 |
|||
|author = 小笠英志 |
|||
|year = 2011 |
|year = 2011 |
||
|title = 相対性理論の式を導いてみよう、そして、人に話そう |
|title = 相対性理論の式を導いてみよう、そして、人に話そう |
||
|publisher = ベレ出版 |
|publisher = ベレ出版 |
||
|pages = |
|pages = 165-171 |
||
|isbn = 978-486064-267-9 |
|isbn = 978-486064-267-9 |
||
}} |
}} |
||
* {{Cite book|和書 |
* {{Cite book|和書 |
||
|last = 藤田 |
|||
|first = 宏 |
|||
|author = 藤田宏 |
|author = 藤田宏 |
||
|title = 応用数学 (放送大学教材) |
|title = 応用数学 (放送大学教材) |
||
364行目: | 354行目: | ||
|last = Dunham |
|last = Dunham |
||
|first = William |
|first = William |
||
|author = William Dunham |
|||
|title = Euler: The Master of Us All |
|title = Euler: The Master of Us All |
||
|url = http://paginas.fisica.uson.mx/horacio.munguia/Personal/Documentos/Libros/Euler%20The_Master%20of%20Us.pdf<!--これは著作権的に問題ないものですか?--> |
|url = http://paginas.fisica.uson.mx/horacio.munguia/Personal/Documentos/Libros/Euler%20The_Master%20of%20Us.pdf<!--これは著作権的に問題ないものですか?--> |
||
373行目: | 362行目: | ||
}} |
}} |
||
* {{Cite book|和書 |
* {{Cite book|和書 |
||
|last = 杉浦 |
|||
|first = 光夫 |
|||
|author = 杉浦光夫 |
|author = 杉浦光夫 |
||
|title = 解析入門I |
|title = 解析入門I |
||
384行目: | 371行目: | ||
}} |
}} |
||
* {{Cite book|和書 |
* {{Cite book|和書 |
||
|last = 田村 |
|||
|first = 二郎 |
|||
|author = 田村二郎 |
|author = 田村二郎 |
||
|title = 解析関数(新版) |
|title = 解析関数(新版) |
||
399行目: | 384行目: | ||
{{複素数}} |
{{複素数}} |
||
{{DEFAULTSORT:おいらあのこうしき}} |
{{DEFAULTSORT:おいらあのこうしき}} |
||
[[Category:複素数]] |
|||
[[Category:複素解析の定理]] |
[[Category:複素解析の定理]] |
||
[[Category:ネイピア数]] |
[[Category:ネイピア数]] |
2020年6月27日 (土) 21:25時点における版
数学、特に複素解析におけるオイラーの公式(オイラーのこうしき、英: Euler's formula)は、複素指数函数と三角関数の間に成り立つ以下の関係をいう。
ここで e· は指数関数、i は虚数単位、cos ·, sin · はそれぞれ余弦関数および正弦関数である[注 1]。任意の複素数 θ に対して成り立つ等式であるが、特に θ が実数である場合が重要でありよく使われる。θ が実数のとき、θ は複素数 eiθ がなす複素平面上の偏角(角度 θ の単位はラジアン)に対応する。
公式の名前は18世紀の数学者レオンハルト・オイラー (Leonhard Euler) に因むが、最初の発見者はロジャー・コーツ (Roger Cotes) とされる。コーツは1714年に
を発見した[1]が、三角関数の周期性による対数関数の多価性を見逃した。
1740年頃オイラーはこの対数関数の形での公式から現在オイラーの公式の名で呼ばれる指数関数での形に注意を向けた。指数関数と三角関数の級数展開を比較することによる証明が得られ出版されたのは1748年のことだった[1]。
この公式は複素解析をはじめとする純粋数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要な役割を演じる。物理学者のリチャード・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 [2][3]だと述べている。
オイラーの公式は、変数 θ が実数である場合には、右辺は実空間上で定義される通常の三角関数で表され、虚数の指数関数の実部と虚部がそれぞれ角度 θ に対応する余弦関数 cos と正弦関数 sin に等しいことを表す。このとき、偏角 θ をパラメータとする曲線 eiθ は、複素平面上の単位円をなす。 特に、θ = π のとき(すなわち偏角が 180 度のとき)、
となる。この関係はオイラーの等式 (Euler's identity) と呼ばれる[注 2]。
θ が純虚数である場合には、左辺は実空間上で定義される通常の指数関数であり、右辺は純虚数に対する三角関数となる。
オイラーの公式は、三角関数 cos θ, sin θ が双曲線関数 cosh(iθ), sinh(iθ)/i に対応することを導く。また応用上は、オイラーの公式を経由して三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などを利用しやすくする。
指数関数と三角関数
実関数として定義される指数関数 ex および三角関数 cos x, sin x を各々マクローリン展開すれば[注 3]
となる。これらの級数の収束半径が ∞ であることはダランベールの収束判定法によって確認することができる[注 4]。従ってこれらの級数は、x を複素変数と見て全複素平面上広義一様に絶対収束し、これらの級数によって表される関数は整関数である[注 5]。これら級数の収束性と正則関数に関する一致の定理により、正則関数としての拡張は全平面でこの収束冪級数によって確定されるため、複素関数としての指数関数および、三角関数は通常、この級数展開式をもって定義される。
ここで、 ex の x を ix に置き換え、eix の冪級数が絶対収束するために級数の項の順序を任意に交換可能である事を考慮すれば
が成り立つ。この式と三角関数の冪級数展開を比較すれば
が得られる。
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。 たとえば、三角関数の加法定理は、指数法則 eaeb = ea + b に対応していることが分かる[4][注 6]。
オイラーの公式を利用して三角関数を指数関数に置き換えることができる。たとえば余弦関数と正弦関数については直接的に、
という表現が得られる。
証明
この公式には、上記の冪級数展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの例を挙げる。ただし、以下の微分を用いた証明については、実変数を複素数変数におき換えても、これらの議論が成立していることを、別途で証明する必要がある(複素解析論)。
微分による証明
微分方程式による証明
証明 — 微分方程式を用いた証明を示す。x を実数、x の関数 f (x) を以下のように定義する。
また記法を簡潔にするために補助的な方程式
によって y を定める。これらをまとめると以下の方程式を得る。
(1) に x = 0 を代入すると
を得る。(1) の両辺を x について微分し、両辺に虚数単位 i を掛けると以下のようになる。
を得る[注 7]。任意の 0 でない複素数 α について、関数 eαx は次の関係を満たす。
(4) と (5) を見比べ、α = i と置き換えれば、f(0) = 1 より
が成り立つ。最後に (1) および (6) から y を消去すればオイラーの公式が得られる。
2階線型微分方程式による証明
ロンスキー行列による証明
ド・モアブルの定理による証明
証明 — ド・モアブルの定理を用いた証明を示す[9]。 ド・モアブルの定理より
辺々加えて
右辺の 2 つの項を二項定理によって展開すれば、i の奇数乗の項は相殺し、i の偶数乗の項だけを二重に加えることになるので
を得る。これが cos θ の n 倍角の公式の閉じた表示式である([s] は s の整数部分)。 この式において nθ = x と置き換えると
和の上端を ∞ に書き直したが、k > n/2 のとき二項係数の部分が 0 になるので、これは n/2 までの和に等しい。 n → ∞ の極限においては
となり、各項目において漸近的に等しいことが確認できる。 したがって
となる。よって
が得られる。 同様に sin x について考えれば
より
が得られる。 ここで、n → ∞ の極限を取った際の誤差項の挙動を考えると
とおけば
であるから、an が小さいとき、n 乗すると誤差はおよそ n 倍されるが、an が 1/n よりも早く 0 に近づくときには、極限に影響しない。 本議論において
であるから
となる。 したがって、ランダウの記号を用いて漸近挙動を示せば
ゆえに
ここで、ド・モアブルの定理に立ち返って
上記式において nθ = x とおくと
ここで、n → ∞ の極限をとったとき
であるから
よって
が得られる。
関連項目
脚注
参照
- ^ a b John Stillwell (2002). Mathematics and Its History. Springer
- ^ ファインマン 1977, pp. 294, 307.
- ^ 吉田 2010.
- ^ a b 複素関数を学ぶ人のために - 山口大学 理学部 物理・情報科学科 - 芦田 正巳
- ^ 複素数の取り扱いとオイラーの公式
- ^ 藤田 1993.
- ^ eπi + 1 = 0
- ^ 2階微分方程式
- ^ オイラーの数学から — 『無限解析序説』への招待 - 野海 正俊
注釈
- '^ 指数関数 e· は累乗を拡張したもので、複素数 x, y について ex × ey = ex+y という関係が成り立つ。e = e1 = 2.718281828… は自然対数の底あるいはネイピア数と呼ばれる。
虚数単位 i は i2 = i × i = −1 を満たす複素数である。
余弦関数 cos · および正弦関数 sin · は三角関数の一種である。正弦関数 sin θ は、直角三角形の斜辺とその三角形の変数 θ に対応する角度を持つ鋭角の対辺(正弦)の長さの比を表す。余弦関数 cos θ はもう一方の鋭角(余角)の対辺と斜辺の長さの比を表す。単位円(半径の長さを 1 とする円)の中心を原点とする直交座標系をとったとき、単位円上の点を表す x, y 座標はそれぞれ cosθ, sinθ に等しい(θ は円の中心と円周上の点を結ぶ直線と、x 軸のなす角の大きさに対応する)。
文献によっては、指数関数は、exponent(指数)から3字取って exp x (= ex) と表される。また虚数単位には i でなく j を用いることがある。 - ^ 三角関数の周期性(従って複素指数関数の周期性)により、オイラーの等式が成り立つのは θ = π に限らない。すなわち、任意の整数 z について θ = π + 2πz = 2π(z + 1/2) は eiθ = −1 を満たす。
- ^ x = 0 の周りのテイラー展開をマクローリン展開 (Maclaurin expansion) と呼ぶ。また一般に関数を冪級数として表すことを冪級数展開と呼ぶ。
- ^ 級数
- ^ 全平面上正則な関数を整関数と言う。なおこれらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ
- ^ ea + b を冪級数で表し、各項を二項展開し、展開した項を改めて整理すれば、指数法則 ea + b = eaeb を導出できる。
- ^ i2 = −1 より i = −1/i であることを利用した。
- ^ e0 = 1 および sin 0 = 0, cos 0 = 1 を利用した。
- ^ cos x + i sin x は関数として 0 でないので。
- ^ 三角関数の半角公式を利用した。
参考文献
- リチャード・ファインマン 著、坪井忠二 訳『力学』 I、岩波書店〈ファインマン物理学〉、1977年、294, 307頁。ISBN 4-00-007711-2。OCLC 47339138。
- 吉田武『オイラーの贈物—人類の至宝 eiπ = −1 を学ぶ』(新装版)東海大学出版会、2010年。ISBN 978-448601863-6。OCLC 502982012。
- 小笠英志『相対性理論の式を導いてみよう、そして、人に話そう』ベレ出版、2011年、165-171頁。ISBN 978-486064-267-9。
- 藤田宏『応用数学 (放送大学教材)』放送大学教育振興会、1993年。ISBN 978-4595-56532-8。
- Dunham, William (1999). Euler: The Master of Us All. The Mathematical Association of America. ISBN 978-088385328-3
- 杉浦光夫『解析入門I』東京大学出版会〈基礎数学2〉、1980年。ISBN 978-4-13-062005-5。
- 田村二郎『解析関数(新版)』裳華房〈数学選書3〉、1983年。ISBN 978-4-7853-1307-4。