在古希腊数学家中,阿基米德的主要贡献是