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