Geometric Mean and Its Applications — AM-GM Inequality

Question

What is the geometric mean, how does it relate to the arithmetic mean (AM-GM inequality), and where do we apply it?

Solution — Step by Step

The geometric mean (GM) of $n$ positive numbers $a_1, a_2, \ldots, a_n$ is:

GM = (a_1 \cdot a_2 \cdot \ldots \cdot a_n)^{1/n}

For two numbers $a$ and $b$ :

GM = \sqrt{ab}

For three numbers $a$ , $b$ , $c$ :

GM = (abc)^{1/3}

For positive real numbers $a_1, a_2, \ldots, a_n$ :

\frac{a_1 + a_2 + \ldots + a_n}{n} \geq (a_1 \cdot a_2 \cdot \ldots \cdot a_n)^{1/n}

That is, $AM \geq GM$ , with equality if and only if $a_1 = a_2 = \ldots = a_n$ .

For two numbers: $\frac{a + b}{2} \geq \sqrt{ab}$

This is one of the most powerful inequalities in all of mathematics.

Example: Find the minimum value of $x + \frac{1}{x}$ for $x > 0$ .

By AM-GM:

\frac{x + \frac{1}{x}}{2} \geq \sqrt{x \cdot \frac{1}{x}} = \sqrt{1} = 1

x + \frac{1}{x} \geq 2

Equality when $x = \frac{1}{x}$ , i.e., $x = 1$ . So the minimum value is 2.

This is much faster than using calculus (derivatives).

graph LR
    A["AM: Arithmetic Mean"] -->|always greater than or equal to| B["GM: Geometric Mean"]
    B -->|always greater than or equal to| C["HM: Harmonic Mean"]
    D["AM x HM = GM squared"] --- E["For two numbers: AM.HM = GM^2"]
    F["Equality holds when all numbers are equal"] --- A

For two positive numbers $a$ and $b$ :

$AM = \frac{a+b}{2}$
$GM = \sqrt{ab}$
$HM = \frac{2ab}{a+b}$

And $AM \times HM = GM^2$ always.

Why This Works

The AM-GM inequality captures a deep truth: spreading values apart increases their average but decreases their product (relative to equal values). The arithmetic mean weighs additions equally; the geometric mean weighs multiplications equally. Since multiplication “punishes” imbalance more than addition does, $GM \leq AM$ .

AM-GM appears in JEE Main almost every year — usually in the form “find the minimum value of an expression.” If the expression can be split into parts whose product is constant, AM-GM gives the answer directly without calculus.

Alternative Method

For finding min/max values, we can also use calculus. For $f(x) = x + \frac{1}{x}$ :

f'(x) = 1 - \frac{1}{x^2} = 0 \implies x = 1

f''(1) = \frac{2}{1^3} = 2 > 0 \implies \text{minimum}

f(1) = 1 + 1 = 2

Same answer, but AM-GM gave it in one line.

Common Mistake

AM-GM works only for positive numbers. Students often apply it blindly to expressions that can be negative, getting wrong results. For example, $x^2 + \frac{1}{x^2} \geq 2$ by AM-GM is correct (both terms are positive), but you cannot apply AM-GM to $x + y$ when $x$ or $y$ could be negative. Always verify the positivity condition first.

Question

Solution — Step by Step

Why This Works

Alternative Method

Common Mistake

Try These Next