为k、l、分别是线段p、cq、pq的中点，所以得到k=q/2，l=cp/2，将此带入上式得q/cp=p/q，将式子转为p·cp=q·q。通过圆幂定理知op2=o2-p·cp=o2-q·q=oq2

所以，得出结论op=oq。

秦元清连检查都没有检查，将抽向的数学问题转为图像，这个是他擅长的地方，他有十全的把握证明。<