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