オイラーの等式
|
オイラーの等式(オイラーのとうしき、英: Euler's identity)とは、ネイピア数 e、虚数単位 i、円周率 π の間に成り立つ等式のことである:
- eiπ + 1 = 0
ここで
である。
式の名はレオンハルト・オイラーに因る。
等式の要素
![]() | この節は検証可能な参考文献や出典が全く示されていないか、不十分です。(2018年4月) |
オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。
この等式は次の5つの基本的な数学定数を含んでいる。
- 1:乗法に関する単位元
- 0:加法に関する単位元、すなわち零元
- π:円周率。三角比、ユークリッド幾何学、微分積分学で頻出。およそ 3.14159 である。
- e: ネイピア数。自然対数の底でもあり、微分積分学で広く出現。およそ 2.71828 である。
- i:虚数単位。複素数における虚数単位であり、積分などの多くの演算においてより深い洞察に導く。
かつ、それらが次の3つの基本的な算術演算によって簡潔に結び付けられている。
幾何学、解析学、代数学の分野でそれぞれ独立に定義された三つの定数 (π, e, i) がこのような簡単な等式で関連付いている。なお、一般的に解析学では方程式は片側(概ね右辺)に「0」を置く形で記される。
人々による評価
数学誌のThe Mathematical Intelligencer [1]の読者調査によると、この等式は「数学における最も美しい定理」 (The most beautiful theorem in mathematics) に選出されている[2]。また、2004年に実施された Physics World 誌での読者調査ではマクスウェルの方程式と並び、「史上最も偉大な等式」(Greatest equation ever) に選出されている[3]。
ポール・ネイヒン(ニューハンプシャー大学 名誉教授)の著書「オイラー博士の偉大な式」(Dr. Euler's Fabulous Formula) [2006] では、この等式のために400ページも充てている。本著書ではこの等式を「数学的な美の絶対的基準」(The gold standard for mathematical beauty) としている[4]。
コンスタンス・レイド は、オイラーの等式を「全ての数学分野において最も有名な式」(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]。
スタンフォード大学の数学の教授、キース・デブリン は「愛の本質そのものをとらえるシェークスピアのソネットのように、あるいは、単なる表面でなくはるかに深い内面から人間の形の美しさを引き出す絵画のように、オイラーの等式は存在の遥かな深遠にまで到達している」(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]。
Bob Palaisが2001年に公開したエッセイ "π is wrong!" の中では、円周率πの代わりに、「τ=2π」なる数τ、すなわち円の周の半径に対する比率を用いれば、この式は