本質から理解する数学・図解解説

数学界で最も美しい数式オイラーの公式を完全に理解する

「 $e^{i\pi} = -1$ 」という式はなぜ美しいのか。幾何学・代数学・解析学の中心人物たちがどのようにして繋がり合うのか、その神秘の世界をテイラー展開から導き出します。

0. なぜ「オイラーの公式」は美しいのか？

数学界で最も美しいと言われる式があります。それが「オイラーの等式（オイラーの公式から導かれる式）」です。

3つの分野が交差する奇跡の数式

なぜこの式がそれほどまでに愛され、美しいと言われるのでしょうか？それは、数学の全く異なる3つの大きなジャンルの「主役たち」が、無理なく自然な形で1つの式に結実しているからです。

① 幾何学の王様： $\pi$（円周率）

図形を扱う「幾何学」において最も重要な数です。円周や面積を求めるために古代から探求され続けてきた、無限に続く小数です。

② 代数学の裏ボス： $i$（虚数単位）

方程式を解く「代数学」から生まれた、「2乗して -1 になる数」です。実数の世界には存在しない、想像上の数です。

③ 解析学の主人公： $e$（ネイピア数）

微分・積分などを用いて関数を解析する「解析学」の中心人物です。これも無限に続く小数（2.718…）です。

一見すると全く関係のない、別々の場所で生まれた無限に続くよく分からない小数や虚数たちが、ごちゃごちゃと掛け合わさった結果、信じられないことに、完璧に「-1」という綺麗な整数に落ち着くのです。この奇跡のような深い繋がりを、一つ一つ解き明かしていきましょう。

💡 数学の起源と幾何学

数学のジャンルの中で最も早く生まれたのは「幾何学」だと言われています。古代エジプトのナイル川が頻繁に氾濫を起こし、農民の土地の境界がぐちゃぐちゃになった際、土地を測量して「ここからここまでが君の土地」と三平方の定理などを使って割り出したのが数学の始まりという逸話があります。

💡 方程式の歴史と代数学

代数学のメインテーマは「未知数当てゲーム」です。$x^2 = -1$ という方程式の解を考える中で、$i$ という概念が必要になりました。

1. $\pi$ を深く知る（三角関数とテイラー展開）

$\pi$ を理解するための重要な武器となるのが「三角関数」です。高校の授業では「直角三角形の比」として習いますが、実は、三角関数は三角形の関数ではなく、「円の関数」です。

【図解：円の関数としての三角関数】

xy平面上の原点を中心とする半径1の円（単位円）を考えます。この円周上を「秒速1」で動く点 $P$ を想像してください。

この点 $P$ が $\theta$ 秒進んだときの、y座標が $\sin \theta$ 、x座標が $\cos \theta$ 、そして直線 $OP$ の傾きが $\tan \theta$ となります。円周の長さは $2\pi$ なので、点 $P$ は $2\pi$ 秒で1周します。これが三角関数の真の姿です。

無限多項式による近似（テイラー展開の考え方）

関数を深く知るために、グラフを「多項式」で表すことを考えます。
例えば、x座標が被らない $n$ 個の点を与えられたとき、そのすべての点を通る $(n-1)$次関数は1つに定まります。

2個の点を通る1次関数（直線）は1つに定まる
3個の点を通る2次関数（放物線）は1つに定まる
4個の点を通る3次関数は1つに定まる
5個の点を通る4次関数は1つに定まる
⋮
10個の点を通る9次関数は1つに定まる
⋮

一般に、
$x$ 座標が異なる $n$ 個の点を通る $(n-1)$次関数は1つに定まる

なぜ $n$ 個の点で関数が決まるのか？（5個の点と4次関数の例）

4次関数の場合、一般に、次のような式で書けます。

\[ y = ax^4 + bx^3 + cx^2 + dx + e \]

ここで $x, y$ は変数ですが、$a, b, c, d, e$ は関数を決定するための未知の数字（5個）です。この5つの文字（係数）を求めるためには、5つの式が必要になります。

