Từ $B$ kẻ $BK//CI\quad (K\in DE)$
Xét $∆DBK$ có:
$AI//BK\quad (BK//CI)$
$DA = AB\quad (gt)$
$\Rightarrow DI = IK\quad (1)$
Xét $∆ECI$ có:
$EB = BC\quad (gt)$
$BK//CI$ (cách dựng)
$\Rightarrow EK = KI\quad (2)$
$(1)(2)\Rightarrow DI = IK = KE$
$\Rightarrow DI =\dfrac{DE}{3}$