a. Xét ΔEID và ΔEIF có:
EI chung
DEI^=IEF^
DE = EF.
⇒ ΔEID = ΔEIF (c.g.c)
b. Vì ΔEID=ΔEIF (chứng minh trên)
⇒ ID = IF
⇒ Tam giác DIF cân tại I.