Chứng minh A là tâm đường tròn nội tiếp tam giác BDE
; nhưng vì thế , suy ra BA là phân giác của góc DBE.
vì cùng bằng , do đó EA là phân giác của góc DEB.
A là giao điểm của các đường phân giác của tam giác DBE nên là tâm đường tròn nội tiếp tam giác đó.