在RT三角形ABC中 D是AC的中点 E,F分别为AB和BC上任意一点ED垂直FD 证EF=AE+CF