问题补充：
△ABC是等腰直角三角形，BD平分∠ABC，CE⊥BD于E，交BA的延长线于F，
（1）求证：EF=EC；
（2）求证：BD=2EC．
答案：
证明：（1）∵∠1=∠2，∠BEF=∠BEC=90°，BE=BE，
∴△BEF≌△BEC，
∴EF=FC；
（2）∠1+∠BDA=90°，∠3+∠CDE=90°，
∴∠1=∠3，
又BA=CA，∠BAD=∠CAF，
∴△BAD≌△CAF，
∴BD=CF=2EC．
解析分析：（1）根据已知利用AAS判定△BEF≌△BEC，从而得到BF=BC．
（2）先证∠1=∠3，然后可证得△BAD≌△CAF，从而可得出
△ABC是等腰直角三角形 BD平分∠ABC CE⊥BD于E 交BA的延长线于F （1）求证：EF=EC；（2）求证：BD=2EC．
