Gọi I là giao điểm AH và EF, ta có

IA = IE = IH = IF (tính chất hình chữ nhật).

• Xét ∆IEO và ∆IHO có: OI là cạnh chung; IE = IH; OE = OH.

Do đó ∆IEO = ∆IHO (c.c.c)

Suy ra (hai góc tương ứng).

Vì và E thuộc đường tròn (O) nên EF là tiếp tuyến của (O). (1)

• Xét ∆IFO' và ∆IHO' có: O'I là cạnh chung; IF = IH; O'F = O'H.

Do đó ∆IFO' = ∆IHO' (c.c.c).

Suy ra (hai góc tương ứng).

Vì và E thuộc đường tròn (O) nên EF là tiếp tuyến của (O). (2)

Từ (1) và (2) suy ra EF là tiếp tuyến của (O) và đồng thời là tiếp tuyến của (O').