オイラーの公式

数学の複素解析におけるオイラーの公式（オイラーのこうしき、）とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである：

ここでは任意の複素数、はネイピア数、は虚数単位、は余弦関数、は正弦関数である。

特に、とする場合がよく使われ、この場合、は、絶対値 , 偏角の複素数に等しい。 225px|thumb|オイラーの公式の図形的な表現。複素数平面において、複素数は、単位円周上の偏角の点を表す。

オイラーの公式は、複素解析をはじめとする数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要である。物理学者のリチャード・P・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」だと述べている。

概要この公式の名前は、18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に

を発見したが、三角関数の周期性による対数関数の多価性を見逃した。1740年頃、オイラーは、コーツの公式を基に、指数関数と三角関数の級数展開を比較することによって、オイラーの公式を証明し、1748年に発表した。

オイラーの公式を導入することにより、極形式の複素数は、より簡素な表記に変換することができる。すなわち、複素数の極形式はに等しい。また、特に、のとき、

が導かれる。この関係式はオイラーの等式と呼ばれる。

オイラーの公式により、余弦関数および正弦関数は、双曲線関数に変換することができる：

応用上では、三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などが利用しやすくなる。

指数関数と三角関数実関数としての指数関数 , 三角関数 , をそれぞれマクローリン展開すると

となる。これらの冪級数の収束半径がであることは、ダランベールの収束判定法によって確認することができる冪級数の収束半径は、極限

が存在すれば、である。（極限が存在しない場合、収束半径はこの方法では求まらない。）の収束半径は

となる。の収束半径は、についての級数と考えたときの収束半径に等しい。

の収束半径は、同様に

以上で , , の右辺の収束半径がであることが証明された。。従ってこれらの級数は、変数を複素数全体に拡張することができ、広義一様収束する。つまりこれらの級数によって表される関数は整関数であるこれらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ。解析接続すると、一致の定理より、複素数全体での正則関数としての拡張は一意であり、この収束冪級数で表される。

ここで、のをに置き換え、和の順番を変えずに実部と虚部に分ければ、

が得られる。（ここでは、和の交換は行ってないので絶対収束性についての言及は不要。）

この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。例えば、三角関数の加法定理は、指数法則に対応していることが分かる。

オイラーの公式により、三角関数を複素指数関数で表すことができる。余弦関数、正弦関数は

となる。

証明この公式には、上記の冪級数展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの例を挙げる。ただし、以下の微分を用いた証明については、実変数を複素数変数におき換えても、これらの議論が成立していることを、別途で証明する必要がある（複素関数論）。

微分による証明

微分方程式による証明

2階線型微分方程式による証明

ロンスキー行列による証明

ド・モアブルの定理による証明

脚注

参照

注釈

参考文献

- 注記：2004年6月にシュプリンガー・ジャパンより出版された同名書籍の再出版。

オイラーの公式

Źródło i licencja