【基礎知識】乃木坂46の「いつかできるから今日できる」を数学的命題として解釈する
- 命題
基礎知識
公式
ここではド・モアブルの定理の証明を行います。
ド・モアブルの定理は複素数の極形式の$n$乗に関する式であり、ド・モアブルの定理を利用すると複素数の累乗や、三角関数の2倍角、3倍角といった $n$倍角を簡単に求めることができます。
目次
ド・モアブルの定理とは次のことをいいます。
整数$n$について、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$数学的帰納法を用いて証明を行います。
$n=1$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& (\cos \theta + i\sin \theta)^1 \\\\ &=& \cos \theta + i\sin \theta \end{array}$$ $$\begin{array}{rcl} \cos n\theta + i\sin n\theta &=& \cos 1 \cdot \theta + i\sin 1 \cdot \theta \\\\ &=& \cos \theta + i\sin \theta \end{array}$$より、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$は成り立ちます。
$n=k$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$が成り立つと仮定すると、
$$\begin{align} (\cos \theta + i\sin \theta)^k &=& \cos k\theta + i\sin k\theta \end{align}$$であり、
$n=k+1$のとき、
$(\cos \theta + i\sin \theta)^{k+1} = (\cos \theta + i\sin \theta)^{k}(\cos \theta + i\sin \theta)$
上式に(1)式を代入すると、
$(\cos \theta + i\sin \theta)^{k+1} $
$= (\cos k\theta + i\sin k\theta)(\cos \theta + i\sin \theta) $
$= \cos k\theta \cos \theta + i \cos k\theta \sin \theta + i\sin k\theta \cos \theta – \sin k\theta \sin \theta $
$= \cos k\theta \cos \theta – \sin k\theta \sin \theta + i (\sin k\theta \cos \theta + \cos k\theta \sin \theta )$
ここで、加法定理を用いると、
$$\begin{array}{rcl} &=& \cos (k\theta + \theta) + i \sin (k\theta + \theta) \\\\ &=& \cos (k + 1)\theta + i \sin (k + 1)\theta \end{array}$$よって、$n=k+1$のときも
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$は成り立ちます。
以上により、
$n \geqq 1$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$が成り立ちます。
$n=0$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& (\cos \theta + i\sin \theta)^0 \\\\ &=& 1 \end{array}$$ $$\begin{array}{rcl} \cos n\theta + i\sin n\theta &=& \cos 0 \cdot \theta + i\sin 0 \cdot \theta \\\\ &=& \cos 0 + i\sin 0 \\\\ &=& 1 \end{array}$$よって、
$n = 0$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$が成り立ちます。
$n < 0$のとき、 $n=-m$とおくと、$m > 0$であり、ここまでの結果から、
$$\begin{align} (\cos \theta + i\sin \theta)^m = \cos m\theta + i\sin m\theta \end{align}$$が成り立ちます。
このとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& (\cos \theta + i\sin \theta)^{-m} \\\\ &=& \cfrac{1}{(\cos \theta + i\sin \theta)^{m} } \end{array}$$上式に(2)式を代入すると、
$= \cfrac{1}{ \cos m\theta + i\sin m\theta } \\$
$= \cfrac{\cos m\theta – i\sin m\theta}{ (\cos m\theta + i\sin m\theta) (\cos m\theta – i\sin m\theta) } \\$
$= \cfrac{\cos m\theta – i\sin m\theta}{ \cos^2 m\theta + \sin^2 m\theta } \\$
$= \cos m\theta – i\sin m\theta$
$n=-m$とおいているので、$m=-n$であるから、
$$\begin{array}{rcl} &=& \cos (-n\theta) – i\sin (-n\theta) \\\\ &=& \cos n\theta + i\sin n\theta \end{array}$$よって、
$n < 0$のとき、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \\ \end{array}$$
が成り立ちます。
以上により、
整数$n$について、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^n &=& \cos n\theta + i\sin n\theta \end{array}$$が成り立つことが証明されました。
ド・モアブルの定理を用いて三角関数のn倍角の式を導出することができます。
ここでは、ド・モアブルの定理を用いて三角関数の3倍角の公式を導出してみましょう。
ド・モアブルの定理より、
$$\begin{array}{rcl} (\cos \theta + i\sin \theta)^3 &=& \cos 3\theta + i\sin 3\theta \end{array}$$が成り立ちます。上式の左辺は、
$(\cos \theta + i\sin \theta)^3 \\$
$= \cos^3 \theta + 3 \cos^2 \theta (i\sin \theta) + 3 \cos \theta (i\sin \theta)^2 + (i\sin \theta)^3 \\$
$= \cos^3 \theta + 3i \cos^2 \theta \sin \theta – 3 \cos \theta \sin^2 \theta -i\sin^3 \theta \\$
$= \cos^3 \theta – 3 \cos \theta \sin^2 \theta + i( 3 \cos^2 \theta \sin \theta -\sin^3 \theta ) \\$
$= \cos^3 \theta – 3 \cos \theta (1 – \cos^2 \theta) + i\{ 3 (1 – \sin^2 \theta) \sin \theta -\sin^3 \theta \} \\$
$= \cos^3 \theta – 3 \cos \theta +3 \cos^3 \theta + i( 3\sin \theta – 3 \sin^3 \theta -\sin^3 \theta ) \\$
$= – 3 \cos \theta + 4 \cos^3 \theta + i( 3\sin \theta – 4 \sin^3 \theta)$
であり、この結果とド・モアブルの定理の式の右辺との実部・虚部の係数を比較することにより、三角関数の3倍角の公式である、
が成り立つことが証明されました。
ド・モアブルの定理は、証明せずとも複素数の回転についての知識があれば直感的に理解できるかと思います。
複素数の$n$乗を求める際は、ド・モアブルの定理を利用してみてください。
【基礎知識】複素数平面のまとめ
この記事が気に入ったら
「いいね」しよう!
-このサイトの記事を書いている人-
某国立大工学部卒のwebエンジニアです。
学生時代に塾講師として勤務していた際、生徒さんから「解説を聞けば理解できるけど、なぜその解き方を思いつくのかがわからない」という声を多くいただきました。
授業という限られた時間の中ではこの声に応えることは難しく、ある程度の理解度までに留めつつ、繰り返しの復習で覚えてもらうという方法を採らざるを得ないこともありました。
本ブログでは「数学の問題を解くための思考回路」に重点を置いています。
それらを通じて自らの力で問題を解決する力が身につくお手伝いができれば幸いです。
>> お問い合わせ
>> プライバシーポリシー