Euler's Formula Proof

オイラーの公式の証明 「数学において最も美しい等式」の導出プロセスと幾何学的意味

オイラーの公式への賛辞 オイラーの公式は、数学における最も注目すべき、最も驚くべき公式である。 — リチャード・ファインマン (Richard Feynman)

オイラーの公式とは？ 指数関数と三角関数を虚数単位 i で結びつける画期的な定理

公式と等式 オイラーの公式 e^iθ = cosθ + isinθ 実数 θ に対して、指数関数と三角関数が複素数平面上でどのようにつながるかを示しています。 オイラーの等式 e^iπ + 1 = 0 θ に π を代入した特別なケース。数学における5つの最も重要な定数 (e, i, π, 1, 0) が一つの式に統合されています。

証明の前提：マクローリン展開 指数関数の展開 関数 e^x を無限の多項式の和として表現します。 e^x = 1 + x + x^2/2! + x^3/3! + ... 三角関数の展開 cos(x) と sin(x) も同様に無限級数として展開できます。 cosx = 1 - x^2/2! + x^4/4! - ... sinx = x - x^3/3! + x^5/5! - ...

証明の前提：虚数単位の性質 1 1乗と5乗 i^1 = i i^5 = i - 2乗と6乗 i^2 = -1 i^6 = -1 ↓ 3乗と7乗 i^3 = -i i^7 = -i + 4乗と8乗 i^4 = 1 i^8 = 1 虚数単位 i を掛け合わせると、[i, -1, -i, 1] のサイクルが無限に繰り返されます。

証明 Step 1: 代入 まず、指数関数のマクローリン展開式における x に ix を代入します。 e^ix = 1 + ix + (ix)^2/2! + (ix)^3/3! + (ix)^4/4! + ... この無限級数の中に、実数と虚数が混ざった状態になります。ここからの累乗を計算して簡略化していきます。

証明 Step 2: 展開と分離 虚数の性質 (i^2=-1, i^3=-i...) を使って括弧を展開します。 e^ix = 1 + ix - x^2/2! - ix^3/3! + x^4/4! + ix^5/5! - ... 続いて、式全体を i が含まれない「実部」と、i で括れる「虚部」に分離して整理します。 e^ix = (1 - x^2/2! + x^4/4! - ...) + i(x - x^3/3! + x^5/5! - ...)

証明 Step 3: 三角関数との一致 分離した式をよく見ると、前半の括弧内は cos(x) のマクローリン展開と完全に一致しています。 後半の括弧内は sin(x) のマクローリン展開と完全に一致しています。 e^ix = cosx + isinx したがって、各無限級数を三角関数に置き換えることで、オイラーの公式が見事に導出されました！

複素数平面における幾何学的意味 オイラーの公式は、単なる代数式ではなく「複素数平面上での回転」を見事に表しています。 値は、原点を中心とする半径1の円（単位円）の円周上に位置し、実軸からの角度 φ の点を指し示します。 この直感的な性質により、波の振る舞い、量子力学、電気回路の交流解析など、現代科学のあらゆる計算を劇的にシンプルにしています。 Im i e^iφ = cosφ + i sinφ sin φ 0 cos φ 1 Re

最も美しい等式へ：オイラーの等式 e^iπ + 1 = 0 Euler's Identity 究極の調和 オイラーの公式 e^iθ = cosθ + i sinθ において、θ=π (180度) を代入します。 cosπ = -1、sinπ = 0 であるため、式は e^iπ = -1 となり、移項するとこの美しい等式が現れます。 解析学の e、代数学の i、幾何学の π、そして算術の基本である 0 と 1 がたった一つの式に完璧に集約されています。

質疑応答 ご清聴ありがとうございました。 引き続き、美しき数学の探求を続けましょう。

Image Sources https://mathvault.ca/wp-content/uploads/Euler-formula-diagram.png Source: mathvault.ca