xét tứ giác AEDM, ta có:
AE // DM (AB // DM, E thuộc AB)
EM // AD (EM // AC, D thuộc AC)
=> tứ giác AEDM là hình bình hành
=> EA = DM ; EM = AD (đpcm)
có DM // AB (giả thiết) => góc DMC=ABM (đồng vị) (1)
mà ABM=ACB (tam giác ABC cân tại A) (2)
từ (1) và (2) suy ra tam giác MDC cân tại D
=> DC=DM
mà DC+AD = AC
=> MD + ME = AC =AB