成本最小化公式推导