阿基米德原理定义式变形式