オイラーの等式
オイラーの等式(オイラーのとうしき、テンプレート:Lang-en-short)とは、解析学における等式
- <math>e^{i\pi} +1=0</math>
であり、その名はレオンハルト・オイラーに因む。ここに、
- e : ネイピア数、すなわち自然対数の底
- <math>i</math> : 虚数単位、すなわち自乗すると −1 となる複素数
- [[π|テンプレート:Π]] : 円周率、すなわち円の周の直径に対する比率
である。
等式の要素
オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。加法、乗法、指数関数という3つの基本的な算術演算が一度に出現する。また、この等式は次の5つの基本的な数学定数を含む。
- 1 : 乗法に関する単位元
- 0 : 加法に関する単位元、すなわち零元
- [[π|テンプレート:Π]] : 円周率。三角比、ユークリッド幾何学、微分積分学で頻出。およそ 3.14159 である。
- e : ネイピア数。自然対数の底でもあり、微分積分学で広く出現。およそ 2.71828 である。
- <math>i</math> : 虚数単位。複素数における虚数単位であり、積分などの多くの演算においてより深い洞察に導く。
幾何学、解析学、代数学の分野でそれぞれ独立に定義された定数が簡潔な形で1つの式に現れるのは非常に興味深いことである。
人々による評価
数学誌のThe Mathematical Intelligencer [1]の読者調査によると、この等式は「数学における最も美しい定理」 (The most beautiful theorem in mathematics) に選出されている[2]。また、2004年に実施された Physics World 誌での読者調査ではマクスウェルの方程式と並び、「史上最も偉大な等式」(Greatest equation ever) に選出されている[3]。
ポール・ネイヒン(ニューハンプシャー大学 (en) 名誉教授)の著書「オイラー博士の偉大な式」(Dr. Euler's Fabulous Formula) [2006] では、この等式のために400ページも充てている。本著書ではこの等式を「数学的な美の絶対的基準」(The gold standard for mathematical beauty) としている[4]。
コンスタンス・レイド (en) は、オイラーの等式を「全ての数学分野において最も有名な式」(The most famous formula in all mathematics) であると主張した[5]。
カール・フリードリッヒ・ガウスは「この式を見せられた学生がすぐにその意味を理解できなければ、その学生は第一級の数学者には決してなれない」(If this formula was not immediately apparent to a student on being told it, the student would never be a first-class mathematician.) と指摘している[6]。
この等式がベンジャミン・パース (19世紀の数学者、ハーバード大学教授) の講義で紹介されたあと、「全く逆説的なことだ、我々はそれを理解できないし、それがどんな意義を持っているかも分からない。だが我々はそれを証明したし、それゆえにそれが間違いのない真実であると知っている」(It is absolutely paradoxical; we cannot understand it, and we don't know what it means, but we have proved it, and therefore we know it must be the truth.) と付け加えた[7]。
スタンフォード大学の数学の教授、キース・デブリン (en) は「愛の本質そのものをとらえるシェークスピアのソネットのように、あるいは、単なる表面でなくはるかに深い内面から人間の形の美しさを引き出す絵画のように、オイラーの等式は存在の遥かな深遠にまで到達している」(Like a Shakespearean sonnet that captures the very essence of love, or a painting that brings out the beauty of the human form that is far more than just skin deep, Euler's equation reaches down into the very depths of existence.) と記している[8]。
導出
この等式は複素関数論における、任意の実数 x に対するオイラーの公式
- <math>e^{ix} = \cos x + i \sin x \,</math>
の特別な場合である。ここで三角関数 sin と cos の引数 x は弧度法(ラジアン)である。両辺に x = π を代入すると、
- <math>\cos \pi = -1\,</math>
- <math>\sin \pi = 0\,</math>
より
- <math>e^{i \pi} = -1\,</math>
ゆえに
- <math>e^{i \pi} +1 = 0\,</math>
を得る。
一般化
オイラーの等式は、1の冪根に関する次の等式の特別な場合と見なせる。
- <math>\sum_{k=0}^{n-1} e^{2 \pi i k/n} = 0</math>
この一般的な式は、2 以上の任意の整数 n に対して成り立ち、1 の n 乗根全ての和は 0 であることを意味している。n = 2 とするとオイラーの等式を得る。
特記事項
本項の主題は「オイラーの等式」と呼ばれるが、これがオイラーに帰属するべきものであるかは明らかでない。オイラーは e を cos と sin と関連付ける式を記したが、より簡潔な「オイラーの等式」の導出過程を示す記録は残っていない。さらには、オイラー以前にもこの等式が知られていたらしい[9]。もしそうであれば、これはスティグラーの名前由来の法則 (en) の一例であろう。
オイラーの等式が登場する文学作品
関連項目
脚注
参考文献
- Crease, Robert P., "The greatest equations ever", PhysicsWeb, October 2004.
- Crease, Robert P. "Equations as icons," PhysicsWeb, March 2007.
- Derbyshire, J. Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics (New York: Penguin, 2004).
- Kasner, E., and Newman, J., Mathematics and the Imagination (Bell and Sons, 1949).
- Maor, Eli, e: The Story of a number (Princeton University Press, 1998), ISBN 0-691-05854-7
- Nahin, Paul J., Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills (Princeton University Press, 2006), ISBN 978-0691118222
- Reid, Constance, From Zero to Infinity (Mathematical Association of America, various editions).
- Sandifer, Ed, "Euler's Greatest Hits", MAA Online, February 2007.pl:Wzór Eulera#Tożsamość Eulera