Cho hình bình hành ABCD. Vẽ AE ⊥ BC tại E, DF ⊥ AB tại F. Biết AE = DF. Chứng minh rằng tứ giác ABCD là hình thoi.