数学の複素解析におけるオイラーの公式(オイラーのこうしき、英: Euler's formula)とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである:
![{\displaystyle e^{iz}=\cos z+i\sin z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d16ed23fa30c1a1b85968996b42338d8aa423b4c)
ここで
は任意の複素数、
はネイピア数、
は虚数単位、
は余弦関数、
は正弦関数である。
特に、
とする場合がよく使われ、この場合、
は、絶対値
, 偏角
の複素数に等しい。
オイラーの公式の図形的な表現。複素数平面において、複素数 eiθ は、単位円周上の偏角 θ [rad] の点を表す。
オイラーの公式は、複素解析をはじめとする数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要である。物理学者のリチャード・P・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 だと述べている。
この公式の名前は、18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に
![{\displaystyle \log \left(\cos x+i\sin x\right)=ix\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e501e0153c2b803fc3d7d7ec6c6484c2f5904fa2)
を発見した[3]が、三角関数の周期性による対数関数の多価性を見逃した。1740年頃、オイラーは、コーツの公式を基に、指数関数と三角関数の級数展開を比較することによって、オイラーの公式を証明し、1748年に発表した[3]。
オイラーの公式を導入することにより、極形式の複素数は、より簡素な表記に変換することができる。すなわち、複素数の極形式 z = r(cos θ + i sin θ) は z = reiθ に等しい。また、特に、θ = π のとき、
![{\displaystyle e^{i\pi }+1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7464809a40f9e486de3a454745f572fbf8bb256)
が導かれる。この関係式はオイラーの等式 (Euler's identity) と呼ばれる。
オイラーの公式により、余弦関数および正弦関数は、双曲線関数に変換することができる:
![{\displaystyle \cos \theta =\cosh i\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/306d435132cbfaf3764122a77a3abff72efffd1a)
![{\displaystyle \sin \theta ={\tfrac {1}{i}}\sinh i\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e84cc007850dbccdf00a3c926bb64e388f41990b)
応用上では、三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などが利用しやすくなる。
指数関数と三角関数[編集]
実関数としての指数関数 ex, 三角関数 cos x, sin x をそれぞれマクローリン展開すると
![{\displaystyle e^{x}=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {x^{n}}{n!}}\quad (x\in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e429cb76c2e3244ce1d179d31121c9292832738)
(1)
![{\displaystyle \cos x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n)!}}\,x^{2n}\quad (x\in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb172a3c88d44b7819707ea709a5ebe101fd86eb)
(2)
![{\displaystyle \sin x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n+1)!}}\,x^{2n+1}\quad (x\in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bafc2301abb0b582aa05d2b1aa0b46aa463b6dfc)
(3)
となる。これらの冪級数の収束半径が ∞ であることは、ダランベールの収束判定法によって確認することができる[注 1]。従ってこれらの級数は、変数 x を複素数全体に拡張することができ、広義一様収束する。つまりこれらの級数によって表される関数は整関数である[注 2]。解析接続すると、一致の定理より、複素数全体での正則関数としての拡張は一意であり、この収束冪級数で表される。
ここで、 ex の x を ix に置き換え、eix の冪級数が絶対収束することより級数の項の順序は任意に交換可能であることを考慮すれば
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/888cf901db2b9cb950e6e267442ea2f6ab1ef8ca)
が得られる。
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。例えば、三角関数の加法定理は、指数法則 eaeb = ea+b[注 3]に対応していることが分かる[4]。
オイラーの公式により、三角関数を複素指数関数で表すことができる。余弦関数、正弦関数は
![{\displaystyle {\begin{aligned}\cos z&={\frac {e^{iz}+e^{-iz}}{2}},\\\sin z&={\frac {e^{iz}-e^{-iz}}{2i}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/938e235360b9db7f060fb73f31c8756441ad5987)
となる。
この公式には、上記の冪級数展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの例を挙げる。ただし、以下の微分を用いた証明については、実変数を複素数変数におき換えても、これらの議論が成立していることを、別途で証明する必要がある(複素関数論)。
微分による証明[編集]
証明 —
関数の微分を用いた証明を示す。実変数 x の関数 f (x) を次のように定義する。
![{\displaystyle f(x):=(\cos x-i\sin x)\cdot e^{ix}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/519ad8efe0b4da22ab0b27a80ca02c35f5d62598)
(1)
f (x) を形式的に微分すると以下のようになる。
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28b9034c6a140fc6c8c21caad81a8b2c58826fd7)
したがって、すべての実数 x について f' (x) = 0 が成り立つ。これは f (x) が定数関数であることと同値である。よって f (x) = f (0) より、
![{\displaystyle f(x)=(\cos 0-i\sin 0)\cdot e^{i\cdot 0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4f96fa8ac5af3acf4afa62762efd9fd62b2096)
(2)
となる。(2) を (1) に代入すると次のようになる。
![{\displaystyle (\cos x-i\sin x)\cdot e^{ix}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e86aa67e809f416063132cb476ea283b90a7381d)
(3)
ここで (3) の両辺に、(cos x - i sin x) の複素共役 (cos x + i sin x) を掛ければ、三角関数に関するピタゴラスの定理 sin2x + cos2x = 1 よりオイラーの公式が得られる[5]。
![{\displaystyle e^{ix}=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0baf9cdc69dd49332b5a170ebd62f9636c17d3)
証明 —
別の証明として、実変数 x の関数 f (x) を次のように定義する。
![{\displaystyle f(x):=(\cos x+i\sin x)\cdot e^{-ix}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/021e4abea04e30a251b409d14915b2a35b6ed09c)
(4)
f (x) を x について微分すると以下のようになる。
![{\displaystyle {\begin{aligned}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}\\&=(-\sin x+i\cos x-i\cos x+\sin x)\cdot e^{-ix}\qquad (i^{2}=-1)\\&=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f362c474b4510bc549032822ba2e633f96b297a8)
したがって、すべての実数 x について f' (x) = 0 が成り立つ。
ゆえに f (x) は定数である。
よって f (x) = f (0) より
![{\displaystyle f(x)=(\cos 0+i\sin 0)\cdot e^{-i\cdot 0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75619c4fbcfe7eb130b6d852297a4f6401111b49)
(5)
が成り立つ。
(5) を (4) に代入すると
![{\displaystyle (\cos x+i\sin x)\cdot e^{-ix}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcb50ac06bcf1f23746f7f1bb345b3e8c6cbd0e0)
が導出される。この両辺に eix を掛け、任意の複素数 a, b に対して成り立つ指数法則 eaeb = ea + b を利用すれば[4]
![{\displaystyle {\begin{aligned}e^{ix}&=(\cos x+i\sin x)\cdot e^{ix}e^{-ix}\\&=(\cos x+i\sin x)\cdot e^{(ix-ix)}\\&=(\cos x+i\sin x)\cdot e^{0}\\&=(\cos x+i\sin x)\cdot 1.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed4b984bcbbe8f4e59d8d661a73f94337b8d1cd2)
以上より
![{\displaystyle e^{ix}=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0baf9cdc69dd49332b5a170ebd62f9636c17d3)
微分方程式による証明[編集]
証明 —
微分方程式を用いた証明を示す。x を実数、x の関数 f (x) を以下のように定義する。
![{\displaystyle f(x):=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc991d4b599dce55abaa54140340b9404fbc6c27)
また記法を簡潔にするために補助的な方程式
![{\displaystyle y=f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2311a6a75c54b0ea085a381ba472c31d59321514)
によって y を定める。これらをまとめると以下の方程式を得る。
![{\displaystyle y=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbd97b90bf5b5bb2221d85205f2a4d5adef01a94)
(1)
(1) に x = 0 を代入すると
![{\displaystyle y=\cos 0+i\sin 0=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ec431f2e7bafc4136b1273869770fcb5d7cb915)
(2)
を得る。(1) の両辺を x について微分し、両辺に虚数単位 i を掛けると以下のようになる。
![{\displaystyle 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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2e04c56d71f0865f1151040276c2c3dddc8593c)
(3)
(3) と (1) より
![{\displaystyle {\frac {\mathrm {d} y}{\mathrm {d} x}}=iy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3b4077dbe403e692be8488a0b48c82487a54904)
(4)
を得る[注 4]。任意の 0 でない複素数 α について、関数 eαx は次の関係を満たす。
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} (\alpha x)}}e^{\alpha x}=e^{\alpha x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0742c9b80f2311c2d4e534a8be5abf597609c3c)
(5)
(4) と (5) を見比べ、α = i と置き換えれば、f(0) = 1 より
![{\displaystyle y=e^{ix}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d90752b76532e77f35968e171b3f886196aa41e)
(6)
が成り立つ。最後に (1) および (6) から y を消去すればオイラーの公式が得られる。
![{\displaystyle e^{ix}=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0baf9cdc69dd49332b5a170ebd62f9636c17d3)
2階線型微分方程式による証明[編集]
証明 —
2階線型微分方程式を用いた証明を示す。実数 x を変数とする関数
![{\displaystyle {\begin{cases}\displaystyle y=e^{ix}\\\displaystyle y=\cos x\\\displaystyle y=\sin x\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcec8f40d023b77abad4060e089763285e195b74)
(1)
はいずれも以下の2階の線型常微分方程式の解である。
![{\displaystyle {\frac {\mathrm {d} ^{2}y}{{\mathrm {d} x}^{2}}}+y=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5c0fc3f544eda6b1876d66310a335f195987c95)
(2)
(2) は斉次な方程式なので、一般解は基本解の線型結合として表すことができる。
cos x と sin x は (2) の基本解である。実際、ロンスキー行列式
![{\displaystyle {\begin{vmatrix}\cos x&\sin x\\-\sin x&\cos x\end{vmatrix}}=\cos ^{2}x+\sin ^{2}x=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b12cf01fe76c1d9fbe5cfb324993b557fe2d93f2)
は 0 にならない。よって、(1) および (2) より
![{\displaystyle e^{ix}=C_{1}\cos x+C_{2}\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9515d649a681a3a6eb8abbedb048365ceb1e909b)
(3)
が成立する。また、(3) の両辺を微分したものは
![{\displaystyle ie^{ix}=-C_{1}\sin x+C_{2}\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eee85520d30035d02c099b4e0312719f48369509)
(4)
となる。(3), (4) に x = 0 を代入したものはそれぞれ、
![{\displaystyle {\begin{aligned}1=C_{1}\\i=C_{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7700e136dcceca219fd588be53dc8c11781305e0)
(5)
となるので[注 5]、(5) より (3) の線型結合はオイラーの公式を与える[7]。
![{\displaystyle e^{ix}=\cos x+i\sin x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0baf9cdc69dd49332b5a170ebd62f9636c17d3)
ロンスキー行列による証明[編集]
証明 —
![{\displaystyle |W|={\begin{vmatrix}e^{ix}&\cos x+i\sin 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80ad974d9997154459d2eb7290b4fd3bbe5bb7d2)
として cos x + i sin x と eix が線型従属であることを確認する。
ここで、ある定数 C について
![{\displaystyle e^{ix}=C(\cos x+i\sin x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/366041686912117b6e16e625e1dfa323789c7017)
が成立する[注 6]。ここで x = 0 を代入すると C = 1 となり
![{\displaystyle e^{ix}=\cos x+i\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4907c0489ab08ce550c7700a1587d4634801dff8)
が得られる[8]。
ド・モアブルの定理による証明[編集]
証明 —
ド・モアブルの定理を用いた証明を示す[9]。
ド・モアブルの定理より
![{\displaystyle {\begin{aligned}\cos n\theta +i\sin n\theta &=(\cos \theta +i\sin \theta )^{n},\\\cos n\theta -i\sin n\theta &=(\cos \theta -i\sin \theta )^{n}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0baaf13d7f09bb4ea1cc9e27cf1021925b7bd02)
辺々加えて
![{\displaystyle 2\cos n\theta =(\cos \theta +i\sin \theta )^{n}+(\cos \theta -i\sin \theta )^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34eb936560ca8c96a87295fb899d793ceef52f1a)
右辺の 2 つの項を二項定理によって展開すれば、i の奇数乗の項は相殺し、i の偶数乗の項だけを二重に加えることになるので
![{\displaystyle {\begin{aligned}\cos n\theta &=\sum _{k=0}^{\left[{\tfrac {n}{2}}\right]}(-1)^{k}{\binom {n}{2k}}\ (\cos \theta )^{n-2k}(\sin \theta )^{2k}\\&=\sum _{k=0}^{\left[{\tfrac {n}{2}}\right]}(-1)^{k}{\binom {n}{2k}}\ (\cos \theta )^{n}(\tan \theta )^{2k}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4bcaf620a694b66642398e169491fcf54dfea80)
を得る。これが cos θ の n 倍角の公式の閉じた表示式である([s] は s の整数部分)。
この式において nθ = x と置き換えると
![{\displaystyle \cos x=\sum _{k=0}^{\infty }(-1)^{k}{\binom {n}{2k}}\left(\cos {\frac {x}{n}}\right)^{n}\left(\tan {\frac {x}{n}}\right)^{2k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69d2296c83b22899460370bfc41a642b9b5ffac6)
和の上端を ∞ に書き直したが、k > n/2 のとき二項係数の部分が 0 になるので、これは n/2 までの和に等しい。
n → ∞ の極限においては
![{\displaystyle \cos {\frac {x}{n}}\sim 1\ ,\ \sin {\frac {x}{n}}\sim {\frac {x}{n}}\ ,\ \tan {\frac {x}{n}}\sim {\frac {x}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/299ad8911f0ea697cc622a4c53ed3d93a5953418)
となり、各項目において漸近的に等しいことが確認できる。
したがって
![{\displaystyle {\binom {n}{2k}}\sim {\frac {n^{2k}}{(2k)!}}\ ,\ \left(\cos {\frac {x}{n}}\right)^{n}\sim 1\ ,\ \left(\tan {\frac {x}{n}}\right)^{2k}\sim {\frac {x^{2k}}{n^{2k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d5cd8df924f4e8c794aa5b5d49081afb957e9b)
となる。よって
![{\displaystyle \cos x=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k)!}}x^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3703b968d61d34ab6c49bb4e96bd218e7ee6f26)
が得られる。
同様に sin x について考えれば
![{\displaystyle \sin x=\sum _{k=0}^{\infty }(-1)^{k}{\binom {n}{2k+1}}\left(\cos {\frac {x}{n}}\right)^{n}\left(\tan {\frac {x}{n}}\right)^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08babd19b99a2ad6a0b656c463f311cf472618a0)
より
![{\displaystyle \sin x=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)!}}x^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6b8bfc0fb44b8e15c84882c9f9cccfd59db522c)
が得られる。
ここで、n → ∞ の極限を取った際の誤差項の挙動を考えると
![{\displaystyle \cos {\frac {x}{n}}=1+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2a4fc728fa5e2c7b36345a64bdd4a33eeae255f)
とおけば
![{\displaystyle {\begin{aligned}\left(\cos {\frac {x}{n}}\right)^{n}&=\left(1+a_{n}\right)^{n}\\&=1+na_{n}+{\binom {n}{2}}{a_{n}}^{2}+\dotsb \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5e21a2d43e0b4eaa5e5b27bc8caceccefb4e236)
であるから、an が小さいとき、n 乗すると誤差はおよそ n 倍されるが、an が 1/n よりも早く 0 に近づくときには、極限に影響しない。
本議論において
[注 7]
であるから
![{\displaystyle a_{n}\sim -{\frac {x^{2}}{2n^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/272c91e907f6101785be6468a77e160f98f9624f)
となる。
したがって、ランダウの記号を用いて漸近挙動を示せば
![{\displaystyle \cos {\frac {x}{n}}=1+O\left({\frac {1}{n^{2}}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a0582fa57ab88b819d2138dcca0505bb1faca68)
ゆえに
![{\displaystyle \lim _{n\rightarrow \infty }\left(\cos {\frac {x}{n}}\right)^{n}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68f814d0633e9d6e6746ba13e130494df88b8561)
ここで、ド・モアブルの定理に立ち返って
![{\displaystyle \cos n\theta +i\sin n\theta =(\cos \theta +i\sin \theta )^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b0979f0586e779b0e7a223761e13020bc97730c)
上記式において nθ = x とおくと
![{\displaystyle \cos x+i\sin x=\left(\cos {\frac {x}{n}}+i\sin {\frac {x}{n}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63fd8aefa613fe0fd2c84d2487f5d927ea240400)
ここで、n → ∞ の極限をとったとき
![{\displaystyle \cos {\frac {x}{n}}+i\sin {\frac {x}{n}}=1+{\frac {ix}{n}}+O\left({\frac {1}{n^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/297d554a3ea529cedc87b2cc40c8bf3d455d9df2)
であるから
![{\displaystyle \lim _{n\rightarrow \infty }\left(\cos {\frac {x}{n}}+i\sin {\frac {x}{n}}\right)^{n}=\lim _{n\rightarrow \infty }\left(1+{\frac {ix}{n}}\right)^{n}=e^{ix}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66754dd828db200b891293c2f8dd00d9cd575da6)
よって
![{\displaystyle e^{ix}=\cos x+i\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4907c0489ab08ce550c7700a1587d4634801dff8)
が得られる。
- ^ 冪級数
の収束半径 R は、極限
![{\displaystyle \scriptstyle r=\lim \limits _{n\to \infty }\left|{\frac {a_{n}}{a_{n+1}}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74fae7767e7235df6fd068527dd3970306de19b4)
が存在すれば、R = r である。(極限が存在しない場合、収束半径はこの方法では求まらない。)
ex の収束半径は
![{\displaystyle {\begin{aligned}\scriptstyle \lim \limits _{n\to \infty }\left|{\frac {1/n!}{1/(n+1)!}}\right|&\scriptstyle =\lim \limits _{n\to \infty }(n+1)\\\scriptstyle &\scriptstyle =\infty \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1da5d6d9b162043a9b38bd089da2277be0cba68)
となる。cos x の収束半径は、x2 についての級数と考えたときの収束半径に等しい。
![{\displaystyle {\begin{aligned}\scriptstyle \lim \limits _{n\to \infty }\left|{\frac {(-1)^{n}/(2n)!}{(-1)^{n+1}/\{2(n+1)\}!}}\right|&\scriptstyle =\lim \limits _{n\to \infty }{\frac {\{2(n+1)\}!}{(2n)!}}\\\scriptstyle &\scriptstyle =\lim \limits _{n\to \infty }(2n+2)(2n+1)\\\scriptstyle &\scriptstyle =\infty \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67102cfbe56ee7b26514a819ba1342a7632cfb00)
sin x の収束半径は、同様に
![{\displaystyle {\begin{aligned}\scriptstyle \lim \limits _{n\to \infty }\left|{\frac {(-1)^{n}/(2n+1)!}{(-1)^{n+1}/\{2(n+1)+1\}!}}\right|&\scriptstyle =\lim \limits _{n\to \infty }{\frac {(2n+3)!}{(2n+1)!}}\\\scriptstyle &\scriptstyle =\lim \limits _{n\to \infty }(2n+3)(2n+2)\\\scriptstyle &\scriptstyle =\infty \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36de53fb5526b3060a2d62b16b826662f170e4b7)
以上で (1), (2), (3) の右辺の収束半径が ∞ であることが証明された。
- ^ これらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ
- ^
![{\displaystyle {\begin{aligned}\scriptstyle e^{a+b}&\scriptstyle =\sum \limits _{n=0}^{\infty }{\frac {(a+b)^{n}}{n!}}\\&\scriptstyle =\sum \limits _{n=0}^{\infty }{\frac {1}{n!}}\sum \limits _{r=0}^{n}{\frac {n!}{r!(n-r)!}}a^{r}b^{n-r}\\&\scriptstyle =\sum \limits _{n=0}^{\infty }\sum \limits _{r=0}^{n}{\frac {a^{r}b^{n-r}}{r!(n-r)!}}\\&\scriptstyle =\sum \limits _{r=0}^{\infty }\sum \limits _{n=r}^{\infty }{\frac {a^{r}b^{n-r}}{r!(n-r)!}}\\&\scriptstyle =\sum \limits _{r=0}^{\infty }{\frac {a^{r}}{r!}}\sum \limits _{n=r}^{\infty }{\frac {b^{n-r}}{(n-r)!}}\ (m\,\equiv \,n-r)\\&\scriptstyle =\sum \limits _{r=0}^{\infty }{\frac {a^{r}}{r!}}\sum \limits _{m=0}^{\infty }{\frac {b^{m}}{m!}}\\&\scriptstyle =e^{a}e^{b}\quad //\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b55ab7d2193131e910bd068db1f1c42c12d4632a)
- ^ i2 = −1 より i = −1/i であることを利用した。
- ^ e0 = 1 および sin 0 = 0, cos 0 = 1 を利用した。
- ^ cos x + i sin x は関数として 0 でないので。
- ^ 三角関数の半角公式を利用した。
参考文献[編集]
ウィキメディア・コモンズには、
オイラーの公式に関連するカテゴリがあります。
関連項目[編集]
外部リンク[編集]