Cho hình vuông ABCD và điểm E tùy ý trên cạnh BC. Tia Ax vuông góc với AE tại A cắt CD kéo dài tại F. Kẻ trung tuyến AI của tam giác AEF và kéo dài cắt cạnh CD tại K. Chứng minh AE = AF