Vì M là trung điểm của BC nên BM = MC =
Vì N là trung điểm của EF nên EN = NF =
Mà BC = EF (giả thiết) nên BM = EN.
Xét
AB = DE (giả thiết)
BM = EN (chứng minh trên)
AM = DN (giả thiết)
Do đó,
Suy ra,
Xét
AB = DE (giả thiết)
BC = EF (giả thiết)
Do đó,