Lời giải:
Áp dụng HTL trong tam giác vuông với tam giác $ABH$ và $ACH$ ta có:
$AB.AE=AH^2(1)$
$AF.AC=AH^2(2)$
Tứ giác $AEHF$ có 3 góc vuông $\widehat{A}=\widehat{E}=\widehat{F}=90^0$
$\Rightarrow AEHF$ là hình chữ nhật
$\Rightarrow AH=EF(3)$
Từ $(1); (2); (3)\Rightarrow AB.AE=AC.AF=EF^2$ (đpcm)
