CIE = ICB (2 góc so le trong, DE // BC)

mà ICB = ICE (IC là tia phân giác của ECB)

=> CIE = ICE

=> Tam giác EIC cân tại I

=> EI = EC

BID = IBC (2 góc so le trong, DE // BC)

mà IBC = IBD (IB là tia phân giác của DBC)

=> BID = IBD

=> Tam giác DIB cân tại D

=> DI = DB

DE = DI + IE = DB + CE