オイラーの公式

数学の複素解析におけるオイラーの公式（オイラーのこうしき、英: Euler's formula）とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである：

e^{iz}=\cos z+i\sin z

ここで $z$ は任意の複素数、 $e$ はネイピア数、 $i$ は虚数単位、 $\cos$ は余弦関数、 $\sin$ は正弦関数である。

特に、 $z=\varphi (\in \mathbb {R} )$ とする場合がよく使われ、この場合、 $e^{i\varphi }$ は、絶対値 $1$ , 偏角 $\varphi [\mathrm {rad} ]$ の複素数に等しい。

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

概要編集

この公式の名前は、18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に

\log \left(\cos x+i\sin x\right)=ix\

を発見した^[3]が、三角関数の周期性による対数関数の多価性を見逃した。1740年頃、オイラーは、コーツの公式を基に、指数関数と三角関数の級数展開を比較することによって、オイラーの公式を証明し、1748年に発表した^[3]。

オイラーの公式を導入することにより、極形式の複素数は、より簡素な表記に変換することができる。すなわち、複素数の極形式 $z = r (cos θ + i sin θ)$ は $z = re iθ$ に等しい。また、特に、 $θ = π$ のとき、

e^{i\pi }+1=0

が導かれる。この関係式はオイラーの等式 (Euler's identity) と呼ばれる。

オイラーの公式により、余弦関数および正弦関数は、双曲線関数に変換することができる：

\cos \theta =\cosh i\theta

\sin \theta ={\tfrac {1}{i}}\sinh i\theta

応用上では、三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などが利用しやすくなる。

指数関数と三角関数編集

実関数としての指数関数 $e x$ , 三角関数 $cos x$ , $sin x$ をそれぞれマクローリン展開すると

e^{x}=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {x^{n}}{n!}}\quad (x\in \mathbb {R} )

(1)

\cos x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n)!}}\,x^{2n}\quad (x\in \mathbb {R} )

(2)

\sin x=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n+1)!}}\,x^{2n+1}\quad (x\in \mathbb {R} )

(3)

となる。これらの冪級数の収束半径が $\infty$ であることは、ダランベールの収束判定法によって確認することができる^{[注 1]}。従ってこれらの級数は、変数 $x$ を複素数全体に拡張することができ、広義一様収束する。つまりこれらの級数によって表される関数は整関数である^{[注 2]}。解析接続すると、一致の定理より、複素数全体での正則関数としての拡張は一意であり、この収束冪級数で表される。

ここで、 $e x$ の $x$ を $ix$ に置き換え、 $e ix$ の冪級数が絶対収束することより級数の項の順序は任意に交換可能であることを考慮すれば

{\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}}

が得られる。

この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。例えば、三角関数の加法定理は、指数法則 $e a e b = e a + b$ ^{[注 3]}に対応していることが分かる^[4]。

オイラーの公式により、三角関数を複素指数関数で表すことができる。余弦関数、正弦関数は

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

となる。

証明編集

この公式には、上記の冪級数展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの例を挙げる。ただし、以下の微分を用いた証明については、実変数を複素数変数におき換えても、これらの議論が成立していることを、別途で証明する必要がある（複素関数論）。

微分による証明編集

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

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

(1)

$f (x)$ を形式的に微分すると以下のようになる。

{\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}}

したがって、すべての実数 $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) の両辺に、 $(cos x - i sin x)$ の複素共役 $(cos x + i sin x)$ を掛ければ、三角関数に関するピタゴラスの定理 $sin 2 x + cos 2 x = 1$ よりオイラーの公式が得られる^[5]。

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

証明 — 別の証明として、実変数 $x$ の関数 $f (x)$ を次のように定義する。

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

(4)

$f (x)$ を x について微分すると以下のようになる。

{\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}}

したがって、すべての実数 $x$ について $f' (x) = 0$ が成り立つ。ゆえに $f (x)$ は定数である。よって $f (x) = f (0)$ より

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

(5)

が成り立つ。 (5) を (4) に代入すると

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

が導出される。この両辺に $e ix$ を掛け、任意の複素数 a, b に対して成り立つ指数法則 $e a e b = e a + b$ を利用すれば^[4]

{\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}}

以上より

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

^[6]

微分方程式による証明編集

証明 — 微分方程式を用いた証明を示す。 $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)

を得る^{[注 4]}。任意の 0 でない複素数 $α$ について、関数 $e αx$ は次の関係を満たす。

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

(5)

(4) と (5) を見比べ、 $α = i$ と置き換えれば、f(0) = 1 より

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} ^{2}y}{{\mathrm {d} x}^{2}}}+y=0.

(2)

