MathLabs

第3問

ABCABC を AB>ACAB>AC を満たす鋭角三角形とする。Γ\Gamma をその外接円、HH をその垂心、FF を AA から下ろした高さの足とする。MM を BCBC の中点とする。QQ を Γ\Gamma 上の点で ∠HQA=90∘\angle HQA=90^\circ を満たすものとし、KK を Γ\Gamma 上の点で ∠HKQ=90∘\angle HKQ=90^\circ を満たすものとする。点 AA、BB、CC、KK、QQ はすべて相異なり、この順序で Γ\Gamma 上にあるとする。三角形 KQHKQH と三角形 FKMFKM の外接円が互いに接することを証明せよ。
ステップ 4/4: 接触を結論する
ざっくり言うと

等しい半径によって直径方向に対応する点での接線に平行な弦は、まさに接弦定理の角度条件を満たす。

LM∥AQ, LA=LQ⇒ML tangent to (AQL)LM\parallel AQ,\ LA=LQ \Rightarrow ML \text{ tangent to } (AQL)
詳しい解説

LA=LQLA=LQ なので三角形 LAQLAQ は二等辺である。したがって、その外接円 (AQL)(AQL) の接線は、弦 LQLQ となす角が、反対側で LALA が LQLQ となす角と等しい(接弦定理によりその角は反対側の弧に対する内接角 ∠LAQ\angle LAQ であり、二等辺三角形では ∠LQA\angle LQA に等しい)。LM∥AQLM\parallel AQ と合わせると、直線 MLML 自身が LL における (AQL)(AQL) の接線であることが従う。反転 ι\iota を戻すと、LL における円 (AQL)(AQL) への直線 MLML の接触(LL は HH の反像)が、円 (KQH)(KQH)(中心 HH を通る直線 MLML の反像)と円 (FKM)(FKM)((AQL)(AQL) の反像)が共通点 KK で接することに移され、これで示された。