古希腊学问家阿基米德发现什么