阿基米德原理表达式和推导式