もし、この関数がグラフ上の「5個の異なる点」を通るとしたらどうなるでしょう。例えば点 $(1, 8)$ や点 $(2, 7)$ などを通るなら、それぞれの $x, y$ に座標を代入して式を作ることができます。

\[ \begin{aligned} \text{・点 } (1, 8) \text{ を通る } &\rightarrow \quad 8 = a + b + c + d + e \\ \text{・点 } (2, 7) \text{ を通る } &\rightarrow \quad 7 = 16a + 8b + 4c + 2d + e \\ &\ \ \ \ \vdots \end{aligned} \]

（点が5個あれば、合計5つの式ができる）

未知数が5つで、式が5つあれば、連立方程式としてすべての $a,b,c,d,e$ が必ず1通りに求まります。だから、5個の点を通る4次関数は1つに定まるのです。

では、さらに点を増やして、$y = \sin x$ のグラフ上にある「無限個の点」すべてを通る多項式を考えたらどうなるでしょうか？
答えは、「無限に続く多項式」として1つに定まります。この発想が「テイラー展開（マクローリン展開）」の核です。

実践： $\sin x$ をテイラー展開する

$\sin x$ を無限多項式で次のように置きます。

\[ \sin x = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + a_4 x^4 + a_5 x^5 + \cdots \]

この式の $a_0, a_1, a_2 \dots$ という未知の数字を当てていきます。

① 両辺に $x=0$ を代入する
$\sin 0 = 0$ であり、右辺は $a_1$ 以降がすべて 0 になるため、$a_0 = 0$ と分かります。

② 両辺を $x$ で微分し、再び $x=0$ を代入する
$\sin x$ を微分すると $\cos x$ になります。右辺の多項式も微分します。

\[ \cos x = a_1 + 2a_2 x + 3a_3 x^2 + 4a_4 x^3 + 5a_5 x^4 + \cdots \]

ここで $x=0$ を代入すると、$\cos 0 = 1$ より、$a_1 = 1$ と分かります。

③ さらに微分を繰り返す（2回目の微分）
もう一度微分すると $-\sin x$ になります。

\[ -\sin x = 2a_2 + 3 \cdot 2 a_3 x + 4 \cdot 3 a_4 x^2 + 5 \cdot 4 a_5 x^3 + \cdots \]

$x=0$ を代入すると $-\sin 0 = 0$ より、$a_2 = 0$ です。

④ 3回目の微分
さらに微分すると $-\cos x$ になります。

\[ -\cos x = 3 \cdot 2 \cdot 1 a_3 + 4 \cdot 3 \cdot 2 a_4 x + 5 \cdot 4 \cdot 3 a_5 x^2 + \cdots \]

$x=0$ を代入すると $-\cos 0 = -1$ より、$-1 = 3 \cdot 2 \cdot 1 a_3$。つまり$a_3 = -1 / 3!$ です。

⑤ 4回目の微分
さらに微分すると、一周回って $\sin x$ に戻ります。

\[ \sin x = 4 \cdot 3 \cdot 2 \cdot 1 a_4 + 5 \cdot 4 \cdot 3 \cdot 2 a_5 x + \cdots \]

$x=0$ を代入すると $\sin 0 = 0$ より、$a_4 = 0$ です。

⑥ 5回目の微分
もう一度微分すると $\cos x$ になります。

\[ \cos x = 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 a_5 + \cdots \]

$x=0$ を代入すると $\cos 0 = 1$ より、$1 = 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 a_5$。つまり$a_5 = 1 / 5!$ です。

このように無限に繰り返していくと、次のような法則性が見えてきます。

項	微分後の関数	x=0 代入値	係数
$a_0$	$\sin x$	0	$0$
$a_1$	$\cos x$	1	$1 / 1!$
$a_2$	$-\sin x$	0	$0$
$a_3$	$-\cos x$	-1	$-1 / 3!$
$a_4$	$\sin x$	0	$0$
$a_5$	$\cos x$	1	$1 / 5!$

