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