Vì ABCD là hình bình hành nên AB = CD, AB // CD.

Mà E, F lần lượt là trung điểm của AB, CD nên AE = BE, CF = DF.

Do đó AE = BE = CF = DF.

• Xét tứ giác AECF có:

AE // CF (vì AB // CD);

AE = CF (chứng minh trên)

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