阿基米德(公元前287-212)古希腊伟大的数学家、力学家.他系统地论证了( ).多选