Kẻ MF // BE , mà D \(\in\) BE nên DE // MF .
Xét \(\Delta\)AMF có :
AD = DM (gt) ; DE // MF
\(\Rightarrow\) AE = EF (1) .
Xét \(\Delta\)CBE có :
BM = CM ; MF // BE
\(\Rightarrow\) EF = FC (2) .
Từ (1) và (2) có :AE = 1/2(EF + FC) (3)
Có EF + FC = EC (4) .
Từ (3) và (4) \(\Rightarrow\) AE = 1/2EC .
Vậy AE = 1/2 EC ( đpcm ) .