数学において、オイラーの恒等式[注1 ] (オイラー方程式とも呼ばれる)は、次の等式である。 どこ
オイラーの等式は、スイスの数学者レオンハルト・オイラーにちなんで名付けられました。これはオイラーの公式の特殊な場合です。評価される際にオイラーの等式は、数学における最も基本的な数同士の深い繋がりを示していることから、数学の美しさの典型例とみなされている。
オイラーの等式は、深い数学的美しさの例としてよく挙げられます。[ 3 ]基本的な算術演算のうち、加算、乗算、べき乗の 3 つがそれぞれ1 回ずつ出現します。この等式は、5 つの基本的な数学定数も結びつけています。[ 4 ]
この方程式は、多くの場合、ゼロに等しい式という形で表されます。これは、数学のいくつかの分野で一般的な慣習です。
スタンフォード大学の数学教授キース・デブリンは、「愛の本質を捉えたシェイクスピアのソネットや、表面的なもの以上の人間の美しさを引き出す絵画のように、オイラーの等式は存在の深淵にまで及ぶ」と述べている。 [ 5 ]オイラーの公式とそのフーリエ解析への応用に関する著書を執筆したニューハンプシャー大学名誉教授のポール・ナヒンは、オイラーの等式は「絶妙な美しさ」であると述べている。[ 6 ]
数学ライターのコンスタンス・リードは、オイラーの等式は「数学史上最も有名な公式」だと述べている。[ 7 ] 19世紀のアメリカの哲学者、数学者、ハーバード大学教授のベンジャミン・パースは、講義中にオイラーの等式を証明した後、「それは全く逆説的だ。我々はそれを理解することはできないし、それが何を意味するのかもわからないが、我々はそれを証明したのだから、それが真実でなければならないとわかっている」と述べた。[ 8 ]
1990年にThe Mathematical Intelligencerが行った読者投票では、オイラーの等式が「数学で最も美しい定理」に選ばれた。[ 9 ] 2004年にPhysics Worldが行った読者投票では、オイラーの等式はマクスウェル方程式(電磁気学)と並んで「史上最高の方程式」に選ばれた。[ 10 ]
オイラーの等式について書かれた一般向け数学書は少なくとも3冊出版されている。

オイラーの等式は、−1 に等しい。は、表現の特殊なケースです。ここで、zは任意の複素数である。一般に、は、指数関数の定義の一つを実数指数から複素数指数に拡張することによって、複素数zに対して定義されます。例えば、一般的な定義の一つは次のとおりです。
したがって、オイラーの等式は、nが無限大に近づくときの極限は、は-1に等しい。この極限は右側のアニメーションで示されている。

ここで、三角関数の正弦と余弦の入力はラジアンで与えられます。
特に、x = πの場合、
以来
そして
したがって、
これによりオイラーの恒等式が得られる。
任意の複素数点によって表すことができる複素平面上。この点は極座標では次のように表すこともできます。ここで、rはzの絶対値(原点からの距離)であり、はzの引数(正のx軸から反時計回りに角度) です。正弦と余弦の定義により、この点のデカルト座標は次のようになります。つまり、オイラーの公式によれば、これは次のように言うことと同等である。。
オイラーの恒等式によれば、。以来はr = 1 の場合、これは複素平面上の数 −1 に関する事実として解釈できます。原点からの距離は 1 であり、正のx軸からの角度はラジアン。
さらに、複素数zに回転する効果がある反時計回りに角度だけ複素平面上。−1 を掛けると原点に関して点が反転するので、オイラーの等式は、任意の点を回転させると、原点を中心としてラジアンだけ回転させると、原点に関して点を反転させるのと同じ効果が得られます。同様に、等しい関連する方程式が得られるこれは、任意の点を原点を中心に1回転させると、元の位置に戻るという意味に解釈できる。
オイラーの恒等式は、 n > 1の場合、1 のn乗根の合計が 0 になるという、より一般的な恒等式の特殊な場合でもある。
オイラーの恒等式はn = 2の場合である。
同様の恒等式は四元数指数にも適用されます。{ i , j , k }を基底四元数とすると、
より一般的に、q を実部がゼロでノルムが 1 の四元数とする。つまり、とすると、
同じ公式は、実部がゼロでノルムが 1 の八元数にも適用されます。これらの公式は、オイラーの恒等式の直接的な一般化です。そしてこれらは、実部がゼロでノルム(絶対値)が1に等しい唯一の複素数です。
オイラーの等式は、1748年に出版された彼の記念碑的な数学解析の著作『無限解析入門』[ 14 ]で初めて発表されたオイラーの公式の直接的な結果であるが、5つの基本定数を簡潔な形で結びつけるという特定の概念がオイラー自身に帰属できるかどうかは疑問である。なぜなら、彼はそれを表現したことがないかもしれないからである。[ 15 ]
オイラーの等式はヨハン・ベルヌーイとロジャー・コーツの結果から容易に導き出せることは既に述べたが、彼ら二人はそうした形跡はない。オイラー自身もそれを明示的に書き記した形跡はなく、彼の著作にも全く見られない。しかし、オイラーの等式(すなわちオイラーの公式) e ix = cos x + i sin x からそれが直ちに導かれることは、彼自身も間違いなく認識していたはずである。さらに、この結果を最初に明示的に述べたのが誰なのかも不明であるようだ。