※ $n!$ は階乗（例：$3! = 3 \times 2 \times 1$）を表します。

実践： $\cos x$ をテイラー展開する

$\cos x$ も同様に無限多項式で次のように置きます。

\[ \cos x = b_0 + b_1 x + b_2 x^2 + b_3 x^3 + b_4 x^4 + b_5 x^5 + \cdots \]

① 両辺に $x=0$ を代入する
$\cos 0 = 1$ であり、右辺は $b_1$ 以降がすべて 0 になるため、$b_0 = 1$ と分かります。

② 両辺を $x$ で微分し、再び $x=0$ を代入する
$\cos x$ を微分すると $-\sin x$ になります。右辺の多項式も微分します。

\[ -\sin x = b_1 + 2b_2 x + 3b_3 x^2 + 4b_4 x^3 + 5b_5 x^4 + \cdots \]

ここで $x=0$ を代入すると、$-\sin 0 = 0$ より、$b_1 = 0$ と分かります。

③ さらに微分を繰り返す（2回目の微分）
もう一度微分すると $-\cos x$ になります。

\[ -\cos x = 2b_2 + 3 \cdot 2 b_3 x + 4 \cdot 3 b_4 x^2 + 5 \cdot 4 b_5 x^3 + \cdots \]

$x=0$ を代入すると $-\cos 0 = -1$ より、$-1 = 2b_2$。つまり$b_2 = -1 / 2!$ です。

④ 3回目の微分
さらに微分すると $\sin x$ になります。

\[ \sin x = 3 \cdot 2 \cdot 1 b_3 + 4 \cdot 3 \cdot 2 b_4 x + 5 \cdot 4 \cdot 3 b_5 x^2 + \cdots \]

$x=0$ を代入すると $\sin 0 = 0$ より、$b_3 = 0$ です。

⑤ 4回目の微分
さらに微分すると、一周回って $\cos x$ に戻ります。

\[ \cos x = 4 \cdot 3 \cdot 2 \cdot 1 b_4 + 5 \cdot 4 \cdot 3 \cdot 2 b_5 x + \cdots \]

$x=0$ を代入すると $\cos 0 = 1$ より、$1 = 4 \cdot 3 \cdot 2 \cdot 1 b_4$。つまり$b_4 = 1 / 4!$ です。

⑥ 5回目の微分
もう一度微分すると $-\sin x$ になります。

\[ -\sin x = 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 b_5 + \cdots \]

$x=0$ を代入すると $-\sin 0 = 0$ より、$b_5 = 0$ です。

これを無限に繰り返していくと、$\sin x$ の時と同じように法則性が見えてきます。

項	微分後の関数	x=0 代入値	係数
$b_0$	$\cos x$	1	$1 / 0!$
$b_1$	$-\sin x$	0	$0$
$b_2$	$-\cos x$	-1	$-1 / 2!$
$b_3$	$\sin x$	0	$0$
$b_4$	$\cos x$	1	$1 / 4!$
$b_5$	$-\sin x$	0	$0$

$\sin x$ と $\cos x$ のテイラー展開

以上の手順から、以下の美しい式が得られます。

\[ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \]
\[ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \]

これが三角関数の真の姿です。曲線が、無限に続く足し算と引き算によって見事に表現されています。

💡 なぜ次数の低い方から書くの？

通常の多項式（例：$y = ax^4 + bx^3 + cx^2 + dx + e$）は、次数の高い方から順に書くのが一般的です（降べきの順）。
しかし、無限次多項式には「一番高い次数」というものが存在しません（無限に続くため）。そのため、表記上、次数の低い方（定数項）から順に書くことになります。

! 0の階乗について

$\cos x$ の展開式にある定数項「1」は、法則性に当てはめると $\frac{x^0}{0!}$ となります。数学では $0! = 1$ と定義されています。0ではありません。

