在圆 Ω\OmegaΩ 中,圆周角 ∠AEC\angle AEC∠AEC 与 ∠ABC\angle ABC∠ABC 对着同一段弧 ACACAC,故 ∠AEC=∠ABC\angle AEC=\angle ABC∠AEC=∠ABC;由于 △CAB\triangle CAB△CAB 是等腰三角形,此角等于 ∠CAB=90∘−α\angle CAB=90^\circ-\alpha∠CAB=90∘−α,而根据上一步它又等于 ∠EAD\angle EAD∠EAD(因为 EEE 在射线 APAPAP 上,故 ∠EAD=∠PAD\angle EAD=\angle PAD∠EAD=∠PAD)。于是 ∠AEC=∠EAD\angle AEC=\angle EAD∠AEC=∠EAD 是截线 AEAEAE 截两直线 CECECE 与 ADADAD 所得的一对相等内错角,迫使 CE∥ADCE\parallel ADCE∥AD。在圆 Γ\GammaΓ 中对称地计算(利用 ∠AFD=∠ABD=∠BAD=90∘−β=∠FAC\angle AFD=\angle ABD=\angle BAD=90^\circ-\beta=\angle FAC∠AFD=∠ABD=∠BAD=90∘−β=∠FAC)可得 DF∥ACDF\parallel ACDF∥AC。