设某产品的成本函数 C(Q) 可导, 其中 Q 为产量, 若产量为 Q0 时平均成本最小, 则
C ′ (Q0) = 0
C ′ (Q0) = C(Q0)
C ′ (Q0) = Q0C(Q0)
Q0C ′ (Q0) = C(Q0)