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