6.2.1 公式的导出