タンジェントの加法定理とその拡張

更新 2024/09/23

タンジェントの加法定理

$\tan (\alpha+\beta)=\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}$

$\tan (\alpha-\beta)=\dfrac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}$

（ただし， $\tan$ の中身が全て $\dfrac{\pi}{2}$ の奇数倍にならないものとする）

前半は，タンジェントの加法定理に関する基礎的な説明です。
後半は， $n$ 個の場合のタンジェントの加法定理（美しい！）です。

タンジェントの加法定理の使用例

例題

$\tan 15^{\circ}$ の値を求めよ。

解答

$\tan 45^{\circ}=1$ ， $\tan 60^{\circ}=\sqrt{3}$ であり，タンジェントの加法定理より，

$\begin{aligned} \tan 15^{\circ} &=\tan (60^{\circ}-45^{\circ})\\ &=\dfrac{\tan 60^{\circ}-\tan 45^{\circ}}{1+\tan 60^{\circ}\tan 45^{\circ}}\\ &=\dfrac{\sqrt{3}-1}{1+\sqrt{3}}\\ &=2-\sqrt{3} \end{aligned}$

タンジェントの加法定理は，二直線のなす角を求めるときにも活躍します。→二直線のなす角を求める２通りの方法と比較

タンジェントの加法定理の覚え方

tan⁡(α+β)=tan⁡α+tan⁡β1−tan⁡αtan⁡β\tan (\alpha+\beta)=\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}tan(α+β)=1−tanαtanβtanα+tanβ​
tan⁡(α−β)=tan⁡α−tan⁡β1+tan⁡αtan⁡β\tan (\alpha-\beta)=\dfrac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}tan(α−β)=1+tanαtanβtanα−tanβ​
「いちマイナスたんたんぶんのたんぷらすたん」などと頑張って覚えてください。
プラスの加法定理とマイナスの加法定理を混同しがちですが「分子の符号と同じ」と覚えるとよいでしょう（tan⁡(α+β)\tan(\alpha+\beta)tan(α+β)
の右辺の分子にはプラス，tan⁡(α−β)\tan(\alpha-\beta)tan(α−β)
の右辺の分子にはマイナス）。

タンジェントの加法定理の証明

サインの加法定理とコサインの加法定理を認めれば証明は簡単です。サイン，コサインの加法定理の証明も含めた詳しい解説は加法定理の証明（一般角に対する厳密な方法）を参照して下さい。

プラス側の証明

$\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta\\ \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta$

を認めれば，

$\begin{aligned} \tan(\alpha+\beta) &=\dfrac{\sin(\alpha+\beta)}{\cos(\alpha+\beta)}\\ &=\dfrac{\sin\alpha\cos\beta+\cos\alpha\sin\beta}{\cos\alpha\cos\beta-\sin\alpha\sin\beta} \end{aligned}$

となり，分母分子を $\cos\alpha\cos\beta$ で割ると，上式は

$\dfrac{\frac{\sin\alpha}{\cos\alpha}+\frac{\sin\beta}{\cos\beta}}{1-\frac{\sin\alpha\sin\beta}{\cos\alpha\cos\beta}} =\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}$

となる。

マイナス側の証明

プラス側と同じように証明することもできるが，プラス側の式において $\beta\to -\beta$ とすると，

$\tan (\alpha-\beta)=\dfrac{\tan\alpha+\tan(-\beta)}{1-\tan\alpha\tan (-\beta)}$

となり，これと $\tan(-\beta)=-\tan\beta$ を使うことでも導出できる。

タンジェントの加法定理の拡張

高校数学で習うのは二つの角度の和，差についてのみですが，より一般に $n$ 個の角度の和についても美しい式が成立します。

タンジェントの加法定理（角度n個の場合）

$\displaystyle\tan \sum_{k=1}^n\theta_k=\dfrac{e_1-e_3+e_5-\cdots}{e_0-e_2+e_4-\cdots}$

ただし， $e_i$ は $\tan\theta_1,\:\tan\theta_2,\:\cdots,\:\tan\theta_n$ の $i$ 次の基本対称式であり， $e_0=1$ ， $i > n$ のとき $e_i=0$ とする。

ただし，基本対称式とは「 $n$ 個のものから $i$ 個選んでかけ合わせてできるもの（全部で ${}_n\mathrm{C}_i$ 通りある）を全て足しあわせたもの」です。

例えば，

$n=2$ のとき， $\tan(\theta_1+\theta_2)=\dfrac{e_1}{e_0-e_2}=\dfrac{\tan\theta_1+\tan\theta_2}{1-\tan\theta_1\tan\theta_2}$ となり，普通の加法定理になります。
$n=3$ のとき， $\begin{aligned} &\tan(\theta_1+\theta_2+\theta_3)\\ &=\dfrac{e_1-e_3}{e_0-e_2}\\ &=\dfrac{\tan\theta_1+\tan\theta_2+\tan\theta_3-\tan\theta_1\tan\theta_2\tan\theta_3}{1-\tan\theta_1\tan\theta_2-\tan\theta_2\tan\theta_3-\tan\theta_3\tan\theta_1} \end{aligned}$ となり，特に $\theta_1+\theta_2+\theta_3=180^{\circ}$ のときはタンジェントの美しい関係式で紹介した式： $\tan\theta_1+\tan\theta_2+\tan\theta_3=\tan\theta_1\tan\theta_2\tan\theta_3$ になります。

証明は $n$ に関する数学的帰納法でそれなりに簡単にできます。練習問題にどうぞ！

sinとcosについてはここまで美しい加法定理の拡張はなさそうです。

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る