Ta có:

• Vì B là trung điểm của cung AC nên AB = BC
• Góc BDC = 90° (Đường kính là đường chéo của hình chữ nhật ADCB)
• Góc ADE = 90° (Vì EF vuông góc với AD)
• Góc BED = Góc ADE (Vì hai góc này đều bằng góc ở trung tâm cùng nửa đường tròn)
• Góc ABE = Góc EDC (Cùng bù với góc BED)
• Vì AB = BC nên tam giác ABE là tam giác cân nên góc AEB = góc EAB

Do đó, ta có thể kết luận tứ giác ABEF là tứ giác nội tiếp.