Question

如图，在梯形ABCD中，AD∥BC，∠A=90°，E是边AB上一点，且BE=AD，F是CD的中点，EF⊥CD．求证：AE=BC．

Answer

根据线段的垂直平分线性质得出ED=EC，根据平行线的性质推出∠A=∠B=90°，根据直角三角形全等的判定方法HL推出△ADE和△BEC全等即可．
证明：∵F是CD的中点，EF⊥CD，
∴直线EF时CD的垂直平分线，
∴ED=EC，
在△ADE与△BEC中
∵AD∥BC，
∴∠B=∠A=90°，
∵BE=AD，
∴Rt△ADE≌Rt△BEC（HL），
∴AE=BC．