谁最先证明了地球的形状是球体