阿基米德原理及推导式