展开 阿基米德公式推导过