A Supporting-Prices Proof of the First Welfare Theorem

Why Equilibrium Prices Can Prove Efficiency

The First Welfare Theorem connects competitive choices to Pareto efficiency. Its supporting-prices proof makes the connection precise: the equilibrium price vector assigns a common value to goods, consumers cannot afford a strictly preferred bundle at those prices, and firms cannot earn more than their equilibrium profits. If a proposed allocation made at least one consumer strictly better off while making no one worse off, its value would have to exceed total equilibrium income. Yet feasibility and firms’ profit choices imply that its value cannot exceed that income. The two conclusions conflict.

Prices are doing more here than describing trades. They provide a way to add up quantities of different goods in a common unit of value. The proof does not require the proposed alternative to resemble the equilibrium allocation, nor does it compare utility levels across different consumers. It compares each consumer’s own welfare at the two allocations and then uses prices to aggregate the budget implications.

For the proof, let \(x_i\) be consumer \(i\)’s equilibrium bundle, \(\omega_i\) that consumer’s endowment, and \(\theta_{ij}\) the consumer’s ownership share of firm \(j\), with ownership shares summing to one for each firm. The consumer’s equilibrium income is

Here \(p\cdot z\) means the value of a bundle or net production vector \(z\) at equilibrium prices. The consumer’s budget includes the value of the endowment and the consumer’s share of firm profits. In the standard proof, goods have nonnegative prices, consumers choose within their budget sets, and preferences are locally nonsatiated. These conditions support the spending comparisons below; assumptions and their limitations are examined separately in the following material.

The Spending Comparison Behind the Proof

At equilibrium, consumer \(i\) chooses \(x_i\) from the bundles costing no more than \(m_i\). If another bundle \(x_i'\) is strictly preferred to \(x_i\), it cannot cost \(m_i\) or less: otherwise it would have been an affordable, strictly preferred choice. Therefore \(p\cdot x_i'>m_i\).

For a bundle \(x_i'\) that is only weakly preferred, the relevant conclusion is \(p\cdot x_i'\geq m_i\), under local nonsatiation. To see why, suppose instead it cost less than \(m_i\). There would be budget left over. Local nonsatiation means that bundles arbitrarily close to \(x_i'\) include one strictly preferred to it; choose such a bundle close enough that it still costs less than \(m_i\). It would then be affordable and strictly preferred to the equilibrium choice, contradicting consumer optimization. Thus a weakly preferred alternative cannot cost less than equilibrium income.

These comparisons distinguish the consumers who are strictly better off from those who are merely no worse off. If all consumers weakly prefer an alternative and at least one strictly prefers it, summing their spending comparisons gives total proposed expenditure strictly greater than total equilibrium income.

Adding Firms and Feasibility

With production, the same reasoning must account for both the goods consumers begin with and the goods firms produce. Write \(y_j\) for a firm’s net production vector: positive components are outputs and negative components are inputs. Feasibility requires that aggregate consumption not exceed aggregate endowments plus aggregate net production, component by component:

Because prices are nonnegative, multiplying each component inequality by its price and adding preserves the inequality. Also, profit maximization at equilibrium means no feasible production plan \(y_j'\) earns more than the equilibrium profit \(\pi_j^*\). Consequently,

The final expression is total consumer income. To verify that, sum each consumer’s income \(m_i\): the ownership shares of each firm add to one, so the firm’s profit is counted once, not once per owner.

Worked Proof with Firm Income Shares

A numerical example makes the aggregation step visible. Consider two goods priced at \(p=(1,2)\). Consumer A has endowment \((2,0)\), consumer B has endowment \((0,1)\), and one firm produces \(y^*=(0,2)\). The firm’s production set is \(y_1\leq 0,\ y_2\leq 2\), so its maximum profit is \(1(0)+2(2)=4\), achieved at \(y^*\). A owns 25% of the firm and B owns 75%. The equilibrium bundles are \(x_A=(1,1)\) and \(x_B=(1,2)\).

To verify the budgets, A’s endowment is worth \(1(2)+2(0)=2\), and A’s profit share is \(0.25(4)=1\). Thus A’s income is \(3\), exactly the cost \(1(1)+2(1)=3\) of A’s bundle. B’s endowment is worth \(1(0)+2(1)=2\), and B’s profit share is \(0.75(4)=3\). Thus B’s income is \(5\), exactly the cost \(1(1)+2(2)=5\) of B’s bundle.

Suppose A’s preferences are \(U_A(x)=x_1^{1/3}x_2^{2/3}\), and B’s are \(U_B(x)=x_1^{1/5}x_2^{4/5}\). At prices \((1,2)\), A’s equilibrium bundle spends one-third of income on good 1 and two-thirds on good 2: \(3/3=1\) and \(2(3)/3=2\) dollars, giving quantities \((1,1)\). B spends one-fifth of income on good 1 and four-fifths on good 2: \(5/5=1\) and \(4(5)/5=4\) dollars, giving quantities \((1,2)\). These are the standard Cobb–Douglas budget shares, so the bundles maximize the stated utilities subject to the budgets.

The total endowment is \((2,1)\); adding firm output \((0,2)\) gives \((2,3)\), exactly the aggregate equilibrium consumption \((2,3)\). Total income is \(3+5=8\), also equal to endowment value \(1(2)+2(1)=4\) plus firm profit \(4\).

Now propose \(x_A'=(2,1)\) and \(x_B'=(1,2)\). A’s utility rises from \(1\) to \(2^{1/3}\), which is greater than \(1\); B’s bundle and utility are unchanged. Proposed expenditure is \(1(2)+2(1)=4\) for A and \(1(1)+2(2)=5\) for B, totaling \(9\), which exceeds total income \(8\). The proposed aggregate quantities are \((3,3)\), while available resources are \((2,3)\); the proposal requires one extra unit of good 1. It is therefore not feasible, exactly as the proof predicts.

Common Exam Trap: Counting Profits Incorrectly

A frequent error is to add the firm’s full profit to every consumer’s income, even when consumers own only shares of the firm. In the example, the incorrect calculation would assign A income \(2+4=6\) and B income \(2+4=6\), for total income \(12\). That counts the same profit twice.

The correct calculation uses ownership shares: A receives \(0.25(4)=1\), B receives \(0.75(4)=3\), and together they receive \(1+3=4\), exactly the firm’s profit. Total income is therefore \(2+2+4=8\), not \(12\). The theorem’s contradiction depends on comparing proposed spending with correctly aggregated income.

What the Proof Establishes

The argument is a test of Pareto efficiency, not a claim that the equilibrium distribution is fair or that every consumer receives the same utility. It rules out a feasible change that benefits at least one consumer without disadvantaging anyone. It does not rule out changes that help some consumers while harming others.

The supporting prices are the equilibrium prices themselves. They “support” the conclusion by translating consumer choice into spending bounds and firm choice into profit bounds. This is why it is important to use one common price vector throughout: comparing bundles at different prices would not produce the aggregate accounting contradiction.

When applying the proof, keep three checks separate: consumers’ proposed bundles must be compared with their own incomes; profits must be allocated according to ownership shares; and feasibility must be translated into a value inequality using nonnegative prices. If those steps are correct, a proposed Pareto improvement would require total spending both to exceed and not exceed total income.