三角形の辺と角の関係を扱う定理の中で、「正接定理」はやや知名度が低いものの、特定の問題を解く際に非常に強力な武器になります。
正弦定理や余弦定理は高校数学でも必ず学ぶ定理ですが、正接定理はそれらの補完的な役割を果たします。
本記事では、正接定理の公式と証明をわかりやすく解説するとともに、正弦定理・余弦定理との違いや応用問題での使い方まで丁寧に説明していきます。
三角法をより深く理解したい方、応用問題で手が止まっている方にとって、きっと役立つ内容になるでしょう。
正接定理の公式と、その本質的な意味
それではまず、正接定理の公式とその本質的な意味について解説していきます。
正接定理とは、三角形の二辺の和・差と、その二辺に挟まれる角の半角の正接を結びつける定理です。
三角形ABCにおいて、辺a（BCの長さ）、辺b（CAの長さ）、辺c（ABの長さ）、角A, B, Cとするとき、正接定理の公式は次のように表されます。
【正接定理の公式】
(a − b) / (a + b) = tan((A − B)/2) / tan((A + B)/2)
同様に、
(b − c) / (b + c) = tan((B − C)/2) / tan((B + C)/2)
(a − c) / (a + c) = tan((A − C)/2) / tan((A + C)/2)
これは「辺の差÷辺の和 ＝ 対角の差の半角のtan ÷ 対角の和の半角のtan」を意味します。
この公式の重要な点は、「辺の比」と「角の正接の比」が結びついていることです。
二辺とその挟む角がわかるとき（SAS条件）、もう一方の辺や残りの角を求める際に有効な手段となります。
また、モルワイドの公式（Mollweide’s equations）とも関連しており、三角形の解法における様々なアプローチのひとつです。
正接定理のわかりやすい言葉での解釈
公式だけを見ると難解に感じるかもしれませんが、言葉で解釈すると理解しやすくなります。
正接定理は「三角形の二辺の長さの差と和の比は、その二辺に対する角の差と和の半角のtanの比に等しい」ということを述べています。
特に、三角形の角の和がA + B + C = 180°であることから、(A + B)/2 = (180° − C)/2 = 90° − C/2 となります。
【(A + B)/2 の変換】
A + B + C = 180° より A + B = 180° − C
よって (A + B)/2 = 90° − C/2
tan((A + B)/2) = tan(90° − C/2) = cot(C/2) = 1/tan(C/2)
これを利用して、正接定理は別の形にも変形できます。
この変換を活用することで、正接定理の公式がより扱いやすい形に整理されます。
三角形の内角の和が 180° であるという基本的な性質が、正接定理の変形と応用において重要な役割を果たします。
正接定理の歴史的背景
正接定理は、16世紀のスコットランドの数学者フランソワ・ヴィエトや、それ以前のアラビアの数学者たちによって発展させられた定理です。
航海術や天文学が発展した時代に、正確な三角形の計算が求められた背景から、このような定理が整備されました。
現代では計算機の普及により正弦定理・余弦定理が主流になっていますが、正接定理は特定の条件下で計算を簡略化できる有用な定理として今も参照されます。
また、正接定理は「半角の公式」とも深く関連しており、三角関数の変換公式体系の重要な一部を担っています。
正接定理と余弦定理・正弦定理の使い分け
三角形の問題を解く際、正弦定理・余弦定理・正接定理のどれを使うかは、与えられた条件によって異なります。
| 定理名 | 公式の形 | 適用条件 | 求めやすいもの |
|---|---|---|---|
| 正弦定理 | a/sin A = b/sin B = c/sin C = 2R | 一辺と対角がわかる（AAS・ASA） | 残りの辺・角・外接円半径 |
| 余弦定理 | a² = b² + c² − 2bc cos A | 三辺（SSS）または二辺とその挟む角（SAS） | 残りの辺・角 |
| 正接定理 | (a−b)/(a+b) = tan((A−B)/2)/tan((A+B)/2) | 二辺とその挟む角（SAS） | 残りの角・辺の計算を効率化 |
SAS条件（二辺とその挟む角が既知）の場合、正接定理を使うと余弦定理より効率的に残りの角を求められる場合があります。
ただし、現代のカリキュラムでは余弦定理が優先されることが多く、正接定理は補助的な定理として扱われることが一般的です。
正接定理の証明を丁寧に解説する
続いては、正接定理の証明について確認していきます。
証明には正弦定理と半角の公式を組み合わせる方法が最も標準的です。
正弦定理を用いた正接定理の証明
正接定理の証明は、正弦定理から出発するのが最もスムーズです。
【正接定理の証明】
正弦定理より a = 2R sin A, b = 2R sin B（Rは外接円半径）
よって、
(a − b)/(a + b) = (sin A − sin B)/(sin A + sin B)
和積公式を使って変形：
sin A − sin B = 2 cos((A+B)/2) sin((A−B)/2)
sin A + sin B = 2 sin((A+B)/2) cos((A−B)/2)
よって、
(a − b)/(a + b) = [cos((A+B)/2) sin((A−B)/2)] / [sin((A+B)/2) cos((A−B)/2)]
= tan((A−B)/2) / tan((A+B)/2)
これで正接定理が証明されました。
この証明で使われた「和積公式」は、sinの和・差を積に変換する公式です。
正接定理の証明は、正弦定理・和積公式・半角公式という三角関数の重要な道具を組み合わせた、美しい数学的論証となっています。
和積公式の確認
証明で用いた和積公式を確認しておきましょう。
【和積公式】
sin A + sin B = 2 sin((A+B)/2) cos((A−B)/2)
sin A − sin B = 2 cos((A+B)/2) sin((A−B)/2)
cos A + cos B = 2 cos((A+B)/2) cos((A−B)/2)
cos A − cos B = −2 sin((A+B)/2) sin((A−B)/2)
和積公式は、加法定理（sin(α±β) = sin α cos β ± cos α sin β）から導くことができます。
和積公式は正接定理の証明だけでなく、三角関数を含む積分計算や方程式の解法でも頻繁に活用される重要な公式です。
別証明：余弦定理を用いた証明の概略
正接定理は余弦定理からも証明できますが、計算量が多くなります。
余弦定理 a² = b² + c² − 2bc cos A を使って辺と角の関係を整理し、半角の公式を適用することで同様の結果が得られます。
しかし正弦定理を使った証明のほうが簡潔であるため、一般的にはそちらが推奨されます。
証明の方法が複数存在することは、その定理が数学的に豊かな構造を持つことの証でもあります。
正接定理の応用問題とその解き方
続いては、正接定理の応用問題とその解き方について確認していきます。
理論を実際の問題に当てはめることで、正接定理の威力をより実感できるでしょう。
応用問題①：二辺とその挟む角から残りの角を求める
【応用問題①】
三角形ABCで、a = 7, b = 5, C = 60°のとき、A − B を求めよ。
【解法】
C = 60° より A + B = 120°、(A + B)/2 = 60°
正接定理より：
(a − b)/(a + b) = tan((A − B)/2) / tan((A + B)/2)
(7 − 5)/(7 + 5) = tan((A − B)/2) / tan 60°
2/12 = tan((A − B)/2) / √3
tan((A − B)/2) = (√3)/6 ≈ 0.2887
(A − B)/2 ≈ 16.1°
よって A − B ≈ 32.2°
この問題では、余弦定理を使っても解けますが、正接定理を使うと角の差を直接求められる点が効率的です。
応用問題②：測量への応用
【応用問題②（測量）】
二点PとQからある目標点Tを観測したとき、
PからTへの距離 a = 300m、QからTへの距離 b = 200m、
∠PTQ = 80° のとき、∠TPQ と ∠TQP の差を求めよ。
【解法】
∠TPQ + ∠TQP = 180° − 80° = 100°
正接定理を適用：
(a − b)/(a + b) = (300−200)/(300+200) = 100/500 = 0.2
tan((A−B)/2) / tan 50° = 0.2
tan((A−B)/2) = 0.2 × tan 50° ≈ 0.2 × 1.192 = 0.2384
∠TPQ − ∠TQP ≈ 2 × arctan(0.2384) ≈ 2 × 13.4° ≈ 26.8°
このような測量の問題では、正接定理が実用的な計算ツールとして機能します。
正接定理が特に有効な状況の整理
正接定理が特に力を発揮するのはどのような場合でしょうか。
| 状況 | 正接定理の有効性 | 代替手段 |
|---|---|---|
| 二辺とその挟む角が既知（SAS） | 高（角の差を直接計算可能） | 余弦定理 |
| 三辺が既知（SSS） | 中（変形して使用可能） | 余弦定理 |
| 一辺と対角・他の角が既知 | 低（正弦定理が優位） | 正弦定理 |
| 角の差や和を直接求めたい | 高（定理の形が直接対応） | — |
SAS条件のもとで角の差を効率的に求めたい場合、正接定理は余弦定理よりもシンプルな計算で答えに到達できます。
正接定理と関連する三角関数の公式体系
続いては、正接定理と関連する公式体系について確認していきます。
正接定理は孤立した定理ではなく、三角関数の豊かな公式体系の中に位置づけられます。
半角の公式との関連
正接定理の証明で登場した「半角の公式」を整理しておきましょう。
【半角の公式（正接バージョン）】
tan(θ/2) = sin θ / (1 + cos θ) = (1 − cos θ) / sin θ
tan²(θ/2) = (1 − cos θ) / (1 + cos θ)
これらは加法定理とピタゴラスの定理から導けます。
半角の公式は、正接定理の証明だけでなく、積分計算（ワイエルシュトラス置換 t = tan(θ/2)）でも中心的な役割を果たします。
t = tan(θ/2) という置換を使うと、有理関数の積分に帰着できる三角関数の積分問題を系統的に解くことができます。
モルワイドの方程式との比較
モルワイドの方程式（Mollweide’s equations）は、三角形の辺と角をすべて含む関係式で、正接定理と深く関連しています。
【モルワイドの方程式】
(a + b)/c = cos((A − B)/2) / sin(C/2)
(a − b)/c = sin((A − B)/2) / cos(C/2)
これら二式を割り算すると正接定理の一形式が得られます。
モルワイドの方程式は三角形の計算結果を検証する際にも使われ、歴史的には「検算公式」として重宝されてきました。
ニュートンの公式との関係
ニュートンの公式（Newton’s equations）も三角形の辺と角を関連付ける公式群で、正接定理と同じ文脈に属します。
これらの公式群は、三角形の解法（与えられた条件から残りの辺・角を求めること）において、状況に応じた最適な計算ルートを提供します。
現代のカリキュラムでは正弦定理・余弦定理を中心に教えますが、測量学や天文学の歴史的文脈では、こうした多様な定理が使い分けられていました。
まとめ
本記事では、正接定理の公式と証明を中心に、正弦定理・余弦定理との違い、応用問題への活用方法、関連公式体系まで幅広く解説してきました。
正接定理は「(a−b)/(a+b) = tan((A−B)/2)/tan((A+B)/2)」という形で、三角形の辺の比と角の正接の比を結びつける美しい定理です。
証明には正弦定理と和積公式が使われ、三角関数の公式体系の中に有機的に組み込まれています。
SAS条件（二辺とその挟む角が既知）での角の差の計算や、測量問題への応用において特に有効に機能します。
正弦定理・余弦定理とともに正接定理を理解することで、三角形の問題をより多角的なアプローチで解けるようになるでしょう。
三角関数の公式体系は相互に深く関連していますので、本記事をきっかけに各公式のつながりを意識しながら学習を進めることをおすすめします。
