アトキンソン・スティグリッツの定理

アトキンソン・スティグリッツの定理(En:Atkinson-Stiglitz theorem)は、最適な税制を達成するためには間接税は必要であることを示した定理である。アンソニー・アトキンソンとジョセフ・スティグリッツの名を冠したこの定理は公共経済学における最重要定理の一つである。
基本形式.
ここに二つの集団があるとする。グループ1とグループ2とする。後者が能力的弱者とする。その場合政府が税制度のパレート最適性を達成するために、
まずグループ2の効用が所与の水準もしくはそれより大であるという条件を課す。
さらに政府は税収の最大値を設定し、税収がその最大税収と等しいかそれよりも多くなるような条件を課す。
これらの条件の下で政府はグループ1の効用を最小化する必要がある。
最適値を調べるための基本関数の形式は以下のように与えられ、
最適解を得るための基本条件は
となる。
formula_9 かつ formula_10となるケースでは、
formula_12となり政府は一括徴税できる。
formula_9　かつ formula_14となるケースでは、
グループ2への限界税率はゼロとなる。グループ1に関しては、
もしformula_17であれば、グループ1への限界税率はformula_18となる。さらには、
であり、ここでformula_20 を以下のように定義する。
条件からformula_22であり、formula_23となることがわかる。よってグループ1への限界税率は正となる。
formula_24 and formula_25のケースではグループ2への限界税率が負となる。一括徴税すると能力的弱者への徴税が強者よりも多くなってしまう。
パレート最適な税制.
個人の消費関数をベクトル形式で
と書く。この場合政府の財政に関する不等式は、
となる。
従って最適解の条件は以下のようになり、 
ここでformula_9 and formula_34の場合を考えると、 
となる。そして、 
となるために、以下のような結論を得る。
すなわちパレート最適な税制を達成するためには、コモディティへの課税が必要であることがわかる。
脚注.