(2) は斉次な方程式なので、一般解は基本解の線型結合として表すことができる。 $cos x$ と $sin x$ は (2) の基本解である。実際、ロンスキー行列式

{\begin{vmatrix}\cos x&\sin x\\-\sin x&\cos x\end{vmatrix}}=\cos ^{2}x+\sin ^{2}x=1

は 0 にならない。よって、(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{aligned}1=C_{1}\\i=C_{2}\end{aligned}}

(5)

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

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

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

証明 —

|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

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

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

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

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

が得られる^[8]。

ド・モアブルの定理による証明編集

証明 — ド・モアブルの定理を用いた証明を示す^[9]。ド・モアブルの定理より

{\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}}

辺々加えて

2\cos n\theta =(\cos \theta +i\sin \theta )^{n}+(\cos \theta -i\sin \theta )^{n}.

右辺の 2 つの項を二項定理によって展開すれば、 $i$ の奇数乗の項は相殺し、 $i$ の偶数乗の項だけを二重に加えることになるので

{\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}}

を得る。これが $cos θ$ の $n$ 倍角の公式の閉じた表示式である（ $[s]$ は $s$ の整数部分）。この式において $nθ = x$ と置き換えると

\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}.

和の上端を $\infty$ に書き直したが、 $k > n /2$ のとき二項係数の部分が $0$ になるので、これは $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}n/2$ までの和に等しい。 $n \to \infty$ の極限においては

\cos {\frac {x}{n}}\sim 1\ ,\ \sin {\frac {x}{n}}\sim {\frac {x}{n}}\ ,\ \tan {\frac {x}{n}}\sim {\frac {x}{n}}

となり、各項目において漸近的に等しいことが確認できる。したがって

{\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}}}

となる。よって

\cos x=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k)!}}x^{2k}

が得られる。同様に $sin x$ について考えれば

\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}

より

\sin x=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)!}}x^{2k+1}

が得られる。ここで、 $n \to \infty$ の極限を取った際の誤差項の挙動を考えると

\cos {\frac {x}{n}}=1+a_{n}

とおけば

{\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}}

であるから、 $a n$ が小さいとき、 $n$ 乗すると誤差はおよそ $n$ 倍されるが、 $a n$ が $1 / n$ よりも早く $0$ に近づくときには、極限に影響しない。本議論において

{\begin{aligned}a_{n}&=\cos {\frac {x}{n}}-1\\&=-2\sin ^{2}{\frac {x}{2n}}\end{aligned}}

^{[注 7]}

であるから

a_{n}\sim -{\frac {x^{2}}{2n^{2}}}

となる。したがって、ランダウの記号を用いて漸近挙動を示せば

\cos {\frac {x}{n}}=1+O\left({\frac {1}{n^{2}}}\right).

ゆえに

\lim _{n\rightarrow \infty }\left(\cos {\frac {x}{n}}\right)^{n}=1.

ここで、ド・モアブルの定理に立ち返って

\cos n\theta +i\sin n\theta =(\cos \theta +i\sin \theta )^{n}.

上記式において $nθ = x$ とおくと

\cos x+i\sin x=\left(\cos {\frac {x}{n}}+i\sin {\frac {x}{n}}\right)^{n}.

ここで、 $n \to \infty$ の極限をとったとき

\cos {\frac {x}{n}}+i\sin {\frac {x}{n}}=1+{\frac {ix}{n}}+O\left({\frac {1}{n^{2}}}\right)

であるから

\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}.

よって

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

が得られる。

脚注編集

[脚注の使い方]

参照編集

注釈編集

^ 冪級数 $\scriptstyle \sum \limits _{n=0}^{\infty }a_{n}x^{n}$ の収束半径 $R$ は、極限
$\scriptstyle r=\lim \limits _{n\to \infty }\left|{\frac {a_{n}}{a_{n+1}}}\right|$
が存在すれば、 $R = r$ である。（極限が存在しない場合、収束半径はこの方法では求まらない。） $e x$ の収束半径は
${\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}}$
となる。 $cos x$ の収束半径は、 $x 2$ についての級数と考えたときの収束半径に等しい。
${\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}}$
$sin x$ の収束半径は、同様に
${\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}}$
以上で (1), (2), (3) の右辺の収束半径が $\infty$ であることが証明された。
^ これらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ
^
${\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}}$
^ $i 2 = -1$ より $i = - 1 / i$ であることを利用した。
^ $e 0 = 1$ および $sin 0 = 0, cos 0 = 1$ を利用した。
^ $cos x + i sin x$ は関数として 0 でないので。
^ 三角関数の半角公式を利用した。

参考文献編集

