谁最先证明地球是球形