11.2 公式推导