在三角形ABC中,角C=90度,D是AB的中点,E,F分别在AC,BC上,且角EDF=90度.求证EF的平方=AE的平方