a) 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 AEFD có:

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

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

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

• 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.

Vậy hai tứ giác AEFD, AECF là những hình bình hành.