延长 OIOIOI 与外接圆交于 P,QP,QP,Q。过 III 的两条割线给出相同点幂 III：割线 AILAILAIL 给出 AI⋅ILAI\cdot ILAI⋅IL，直径线给出 PI⋅QIPI\cdot QIPI⋅QI。故 AI⋅IL=PI⋅QIAI\cdot IL=PI\cdot QIAI⋅IL=PI⋅QI。