Vì ABCD là hình bình hành nên ta có:

• Hai đường chéo AC và BD cắt nhau tại O nên OA = OC, OB = OD.

• AB // CD nên AM // CN suy ra ˆOAM=ˆOCN (hai góc so le trong).

Xét ∆OAM và ∆OCN có:

ˆOAM=ˆOCN (chứng minh trên)

OA = OC (chứng minh trên)

ˆAOM=ˆCON (hai góc đối đỉnh)

Do đó ∆OAM = ∆OCN (g.c.g).

Suy ra AM = CN (hai cạnh tương ứng)

Mặt khác, AB = CD (chứng minh trên); AB = AM + BM; CD = CN + DN.

Suy ra BM = DN.

Xét tứ giác MBND có:

• BM // DN (vì AB // CD)

• BM = DN (chứng minh trên)

Do đó, tứ giác MBND là hình bình hành.

a) Do ABCD là hình bình hành nên AB // CD, AB = CD, từ đó AE // CF, AE = EB = DF = FC.

Do đó tứ giác AEFD là hình bình hành.

Tương tự, tứ giác AECF là hình bình hành vì có hai cạnh đối AE và CF song song và bằng nhau.

b) Vì AEFD là hình bình hành nên AD = EF.

Vì AECF là hình bình hành nên AF = EC.