在△ABC中,∠BAC=90°,延长BA到点D,使AD=二分之一AB,点E,F分别为边BC.AC的终点求证DF=AE