Vì `AE` là tia phân giác của `hat {BAD}`
`=> hat A_1 = hat A_2(1)`
Vì `ab`//`cd`
`=> hat A_2 = hat E_1(2)` và `hat B_2 = hat E_2(**)`(so le trong)
Từ `(1)` và `(2) => hat A_1 = hat E_1`
`=> Delta ADE` cân tại `D`
`=> AD = DE`
`=> DE + BC = CD(3)`
Ta có: `CD = DE + EC(4)`
Từ `(3)` và `(4) => BC = EC`
`=> Delta BCE` cân tại `C`
`=> hat B_1 = hat E_2(***)`
Từ `(**)` và `(***) => hat B_1 = hat B_2`
`=> BE` là phân giác `hat {ABC}`
`=> đpcm`