Cho hình bình hành ABCD có AB = 2AD. Gọi E, F theo thứ tự là trung điểm của AB, CD. Chứng minh EBFD là hình bình hành. Tứ giác AEFD là hình gì?