Ta có DE// BC (gt) \( \Rightarrow {\widehat I_1} = {\widehat B_2}\) (so le trong), mà \({\widehat B_2} = {\widehat B_1}\) (gt) \( \Rightarrow {\widehat I_1} = {\widehat B_1}\).
Chứng tỏ \(\Delta B{\rm{D}}I\) cân tại D \( \Rightarrow DI = DB\).
Chứng minh tương tự ta có \(EI = EC,\) mà \(DE = DI + IE\)
\(\Rightarrow DE = DB + CE.\)