已知：如图，在△ABC中，AD⊥BC于点D，E为AD上一点，BE=AC，∠ABD=∠BAD．
求证：DE=DC．
网友回答
证明：∵AD⊥BC于点D，
∴∠ADB=∠ADC=90°．
∵∠ABD=∠BAD，
∴AD=BD．
在Rt△BDE和Rt△ADC中，
∵
∴△BDE≌△ADC．（HL）
∴DE=DC．
解析分析：由题意推出AD=BD，即可推出△BDE≌△ADC，便可推出结论．
点评：本题主要考查等腰三角形的判定和性质、全等三角形的判定和性质，关键在于根据∠ABD=∠BAD推出AD=BD，推出△BDE≌△ADC．