東大塾長の山田です。 このページでは、 「加法定理」について解説します。 加法定理は大学受験の中でも最重要の公式の1つです。 しかし、 加法定理に関する公式はたくさんあり、覚えるのが大変ですよね。. 三角関数の定義と基本的な性質 (オイラーの公式・加法定理・ピタゴラスの公式・弧の長さとの関係・周期2πの関数・級数による表現)および公式 (倍角の公式・半角の公式・補角/余角の公式)を証明付で掲載したページです。 よろしければご覧.
数学の複素解析におけるオイラーの公式（オイラーのこうしき、英: Euler’s formula）とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである：
e
i
z
=
cos
z
+
i
sin
z
{\displaystyle e^{iz}=\cos z+i\sin z}
ここで
z
{\displaystyle z}
は任意の複素数、
e
{\displaystyle e}
はネイピア数、
i
{\displaystyle i}
は虚数単位、
cos
{\displaystyle \cos }
は余弦関数、
sin
{\displaystyle \sin }
は正弦関数である。
特に、
z
=
φ
(
∈
R
)
{\displaystyle z=\varphi (\in \mathbb {R} )}
とする場合がよく使われ、この場合、
e
i
φ
{\displaystyle e^{i\varphi }}
は、絶対値
1
{\displaystyle 1}
, 偏角
φ
[
r
a
d
]
{\displaystyle \varphi [\mathrm {rad} ]}
の複素数に等しい。
オイラーの公式は、複素解析をはじめとする数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要である。物理学者のリチャード・P・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 だと述べている。
概要
この公式の名前は、18世紀の数学者レオンハルト・オイラーに因むが、最初の発見者はロジャー・コーツとされる。コーツは1714年に
log
(
cos
x
+
i
sin
x
)
=
i
x
{\displaystyle \log \left(\cos x+i\sin x\right)=ix\ }
を発見したが、三角関数の周期性による対数関数の多価性を見逃した。1740年頃、オイラーは、コーツの公式を基に、指数関数と三角関数の級数展開を比較することによって、オイラーの公式を証明し、1748年に発表した。
オイラーの公式を導入することにより、極形式の複素数は、より簡素な表記に変換することができる。すなわち、複素数の極形式 z = r(cos θ + i sin θ) は z = reiθ に等しい。また、特に、θ = π のとき、
e
i
π
+
1
=
0
{\displaystyle e^{i\pi }+1=0}
が導かれる。この関係式はオイラーの等式 (Euler’s identity) と呼ばれる。
オイラーの公式により、余弦関数および正弦関数は、双曲線関数に変換することができる：
cos
θ
=
cosh
i
θ
{\displaystyle \cos \theta =\cosh i\theta }
sin
θ
=
1
i
sinh
i
θ
{\displaystyle \sin \theta ={\tfrac {1}{i}}\sinh i\theta }
応用上では、三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などが利用しやすくなる。
指数関数と三角関数
実関数としての指数関数 ex, 三角関数 cos x, sin x をそれぞれマクローリン展開すると
となる。これらの冪級数の収束半径が ∞ であることは、ダランベールの収束判定法によって確認することができる。従ってこれらの級数は、変数 x を複素数全体に拡張することができ、広義一様収束する。つまりこれらの級数によって表される関数は整関数である。解析接続すると、一致の定理より、複素数全体での正則関数としての拡張は一意であり、この収束冪級数で表される。
ここで、 ex の x を ix に置き換え、和の順番を変えずに実部と虚部に分ければ、
e
i
x
=
∑
n
=
0
∞
i
n
n
!
x
n
=
∑
n
=
0
∞
i
2
n
(
2
n
)
!
x
2
n
+
∑
n
=
0
∞
i
2
n
+
1
(
2
n
+
1
)
!
x
2
n
+
1
=
∑
n
=
0
∞
(
−
1
)
n
(
2
n
)
!
x
2
n
+
i
∑
n
=
0
∞
(
−
1
)
n
(
2
n
+
1
)
!
x
2
n
+
1
=
cos
x
+
i
sin
x
{\displaystyle {\begin{aligned}e^{ix}&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {i^{n}}{n!}}x^{n}\\&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {i^{2n}}{(2n)!}}x^{2n}+\sum \limits _{n=0}^{\infty }{\dfrac {i^{2n+1}}{(2n+1)!}}x^{2n+1}\\&=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n)!}}x^{2n}+i\sum \limits _{n=0}^{\infty }{\dfrac {(-1)^{n}}{(2n+1)!}}x^{2n+1}\\&=\cos x+i\sin x\end{aligned}}}
が得られる。（ここでは、和の交換は行ってないので絶対収束性についての言及は不要。）
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。例えば、三角関数の加法定理は、指数法則 eaeb = ea+bに対応していることが分かる。
オイラーの公式により、三角関数を複素指数関数で表すことができる。余弦関数、正弦関数は
cos
z
=
e
i
z
+
e
−
i
z
2
,
sin
z
=
e
i
z
−
e
−
i
z
2
i
{\displaystyle {\begin{aligned}\cos z&={\frac {e^{iz}+e^{-iz}}{2}},\\\sin z&={\frac {e^{iz}-e^{-iz}}{2i}}\end{aligned}}}
となる。
証明
この公式には、上記の冪級数展開による証明の他にも異なる幾通りかの証明が知られている。ここにいくつかの例を挙げる。ただし、以下の微分を用いた証明については、実変数を複素数変数におき換えても、これらの議論が成立していることを、別途で証明する必要がある（複素関数論）。
微分による証明
微分方程式による証明
2階線型微分方程式による証明
ロンスキー行列による証明
ド・モアブルの定理による証明
脚注
参照
注釈
参考文献
- 小笠英志『相対性理論の式を導いてみよう、そして、人に話そう』ベレ出版、2011年1月20日、165-171頁。ISBN 978-486064-267-9。
- 杉浦光夫『解析入門I』東京大学出版会〈基礎数学2〉、1980年3月31日。ISBN 978-4-13-062005-5。
- 田村二郎『解析関数』（新版）裳華房〈数学選書3〉、1983年11月15日。ISBN 978-4-7853-1307-4。
- Dunham, William (1999), Euler: The Master of Us All, The Mathematical Association of America, ISBN 978-0-88385-328-3, http://paginas.fisica.uson.mx/horacio.munguia/Personal/Documentos/Libros/Euler%20The_Master%20of%20Us.pdf
- W. ダンハム 著、黒川信重、若山正人、百々谷哲也 訳『オイラー入門』丸善出版〈シュプリンガー数学リーディングス 第1巻〉、2019年4月。ISBN 978-4-621-06568-6。 – 注記：2004年6月にシュプリンガー・ジャパンより出版された同名書籍の再出版。
- ファインマン、リチャード、レイトン、サンズ 著、坪井忠二 訳『力学』 I、岩波書店〈ファインマン物理学〉、1977年、294,307頁。ISBN 978-4-00-007711-8。OCLC 47339138。
- 藤田宏『応用数学』放送大学教育振興会〈放送大学教材〉、1999年3月。ISBN 978-4-595-56042-2。
- 吉田武『オイラーの贈物 人類の至宝 eiπ = −1 を学ぶ』（新装版）東海教育研究所、2021年1月。ISBN 978-4-924523-14-2。
- 吉田武『オイラーの贈物 人類の至宝 eiπ = −1 を学ぶ』筑摩書房〈ちくま学芸文庫〉、2001年11月。ISBN 978-4-480-08675-4。
関連項目
- オイラーの等式
- 極座標系
- 純虚指数函数（複素指数函数を使わないで極形式を表示する）
- ド・モアブルの定理（指数法則の一つが成り立つことを表している）
- 微分方程式
- フーリエ級数
- 複素指数函数
- 複素対数函数（オイラーの公式は複素数の対数関数に関する研究から発見された）
外部リンク
- 『オイラーの公式と複素指数関数』 – 高校数学の美しい物語
- 『オイラーの公式』 – コトバンク
中学の知識でオイラーの公式がわかる 本がすき。
オイラーの理論公式座屈 許容オイラー座屈応力度 FTLN
オイラーの多面体定理 へこみのない凸多面体【treeを使う証明も】 岩井の数学ブログ
オイラーの公式を簡単に説明できるようになろう【大学数学の基礎】 Gadget freak
世界で最も美しい公式：オイラーの公式
オイラーの定理同次関数証明 オイラーの定理 幾何学 TJTO
オイラーの公式を利用した加法定理などの導出 YouTube
オイラーの オイラー 公式 サイト _ オイラーの公式 FGPO
飯尾研究室 「オイラーの公式」の美しさ
ｵｲﾗｰの公式, オイラーの定理 一覧 _ オイラーの公式の使い方 TSCPU
加法定理の覚え方と証明を現役数学講師がわかりやすく解説！｜はやとの数学教室
光文社新書「中学の知識でオイラー公式がわかる」Vol 4 加法定理 YouTube
加法定理・オイラーの公式による証明 数式で独楽する
世界で最も美しい公式：オイラーの公式
オイラー積 オイラー積 素数 NIIKZM
たぶん一番簡単な三角関数の加法定理の証明【数学/オイラーの公式】 YouTube
オイラーの公式を用いて加法定理を証明 YouTube
オイラー式とは オイラーの公式の導出 , オイラーの公式とフーリエ級数展開【力学入門】 NADOX
【複素フーリエ級数展開】オイラーの公式を使ってフーリエ級数展開式を使って書き変えよう。｜宇宙に入ったカマキリ
オイラーの公式｜柱を湾曲する座屈を示す公式 Hitopedia
レオンハルト・オイラーは偉大な数学者で，いろいろな分野で業績を残しています。 オイラーの定理，公式はたくさんあります。 主要なもの，高校数学で理解できるものを中心にまとめました（順番は適当です）。. 東大塾長の山田です。 このページでは、オイラーの公式について高校数学の範囲を用いて解説しています。 オイラーの公式についてしっかりと説明したのち、実際の問題での使い方、数種類の証明を載せています。