证明:连结AD。
因为 AB=AC,D是BC的中点,
所以 AD垂直于BC,角ADC=90度,
因为 角EDF=90度,
所以 角ADF=角CDE,
因为 角A=90度,AB=AC,D是斜边BC的中点,
所以 AD=CD=BC/2,角CAD=角C=45度,
所以 三角形ADF全等于三角形CDE,(角,边,角)
所以 DF=DE,
又因为 角EDF=90度,
所以 三角形DEF为等腰直角三角形。