Cho hình bình hành ABCD có AC vuông góc với AD. Gọi E, F theo thứ tự là trung điểm của các cạnh AB, CD. Chứng minh tứ giác AECF là hình thoi.