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)