等腰直角三角形 斜边上的高的点是中点
BD=DC
根据:直角三角形斜边中线等斜边
BD=AD=DC
所以ABD与ADC也是等腰直角三角形
再根据直角三角形斜边中线等斜边
DF=1/2AB,DE=1/2AC
AB=AC
DF=DE