+) Xét tam giác vuông FIC và EIC có Chung cạnh IC; góc FCI = ICE ( do CI là p/g của góc ACB)
=> tam giác FIC = EIC ( cạnh huyền - góc nhọn)
=> IF = IE (1)
+) Xét tam giácvuông IEB và tam giác vuông IDB có: chung cạnh IB; góc IBE = IBD ( do BI là p/g của góc ABC)
=> tam giác IEB = IDB ( cạnh huyền - góc nhọn)
=> IE = ID (2)
Từ (1)(2) => IE = ID = IF