13、如图，△ABC中，AB=AC，要使AD=AE，需要添加的一个条件是．

如图．∠BAC=90゜，AB=AC，D为BC上一点，CE⊥AD于E，BF⊥AD于，若CE=7，
BF=4，求EF的长．

如图，∠A=90°，AB=AC=4，点E、F分别为边AB、AC上的动点，且AD⊥BC于D，ED⊥FD，分别交AB、AC于E、F．
（1）观察、猜想、思考，并直接写出AD、BD、CD的大小关系（不要求证明）；
（2）求证：DF=DE；
（3）当点E在AB上什么位置时，△DEF的面积最小，并求△DEF的面积的最小值．