Vì I tiếp xúc các cạnh AC và AB tại E và F nên IFA^=IEA^=90°.

Hai tam giác vuông IFA và IEA có chung cạnh huyền AI nên hai tam giác này cùng nội tiếp đường tròn đường kính AI. Suy ra tứ giác IEAF nội tiếp đường tròn đường kính AI (đpcm).

Tương tự, tứ giác IFBD nội tiếp đường tròn đường kính BI, tứ giác IDCE nội tiếp đường tròn đường kính CI (đpcm).