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 の外接円が互いに接することを証明せよ。
ステップ 3/4: 主張:LA=LQLA=LQ
ざっくり言うと

HQHQ と AHAH の中点が作る長方形により、外心 OO は直線 LTLT 上にあり、これはまさに AQAQ の垂直二等分線である。

LA=LQLA=LQ
詳しい解説

NN、TT をそれぞれ HQHQ、AHAH の中点とし、OO を ABCABC の外心とする。TT は AHAH の中点、MM は BCBC の中点であるから、MTMT は九点円の直径である(九点円の古典的な直径)。したがって四辺形 LTNMLTNM は長方形であり、直線 LTLT は元の外接円の中心 OO を通る。LT⊥AQLT\perp AQ(先ほどの垂直方向と LT∥LT\parallel であるため)かつ OA=OQOA=OQ(いずれも外接円の半径)なので、OO は AQAQ の垂直二等分線上にある。また L,T,OL,T,O は一直線上にあり LT⊥AQLT\perp AQ なので、LL もその垂直二等分線上にある。よって LA=LQLA=LQ である。