MathLabs

第1問

三角形 ABCABC の垂心を HH とする。MM, NN をそれぞれ辺 ABAB, ACAC の中点とする。HH が四角形 BMNCBMNC の内部にあり、三角形 BMHBMH と CNHCNH の外接円が互いに接しているとする。HH を通り BCBC に平行な直線が三角形 BMHBMH と CNHCNH の外接円とそれぞれ点 KK, LL で交わるとする。MKMK と NLNL の交点を FF とし、三角形 MHNMHN の内心を JJ とする。FJ=FAFJ = FA であることを証明せよ。
ステップ 1/7: 内心と弧の中点に関する補題
DI=DY=DZDI=DY=DZ
詳しい解説

内心 II をもつ三角形 XYZXYZ において、∠YXZ\angle YXZ の内角二等分線が三角形 XYZXYZ の外接円と再び交わる点を DD(すなわち XX を含まない弧 YZYZ の中点)とする。∠DIY\angle DIY は三角形 IXYIXY の II における外角なので ∠DIY=∠IXY+∠IYX=12∠X+12∠Y\angle DIY=\angle IXY+\angle IYX=\tfrac12\angle X+\tfrac12\angle Y。また ∠DYZ=∠DXZ=12∠X\angle DYZ=\angle DXZ=\tfrac12\angle X(弧 DZDZ が同じ)、∠ZYI=12∠Y\angle ZYI=\tfrac12\angle Y なので ∠DYI=∠DYZ+∠ZYI=12∠X+12∠Y=∠DIY\angle DYI=\angle DYZ+\angle ZYI=\tfrac12\angle X+\tfrac12\angle Y=\angle DIY。よって三角形 DIYDIY は二等辺三角形で DI=DYDI=DY、対称な議論で DI=DZDI=DZ も成り立つ。後で三角形 MHNMHN に D=FD=F、I=JI=J として適用する。