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 ​ 1/2 AB, CF = Df

Do đó AE = BE = CF = DF.

Xét tứ giác AEFD có

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

     AE = DF (cmt)

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 (cmt)

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.

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.