Concept understanding — Arithmetic Mean Geometric Mean
The AM–GM Inequality: Why Averages Are Not All Equal
You already know what an average is — add up a few numbers and divide by how many there are. That is the arithmetic mean (AM). For two numbers a and b, it is
AM=2a+b.
Now imagine you want a different kind of "middle" — one that works for ratios, growth rates, or areas. If you multiply the numbers together and take the nth root, you get the geometric mean (GM). For two numbers a and b,
GM=ab.
The geometric mean answers a different question: "If I had a rectangle of sides a and b, what side length would give me the same area in a square?" That square's side is ab.
The Core Idea
Here is the surprising fact: the geometric mean is never larger than the arithmetic mean. They are equal only when all the numbers are identical. For any two non‑negative numbers a and b,
2a+b≥ab,
with equality if and only if a=b.
This is the AM–GM inequality. It is one of the most used inequalities in mathematics — not because it is complicated, but because it is simple and powerful.
Important
AM–GM Inequality (two numbers)
For a,b≥0,
2a+b≥ab,
with equality iff a=b.
Why Should You Believe It?
Take any two non‑negative numbers, say 4 and 9.
Arithmetic mean: (4+9)/2=6.5
Geometric mean: 4×9=36=6
Indeed 6.5>6. Try 1 and 100: AM = 50.5, GM = 10. The gap can be huge.
What about 5 and 5? AM = 5, GM = 5 — equal, because the numbers are equal.
Tip
A quick visual proof: For any a,b≥0, consider (a−b)2≥0. Expanding gives a+b−2ab≥0, so a+b≥2ab, which is exactly the AM–GM inequality.
The General Statement
The same idea works for any number of non‑negative numbers. For n numbers x1,x2,…,xn≥0,
The Arithmetic Mean (AM) and Geometric Mean (GM) of two positive numbers a,b are AM=2a+b and GM=ab, and the inequality AM≥GM always holds for positive numbers. …