CO là phân giác góc C => OCE=OCB
Có EOC= OCB (SLT, DE//BC)
=> EOC=OCE
=> Tam giác EOC cân tại E
=> EC=EO (1)
BO là phân giác góc B => DBO=OBC.
Có DOB=OBC
=> DOB= DBO
=> Tam giác BDO cân tại D
=> DB=DO (2)
Cộng (1) và (2) theo vế ta được:
EC+DB= EO+DO
DE= DB+EC (đpcm)