Cho hình bình hành ABCD có AB = AC. Gọi O là trung điểm của BC và E là điểm đối xứng của A qua O. Đường thẳng vuông góc với AE tại E và cắt đường thẳng AC tại F. Chứng minh ADFE là hình chữ nhật