1704637490
那么，成本函数就是严格次可加（subadditivity）的。注意subadditivity的sub（次）是指“小于”的意思，“sub”是与前缀“super”（大于）相对的。次可加是指，在一个有限的产量变化范围内，共同生产一组产出量的总和会比分别生产它们节约成本。
1704637491
1704637492
显然，边际成本严格递减，或平均成本严格递减，或严格次可加，这三个概念都是存在规模报酬的数学表达式。但什么是它们三者之间的关系呢？我们有以下两个定理：
1704637493
1704637494
2．两个定理
1704637495
1704637496
【定理】 边际成本在任何地方都递减意味着平均成本在任何地方都递减。
1704637497
1704637498
证明：
1704637499
1704637500
1704637501
由于
1704637502
1704637503
所以
1704637504
1704637505
1704637506
1704637507
1704637508
1704637509
而
1704637510
1704637511
1704637512
1704637513
由于，在任何x∈［0，q］范围内有C′（q）
1704637514
1704637515
1704637516
1704637517
1704637518
1704637519
由（7.49）与（7.50）式，就使（7.48）式证毕。
1704637520
1704637521
【定理】 平均成本在任何地方都递减意味着生产是次可加的。
1704637522
1704637523
证明：设
1704637524
1704637525
1704637526
1704637527
1704637528
平均成本在任何地方都递减表示
1704637529
1704637530
1704637531
1704637532
1704637533
于是，有
1704637534
1704637535
1704637536
1704637537
1704637538
对（7.53）式两边，从i＝1到i＝n求和
1704637539