E, F là trung điểm AB, CD

⇒AE=EB=12AB,  DF=FC=12CD

Ta có: AB = CD hay 2AD = 2BC

Þ AE = EB = BC = CF = FD = DA.

Tứ giác ADFE có AE // DF, AE = DF

Þ ADFE là hình bình hành.

Hình bình hành ADFE có A^=90°

Þ ADFE là hình chữ nhật.

Hình chữ nhật ADFE là hình chữ nhật có AE = AD

Þ ADFE là hình vuông

Vậy ADFE là hình vuông.