# Gossen's second law

Gossen's Second “Law”, named for Hermann Heinrich Gossen (1810–1858), is the assertion that an economic agent will allocate his or her expenditures such that the ratio of the marginal utility of each good or service to its price (the marginal expenditure necessary for its acquisition) is equal to that for every other good or service. Formally,

${\displaystyle {\frac {\partial U/\partial x_{i}}{p_{i}}}={\frac {\partial U/\partial x_{j}}{p_{j}}}~\forall \left(i,j\right)}$

where

• ${\displaystyle U}$ is utility
• ${\displaystyle x_{i}}$ is quantity of the ${\displaystyle i}$-th good or service
• ${\displaystyle p_{i}}$ is the price of the ${\displaystyle i}$-th good or service

## Informal derivation

Imagine that an agent has spent money on various sorts of goods or services. If the last unit of currency spent on goods or services of one sort bought a quantity with less marginal utility than that which would have been associated with the quantity of another sort that could have been bought with the money, then the agent would have been better off instead buying more of that other good or service. Assuming that goods and services are continuously divisible, the only way that it is possible that the marginal expenditure on one good or service should not yield more utility than the marginal expenditure on the other (or vice versa) is if the marginal expenditures yield equal utility.

## Formal derivation

Assume that utility, goods, and services have the requisite properties so that ${\displaystyle \partial U/\partial x_{i}}$ is well defined for each good or service. An agent then optimizes

${\displaystyle U\left(x_{1},x_{2},\dots ,x_{n}\right)}$

subject to a budget constraint

${\displaystyle W\geq \sum _{i=1}^{n}\left(p_{i}\cdot x_{i}\right)}$

where

• ${\displaystyle W}$ is the total available sum of money

Using the method of Lagrange multipliers, one constructs the function

${\displaystyle {\mathcal {L}}\left(x_{1},x_{2},\dots ,x_{n},\lambda \right)=U\left(x_{1},x_{2},\dots ,x_{n}\right)+\lambda \cdot \left[W-\sum _{i=1}^{n}\left(p_{i}\cdot x_{i}\right)\right]}$

and finds the first-order conditions for optimization as

${\displaystyle {\frac {\partial {\mathcal {L}}}{\partial \lambda }}=0}$

(which simply implies that all of ${\displaystyle W}$ will be spent) and

${\displaystyle {\frac {\partial {\mathcal {L}}}{\partial x_{i}}}=0~~\forall i}$

so that

${\displaystyle {\frac {\partial U}{\partial x_{i}}}-\lambda \cdot p_{i}=0~~\forall i}$

which is algebraically equivalent to

${\displaystyle {\frac {\partial U/\partial x_{i}}{p_{i}}}=\lambda ~~\forall i}$

Since every such ratio is equal to ${\displaystyle \lambda }$, the ratios are all equal one to another:

${\displaystyle {\frac {\partial U/\partial x_{i}}{p_{i}}}={\frac {\partial U/\partial x_{j}}{p_{j}}}~\forall \left(i,j\right)}$

(Note that, as with any maximization using first-order conditions, the equations will hold only if the utility function satisfies specific concavity requirements and does not have maxima on the edges of the set over which one is maximizing.)