围绕这两个圆进行角度追踪表明,线段 EF(F 是直线 PD 与 Omega 的第二个交点)平行于 BC,而由于 AE 已经垂直于 BC,这就迫使 AF 必须是直径。
设 F≠AF\ne AF=A 为直线 PDPDPD 与 Ω\OmegaΩ 的第二个交点。利用 ω\omegaω 与 Ω\OmegaΩ,得 ∠CBE=∠DLE=∠DPB=∠FCB\angle CBE=\angle DLE=\angle DPB=\angle FCB∠CBE=∠DLE=∠DPB=∠FCB,故 EF∥BCEF\parallel BCEF∥BC。由 AE⊥BCAE\perp BCAE⊥BC 知 AE⊥EFAE\perp EFAE⊥EF,于是 ∠AEF=90∘\angle AEF=90^\circ∠AEF=90∘ 内接于 Ω\OmegaΩ 并对着一条直径:AFAFAF 是 Ω\OmegaΩ 的直径。