谁首次证明了地球形状为球体