📚 一般のテイラー展開

任意の関数 $f(x)$ は、無限回微分可能であれば次のような多項式で表すことができます（マクローリン展開）。

\[ f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n \]

この式を具体的に書き下すと以下のようになります。

\[ f(x) = f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \cdots \]

2. $e$ を深く知る（ネイピア数と指数関数）

解析学の主人公であるネイピア数 $e$ は、指数関数と対数関数において中心的な役割を果たします。$e \approx 2.71828\dots$ という無限に続く小数です。

なぜ $e$ という中途半端な数を使うのか？

例えば $10^x$ のように、底を10にする方が我々人間には分かりやすい気がします。しかし、数学において「10」という数字は、単に人間の指が10本だから採用された（10進法）というだけの、必然性のない数字です。
数学という普遍の真理を求める学問において、指数関数の底に最もふさわしい数として定義されたのが $e$ です。

\[ e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n \]

$e^x$ の持つ「最強の性質」

$e$ を底とする指数関数 $e^x$ は、他のどの数にもない特別な性質を持っています。それは「微分しても形が全く変わらない」ということです。

\[ (e^x)' = e^x \]

例えば $2^x$ を微分しても $2^x$ にはなりません。微分しても元のまま戻ってくるのは、底が $e$ のときだけです。

実践： $e^x$ をテイラー展開する

三角関数と同じように、$e^x$ を無限多項式で置きます。

\[ e^x = c_0 + c_1 x + c_2 x^2 + c_3 x^3 + c_4 x^4 + c_5 x^5 + \cdots \]

① 両辺に $x=0$ を代入する
$e^0 = 1$ なので（どんな数も0乗は1）、$c_0 = 1$ です。

② 両辺を $x$ で微分し、再び $x=0$ を代入する
左辺の $e^x$ は微分しても $e^x$ のままです。右辺を微分します。

\[ e^x = c_1 + 2c_2 x + 3c_3 x^2 + 4c_4 x^3 + 5c_5 x^4 + \cdots \]

ここで $x=0$ を代入すると、再び $e^0 = 1$ より、$c_1 = 1$ です。

③ さらに微分を繰り返す（2回目の微分）
左辺はずっと $e^x$ のままなので、左辺に $x=0$ を代入した値は永遠に「1」です。

\[ e^x = 2c_2 + 3 \cdot 2 c_3 x + 4 \cdot 3 c_4 x^2 + 5 \cdot 4 c_5 x^3 + \cdots \]

$x=0$ を代入すると $e^0 = 1$ より、$1 = 2c_2$。つまり$c_2 = 1 / 2!$ です。

④ 3回目の微分
さらに微分しても、左辺は $e^x$ です。

\[ e^x = 3 \cdot 2 \cdot 1 c_3 + 4 \cdot 3 \cdot 2 c_4 x + 5 \cdot 4 \cdot 3 c_5 x^2 + \cdots \]

$x=0$ を代入すると $e^0 = 1$ より、$1 = 3 \cdot 2 \cdot 1 c_3$。つまり$c_3 = 1 / 3!$ です。

💡 永遠に変わらない左辺

お気付きの通り、$e^x$ は何回微分してもずっと $e^x$ のままです。したがって、左辺に $x=0$ を代入した値は永遠に「1」になります。
このことから、この先どれだけ微分を繰り返しても、係数は非常にシンプルな法則に従って求まることが分かります。

この法則性を表にまとめると、次のようになります。

項	微分後の関数	x=0 代入値	係数
$c_0$	$e^x$	1	$1 / 0!$
$c_1$	$e^x$	1	$1 / 1!$
$c_2$	$e^x$	1	$1 / 2!$
$c_3$	$e^x$	1	$1 / 3!$
$c_4$	$e^x$	1	$1 / 4!$
$c_5$	$e^x$	1	$1 / 5!$

$e^x$ のテイラー展開

\[ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \]

💡 指数関数の誕生と天文学

指数関数は中世ヨーロッパで生まれました。当時の天文学者は $10^{10} \times 10^{10}$ のような天文学的な桁数の掛け算に苦しんでいました。ネイピアさんが「指数の足し算」で計算できる方法を考案したことで、天文学者の寿命が2倍に延びたと言われるほど計算が楽になりました。

! 直感への問いかけ

ここまで導き出した $\sin x$, $\cos x$, そして $e^x$ の3つの展開式。何か「似ている」と感じませんか？この気付きが、最終章へと我々を導きます。

3. 全てが繋がる（オイラーの公式の証明）

今までに手に入れた3つの式を並べてみましょう。

\[ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!} + \cdots \]
\[ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \]
\[ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \]

