Giả sử AB là tia phân giác của CAF, chứng minh CD = EF
vì hai góc nội tiếp cùng chắn cung BF của đường tròn (O).
(cùng bù với góc BAD), nhưng (gt), do đó . Tam giác BDF cân ở đỉnh B, nên BD = BF
∆ CBD ~ ∆ EBF theo tỉ số
Vậy ∆ CBD = ∆ EBF => CD = EF