接弦定理の証明を完全攻略!鋭角・直角・鈍角の全パターン徹底解説
高校数学の教科書や記述試験において、接弦定理の証明は「弦と接線のなす角が直角・鋭角・鈍角の3パターンすべてで成立すること」を示すのが標準的なアプローチです。ここでは、どの教科書よりも明快に各ステップの論理を可視化して整理します。
【基本設定】
円 $O$ の周上に弦 $AB$ があり、点 $A$ における円 $O$ の接線を $TT'$ とします(点 $B$ 側に半直線 $AT$ をとる)。円周上に点 $C$ を、点 $B$ とは異なる弧の上にとります。目標は $\angle BAT = \angle ACB$ を証明することです。
パターン1:接弦定理の証明 直角の場合(基準となる自明ケース)
弦 $AB$ が円 $O$ の中心を通る場合、すなわち $AB$ が直径であるケースです。
1. 円の接線は接点を通る半径(直径)と垂直に交わるため、$\angle BAT = 90^\circ$ となります。
2. 一方、線分 $AB$ は円の直径であるため、半円の弧に対する円周角の性質から $\angle ACB = 90^\circ$ となります。
3. したがって、$\angle BAT = \angle ACB = 90^\circ$ が直ちに成立します。
この直角のケースが、続く鋭角・鈍角を証明するための強固な「アンカー(基準点)」として機能します。
パターン2:接弦定理の証明 鋭角の場合(補助線が織りなすエレガントな導出)
弦 $AB$ と接線 $AT$ のなす角 $\angle BAT$ が鋭角($0^\circ < \angle BAT < 90^\circ$)であるケースです。
1. 点 $A$ を通る直径 $AD$ を引き、点 $D$ と点 $B$ を結びます。
2. 直径 $AD$ と接線 $AT$ は垂直であるため、$\angle DAT = 90^\circ$ です。よって、
$\angle BAT = \angle DAT - \angle DAB = 90^\circ - \angle DAB$ …… ①
3. 直角三角形 $\triangle ABD$ において、$\angle ABD = 90^\circ$(直径に対する円周角)であるため、内角の和から、
$\angle ADB = 90^\circ - \angle DAB$ …… ②
4. ①と②を比較すると、$\angle BAT = \angle ADB$ であることが導かれます。
5. ここで、弧 $AB$ に対する円周角は等しい(円周角の定理)ため、$\angle ADB = \angle ACB$ です。
6. したがって、$\angle BAT = \angle ACB$ が成り立ちます。
パターン3:接弦定理の証明 鈍角の場合(2つの有力な証明ルート)
弦 $AB$ と接線 $AT$ のなす角 $\angle BAT$ が鈍角($90^\circ < \angle BAT < 180^\circ$)であるケースです。ここには「鋭角を利用する方法」と「円に内接する四角形の性質を利用する方法」の2つが存在します。記述試験で最も計算ミスが少なくスマートな後者で解説します。
1. 接線 $AT$ の反対方向(逆向き)に半直線 $AT'$ を伸ばします。直線 $TT'$ 上の角であるため、$\angle BAT + \angle BAT' = 180^\circ$、すなわち $\angle BAT = 180^\circ - \angle BAT'$ です。
2. $\angle BAT$ が鈍角であるため、逆側の $\angle BAT'$ は必然的に鋭角となります。
3. 弧 $AB$ 上(接線 $AT'$ 側)に新たな点 $C'$ をとると、先ほど証明した「鋭角の場合」より、$\angle BAT' = \angle AC'B$ が成立します。
4. 四角形 $ACBC'$ は円 $O$ に内接する四角形です。円に内接する四角形の対角の和は $180^\circ$ であるため、
$\angle ACB = 180^\circ - \angle AC'B$ が成り立ちます。
5. したがって、$\angle ACB = 180^\circ - \angle BAT' = \angle BAT$ となり、鈍角においても完全に成立することが証明されました。
以上の3つの場合分けによって、いかなる角度であっても定理が揺らぐことなく成立することが確認できました。これが接弦定理 証明 詳細まとめの核心構造です。