$\cos x$ と $\sin x$ を足し合わせれば $e^x$ になりそうですが、符号（プラスとマイナス）が合わないため、実数の世界だけではこの3つは繋がりません。
そこで、パズルの最後のピースとして虚数 $i$ が登場します。

STEP 1: $e^x$ の $x$ に $ix$ を代入する

$e^x$ の展開式のすべての $x$ を $ix$ に置き換えてみます。

\[ e^{ix} = 1 + (ix) + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \frac{(ix)^5}{5!} + \cdots \]

STEP 2: 虚数 $i$ の累乗を計算する

$i^2 = -1$ であることを利用して、式を展開します。

$i^2 = -1$
$i^3 = i^2 \times i = -i$
$i^4 = i^2 \times i^2 = 1$
$i^5 = i$

これを式に当てはめると、次のようになります。

\[ e^{ix} = 1 + ix - \frac{x^2}{2!} - i\frac{x^3}{3!} + \frac{x^4}{4!} + i\frac{x^5}{5!} - \cdots \]

STEP 3: 実部と虚部に分ける

上の式を、$i$ が付いていない部分（実数ゾーン：偶数乗）と、$i$ が付いている部分（虚数ゾーン：奇数乗）に綺麗に分けて、$i$ でくくります。

\[ e^{ix} = \left( 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots \right) + i \left( x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots \right) \]

お気付きでしょうか。前半の括弧の中身は完全に $\cos x$ であり、後半の括弧の中身は完全に $\sin x$ です！
こうして、代数学・幾何学・解析学が融合した「オイラーの公式（一般形）」が導かれます。

オイラーの公式

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

STEP 4: 運命の代入（$x = \pi$）

最後に、この式の $x$ に幾何学の王様である $\pi$ を代入してみましょう。

\[ e^{i\pi} = \cos \pi + i \sin \pi \]

三角関数の定義（単位円）より、180度（$\pi$ ラジアン）のときの座標は、$x座標(\cos \pi) = -1$、$y座標(\sin \pi) = 0$ です。

\[ e^{i\pi} = -1 + i \cdot 0 \]

虚数部分が消え去り、最終的に残るのはこの奇跡の等式です。

オイラーの等式

\[ e^{i\pi} = -1 \]

爆発的に増加する指数関数 $e^x$ と、波のように揺れる三角関数。全く異なる2つの世界が、虚数 $i$ を媒介にすることで深い次元で繋がっていたのです。
これが「オイラーの公式」が人類至宝の美しい数式と呼ばれる所以です。

🧠 実数から複素数の世界へ

実数の世界だけで考えているうちは、指数関数と三角関数は決して交わることのない別々の関数でした。

しかし、「虚数」という想像上の数を受け入れ、複素数の次元へと視野を広げた瞬間、バラバラだったパズルが完璧に組み合わさります。数学の真の美しさは、次元を一つ上げたときに現れるのです。

💡 表記の美しさ

この式を移行して $e^{i\pi} + 1 = 0$ と書くことも多いです。

数学で最も重要な5つの定数（$e, i, \pi, 1, 0$）と、基本的な3つの演算（加算、乗算、指数）が全て1回ずつ使われているという、芸術的なまでの対称性を持っています。