Xét ΔAFH vuông tại F và ΔCDH vuông tại D có
\(\widehat{AHF}=\widehat{CHD}\)
Do đó: ΔAFH\(\sim\)ΔCDH
Suy ra: HA/HC=HF/HD
hay \(HA\cdot HD=HF\cdot HC\left(1\right)\)
Xét ΔFHB vuông tại F và ΔEHC vuông tại E có
\(\widehat{FHB}=\widehat{EHC}\)
Do đó: ΔFHB\(\sim\)ΔEHC
Suy ra: HB/HC=HF/HE
hay \(HB\cdot HE=HF\cdot HC\left(2\right)\)
Từ (1) và (2) suy ra \(HA\cdot HD=HB\cdot HE=HC\cdot HF\)