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

タンジェントの加法定理：
（ $\tan$ の中身が全て $\frac{π}{2}$ の奇数倍でないような任意の実数 $α, β$ に対して）
$\tan (α + β) = \frac{\tan α + \tan β}{1 - \tan α \tan β}$
$\tan (α - β) = \frac{\tan α - \tan β}{1 + \tan α \tan β}$

前半は教科書内容，後半は発展的な内容（美しい！）です。

タンジェントの加法定理について

プラスの加法定理とマイナスの加法定理を混同しがちですが「分子の符号と同じ」と覚えるとよいでしょう（ $\tan (α + β)$ の右辺の分子にはプラス， $\tan (α - β)$ の右辺の分子にはマイナス）。

使用例

$\tan 45^{\circ} = 1$ ， $\tan 60^{\circ} = \sqrt{3}$ から $\tan 15^{\circ}$ の値が求まる：
$\tan 15^{\circ} = \tan (60^{\circ} - 45^{\circ}) = \frac{\tan 60^{\circ} - \tan 45^{\circ}}{1 + \tan 60^{\circ} \tan 45^{\circ}} = \frac{\sqrt{3} - 1}{1 + \sqrt{3}} = 2 - \sqrt{3}$

二直線のなす角を求めるときにも活躍する公式です。→二直線のなす角を求める２通りの方法と比較

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

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

プラス側の証明

$\sin (α + β) = \sin α \cos β + \cos α \sin β$
$\cos (α + β) = \cos α \cos β - \sin α \sin β$
を認めれば，
$\tan (α + β) = \frac{\sin (α + β)}{\cos (α + β)} = \frac{\sin α \cos β + \cos α \sin β}{\cos α \cos β - \sin α \sin β}$
となり，分母分子を $\cos α \cos β$ で割ると，上式は
$\frac{\frac{\sin α}{\cos α} + \frac{\sin β}{\cos β}}{1 - \frac{\sin α \sin β}{\cos α \cos β}} = \frac{\tan α + \tan β}{1 - \tan α \tan β}$
となる。

マイナス側の証明

プラス側と同じようにすることもできるが，プラス側の式において $β \to - β$ とすると，
$\tan (α - β) = \frac{\tan α + \tan (- β)}{1 - \tan α \tan (- β)}$
となり，これと $\tan (- β) = - \tan β$ を使うことでも導出できる。

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

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

$\tan \sum_{k = 1}^{n} θ_{k} = \frac{e_{1} - e_{3} + e_{5} - \dots}{e_{0} - e_{2} + e_{4} - \dots}$
ただし， $e_{i}$ は $\tan θ_{1}, \tan θ_{2}, \dots, \tan θ_{n}$ の $i$ 次の基本対称式であり， $e_{0} = 1$ ， $i > n$ のとき $e_{i} = 0$ とする。

例えば， $n = 2$ のとき，
$\tan (θ_{1} + θ_{2}) = \frac{e_{1}}{e_{0} - e_{2}} = \frac{\tan θ_{1} + \tan θ_{2}}{1 - \tan θ_{1} \tan θ_{2}}$
となり，普通の加法定理になります。

$n = 3$ のとき，
$\tan (θ_{1} + θ_{2} + θ_{3}) = \frac{e_{1} - e_{3}}{e_{0} - e_{2}} = \frac{\tan θ_{1} + \tan θ_{2} + \tan θ_{3} - \tan θ_{1} \tan θ_{2} \tan θ_{3}}{1 - \tan θ_{1} \tan θ_{2} - \tan θ_{2} \tan θ_{3} - \tan θ_{3} \tan θ_{1}}$
となり，特に $θ_{1} + θ_{2} + θ_{3} = 180^{\circ}$ のときはタンジェントの美しい関係式で紹介した式：
$\tan θ_{1} + \tan θ_{2} + \tan θ_{3} = \tan θ_{1} \tan θ_{2} \tan θ_{3}$
を得ることができます。

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

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