正接定理

三角法における正接定理（せいせつていり）とは、三角形の2つの角と2つの辺の関係を示した定理である。
公式.
図1 において以下の式が成り立つ。
正接定理は正弦定理や余弦定理ほど一般的ではないが、三角形の2つの角と2辺の長さのうちどれか1つが不明の場合は正弦定理の代わりにこの定理を使用しても残りの値を出すことができる。
球面上の三角形における正接定理は、13世紀にナスィールッディーン・トゥースィーが著書 "Treatise on the Quadrilateral" で言及している。
証明.
この定理の証明は、正弦定理から始まる。
と置く。変形すると
となる。
定理の左辺に代入する。
ここで、以下の和積公式を使用する。
最終的に以下のようになる。
この証明を変形して以下の式を導くことができる。
応用.
正接定理は、三角形の2辺 a, b とその間の角 formula_9 が与えられているときに他の辺と角の値を求めるために使用できる。formula_10 より formula_11 を求めることができ、formula_12 も分かるので角の値を求めることができる。残った辺 c の値は正弦定理などで出すことができる。余弦定理を使用して formula_13 とすることもできるが、コンピューターで計算する場合には formula_9 が0に近く formula_15 と formula_16 もほぼ等しいときに桁落ちの危険性があるため正接定理のほうが都合がよい。