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.
b) Vì tứ giác AEFD là hình bình hành nên EF = AD.
Vì tứ giác AECF là hình bình hành nên AF = EC.
Vậy EF = AD, AF = EC.