阿基米德原理的公式和推导式