Kẻ NF // AB (F thuộc BC)

Xét tam giác BEF và tam giác NFE có:

BEF = NFE (2 góc so le trong, NF // BE)

FE chung

EFB = FEN (2 góc so le trong, EN // FB)

=> Tam giác BEF = Tam giác NFE (g.c.g)

=> BE = NF (2 cạnh tương ứng)

mà BE = AD (gt)

=> AD = NF

Xét tam giác ADM và tam giác NFC có:

MDA = CFN (2 góc đồng vị, DM // FC)

DA = FN (chứng minh trên)

DAM = FNC (2 góc đồng vị, AD // NF)

=> Tam giác ADM = Tam giác NFC (g.c.g)

=> DM = FC (2 cạnh tương ứng)

mà EN = BF (tam giác BEF = tam giác NFE)

=> DM + EN = BF + FC = BC