阿基米德原理及公式变形