Vì M là trung điểm của BC nên BM = MC = BC2

Vì N là trung điểm của EF nên EN = NF = EF2

Mà BC = EF (giả thiết) nên BM = EN.

Xét ΔABMΔDEN ta có:  

AB = DE (giả thiết)

BM = EN (chứng minh trên)

AM = DN (giả thiết)

Do đó, ΔABM=ΔDEN (c . c . c).

Suy ra, ABM^=DEN^ (hai góc tương ứng) hay ABC^=DEF^.

Xét ΔABCΔDEF ta có:

AB = DE (giả thiết)

BC = EF (giả thiết)

ABC^=DEF^ (chứng minh trên)

Do đó, ΔABC=ΔDEF (c . g . c).