Q、P 分别在外接圆的弦 AB、CA 上,故它们关于外接圆的幂恰好等于刚才求出的乘积。
由于 QQQ 在三角形 ABCABCABC 外接圆(圆心 OOO,半径 OAOAOA)的弦 ABABAB 上,QQQ 的幂给出 AQ⋅QB=OA2−OQ2AQ\cdot QB=OA^2-OQ^2AQ⋅QB=OA2−OQ2。由于 PPP 在弦 CACACA 上,同理 AP⋅PC=OA2−OP2AP\cdot PC=OA^2-OP^2AP⋅PC=OA2−OP2。第3步已证 AQ⋅QB=AP⋅PCAQ\cdot QB=AP\cdot PCAQ⋅QB=AP⋅PC,故 OA2−OQ2=OA2−OP2OA^2-OQ^2=OA^2-OP^2OA2−OQ2=OA2−OP2,从而 OP2=OQ2OP^2=OQ^2OP2=OQ2,即 OP=OQOP=OQOP=OQ。■\blacksquare■