在直角三角形ABC中求证EF2=AE2 BF2