Ta có: BD là phân giác ^ABC (gt).
=> 2^ABD = 2^DBC = ^ABC.
Mà ^ABC = 2^ACB (gt).
=> ^ABD = ^DBC = ^ACB.
Ta có: ^ABE = 180o - ^ABD.
^KCA = 180o - ^ACB.
Mà ^ABD = ^ACB (cmt).
=> ^ABE = ^KCA.
Xét tam giác ABE và tam giác KCA có:
+ ^ABE = ^KCA (cmt).
+ AB = KC (gt).
+ BE = CA (gt).
=> Tam giác ABE = Tam giác KCA (c - g - c).
=> AE = KA (2 cạnh tương ứng).