如何推导阿基米德公式的过