MathLabs

第3問

三角形 ABCABC の頂点 AA に対する傍接円が辺 BCBC と接する点を A1A_1 とする。同様に、頂点 BB、CC に対する傍接円を用いて、辺 CACA 上の点 B1B_1、辺 ABAB 上の点 C1C_1 を定める。三角形 A1B1C1A_1B_1C_1 の外心が三角形 ABCABC の外接円上にあるとする。このとき、三角形 ABCABC は直角三角形であることを証明せよ。
ステップ 2/5: 外心を X と一致させる
Q=XQ=X
詳しい解説

QQ を A1B1C1A_1B_1C_1 の外心とする。仮定より QQ は Ω\Omega 上にある。巡回対称性により、添字を選び直して ∠B1A1C1>90∘\angle B_1A_1C_1>90^\circ としてよい。このとき AA と弧の中点 XX は直線 B1C1B_1C_1 の同じ側にある。QQ は B1C1B_1C_1 の垂直二等分線上かつ Ω\Omega 上にあるので、配置から Q=XQ=X が従う。