由于 WXWXWX 是 ω1\omega_1ω1 的直径且 Z∈ω1Z\in\omega_1Z∈ω1,由圆周角定理 ∠WZX=90∘\angle WZX=90^\circ∠WZX=90∘;同理由 WYWYWY 是 ω2\omega_2ω2 的直径得 ∠WZY=90∘\angle WZY=90^\circ∠WZY=90∘。因此 XXX、YYY 都在过 ZZZ 且垂直于 WZWZWZ 的直线上。