a) Xét \(\Delta DEF,\Delta HED\) có :
\(\left\{{}\begin{matrix}\widehat{E}:chung\\\widehat{EDF}=\widehat{EHD}\end{matrix}\right.\)
\(\Rightarrow\) \(\Delta DEF\sim\Delta HED\left(g.g\right)\) (*)
b) Từ (*) \(\Rightarrow\dfrac{DF}{EF}=\dfrac{HF}{DF}\)
\(\Rightarrow DF^2=HF.EF\)
=> đpcm.