Từ D kẻ DI // AE

Vì ΔΔABC cân tại A nên ˆBB^ = ˆACBACB^ (1)

Vì DI // AE => ˆACBACB^ = ˆDIBDIB^ (đồng vị ) (2)

Từ (1) và (2) => ˆBB^ = ˆDIB

Trong ΔΔDIB có : ˆB = ˆDIBDIB^ => ΔΔDIB cân tại D

=> DB = DI mà DB = CE (gt)

=> DI = CE

Vì DI // AE => ˆMDI = ˆMEC(so le trong )

và ˆDIM = ˆMCE( so le trong )

Xét ΔDIM và ΔECM có :

ˆMDI = ˆMEC (chứng minh trên )