Concept understanding — Relationship Between AM and GM
The Intuition: Why the Average Isn't Always the Middle
Imagine you have two numbers: 2 and 8. Their ordinary arithmetic mean (AM) is (2+8)/2=5. That feels natural — the number halfway between them on a number line.
Now think about the geometric mean (GM). For 2 and 8, it's 2×8=16=4. That's smaller than 5. Why?
The geometric mean cares about multiplicative spacing, not additive spacing. On a number line, 2 and 8 are 6 units apart, so the arithmetic mean sits right in the middle. But if you think in terms of ratios: 2 multiplied by 4 gives 8. The geometric mean is the number that, when multiplied by itself, gives the same product — it's the "multiplicative middle." And that middle is always pulled toward the smaller number when the numbers are unequal.
Note
For two equal numbers, say 5 and 5, both means are identical: AM = 5, GM = 5. The gap between them only appears when the numbers differ.
The Precise Statement
For any two positive real numbers a and b:
AM≥GM
with equality if and only ifa=b.
Where:
AM=2a+b,GM=ab
This inequality is not just a curiosity — it's a fundamental result that holds for any set of positive numbers, not just two. For n positive numbers x1,x2,…,xn:
nx1+x2+⋯+xn≥nx1x2…xn
Important
The numbers must be positive. The geometric mean of negative numbers is not defined in the real number system (you'd get imaginary results), and the inequality can flip or break entirely.
Why It's True: A Simple Proof
Start with any two positive numbers a and b. Consider (a−b)2.
Since a square is always non-negative:
(a−b)2≥0
Expand:
a+b−2ab≥0
Rearrange:
a+b≥2ab
Divide by 2:
2a+b≥ab
That's it. The equality case is when a−b=0, i.e., a=b.
Tip
This proof is exam-friendly. If you're ever asked to "prove AM ≥ GM for two numbers," start with (a−b)2≥0 and work through the algebra.