Vì EF // CI nên MCI ^ = CFE ^ (hai góc đồng vị)
Vì DE // BC nên CFE ^ = DEF ^ (hai góc so le trong)
⇒ MCI ^ = DEF ^ (1)
Vì EF // CI nên FEC ^ = ACI ^ (hai góc so le trong) (2)
Mặt khác, ⇒ MCI ^ = ACI ^ (vì CI là tia phân giác của ACM ^ ) (3)
Từ (1), (2), (3) suy ra DEF ^ = FEC ^
Vậy EF là tia phân giác của DEC ^