Trên nửa đường tròn tâm O đường kính AB lấy hai điểm E và F

Trên nửa đường tròn tâm O đường kính AB lấy hai điểm E và F sao cho cung AE < AF (E khác A, F khác B), Các đoạn thẳng AF và BE cắt nhau tại H. Vẽ HD$\perp$OA ( D $\in$OA, D khác O). Chứng minh : tứ giác DEFO nội tiếp đường tròn.