MathLabs

第1問

三角形 ABCABC が「great」であるとは、辺 BCBC 上の任意の点 DD について、DD から直線 ABAB、ACAC に下ろした垂線の足をそれぞれ PP、QQ とするとき、DD を直線 PQPQ に関して反転した点が三角形 ABCABC の外接円上にあることをいう。三角形 ABCABC が great であることと、∠A=90∘\angle A=90^\circ かつ AB=ACAB=AC であることが同値であることを証明せよ。
ステップ 2/5: D′D' が AA と一致することを示す
D′=AD'=A
詳しい解説

∠APD\angle APD と ∠AQD\angle AQD が直角なので四角形 APDQAPDQ は円に内接し、PQPQ は AA と DD の間で ADAD と交わる。PQ⊥ADPQ\perp AD だから、DD を PQPQ に関して反転した点 D′D' は DD から AA を通る半直線上にある。直線 ADAD は外接円と AA および DD より先にある第二交点で交わる(DD は弦 BCBC 上にあるため)ので、半直線 DADA 上の外接円上の点は AA だけである。したがって D′=AD'=A である。