The Arithmetic-Geometric Mean Inequality

Suppose that x and y are non-negative real numbers, not necessarily distinct. The famous arithmetic-geometric mean inequality says that:

With equality if and only if x=y. This generalizes to the case of n non-negative numbers:

Again with equality if and only if all of the numbers are equal. The quantity on the left-hand side of this inequality is the average, also called the arithmetic mean, of the numbers. The quantity on the right-hand side is called the geometric mean.

First, I’ll explain what the geometric mean actually is.

Consider a right triangle ABC whose legs are AB and BC and whose hypotenuse is AC, with lengths |AB|, |BC|, and |AC|, where |AC|²=|AB|²+|BC|². Let D be a point on AC such that BD is perpendicular to AC.

The line BD is called the altitude of ABC. The geometric mean is the height of the altitude, which is given by |BD|²=|AD||DC|. The proof is by the Pythagorean Theorem:

Proof of the inequality

There are many ways to go about proving the AM-GM inequality. The simplest approaches use induction, but my favorite proof is one that was discovered by the famous mathematician George Pólya.

I will first prove the following lemma: x≤eˣ⁻¹ for all real x. To start, I will define the function F(x)=eˣ⁻¹-x. Note that F(1)=0 and F′(x)=eˣ⁻¹-1.

Case x1. So F(x) must be positive for all x>1.

Therefore F(x>1)>0, F(x0, and F(x=1)=0 so x≤eˣ⁻¹ for all real x.

To finish the proof of the inequality, let α be the arithmetic mean of the non-negative numbers x₁, x₂, … , x_n. For each of the xᵢ, the lemma says that:

With equality only when xᵢ=α. Then:

This simplifies to:

Since α is the arithmetic mean of x₁, x₂, … , xₙ, the argument of the exponential function reduces to:

Then Since e⁰=1:

Now I’ll show that this inequality becomes an equality if and only if all of the xᵢ are equal. As stated previously, the following inequality becomes an equality only when xᵢ=α:

Then the same is true for the product of these inequalities, so the following is true if and only if all of the xᵢ are equal to α:

I’ve already established that the left-hand side of this equation is equal to one, so the following is true if and only if x₁=x₂= … =xₙ=α:

This completes the proof.

Demonstration: Turning hard calculus problems into easy inequality problems

The standard approach to finding the maximum and/or minimum (local or global) values of a given function F(x) is to solve F′(x)=0 for x and then obtain the extreme values of F(x) by plugging those x into F(x).

But sometimes the standard approach doesn’t work. It might not be practical to solve F′(x)=0 for x, or there may be additional constraints in the problem. Fortunately for us, taking derivatives isn’t the only way to solve optimization problems. If we’re creative, then we can find very elegant solutions to these problems by skillful use of inequalities. I will show two examples.

The first is problem A2 from the 1986 Putnam exam. I’ve written about the Putnam before on this blog. Putnam problems are meant to be extremely difficult and require strong creative thinking skills.

The problem statement is:

Find the maximum value of x³-3x subject to to the constraint x⁴+36≤13x².

Without any constraints, the function f(x)=x³-3x does not actually have a maximum value since it increases to infinity with increasing x (though it does have a local maximum at x=-1), but the constraint that we have been given, x⁴+36≤13x², is very complicated, and it’s not at all clear how we would incorporate this into our usual calculus-based approach. How do we even start?

The most complicated part of the problem is the constraint, so attempting to simplify the constraint seems to be as good a place to start as any. One thing that might pique our interest is that the x⁴+36 is “related” to 12x², which is curiously close to the 13x² in the problem, by the AM-GM inequality:

This means that x⁴+36 has a lower bound as well, and the constraint becomes:

It might seem at this point that I’ve just made things even more difficult, since now there are two inequalities that have to be dealt with. But if I subtract 12x² from the entire inequality, then I get:

Now we’re in business. Notice that the term in the center of the inequality is a perfect square: x⁴-12x²+36=(x²-6)². Since perfect squares are always non-negative, we can ignore the left inequality and take the square root, and the constraint now takes the much simpler form:

The values of x for which this is true are between the two values of x for which the graph of y=x intersects the graph of y=x²-6. These two values are the roots of x²-x-6=0, which are -2 and 3. So the constraint simplifies even further to:

At x=-2, the value of f(x) is -2, and from there f(x) increases monotonically as x increases to -1, where f(x) has a local maximum value of 2, and then f(x) decreases monotonically as x increases to 1 where f(x) has a local minimum value of -2, and f(x) increases monotonically from x=1 to x=3, and f(3)=18, so the maximum value of x³-3x subject to the constraint x⁴+36≤13x² is 18.

The second problem is Problem 4 from the 1991 British Mathematical Olympiad. The problem statement is:

For positive real numbers x, y, and z, find the minimum value of (x+y)×(y+z) subject to the constraint (xyz)(x+y+z)=1.

Unlike the previous problem, there actually is a way to solve this directly with calculus. The bad news is that it would involve a tedious mess of Lagrange multipliers, so let’s see if we can find a shortcut around all of that.

In the last problem, the approach was a direct calculation. This one’s going to be more indirect. First, I’m going to show one possible way that you could guess that the correct answer is 2, and then I’ll prove that 2 is the correct answer.

Suppose that f(x,y,z)=(x+y)(y+z) takes its minimum value at x=a, y=b, z=c. The value of f(x,y,z) is unchanged if we exchange x and z, that is, f(x,y,z)=f(z,y,x) for all (x,y,z). So if f(a,b,c) is the minimum value then so is f(c,b,a). This symmetry alone doesn’t imply that a and c must be equal, but it does motivate me to guessthat x=z=a for at least one of the points where f(x,y,z) takes its minimum value.

With that assumption, the problem simplifies to minimizing (y+a)² subject to a²y(y+2a)=1. First, I’ll rearrange the constraint equation:

Now I can write (y+a)² in terms of a only:

The minimum value of this function of a can be found by the AM-GM inequality:

This tells me that a reasonable guess for the answer is 2. Now I will prove this.

Suppose that there is some (x,y,z) satisfying the given constraint for which (x+y)(y+z)