求证AE的平方 BF的平方=EF的平方