Cho hình vuông ABCD, trên BC lấy E. Dựng Ax vuông góc với AE, Ax cắt CD kéo dài tại F. Kẻ trung tuyến AI của tam giác AEF, AI cắt CD tại K, qua E dựng đường thẳng song song với AB cắt AI tại G.Gọi giao điểm của È và AD là J . Chứng minh GJ vuông góc với JK