Math Core

Module 1.5 · Algebra

Inequalities and AM-GM

"What is the smallest possible value of…" is one of the most common question stems on the AMC 10 and 12. Calculus isn't expected. Instead, the go-to tool is the AM-GM inequality, together with the simple fact that squares are never negative. The skill is in arranging an expression so that the inequality fits, and in checking that equality can actually happen.

Squares are nonnegative

Every inequality in this module comes from one fact: t2≥0t^2 \ge 0 for every real tt, with equality only when t=0t = 0. For example, completing the square shows

x2−6x+13=(x−3)2+4≥4,x^2 - 6x + 13 = (x - 3)^2 + 4 \ge 4,

with equality at x=3x = 3. So the minimum value is 44.

The AM-GM inequality

Expand (a−b)2≥0(\sqrt{a} - \sqrt{b})^2 \ge 0 for a,b≥0a, b \ge 0: you get a+b≥2aba + b \ge 2\sqrt{ab}. The same idea extends to any number of terms.

AM-GM

For nonnegative numbers a1,a2,…,ana_1, a_2, \dots, a_n,

a1+a2+⋯+ann ≥ a1a2⋯ann,\frac{a_1 + a_2 + \dots + a_n}{n} \ \ge\ \sqrt[n]{a_1 a_2 \cdots a_n},

with equality exactly when all the numbers are equal.

  • If the product is fixed, the sum is smallest when the terms are equal.
  • If the sum is fixed, the product is largest when the terms are equal.

Worked example: A classic minimum

Find the minimum of x+9xx + \dfrac{9}{x} for x>0x > 0.

The product x⋅9x=9x \cdot \dfrac{9}{x} = 9 is constant, so AM-GM gives x+9x≥29=6x + \dfrac{9}{x} \ge 2\sqrt{9} = 6. Equality needs x=9xx = \dfrac{9}{x}, so x=3x = 3, which is allowed. The minimum is 66.

y = x + 9/x touches its minimum value 6 at x = 3.Open in grapher →

Making the product constant

AM-GM only gives a useful bound when the product of the terms (or the sum, for a maximum) is a constant. If it isn't, rearrange: scale a term, or split a term into equal pieces.

Worked example: Scaling to match a constraint

Positive numbers satisfy 2x+y=122x + y = 12. What is the largest possible value of xyxy?

The fixed sum is 2x+y2x + y, so apply AM-GM to 2x2x and yy: 2x⋅y≤2x+y2=6\sqrt{2x \cdot y} \le \dfrac{2x + y}{2} = 6, so 2xy≤362xy \le 36 and xy≤18xy \le 18. Equality when 2x=y=62x = y = 6, so x=3x = 3, y=6y = 6.

Worked example: Splitting a term

Find the minimum of x2+16xx^2 + \dfrac{16}{x} for x>0x > 0.

The product x2⋅16xx^2 \cdot \dfrac{16}{x} is not constant. Split 16x\dfrac{16}{x} into two equal halves so the xx's cancel:

x2+8x+8x ≥ 3x2⋅8x⋅8x3=3643=12.x^2 + \frac{8}{x} + \frac{8}{x} \ \ge\ 3\sqrt[3]{x^2 \cdot \frac{8}{x} \cdot \frac{8}{x}} = 3\sqrt[3]{64} = 12.

Equality needs x2=8xx^2 = \dfrac{8}{x}, so x=2x = 2. Check: 4+8=124 + 8 = 12. The minimum is 1212.

Multiplying by 1 in disguise

When you have a constraint like 1x+4y=1\dfrac{1}{x} + \dfrac{4}{y} = 1 and want to minimize x+yx + y, multiply by the constraint (which equals 11):

Worked example: Using the constraint

Positive numbers satisfy 1x+4y=1\dfrac{1}{x} + \dfrac{4}{y} = 1. Find the minimum of x+yx + y.

x+y=(x+y)(1x+4y)=1+4+yx+4xy ≥ 5+24=9.x + y = (x + y)\left(\frac{1}{x} + \frac{4}{y}\right) = 1 + 4 + \frac{y}{x} + \frac{4x}{y} \ \ge\ 5 + 2\sqrt{4} = 9.

Equality when yx=4xy\dfrac{y}{x} = \dfrac{4x}{y}, so y=2xy = 2x. Then 1x+2x=1\dfrac{1}{x} + \dfrac{2}{x} = 1 gives x=3x = 3, y=6y = 6, and x+y=9x + y = 9.

Common mistake

An AM-GM bound is only the answer if equality can happen. For instance, x+1x≥2x + \frac{1}{x} \ge 2 for x>0x > 0, but on the interval x≥3x \ge 3 equality (x=1x = 1) is impossible, and the true minimum is 3+133 + \frac{1}{3}. Always find the equality case and check it satisfies every condition in the problem.

Tip

A related tool is the Cauchy–Schwarz inequality: (a2+b2)(c2+d2)≥(ac+bd)2(a^2 + b^2)(c^2 + d^2) \ge (ac + bd)^2, with equality when ac=bd\frac{a}{c} = \frac{b}{d}. It's the quickest way to minimize x2+y2x^2 + y^2 given a linear condition on xx and yy.

Practice

Practice 1

What is the minimum value of 4x+25x4x + \dfrac{25}{x} for x>0x > 0?

Practice 2

Positive numbers satisfy x+3y=12x + 3y = 12. What is the largest possible value of xyxy?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

Real numbers satisfy x+2y=10x + 2y = 10. What is the smallest possible value of x2+y2x^2 + y^2?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

Positive numbers a,b,ca, b, c satisfy abc=8abc = 8. What is the smallest possible value of (1+a)(1+b)(1+c)(1 + a)(1 + b)(1 + c)?

Practice 5

What is the minimum value of x3+48xx^3 + \dfrac{48}{x} for x>0x > 0?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

Positive numbers satisfy 1x+9y=1\dfrac{1}{x} + \dfrac{9}{y} = 1. What is the smallest possible value of x+yx + y?

Practice 7

An open-top rectangular box has a square base and a volume of 3232 cubic units. What is the smallest possible total area of its base and four sides?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

Positive numbers satisfy x+y+z=6x + y + z = 6. What is the largest possible value of xy2z3x y^2 z^3?

Real contest practice