Lời giải:
Qua $F$ kẻ đường thẳng song song với $AI$ cắt $AD$ tại $K$
Xét tam giác $ABC$ và $AKF$ có:
$\widehat{BAC}=\widehat{KAF}$ (cùng phụ với $\widehat{CAK}$)
$\widehat{ABC}=90^0-\widehat{BAH}=\widehat{DAI}=\widehat{AKF}$ (góc đồng vị)
$\Rightarrow \triangle ABC\sim \triangle AKF$ (g.g)
$\frac{AB}{AK}=\frac{AC}{AF}=1$
$\Rightarrow AB=AK$. Mà $AB=AD$ nên $AK=AD$
$AI\parallel FK$ nên theo định lý Ta-let thì: $\frac{DI}{IF}=\frac{DA}{KA}=1$
$\Rightarrow DI=IF$ (đpcm)