a) Xét tam giác ABC và tam giác HAC có:
BAC = AHC =90
ABC = HAC (cùng phụ với HAB)
=> ABC đồng dạng HAC (g.g)
b) Vì ABC đồng dạng HAC
=> AB/BC = AH/AC
=> AB.AC=BC.AH
c) Vì AB.AC = BC.AH
=> AB^2.AC^2= BC^2 . AH^2
Mà BC^2=AB^2+AC^2 (định lý pytago ở tam giác ABC vuông tại A)
=> AB^2.AC^2= (AB^2+AC)^2.AH^2
=> 1/AH^2 =1/AB^2 +1/AC^2