三角形ABC中,∠C=90°,四边形DEFG是正方形,试说明EF²等于AE*BF