オイラーの等式
オイラーの等式(オイラーのとうしき、英: Euler's identity)とは、解析学における等式
- eiπ + 1 = 0
であり、その名はレオンハルト・オイラーに因む。ここに、
である。
等式の要素
オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。
この等式は次の5つの基本的な数学定数を含んでいる。
- 1: 乗法に関する単位元
- 0: 加法に関する単位元、すなわち零元
- π: 円周率。三角比、ユークリッド幾何学、微分積分学で頻出。およそ 3.14159 である。
- e: ネイピア数。自然対数の底でもあり、微分積分学で広く出現。およそ 2.71828 である。
- i: 虚数単位。複素数における虚数単位であり、積分などの多くの演算においてより深い洞察に導く。
かつ、それらが次の3つの基本的な算術演算によって簡潔に結び付けられている。
幾何学、解析学、代数学の分野でそれぞれ独立に定義された三つの定数 (π, e, i) がこのような簡単な等式で関連付いているという事実は非常に興味深いことである。
人々による評価
数学誌の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!" の中では、円周率πの代わりに、τ、円の周の半径に対する比率を用いれば、この式は[math]e^{i \tau} = 1\,[/math]という、よりシンプルな表現になると述べられている。
導出
この等式は複素関数論における、任意の実数 [math]\varphi[/math] に対して成り立つオイラーの公式
- [math]e^{i\varphi} = \cos \varphi + i \sin \varphi \,[/math]
の特別な場合である。ここで三角関数 sin と cos の引数 [math]\varphi[/math] は弧度法(ラジアン)である。両辺に [math]\varphi = \pi[/math] を代入すると、
- [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 とするとオイラーの等式を得る。
歴史
オイラーの等式は1748年に出版された彼の解析学の記念碑的研究 Introductio in analysin infinitorum に現れるということが主張されてきた[9]。しかしながら、特にこの概念がオイラーに帰属できるものであるかどうかは、彼がそれを決して表示しなかったから、疑わしい[10]。(さらに、オイラーは確かに Introductio に今日「オイラーの公式」と呼ばれるもの、これは複素数の世界で e をコサインとサインの言葉に結び付けるもの、について書いたが[11]、イギリスの数学者ロジャー・コーツもこの公式について知っており、オイラーは彼のスイスの同胞ヨハン・ベルヌーイを通じてその知識を得ていたかもしれない[10]。)
オイラーの等式が登場する文学作品
脚注
- ↑ http://www.springer.com/math/journal/283
- ↑ Nahin, 2006, p.2–3 (poll published in summer 1990 issue).
- ↑ Crease, 2004.
- ↑ Cited in Crease, 2007.
- ↑ Reid.
- ↑ Derbyshire p.210.
- ↑ Maor p.160 and Kasner & Newman p.103–104.
- ↑ Nahin, 2006, p.1.
- ↑ Conway and Guy, pp. 254–255.
- ↑ 10.0 10.1 Sandifer, p. 4.
- ↑ Euler, p. 147.
- ↑ http://www.hakase-movie.com/
参考文献
- G. レイコフ (著), R.E. ヌーニェス (著)「数学の認知科学」丸善出版
- Conway, John Horton, and Guy, Richard (1996). The Book of Numbers (Springer, 1996). ISBN 978-0-387-97993-9.
- 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).
- Euler, Leonhard. Leonhardi Euleri opera omnia. 1, Opera mathematica. Volumen VIII, Leonhardi Euleri introductio in analysin infinitorum. Tomus primus (Leipzig: B. G. Teubneri, 1922).
- 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, C. Edward. Euler's Greatest Hits (Mathematical Association of America, 2007). ISBN 978-0-88385-563-8