Ta có: \(\dfrac{HD}{HE}=\dfrac{3}{6}=\dfrac{1}{2}\)
\(\dfrac{ID}{IF}=\dfrac{4}{8}=\dfrac{1}{2}\)
Do đó: \(\dfrac{HD}{HE}=\dfrac{ID}{IF}\left(=\dfrac{1}{2}\right)\)
Xét ΔDEF có
H\(\in\)DE(gt)
I\(\in\)DF(gt)
\(\dfrac{HD}{HE}=\dfrac{ID}{IF}\)(cmt)
Do đó: HI//EF(Định lí Ta lét đảo)