Ta có: BD là tia phân giác của ∠ABC (giả thiết)

Suy ra:  (1)

Lại có: BE = BC (giả thiết)

=>∆BEC cân tại B (theo định nghĩa)

Suy ra: ∠E= ∠BCE (tính chất tam giác cân)

∆BEC có ABC là góc ngoài đỉnh B

=>∠ABC= ∠E + ∠BCE (tính chất góc ngoài tam giác)

Suy ra: ∠ABC=2∠E

Hay ∠E = (1/2)∠ABC (2)

Từ (1) và (2) suy ra: ∠E = ∠B1 = (1/2)∠ABC

Vậy BD // CE (vì có cặp góc ở vị trí đồng vị bằng nhau)