(1)解:連接AD,如圖,
∵△ABC是等腰直角三角形,
∴∠B=∠C=45°,∠EAD=45°,AD=DC,AD⊥BC,
∵∠EDF=90°,
∴∠EDA+∠ADF=∠ADF+∠FDC=90°,
∴∠EDA=∠FDC,
在△EDA和△FDC中,
,
∴△EDA≌△FDC(AAS),
∴ED=FD,
∴△EDF是等腰直角三角形;
(2)證明:過點E、F分別作BC的垂線交BC于點G、H,如圖,
∵∠FDH=∠ADE,
又∵∠EGD=∠ADC=90°,
∴EG∥AD,
∴∠GED=∠ADE,
∴∠FDH=∠GED,
在△EDG和△FDH中,
,
∴△EDG≌△FDH(AAS),
∴GD=FH,
又∵△BEG是等腰直角三角形,
∴EG=BG,
∴EG+FH=BG+DG=BD,
∴點E、F到BC的距離之和為定值,是△ABC斜邊長的一半.
分析:(1)連接AD,由于△ABC是等腰直角三角形,根據(jù)等腰直角三角形的性質得∠B=∠C=45°,∠EAD=45°,AD=DC,AD⊥BC,利用“AAS”易證得△EDA≌△FDC,則ED=FD,于是可判斷△DEF一定為等腰直角三角形;
(2)過點E、F分別作BC的垂線交BC于點G、H,利用“AAS”易證得△EDG≌△FDH(AAS),得到GD=FH,而△BEG是等腰直角三角形,則EG=BG,所以EG+FH=BG+DG=BD=
AB.
點評:本題考查了全等三角形的判定與性質:判定三角形全等的方法有“SSS”、“SAS”、“ASA”、“AAS”;全等三角形的對應邊相等.也考查了等腰直角三角形的判定與性質.