正接定理

三角法における正接定理（せいせつていり）とは、三角形の2つの角と2つの辺の関係を示した定理である。

公式編集

図1：α, β, γ の3つの角と a, b, c の3辺を持つ三角形

図1 において以下の式が成り立つ。

{\frac {a-b}{a+b}}={\frac {\tan[{\frac {1}{2}}(\alpha -\beta )]}{\tan[{\frac {1}{2}}(\alpha +\beta )]}}.

正接定理は正弦定理や余弦定理ほど一般的ではないが、三角形の2つの角と2辺の長さのうちどれか1つが不明の場合は正弦定理の代わりにこの定理を使用しても残りの値を出すことができる。

球面上の三角形における正接定理は、13世紀にナスィールッディーン・トゥースィーが著書 Treatise on the Quadrilateral で言及している^[1]^[2]。

証明編集

この定理の証明は、正弦定理から始まる。

d={\frac {a}{\sin \alpha }}={\frac {b}{\sin \beta }}

と置く。変形すると

a=d\sin \alpha

および

b=d\sin \beta

となる。

定理の左辺に代入する。

{\frac {a-b}{a+b}}={\frac {d\sin \alpha -d\sin \beta }{d\sin \alpha +d\sin \beta }}={\frac {\sin \alpha -\sin \beta }{\sin \alpha +\sin \beta }}.

ここで、以下の和積公式を使用する。

\sin {\alpha }\pm \sin {\beta }=2\sin {\frac {\alpha \pm \beta }{2}}\cos {\frac {\alpha \mp \beta }{2}}

最終的に以下のようになる。

{\frac {a-b}{a+b}}={\frac {2\sin {\tfrac {1}{2}}\left(\alpha -\beta \right)\cos {\tfrac {1}{2}}\left(\alpha +\beta \right)}{2\sin {\tfrac {1}{2}}\left(\alpha +\beta \right)\cos {\tfrac {1}{2}}\left(\alpha -\beta \right)}}={\frac {\tan[{\frac {1}{2}}(\alpha -\beta )]}{\tan[{\frac {1}{2}}(\alpha +\beta )]}}.\qquad \blacksquare

この証明を変形して以下の式を導くことができる。

\tan {\frac {\alpha \pm \beta }{2}}={\frac {\sin \alpha \pm \sin \beta }{\cos \alpha +\cos \beta }}

正接定理は、三角形の2辺 a, b とその間の角 $\gamma$ が与えられているときに他の辺と角の値を求めるために使用できる。 $\tan[{\frac {1}{2}}(\alpha -\beta )]={\frac {a-b}{a+b}}\tan[{\frac {1}{2}}(\alpha +\beta )]={\frac {a-b}{a+b}}\cot[{\frac {\gamma }{2}}]$ より $\alpha -\beta$ を求めることができ、 $\alpha +\beta =180^{\circ }-\gamma$ も分かるので角の値を求めることができる。残った辺 c の値は正弦定理などで出すことができる。余弦定理を使用して $c={\sqrt {a^{2}+b^{2}-2ab\cos \gamma }}$ とすることもできるが、コンピューターで計算する場合には $\gamma$ が0に近く $a$ と $b$ もほぼ等しいときに桁落ちの危険性があるため正接定理のほうが都合がよい。