Kẻ AG⊥AF
Xét △ABE và △ADG có
\(\widehat{BAE}=\widehat{DAG}\) (cùng phụ góc DAF)
\(\widehat{ABE}=\widehat{ADG}=90^o\)
suy ra △ABE=△ADG
=> AE=AG(2 cạnh tương ứng)
Xét △AGF vuông tại A đường cao AD, Ta có:
\(\dfrac{1}{AD^2}=\dfrac{1}{AG^2}+\dfrac{1}{AF^2}\)
\(\Leftrightarrow\dfrac{1}{AB^2}=\dfrac{1}{AE^2}+\dfrac{1}{AF^2}\)