MathLabs

第4問

三角形 ABCABC(ただし CA≠CBCA \neq CB)の内部の点を PP とする。直線 APAP, BPBP, CPCP が外接円 Γ\Gamma と再び交わる点をそれぞれ KK, LL, MM とする。CC における Γ\Gamma の接線が直線 ABAB と交わる点を SS とする。SC=SPSC = SP ならば MK=MLMK = ML であることを示せ。
ステップ 4/5: 内接角から PS と LK の平行が従う
∠SAP=∠BAK=∠BLK=∠PLK=∠SPB   ⟹   PS∥LK\angle SAP=\angle BAK=\angle BLK=\angle PLK=\angle SPB\ \implies\ PS\parallel LK
詳しい解説

AA, PP, KK が共線(手順1)なので半直線 APAP は半直線 AKAK に等しく ∠SAP=∠SAK\angle SAP=\angle SAK;また SS は直線 ABAB 上にあるので半直線 ASAS は半直線 ABAB に等しく ∠SAK=∠BAK\angle SAK=\angle BAK。内接角 ∠BAK\angle BAK と ∠BLK\angle BLK はともに Γ\Gamma の同じ弧 BKBK を同じ側から見た角なので ∠BAK=∠BLK\angle BAK=\angle BLK。BB, PP, LL が共線(手順1)なので半直線 LBLB は半直線 LPLP に等しく ∠BLK=∠PLK\angle BLK=\angle PLK。手順3と合わせると ∠PLK=∠SAP=∠SPB\angle PLK=\angle SAP=\angle SPB。これらは共通の横断線 BPLBPL に対して LKLK と PSPS がそれぞれ LL と PP で作る角なので、対応角が等しいことから PS∥LKPS\parallel LK。