经典的旋转相似引理把过 MMM 的两个圆转化为以 MMM 为中心的一个旋转相似;由 BC=DABC=DABC=DA 长度相等,这个旋转相似升级为纯旋转。
由旋转相似引理,既然圆 (APD)(APD)(APD) 与 (BPC)(BPC)(BPC) 交于 PPP 与 MMM,点 MMM 就是将 B↦DB\mapsto DB↦D、C↦AC\mapsto AC↦A(等价地,把线段 BCBCBC 送到线段 DADADA)的旋转相似中心。由 BC=DABC=DABC=DA,该旋转相似的比为 111,因此它实际上是绕 MMM 的纯旋转。