Cho hình vuông ABCD. Qua A vẽ đường thẳng cắt cạnh BC, CD lần lượt tại E và F. Chứng minh rằng: 1/AB^2 = 1/AE^2 + 1/AF^2