1704644576
1704644577
1704644578
1704644579
1704644580
（17.66）式表示：政府的财政收入要就每一种商品i向每一个家庭h征收，然后再对全体商品i加总。
1704644581
1704644582
因为有H个家庭，社会福利函数形式就采用伯格森—萨缪尔逊（Bergson-Samuelson）形式
1704644583
1704644584
1704644585
1704644586
1704644587
（17.67）式是说，社会总福利由H个家庭的间接效用函数决定。
1704644588
1704644589
于是，最优商品税制的设计便是下列一个数学规划
1704644590
1704644591
1704644592
1704644593
1704644594
运用拉格朗日乘子法，可得最优税制的一阶条件为
1704644595
1704644596
1704644597
1704644598
1704644599
1704644600
再运用罗尔恒等式（这里，αh表示家庭h的收入的边际效用），则（17.69）式中的第一项便可以写为
1704644601
1704644602
1704644603
1704644604
1704644605
现在，我们定义
1704644606
1704644607
1704644608
1704644609
1704644610
什么叫βh？βh表示家庭h的收入上升所产生的社会福利的上升。为什么？因为，βh是家庭h的收入的边际效用与h的效用上升对于社会福利的效应的乘积。所以，在戴尔蒙与米尔利斯1971年的论文中，就称βh为家庭h的“收入的社会边际效用”。
1704644611
1704644612
有了βh这一定义，公式（17.69）就可写为
1704644613
1704644614
1704644615
1704644616
1704644617
运用斯拉茨基公式
1704644618
1704644619
1704644620
1704644621
1704644622
把公式（17.73）代入（17.72）式，然后再移项，就有
1704644623
1704644624
1704644625