四倍角の公式の証明と考察

更新 2021/03/07

四倍角の公式は加法定理から導ける。オイラーの公式（ド・モアブルの定理）からも導ける。

四倍角の公式

$\sin nx, \cos nx$ をそれぞれ $\sin x, \cos x$ の式で表したものを $n$ 倍角の公式と言います。2倍角，3倍角の公式については高校の教科書に載っています。
→三倍角の公式：基礎からおもしろい発展形まで

このページでは，四倍角の公式について考えてみます。

四倍角の公式

$\sin 4x=\cos x(4\sin x-8\sin^3 x)\\ \cos 4x=8\cos^4 x-8\cos^2 x+1$

$\cos 4x$ の方は，右辺が $\cos x$ のみの式で表されていてキレイです。一方， $\sin 4x$ の方は $\sin x$ と $\cos x$ が混ざっていて少し残念です。

実は，より一般に $\cos nx$ は $\cos x$ の $n$ 次式で表すことができます。 $\cos$ の $n$ 倍角の公式をもとにチェビシェフ多項式というものが定義されます。→チェビシェフ多項式

加法定理を用いた四倍角の公式の証明

それでは本題，四倍角の公式を証明します。三倍角の公式を導いたときと同じ方法で証明できると考えるのが普通ですね。定番の証明方法です。

証明

$\sin 4x\\ =\sin(2x+2x)\\ =2\sin 2x\cos 2x\\ =4\sin x\cos x(1-2\sin^2 x)\\ =\cos x(4\sin x-8\sin^3 x)$

$\cos 4x\\ =\cos (2x+2x)\\ =2\cos^2 2{x}-1\\ =2(2\cos^2 x-1)^2-1\\ =8\cos^4 x-8\cos^2 x+1$

オイラーの公式を用いた四倍角の公式の証明

複素指数関数を用いたスマートな証明も紹介します。
→オイラーの公式と複素指数関数

「複素指数関数の指数法則」は加法定理と対応しているので，本質的には加法定理を使うことになるのですが，記述が簡略化され美しいです。

証明

オイラーの公式より， $e^{ix}=\cos x+i\sin x$ ， $e^{4ix}=\cos 4x+i\sin 4x$

また，複素指数関数の指数法則より， $e^{4ix}=(e^{ix})^4$ なので，

$\cos 4x+i\sin 4x=(\cos x+i\sin x)^4$

右辺を頑張って展開すると，

$(\cos x+i\sin x)^4\\ =(\cos^4 x-6\cos^2 x\sin^2 x+\sin^4 x)\\ \:\:+i(4\cos^3x\sin x-4\sin^3x\cos x)\\ =8\cos^4 x-8\cos^2 x+1+i\{\cos x(4\sin x-8\sin^3 x)\}$

実部どうし，虚部どうしを比較することで四倍角の公式を得る。

機械的に計算できますが，こちらの証明の方が少しだけ計算量が多いです。

ちなみに，この証明は $n$ 倍角の場合に一般化できます。その途中で得られる式： $\cos nx+i\sin nx=(\cos x+i\sin x)^n$ をド・モアブルの定理と呼びます。

ド・モアブルの定理から $n$ 倍角の公式は全て機械的に導けますが， $n$ 乗を展開するのがめんどうですし，一般形を簡単な式で表すことはできません。

なお，実用上は四倍角の公式を使う場面はない（少なくとも私は使ったことがありません）ので，三倍角の公式まで覚えておけば充分でしょう。

コサインは持っていてサインは持っていない性質があるってなんか不思議ですね。

Tag:三角関数の基本公式一覧

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！