6.6.1 公式推导