在rt三角形中,角c=90°,d是ab的中点,e f分别在ac和bc上,且de垂直df求证ef的平方=ae的平方+bf的平方