在等腰直角三角形ABC中,D为斜边AB的中点,ED垂直于DF交AC于E交BC于F,求证:EF^2=AE^2+BF^2