展开 微分公式推导过