AB=AD+BC
证明:过点E作EF⊥AB于F.
∵AD∥BC,DC⊥AD
∴∠D=∠C=90
∵AE平分∠BAD,EF⊥AB
∴AF=AD,EF=DE (角平分线性质),∠BFE=∠C=90
∵E是CD的中点
∴DE=CE
∴EF=CE
∵BE=BE
∴△BEF≌△BEC (HL)
∴BF=BC
∵AB=AF+BF
∴AB=AD+BC
AB=AD+BC
证明:过点E作EF⊥AB于F.
∵AD∥BC,DC⊥AD
∴∠D=∠C=90
∵AE平分∠BAD,EF⊥AB
∴AF=AD,EF=DE (角平分线性质),∠BFE=∠C=90
∵E是CD的中点
∴DE=CE
∴EF=CE
∵BE=BE
∴△BEF≌△BEC (HL)
∴BF=BC
∵AB=AF+BF
∴AB=AD+BC