Xét $ΔABC$ và $ΔHBA$ có:
+) $\widehat{BAC}=\widehat{BHA}=90^o$
+) $\widehat{B}:chung$
$=>ΔABC \backsim ΔHBA (g.g)$
$=>\widehat{HAB}=\widehat{ACB}$ (hai góc t/ứ)
$=>\widehat{DAB}=\widehat{ACB}$
Xét $ΔDBA$ và $ΔBAC$ có:
+) $\widehat{DBA}=\widehat{BAC}=90^o$
+) $\widehat{DAB}=\widehat{ACB}$
$=>ΔDBA \backsimΔBAC (g.g)$
$=>\dfrac{DB}{AB}=\dfrac{BA}{AC}$
$=>AB^2=AC.BD$ (đpcm)