1. (2018八上·茂名期中) 如图，△ABC是等腰直角三角形，AB=AC，D是斜边BC的中点，E，F分别是AB，AC边上的点，且DE⊥DF.

1. （1） 求证：△BDE≌△kADF；
3. （2） 若BE=12，AE=5，求线段EF的长．