关于阿基米德数学的证明题(应该挺简单)