点幂把几何关系变成两个距离的乘积。两个乘积都来自同一个根心构型,因此可以比较。
由于 X,M,N,CX,M,N,CX,M,N,C 共圆,交弦(割线)定理给出 XM⋅XB=XK⋅XNXM\cdot XB=XK\cdot XNXM⋅XB=XK⋅XN。右边是 XXX 关于圆心为 OOO 的圆的点幂,等于 XO2−ON2XO^2-ON^2XO2−ON2。同理,对过 B,K,N,MB,K,N,MB,K,N,M 的圆使用 BBB 的点幂,得 BM⋅BX=BN⋅BC=BO2−ON2BM\cdot BX=BN\cdot BC=BO^2-ON^2BM⋅BX=BN⋅BC=BO2−ON2。