AM-GM-HM Relationship
For any set of positive real numbers, the arithmetic, geometric and harmonic means obey AM ≥ GM ≥ HM, and all three are equal only when every number is the same. This is one of the most exploited results in CAT Algebra and Maxima–Minima. For two positive numbers a and b: AM = (a+b)/2, GM = √(ab), HM = 2ab/(a+b), and they are linked by the beautiful identity GM² = AM × HM — so the GM is itself the geometric mean of the AM and HM. The most common exam use is finding a minimum: by AM ≥ GM, any expression of the form x + 1/x is at least 2 (equality at x=1), and a sum of terms whose product is fixed is minimised when the terms are equal. To apply it, spot a sum whose terms have a constant product, drop to the GM, and read off the bound. Remember the inequality only holds for positive reals — using it on a term that can be negative is the classic trap.
✅ Solved examples
✏️ Practice — try these, take hints as needed
📝 Topic test — 8 questions
Auto-graded with full solutions; saved to your dashboard. Use the calculator and formula sheet (top-right) any time.
Formula Reference Sheet
Harmonic Progression
| HP definition | a, b, c, … in HP ⇔ 1/a, 1/b, 1/c, … in AP |
|---|---|
| nth term of HP | Tₙ = 1 / [a + (n−1)d], where 1/(first term)=a, d=AP common difference |
| Harmonic Mean of two numbers | HM(a,b) = 2ab / (a + b) |
| HM of n numbers | HM = n / (1/a₁ + 1/a₂ + … + 1/aₙ) |
| Three terms in HP | b is HM of a and c ⇒ b = 2ac/(a+c) |
AM–GM–HM relationship
| The mean inequality | AM ≥ GM ≥ HM (positive reals); equality ⇔ all terms equal |
|---|---|
| AM, GM, HM of two numbers | AM=(a+b)/2, GM=√(ab), HM=2ab/(a+b) |
| GM as the link | GM² = AM × HM (for two numbers) |
| Classic minimum | x + 1/x ≥ 2 for x>0 (AM≥GM), equality at x=1 |
| Sum–reciprocal bound | (a+b)(1/a + 1/b) ≥ 4 for a,b>0 |