阿基米德原理的推导过