关于 O1O2O_1O_2O1O2 的对称交换两条公切线,故交换 Pi,QiP_i,Q_iPi,Qi。因此 OiOjO_iO_jOiOj 是 PiQiP_iQ_iPiQi 的垂直平分线,MiM_iMi 在 O1O2O_1O_2O1O2 上。在直角三角形 S,Oi,PiS,O_i,P_iS,Oi,Pi 中,由斜边高定理得 OiMi⋅OiS=OiPi2O_iM_i\cdot O_iS=O_iP_i^2OiMi⋅OiS=OiPi2。因 A,PiA,P_iA,Pi 在 CiC_iCi 上,OiPi=OiAO_iP_i=O_iAOiPi=OiA。