`CIE^ = ICB`^ ( 2 góc so le trong , DE // BC )
Mà `CIE^ = ICB`^ ( 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à `IBD^ = IBC^` ( IB là tia phân giác của CBD^ )
`→ BID^= IBD^`
⇒ Tam giác DIB cân tại D
`⇒ DI = DB`
`DE = DI + IE = DB + CE`