证明：如图，过点E作EF⊥AB于F，
∵AE平分∠BAD，
∴DE=EF，
在Rt△ADE和Rt△AFE中，

AE=AE DE=EF

，
∴Rt△ADE≌Rt△AFE（HL），
∴∠AED=∠AEF，AD=AF，
∵AE⊥BE，
∴∠AEF+∠BEF=∠AED+∠BEC=90°，
∴∠BEC=∠BEF，
又∵EF⊥AB，CE⊥BC，
∴BC=BF，
∵AB=AF+BF，
∴AB=AD+BC．