证明：
连接AD,因为AD是等腰直角三角形的斜边中线,所以AD=BD=CD,AD⊥BC
∠B=∠C=∠DAC=45º
∵BE=AF
∴⊿BED≌⊿AFD（SAS）
∴DE=DF,∠BDE=∠ADF
∵∠BDE+∠EDA=90º ∴∠EDA+∠ADF=90º
∠EDA+∠ADF=∠EDF
即三角形DEF为等腰直角三形.