Trên tia đối của \(ED\) lấy F sao cho \(ED=EF\)
Xét \(\Delta EAD;\Delta ECF\) có :
\(\left\{{}\begin{matrix}EA=EC\\\widehat{E1}=\widehat{E2}\\ED=EF\end{matrix}\right.\)
\(\Leftrightarrow\Delta EAD=\Delta ECF\left(c-g-c\right)\)
\(\Leftrightarrow\widehat{A}=\widehat{ECF}\)
mà 2 góc này so le trong
\(\Leftrightarrow DE\) // \(BC\left(đpcm\right)\)