ABABAB 的垂直平分线自动经过以边 ABABAB 为边的任意三角形的外心,因此该点是与两条角平分线进行检验的自然候选点。
设 OOO 为三角形 APBAPBAPB 的外心。由于 OA=OBOA=OBOA=OB,根据定义点 OOO 在线段 ABABAB 的垂直平分线上;剩下只需证明 OOO 也在 ∠ADP\angle ADP∠ADP 与 ∠PCB\angle PCB∠PCB 的内角平分线上。