ÉADC = 900 ( NỘI TIẾP CHẮN NỬA ĐƯỜNG TRÒN ) => AD ⊥ DF ; THEO TRÊN TỨ GIÁC ADBE LÀ HÌNH THO => BE // AD MÀ AD ⊥ DF NÊN SUY RA BE ⊥ DF

4. éADC = 90

⁰

( nội tiếp chắn nửa đường tròn ) => AD ⊥ DF ; theo trên tứ giác ADBE là

hình tho => BE // AD mà AD ⊥ DF nên suy ra BE ⊥ DF .

Theo trên éBFC = 90

⁰

( nội tiếp chắn nửa đường tròn ) => BF ⊥ DF mà qua B chỉ có một đường

thẳng vuông góc với DF do đo B, E, F thẳng hàng.