定理

オイラーの等式: なぜ e^(iπ) + 1 = 0 なのか

2026年6月28日2分で読めます
オイラーの等式: なぜ e^(iπ) + 1 = 0 なのか

数学者に自分の分野で最も美しい結果を挙げてくれと頼むと、何度も繰り返し戻ってくる方程式があります。それは長くありません。述べるのに高度な道具立ても要りません。それはこう書かれます。

e^(iπ) + 1 = 0

この一行の中に、数学のまったく別々の部分から現れる5つの数が集まっています。成長の研究から来た e、負の数の平方根から来た i、円から来た π、そして算術のすべてを支える二つの数 1 と 0 です。これらが同じ部屋に居合わせる理由などないのに、ここではたった一つの厳密な関係の中に、何も余すことなく収まっています。注目すべきなのは、この方程式が美しいというだけではありません。それが真であること、そしてそれが真である理由が、一度腰を据えれば明確に見えてくることです。

この方程式が語っていること

ほとんどの人は、指数を繰り返しの掛け算として出会います。2 の 3 乗とは、2 かける 2 かける 2 です。その描像は整数の指数に対してはうまく働きますが、誰かが e を虚数乗すると書いた瞬間に崩れます。e を自分自身に「i 回」掛けることはできません。だから最初に受け入れるべきことは、e^(iπ) は繰り返しの掛け算をせよと求めているのではまったくない、ということです。それはもっと深い関数の値であり、その関数がすべての鍵なのです。

オイラーの公式: 等式の背後にあるエンジン

この全体は、レオンハルト・オイラーが発見した、もう一つの一般的な事実、すなわちオイラーの公式の上に成り立っています。

e^(iθ) = cos θ + i sin θ

これは、e を虚数乗しても一つの普通の数が出てくるわけではないことを語っています。それはコサインとサインの組み合わせを生み、その二つが合わさって平面上の一点を表します。角度 θ が大きくなるにつれ、その点は動きます。そしてどこへ動くかが核心なのです。そもそもコサインとサインがどこから来るのかを感じ取るには、三角法を直感的に理解するの記事が自然な伴侶です。なぜなら、その二つの関数こそ、オイラーの公式が組み立てられている材料そのものだからです。

e^(iθ) を回転として読む

これが、オイラーの等式を不可解ではなく必然だと感じさせる描像です。平面を思い浮かべてください。普通の数直線が左右に走り、虚数が上下に走っています。点 cos θ + i sin θ は常に中心からちょうど一単位の距離に位置します。なぜなら、コサインとサインはまさに半径 1 の円上の点の座標だからです。だから θ が増えても、e^(iθ) は実数の指数的成長のように無限へと駆け去ったりはしません。それは一定の速さで、単位円の周りを歩くのです。

Walking around the unit circle1i−ie−1θ = πe + 1 = 0

θ が 0 のとき、あなたは出発点、右に一単位、つまり数 1 にいます。四分の一回転、θ = π/2 で、円の頂点、点 i に来ます。半周まで進めば、向こう側に到達します。等式が本当に主張しているのはそれだけであり、いったん回転が描像になれば、証明はただの記帳作業にすぎません。

4つのステップで証明する

1

オイラーの公式から始める

オイラーの公式を土台とします。任意の角度 θ に対して、e^(iθ) = cos θ + i sin θ です。これが、私たちが積み上げていく唯一の事実です。これ自体は、指数関数、コサイン、サインの無限級数を比較することで証明できますが、私たちの目的のためには、これは信頼できる出発点です。

2

角度を π に設定する

θ = π、円を半周する角度を代入します。公式は e^(iπ) = cos π + i sin π となります。あとはすべて、二つのおなじみの値を読み取るだけに帰着します。

3

コサインとサインを評価する

半周したところでは、単位円上の点は出発した場所のちょうど真向かいに位置します。その水平座標は cos π = -1、垂直座標は sin π = 0 です。だから e^(iπ) = -1 + i(0)、つまり単に -1 です。

4

1 を足してゼロに至る

e^(iπ) = -1 を示しました。両辺に 1 を足します。e^(iπ) + 1 = 0 です。それが等式であり、その一つ一つのステップは、円を半周歩いて、たどり着いた場所を書き留めること以上の何ものでもありませんでした。

なぜ魔法のように感じられるのか

