オイラーの等式

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:Otheruses

指数関数 テンプレート:Mvar は テンプレート:Math の テンプレート:Mvar が無限に大きくなるときの極限として定義でき、テンプレート:Mvar は テンプレート:Math の極限である。このアニメーションでは、テンプレート:Mvar の値を テンプレート:Math から テンプレート:Math まで増加させている。複素数平面において テンプレート:Math の累乗を点で表示しており、折れ線の端点が テンプレート:Math である。これにより、テンプレート:Mvar の増加に伴って テンプレート:Math が テンプレート:Math に近付く様子が観察される。

テンプレート:ネイピア数e

オイラーの等式（オイラーのとうしき、テンプレート:Lang-en-short）とは、ネイピア数 テンプレート:Mvar、虚数単位 テンプレート:Mvar、円周率 テンプレート:Mvar の間に成り立つ等式のことである：

テンプレート:Math

ここで

テンプレート:Mvar：ネイピア数（自然対数の底）
テンプレート:Mvar：虚数単位（自乗すると テンプレート:Math となる数）
テンプレート:Mvar：円周率（円の直径に対する周の比率）

である。

式の名はレオンハルト・オイラーに因る。

等式の要素

テンプレート:出典の明記 オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。

この等式は次の5つの基本的な数学定数を含んでいる。

かつ、それらが次の3つの基本的な算術演算によって簡潔に結び付けられている。

幾何学、解析学、代数学の分野でそれぞれ独立に定義された三つの定数 (テンプレート:Mvar, テンプレート:Mvar, テンプレート:Mvar) がこのような簡単な等式で関連付いている。なお、一般的に解析学では方程式は片側（概ね右辺）に「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π」なる数τ、すなわち円の周の半径に対する比率を用いれば、この式はeiτ=1 という、よりシンプルな表現になると述べられている。

導出

一般の角度に対するオイラーの公式

この等式は複素関数論における、任意の実数 φ に対して成り立つオイラーの公式

eiφ=cos⁡φ+isin⁡φ

の特別な場合である。ここで三角関数 sin と cos の引数 φ の表示は弧度法である。両辺に φ=π を代入すると、

cos⁡π=−1
sin⁡π=0

より

eiπ=−1

ゆえに

eiπ+1=0

を得る。

一般化

オイラーの等式は、1の冪根に関する次の等式の特別な場合と見なせる。

∑k=0n−1ei⋅2πnk=0

一般的なこの式は、2 以上の整数 テンプレート:Mvar に対して、1 の テンプレート:Mvar 乗根の総和は 0 であることを意味している。テンプレート:Math とするとオイラーの等式を得る。

特記事項

本項の主題は「オイラーの等式」と呼ばれるが、これがオイラーに帰属するべきものであるかは明らかでない。オイラーは e を cos と sin と関連付ける式を記したが、より簡潔な「オイラーの等式」の導出過程を示す記録は残っていない。

歴史

オイラーの等式は1748年に出版された彼の解析学の記念碑的研究に現れるということが主張されてきた[9]。しかし、特にこの概念がオイラーに帰属できるものであるかどうかは、彼がそれを表示しなかったため、疑われてもいる[10]（オイラーはIntroductio に「オイラーの公式」と呼ばれるもの、複素数の世界で テンプレート:Math をコサインとサインの言葉に結び付けるもの、について書き[11]、イギリスの数学者ロジャー・コーツもこの公式について知っている[10]）。

脚注

テンプレート:脚注ヘルプ テンプレート:Reflist

参考文献

  • 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

関連項目

テンプレート:ウィキポータルリンク

pl:Wzór Eulera#Tożsamość Eulera

  1. ↑ http://www.springer.com/math/journal/283
  2. ↑ Nahin, 2006, p.2–3 (poll published in summer 1990 issue).
  3. ↑ Crease, 2004.
  4. ↑ Cited in Crease, 2007.
  5. ↑ Reid.
  6. ↑ Derbyshire p.210.
  7. ↑ Maor p.160 and Kasner & Newman pp.103-104.
  8. ↑ Nahin, 2006, p.1.
  9. ↑ Conway and Guy, pp. 254–255.
  10. ↑ 10.0 10.1 Sandifer, p. 4.
  11. ↑ Euler, p.147.
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=オイラーの等式&oldid=271」から取得