第2步与第4步给出 MX∥PSMX\parallel PSMX∥PS 及 PS∥LKPS\parallel LKPS∥LK;由平行的传递性,MX∥LKMX\parallel LKMX∥LK。但 MXMXMX 是 MMM 处 Γ\GammaΓ 切线的一部分,而 LKLKLK 是 Γ\GammaΓ 的一条弦:圆上一点处的切线平行于某条弦,当且仅当该点是这条弦所确定的两段弧之一的中点。因此 MMM 是弧 LKLKLK(不含直线 CMCMCM 另一个交点的一侧)的中点,即弧 MKMKMK 与 MLMLML 相等,从而它们所对的弦也相等:MK=MLMK=MLMK=ML。■\blacksquare■