AM–GM Relationship
The arithmetic mean (AM) and geometric mean (GM) are two fundamental ways to summarize a collection of positive numbers. The arithmetic mean of two numbers a and b is their ordinary average, (a + b)/2, while the geometric mean is the square root of their product, √(ab). These two quantities are deeply connected by one of mathematics' most elegant inequalities: the AM is always greater than or equal to the GM, with equality holding if and only if the two numbers are equal. This relationship, known as the AM–GM inequality, extends far beyond just two numbers. For any finite set of positive real numbers, the arithmetic mean is always at least as large as the geometric mean. This inequality appears in optimization problems, probability, economics, and even in proofs of other major theorems. Understanding why it is true — and when equality holds — reveals a beautiful interplay between algebra and geometry. For high school students, the AM–GM inequality is a powerful problem-solving tool. It can prove that certain expressions have minimum or maximum values without calculus, simplify comparisons between different types of averages, and provide insight into why some quantities grow faster than others. Mastering this concept builds intuition that is valuable across all of mathematics and the sciences.
- Define the two means
- Prove AM ≥ GM algebraically
- Interpret equality conditions
- Extend to n positive numbers
- Apply AM–GM to optimization
Define the two means
For two positive real numbers a and b, the arithmetic mean is AM = (a + b)/2 and the geometric mean is GM = √(ab). The arithmetic mean is simply the midpoint value, while the geometric mean captures the 'multiplicative middle' — the number you would multiply twice to get ab. Both means require positive numbers; the geometric mean is undefined for negative values because you would take square roots of negative products.
Prove AM ≥ GM algebraically
The proof is elegant and short. Start with the obvious fact that any real number squared is non-negative: (a − b)² ≥ 0. Expanding gives a² − 2ab + b² ≥ 0. Add 4ab to both sides: a² + 2ab + b² ≥ 4ab, so (a + b)² ≥ 4ab. Taking square roots of both sides (both sides are non-negative): a + b ≥ 2√(ab). Dividing by 2 gives (a + b)/2 ≥ √(ab), which is exactly AM ≥ GM. Equality holds when (a − b)² = 0, i.e., when a = b.
Interpret equality conditions
The inequality AM ≥ GM becomes equality (AM = GM) if and only if all the numbers are equal. For two numbers, AM = GM exactly when a = b. For example, if a = 4 and b = 4, then AM = (4+4)/2 = 4 and GM = √(4·4) = 4. But if a = 1 and b = 9, AM = 5 and GM = √9 = 3, so AM > GM. The 'gap' between AM and GM measures how spread apart the numbers are.
Extend to n positive numbers
For n positive numbers x₁, x₂, …, xₙ, the arithmetic mean is AM = (x₁ + x₂ + ⋯ + xₙ)/n and the geometric mean is GM = (x₁ · x₂ · ⋯ · xₙ)^(1/n). The inequality AM ≥ GM still holds, with equality if and only if x₁ = x₂ = ⋯ = xₙ. For example, with three numbers 2, 3, and 7: AM = (2+3+7)/3 = 4 and GM = (2·3·7)^(1/3) = 42^(1/3) ≈ 3.48, confirming AM > GM.
Apply AM–GM to optimization
The AM–GM inequality is a powerful tool for finding minimum values. Suppose you want to minimize the expression x + 4/x for x > 0. By AM–GM: x + 4/x ≥ 2√(x · 4/x) = 2√4 = 4. So the minimum value is 4, achieved when x = 4/x, i.e., x² = 4, so x = 2. You can verify: when x = 2, x + 4/x = 2 + 2 = 4. No calculus needed — the AM–GM inequality directly gives the minimum.
The Key Equation
- a, b — positive real numbers (dimensionless): Any two positive real numbers being compared. Both must be strictly greater than zero.
- \frac{a+b}{2} — arithmetic mean (AM) (same units as a and b): The ordinary average of a and b, found by adding them and dividing by 2.
- \sqrt{ab} — geometric mean (GM) (same units as a and b): The square root of the product of a and b; the value g such that g² = ab.
- \geq — greater than or equal to (none): The inequality sign indicating that the left side is never smaller than the right side.
Worked Example
Problem. Two positive numbers have a sum of 20. What is the maximum possible value of their product?
Answer. The maximum product of two positive numbers with sum 20 is 100, when both numbers equal 10.
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
Cauchy gave one of the first rigorous proofs of the general AM–GM inequality for n positive numbers in his influential 1821 textbook Cours d'analyse. His elegant proof used a clever forward-backward induction technique: he proved the inequality for n = 2, then showed it holds for 2n whenever it holds for n, and finally showed it holds for n−1 whenever it holds for n. This allowed him to establish the result for all positive integers. Cauchy was extraordinarily prolific, publishing 789 mathematical papers — second only to Euler in sheer volume. He essentially created the rigorous foundations of calculus that are taught in universities today, and several fundamental theorems in analysis, complex analysis, and group theory bear his name.
Related Concepts
- Arithmetic Mean — The AM in the AM–GM inequality; understanding how the arithmetic mean is computed is a prerequisite for comparing it to the geometric mean.
- Geometric Mean — The GM in the AM–GM inequality; the geometric mean arises naturally from geometric sequences and multiplicative growth.
- Arithmetic Sequences — Arithmetic sequences generate equally spaced terms whose average is the arithmetic mean, providing context for where AM appears.
- Geometric Sequences — Geometric sequences involve constant ratios and multiplicative growth, the setting in which the geometric mean naturally appears.
- Algebraic Inequalities — The AM–GM inequality is a specific but central example of algebraic inequalities, which use symbols like ≥ and ≤ to compare expressions.