正接定理

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

公式 

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

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

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

証明 
この定理の証明は、正弦定理から始まる。
 
と置く。変形すると
  および 
となる。

定理の左辺に代入する。
 
ここで、以下の和積公式を使用する。
 
最終的に以下のようになる。

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

応用 
正接定理は、三角形の2辺 a, b とその間の角  が与えられているときに他の辺と角の値を求めるために使用できる。 より  を求めることができ、 も分かるので角の値を求めることができる。残った辺 c の値は正弦定理などで出すことができる。余弦定理を使用して  とすることもできるが、コンピューターで計算する場合には  が0に近く  と  もほぼ等しいときに桁落ちの危険性があるため正接定理のほうが都合がよい。

関連項目 
 正弦定理
 余弦定理
 余接定理
 三角関数の公式の一覧
 モルワイデの公式

脚注

外部リンク 
 

三角法
三角形に関する定理
数学に関する記事
証明を含む記事