オイラーの公式さえ受け入れれば、証明のどこにも難しいところがないことに気づきます。難しかったのは決して代数ではありませんでした。それは、指数が何を意味するかを捉え直そうとする意志でした。繰り返しの掛け算は立派な最初の描像ですが、それはもっと大きなものの特別な場合です。指数関数は、ものごとが現在の大きさに比例してどう変化するかを記述し、虚数の入力を与えると、その「変化」が成長ではなく回転であることが判明します。複利や人口増加をモデル化するのと同じ機械を、虚数の方向へ横向きに向け直すと、完璧な円を描き出すのです。

それが、等式の中心にある意外性です。成長と回転は無関係な考えに見えますが、指数関数はそれらが同じものの二つの顔であることを静かに明かします。純粋に円を通して定義される定数 π は、現れざるを得ません。なぜなら、半周はちょうど π ラジアンだからです。虚数単位 i は、現れざるを得ません。なぜなら、それこそが指数関数を横向きに向けるものだからです。そして両者がそろえば、e^(iπ) は -1 でしかありえないのです。

その禅

オイラーの等式は、複雑であることによってではなく、避けがたいものであることによって、その名声を勝ち得ています。どの記号も、そこになければならないからそこにあり、そのうちのどれか一つを取り除けば、命題は崩れ落ちます。それは、ユークリッドによる素数の無限性の証明や他の優雅な議論を不朽のものにしているのと同じ性質です。全体を一度の通読で見渡すことができ、最後まで、信仰に頼って踏み出さねばならないステップは一つもありません。

それはまた、別の種類の数学的な美の隣にも位置します。何かを実際に構成することなく、それが存在するに違いないと示す証明です。エルデシュと確率論的方法はその最も鋭い例であり、興味深い対比をなしています。オイラーの等式が美しいのは、それがこれほど具体的で厳密だからであり、一方エルデシュの方法が美しいのは、純粋な数え上げから存在を呼び出すからです。

オイラーの等式が心に留めておくよう求めるのは、ただこれだけです。指数は繰り返しの掛け算を意味する必要はない、ということ。いったんそれが回転を意味しうるようになれば、数学のあちこちから来た5人の見知らぬ者たちが一列に並んでいることが判明し、その列は厳密なのです。それが拠って立つ基礎を感じ取りたいなら、指数を直感的に理解するが、指数という考えを一から組み立て直します。それこそ、この等式が腑に落ちるための飛躍にほかなりません。

よくある質問

オイラーの等式とは何ですか?
オイラーの等式とは e^(iπ) + 1 = 0 という方程式です。数学で最も重要な5つの定数を、たった一つの短い式の中で結びつけることで有名です。e (自然な成長の底)、i (虚数単位)、π (円の定数)、1、そして 0 です。さらに、加法、乗法、累乗という3つの基本的な演算を、それぞれちょうど一度ずつ使っています。
なぜ e^(iπ) は -1 に等しいのですか?
オイラーの公式 e^(iθ) = cos θ + i sin θ によるものです。この公式は、e を虚数乗すると点が単位円の周りを描き、θ がその角度を測ることを示しています。θ = π とすると、出発点である 1 からちょうど半周だけ回転することになります。半周回ると、円の反対側、つまり -1 に到達します。だから e^(iπ) = -1 となり、1 を足すと 0 になります。
オイラーの等式はオイラーの公式と同じものですか?
密接に関係していますが、同一ではありません。オイラーの公式とは、あらゆる角度 θ に対して成り立つ一般的な命題 e^(iθ) = cos θ + i sin θ のことです。オイラーの等式は、その公式に θ = π を代入して得られる、最も印象的な特別な場合の一つです。公式がエンジンであり、等式はそこから生まれる一つの美しい数なのです。
なぜオイラーの等式は数学で最も美しい数式と呼ばれるのですか?
理由は二つあります。第一に簡潔さです。まったく別々の分野から現れる定数 e, i, π, 1, 0 を、無駄なく一行にまとめています。第二に意外性です。指数的な成長、虚数、そして円が互いに関係する明白な理由など何もないのに、等式はそれらが深く結びついていることを示します。数学における美しさとは、しばしばこの必然性と意外性の組み合わせを意味します。
オイラーの等式に実用的な使い道はありますか?
等式そのものは道具というより一つの記念碑ですが、その背後にある公式 e^(iθ) = cos θ + i sin θ は、応用数学全体で最もよく使われる結果の一つです。これは回転や振動を単純な掛け算に変えます。それこそが、技術者が交流電流、信号処理、量子力学、フーリエ解析を扱う方法の土台となっています。

じっくり考えるのは楽しかったですか?

Math Zen は、こうした直感を毎日の練習に変えます。24の数学トピックにわたる適応型の問題を用意しています。