Cho hình vuông ABCD có cạnh bằng a. Trên cạnh BC lấy điểm E qua A kể đường thẳng vuông góc với AE đường thẳng này 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

Cho hình vuông ABCD có cạnh bằng a. Trên cạnh BC lấy điểm E qua A kể đường thẳng vuông góc với AE đường thẳng này 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. C/m:
a) Tam giác AEF là tam giác vuông cân và KE = KF
b) Ba điểm D, I, B thẳng hàng