A, C の直線 PO に関する対称点を
各々 D, E とする。
D, E は円の円周上にある。
CK は PO と直行するので
CE は K を通る。
さらに @より ∠AKC = ∠BKC なので
BD は K を通る。
よって
BK×KD = CK×KE
DK = AK, EK = CK なので。
AK×BK = CK
2
である
戻る