小笠英志『相対性理論の式を導いてみよう、そして、人に話そう』ベレ出版、2011年1月20日、165-171頁。ISBN 978-486064-267-9。
杉浦光夫『解析入門I』東京大学出版会〈基礎数学2〉、1980年3月31日。ISBN 978-4-13-062005-5。
田村二郎『解析関数』（新版）裳華房〈数学選書3〉、1983年11月15日。ISBN 978-4-7853-1307-4。
Dunham, William (1999), Euler: The Master of Us All, The Mathematical Association of America, ISBN 978-0-88385-328-3
- W. ダンハム著、黒川信重、若山正人、百々谷哲也訳『オイラー入門』丸善出版〈シュプリンガー数学リーディングス第1巻〉、2019年4月。ISBN 978-4-621-06568-6。 - 注記：2004年6月にシュプリンガー・ジャパンより出版された同名書籍の再出版。
ファインマン、リチャード、レイトン、サンズ著、坪井忠二訳『力学』 I、岩波書店〈ファインマン物理学〉、1977年、294,307頁。ISBN 978-4-00-007711-8。OCLC 47339138。
藤田宏『応用数学』放送大学教育振興会〈放送大学教材〉、1999年3月。ISBN 978-4-595-56042-2。
吉田武『オイラーの贈物　人類の至宝 $e iπ = -1$ を学ぶ』（新装版）東海教育研究所、2021年1月。ISBN 978-4-924523-14-2。
- 吉田武『オイラーの贈物　人類の至宝 $e iπ = -1$ を学ぶ』筑摩書房〈ちくま学芸文庫〉、2001年11月。ISBN 978-4-480-08675-4。

外部リンク編集

『オイラーの公式と複素指数関数』 - 高校数学の美しい物語
『オイラーの公式』 - コトバンク

[FOOTNOTEファインマン1977294,_307-1] ファインマン 1977, pp. 294, 307.

[FOOTNOTE吉田2021230-2] 吉田 2021, p. 230.

[Stillwell-3] John Stillwell (2002). Mathematics and Its History. Springer

[複素関数を学ぶ人のために-7] 複素関数を学ぶ人のために－山口大学理学部物理・情報科学科 - 芦田正巳

[複素数の取り扱い-8] 複素数の取り扱いとオイラーの公式

[FOOTNOTE藤田1999-9] 藤田 1999.

[kwansei-univ-euler-12] $e π i + 1 = 0$

[14] 2階微分方程式

[野海正俊-15] オイラーの数学から — 『無限解析序説』への招待－野海正俊

[4] 冪級数 $\scriptstyle \sum \limits _{n=0}^{\infty }a_{n}x^{n}$ の収束半径 $R$ は、極限
$\scriptstyle r=\lim \limits _{n\to \infty }\left|{\frac {a_{n}}{a_{n+1}}}\right|$
が存在すれば、 $R = r$ である。（極限が存在しない場合、収束半径はこの方法では求まらない。） $e x$ の収束半径は
${\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}}$
となる。 $cos x$ の収束半径は、 $x 2$ についての級数と考えたときの収束半径に等しい。
${\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}}$
$sin x$ の収束半径は、同様に
${\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}}$
以上で (1), (2), (3) の右辺の収束半径が $\infty$ であることが証明された。

[5] これらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ

[6] 
${\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}}$

[10] $i 2 = -1$ より $i = - 1 / i$ であることを利用した。

[11] $e 0 = 1$ および $sin 0 = 0, cos 0 = 1$ を利用した。

[13] $cos x + i sin x$ は関数として 0 でないので。

[16] 三角関数の半角公式を利用した。

[1]

[2]

[3]

[注 1]

[注 2]

[注 3]

[4]

[5]

[6]

[注 4]

[注 5]

[7]

[注 6]

[8]

[9]

[注 7]

オイラーの公式

目次

概要編集

指数関数と三角関数編集

証明編集

微分による証明編集

微分方程式による証明編集

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

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

ド・モアブルの定理による証明編集

脚注編集

参照編集

注釈編集

参考文献編集

関連項目編集

外部リンク編集

オイラーの公式

概要 編集

指数関数と三角関数 編集

証明 編集

微分による証明 編集

微分方程式による証明 編集

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

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

ド・モアブルの定理による証明 編集

脚注 編集

参照 編集

注釈 編集

参考文献 編集

関連項目 編集

外部リンク 編集

概要編集

指数関数と三角関数編集

証明編集

微分による証明編集

微分方程式による証明編集

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

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

ド・モアブルの定理による証明編集

脚注編集

参照編集

注釈編集

参考文献編集

関連項目編集

外部リンク編集