延长AE,交BC的延长线于点F,
∵BD平分∠ABC,
∴∠ABE=∠FBE,
又∵BE=BE,
∠BEA=∠BEF=90度,
∴△ABE≌△FBE(ASA)
∴AE=FE(全等三角形的对应边相等)
∴AE=1/2AF;
又∵∠FAC+∠EDA=90度,
∠CBD+∠CDB=90度,
而∠EDA=∠CDB(对顶角相等)
∴∠FAC=∠CBD(等角的余角相等)
在△ACF与△BCD中
∠FAC=∠CBD
AC=BC
∠ACF=∠BCD=90度,
∴△ACF≌△BCD(ASA)
∴AF=BD,
∴AE=1/2AF=1/2BD.