Ta có:

• $\angle ABE = \angle ADE$ (cùng nằm trên cung cùng tia)
• $\angle AEB = \angle AEC$ (cùng nằm trên cùng tia)
• $\angle CEF = \angle ADE$ (vuông góc và đối góc)
• $\angle FEA = \angle CEA = \angle CEB$ (cùng nằm trên cùng tia) Do đó, ta có $\angle ABE + \angle FEA = \angle ADE + \angle CEB = 180^\circ$, suy ra tứ giác ABEF là tứ giác nội tiếp.