Qua A vẽ đường thẳng vuông góc với AE cắt CD tại G 
Xét tam giác ABE và tam giác ADG có 
Góc BAE = góc GAD ( vì cùng phụ với góc DAE ) 
AB=AD ( vì tứ giác ABCD là hình vuông ) 
Góc ADG = góc ABE = 90 độ 
=> tam giác ABE = tam giác ADG (g.c.g) 
=> AE=AG => 1/AE^2=1/AG^2 (1) 
mặt khác xét tam giác GAF vuông tại A có đường cao AD nên ta có 
1/AG^2 + 1/AF^2 = 1/AD^2 (2) 
từ (1) và (2) => 1/AD^2 = 1/AE^2 + 1/AF^2 mà AD = AB => 1/AB^2 = 1/AE^2 + 1/AF^2