证明：过点E作EF⊥CD，垂足为F．
∵DE平分∠ADC，EA⊥AD，EF⊥CD
∴AE=EF
同理EF=EB
∴AE=BE．