Cho nữa đường tròn đường kính AB

Vì CEFD là tứ giác nội tiếp, nên ta có:
∠CED = ∠CFD (cùng nằm trên cung CD)
∠CEF = ∠CDF (cùng nằm trên cung CF)
Vì F nằm giữa B và E, nên ta có:
∠CEF = ∠BEF (cùng nằm trên tiếp tuyến Bx)
∠CDF = ∠BDF (cùng nằm trên tiếp tuyến Bx)
Vậy ta có:
∠CED = ∠CFD = ∠BEF = ∠BDF
Do đó, tứ giác CEFD là tứ giác nội tiếp.