证明:∵AB=AC,∠BAC=90,点D是BC边上的中点,三线合一,
∴BD=AD,∠B=∠DAF,BD⊥AD,
又∴DE⊥DF,
根据等角的余角相等,
∴∠BDE=∠ADF,
∴△BDE≌△ADF,
∴DE=DF,
∴△DEF等腰直角三角形,
∵EF=13
∴DE=DF=13 √2 / 2 ,
∴S△DEF=1/ 2 ×13 √2 / 2 ×13√ 2 /2 ,
=169 /4 .
证明:∵AB=AC,∠BAC=90,点D是BC边上的中点,三线合一,
∴BD=AD,∠B=∠DAF,BD⊥AD,
又∴DE⊥DF,
根据等角的余角相等,
∴∠BDE=∠ADF,
∴△BDE≌△ADF,
∴DE=DF,
∴△DEF等腰直角三角形,
∵EF=13
∴DE=DF=13 √2 / 2 ,
∴S△DEF=1/ 2 ×13 √2 / 2 ×13√ 2 /2 ,
=169 /4 .