Xét ΔFBI vuông tại F và ΔDBI vuông tại D có:

 (do BI là phân giác góc );

IB chung.

Do đó ΔFBI = ΔDBI (cạnh huyền – góc nhọn).

Suy ra IF = ID (hai cạnh tương ứng) (1).

Xét ΔIDC vuông tại D và ΔIEC vuông tại E có:

 (do IC là phân giác góc );

IC chung.

Do đó ΔIDC = ΔIEC (cạnh huyền – góc nhọn).

Suy ra ID = IE (hai cạnh tương ứng) (2).

Từ (1) và (2) suy ra  IE = IF = ID.