对于棱 ABABAB,与 ABABAB 以及 CA,CBCA,CBCA,CB 的延长线相切的大球的截面,属于同一个也与 CSCSCS 的延长线相切的球。由于这个大圆和内切圆共用切线 ABABAB,它们在 ABABAB 上的切点必须重合,从而有 ∣APAB∣=∣BPAB∣|AP_{AB}|=|BP_{AB}|∣APAB∣=∣BPAB∣。对 BCBCBC 和 CACACA 作同样的论证,得到另外两个等式。