Cho đường tròn tâm O bán kính AD. Trên tia đối DA lấy điểm E, kẻ đường thằng d vuông góc với AD, lấy điểm B thuộc AD. BD cắt đường thẳng d tại F. Chứng minh tứ giác ABEF nội tiếp được đường tròn