阿基米德原理公式及推导公式