直线 AOAOAO 恰好是 Ω\OmegaΩ 的弦 FGFGFG 的垂直平分线。
由于 F,G∈ΩF,G\in\OmegaF,G∈Ω 且 AF=AGAF=AGAF=AG(两者都是以 AAA 为圆心的圆 Γ\GammaΓ 的半径),所以 AAA 位于弦 FGFGFG 的垂直平分线上,OOO(作为 Ω\OmegaΩ 的外心)也是如此。因此直线 AOAOAO 恰好是 FGFGFG 的垂直平分线,点 XXX 在 AOAOAO 上当且仅当 XF=XGXF=XGXF=XG。剩下只需证明 XF=XGXF=XGXF=XG,即 ∠KFG=∠LGF\angle KFG=\angle LGF∠KFG=∠LGF,其中 X=FK∩GLX=FK\cap GLX=FK∩GL。