Cho hình vuông ABCD và điểm E tùy ý trên 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ết AI của tam giác AEF và kéo dài cắt CD tại K