Để chứng minh rằng EF // BC, ta cần chứng minh rằng tứ giác ABED và tứ giác AFCB là tứ giác tứ giác nội tiếp.
Đầu tiên, ta sẽ chứng minh tứ giác ABED là tứ giác nội tiếp:,- Gọi I là giao điểm của AE và BD. Ta cần chứng minh I nằm trên đường tròn ngoại tiếp tứ giác ABED.,- Ta có góc AIB = góc AEB (do AE // BC) = 90 độ (do AE vuông góc với AB).,- Do đó, tứ giác ABED là tứ giác nội tiếp.
Tiếp theo, ta chứng minh tứ giác AFCB là tứ giác nội tiếp:,- Gọi J là giao điểm của AF và BC. Ta cần chứng minh J nằm trên đường tròn ngoại tiếp tứ giác AFCB.,- Ta có góc AJB = góc ACB (do AF // BC) = 90 độ (do AF vuông góc với AC).,- Do đó, tứ giác AFCB là tứ giác nội tiếp.
Vậy, khi tứ giác ABED và tứ giác AFCB là tứ giác nội tiếp, ta có EF // BC theo tính chất của tứ giác nội tiếp.