Chứng minh rằng A là tâm đường tròn nội tiếp tam giác BDE.
Do các tứ giác CDEF, BAEF nội tiếp được nên (vì cùng bằng ). Vậy tia EA là phân giác của góc DEB. Tương tự, tia DA là tia phân giác của góc EDB. Suy ra A là tâm đường tròn nội tiếp tam giác BDE.