Cho hình vuông ABCD có độ dài cạnh là a. Trên BC lấy điểm E, qua A kẻ đường thẳng vuông góc với AE cắt đường thẳng CD tại F. Gọi I là trung điểm của EF, AI cắt CD tại K. Chứng minh ΔAEF là tam giác vuông cân và KE = KF