Xét `\triangle BCK` `_|_` tại `C` và `\triangle BEK` `_|_` tại `E` có:

`\hat{CBK}=\hat{EBK}` (do `BK` là tia phân giác của `\hat{ABC}` )

`BK` chung

`=>` `\triangle BCK` `=` `\triangle BEK` (cạnh huyền-góc nhọn)

Suy ra `BC=BE` (2 cạnh tương ứng)

Vậy `BC=BE` (đpcm).