在三角形ABC中,∠BAC=90°,延长BA到点DD,使AD=二分之一AB,点EF,分别为BC,AC的中点.1求证DF=