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的大小關(guān)系（不要求證明）；
（2）求證：DF=DE；
（3）當點E在AB上什么位置時，△DEF的面積最小，并求△DEF的面積的最小值．