Vì \(DH \bot EF \Rightarrow \widehat {DHE} = 90^\circ \)
Xét tam giác \(DEH\) và tam giác \(FDE\) ta có:
\(\widehat E\) chung
\(\widehat {DHE} = \widehat {EDF} = 90^\circ \).
Do đó, \(\Delta DEH\backsim\Delta FED\) (g.g)
Suy ra, \(\frac{{DE}}{{EF}} = \frac{{EH}}{{DE}} \Rightarrow D{E^2} = EF.EH\) (điều phải chứng minh).