In short

The geometric mean (GM) of two positive numbers a and b is \sqrt{ab} — the single number that, when placed between them, creates a three-term geometric progression. More generally, inserting n geometric means between a and b creates a GP of n + 2 terms, with common ratio r = \left(\dfrac{b}{a}\right)^{1/(n+1)}. The GM is always less than or equal to the arithmetic mean of the same numbers, with equality only when the numbers are equal — a relationship that underpins one of the most powerful inequalities in mathematics.

A farmer owns two square fields. One has side length 4 metres, the other has side length 9 metres. Their areas are 16 m² and 81 m². The farmer wants to buy a single square field whose area equals the geometric average of those two areas — not the sum, not the ordinary average, but a kind of multiplicative midpoint. What should its side length be?

The area of the new field should satisfy: 16, x, 81 form a geometric progression. That means the ratio from 16 to x equals the ratio from x to 81:

\frac{x}{16} = \frac{81}{x}

Cross-multiply: x^2 = 16 \times 81 = 1296. So x = 36, and the side length is \sqrt{36} = 6 metres.

Notice what happened. The side lengths were 4 and 9, and the "multiplicative midpoint" side length turned out to be \sqrt{4 \times 9} = \sqrt{36} = 6. The areas were 16 and 81, and their multiplicative midpoint is \sqrt{16 \times 81} = \sqrt{1296} = 36. In both cases, you multiplied the two numbers and took the square root. That operation is the geometric mean.

Three square fields showing the geometric mean relationshipThree squares drawn side by side. The left square has side 4 and area 16. The middle square has side 6 and area 36, shaded in red to mark it as the geometric mean. The right square has side 9 and area 81. Arrows between them are labelled times 1.5, showing the constant ratio. 16 side = 4 36 side = 6 81 side = 9 ×2.25 ×2.25
Three square fields with areas 16, 36, and 81 m². The ratio from one area to the next is $\dfrac{36}{16} = \dfrac{81}{36} = 2.25$ — a constant ratio, confirming that 16, 36, 81 form a GP. The middle value 36 is the geometric mean of 16 and 81.

The GM of two numbers

Take two positive numbers a and b. Their geometric mean is

G = \sqrt{ab}

The name "geometric" is fitting. The arithmetic mean adds and divides; the geometric mean multiplies and roots. Where the AM is about additive balance — equal distances on a number line — the GM is about multiplicative balance — equal ratios.

The three numbers a, G, b form a geometric progression. The common ratio is

r = \frac{G}{a} = \frac{\sqrt{ab}}{a} = \sqrt{\frac{b}{a}}

and you can verify that \dfrac{b}{G} = \dfrac{b}{\sqrt{ab}} = \sqrt{\dfrac{b}{a}} — the same ratio. So the GM is the middle term of a three-term GP, just as the AM is the middle term of a three-term AP.

The geometric mean as the multiplicative midpoint between a and bA horizontal line with three marked points: a on the left, the geometric mean square root of ab in the centre marked in red, and b on the right. Curved arrows labelled times r connect a to the geometric mean and the geometric mean to b, showing equal ratios. a b G = √(ab) ×r ×r
The geometric mean $G = \sqrt{ab}$ sits at the multiplicative centre of $a$ and $b$. The ratio from $a$ to $G$ equals the ratio from $G$ to $b$, both equal to $r = \sqrt{b/a}$. The three values $a, G, b$ form a GP.

Geometric Mean of two numbers

For any two positive real numbers a and b, the geometric mean is

G = \sqrt{ab}

The three numbers a, G, b form a geometric progression with common ratio r = \sqrt{b/a}.

For the farmer's fields: a = 16, b = 81, and G = \sqrt{16 \times 81} = \sqrt{1296} = 36.

A visual way to see the GM

There is a beautiful geometric construction of the GM using a semicircle. Take a segment of length a + b. Draw a semicircle with this segment as diameter. At the point that divides the diameter into lengths a and b, erect a perpendicular to the diameter. This perpendicular meets the semicircle at a height of exactly \sqrt{ab} — the geometric mean.

Semicircle construction of the geometric meanA semicircle with diameter a plus b drawn horizontally. The diameter is divided into two segments of length a on the left and b on the right. A vertical line from the division point meets the semicircle at a height labelled square root of ab. A right-angle mark appears at the base of the vertical line. 0 a + b a a b √(ab)
The semicircle construction. A diameter of length $a + b$ is divided at the point where the left segment has length $a$ and the right segment has length $b$. The perpendicular from this point to the semicircle has length $\sqrt{ab}$. This follows from the right-triangle altitude theorem: in a right triangle inscribed in a semicircle, the altitude to the hypotenuse equals the geometric mean of the two segments it creates.

The proof uses the right-triangle altitude theorem. The triangle inscribed in the semicircle has a right angle at the top (by Thales' theorem). If the altitude from the right angle to the hypotenuse has length h, and the hypotenuse is split into segments of length a and b, then h^2 = ab, giving h = \sqrt{ab}.

Inserting n geometric means

Just as you can insert arithmetic means between two numbers, you can insert geometric means. Placing n geometric means between a and b creates a GP of n + 2 terms starting at a and ending at b.

Take a = 2 and b = 162 with n = 3 means. You need 3 + 2 = 5 terms: a, G_1, G_2, G_3, b. Since these form a GP, the common ratio satisfies

a \cdot r^{n+1} = b \qquad \Longrightarrow \qquad r^{4} = \frac{162}{2} = 81 \qquad \Longrightarrow \qquad r = 3

So the three inserted means are:

G_1 = 2 \times 3 = 6, \qquad G_2 = 2 \times 9 = 18, \qquad G_3 = 2 \times 27 = 54

and the full GP is 2, 6, 18, 54, 162.

Three geometric means inserted between 2 and 162Five points on a horizontal line at positions representing 2, 6, 18, 54, and 162. The endpoints 2 and 162 are black circles. The three intermediate points 6, 18, and 54 are red circles representing the inserted geometric means. Curved arrows between consecutive points are each labelled times 3. 2 6 18 54 162 ×3 ×3 ×3 ×3
Three geometric means (red) inserted between $2$ and $162$. The five terms $2, 6, 18, 54, 162$ form a GP with common ratio $r = 3$. Each step multiplies by the same factor, dividing the multiplicative gap between $2$ and $162$ into four equal ratio-steps.

The general formula: to insert n geometric means between positive numbers a and b, the common ratio of the resulting GP is

r = \left(\frac{b}{a}\right)^{1/(n+1)}

and the k-th inserted mean (for k = 1, 2, \dots, n) is

G_k = a \cdot r^k = a \cdot \left(\frac{b}{a}\right)^{k/(n+1)}

The logic parallels the AM case. You have n + 2 terms forming a GP, so there are n + 1 multiplicative steps. The total multiplicative span is b/a, so each step must multiply by the (n+1)-th root of b/a.

The product of n geometric means

Here is the multiplicative counterpart of the AM sum property. The product of all n inserted geometric means equals the n-th power of the simple GM of a and b:

G_1 \cdot G_2 \cdots G_n = \left(\sqrt{ab}\right)^n = (ab)^{n/2}

The proof: G_k = a \cdot r^k, so the product is a^n \cdot r^{1+2+\cdots+n} = a^n \cdot r^{n(n+1)/2}. Since r^{n+1} = b/a, you get r^{n(n+1)/2} = (b/a)^{n/2}, and thus a^n \cdot (b/a)^{n/2} = a^{n/2} \cdot b^{n/2} = (ab)^{n/2}.

For the example above: 6 \times 18 \times 54 = 5832, and (\sqrt{2 \times 162})^3 = (18)^3 = 5832. Confirmed.

Properties of the geometric mean

Property 1: The GM lies between the two numbers. For positive a \leq b, the GM satisfies a \leq \sqrt{ab} \leq b. The geometric mean never falls outside the range of its inputs.

Property 2: Scale invariance. If you multiply both a and b by the same positive constant k, the GM also gets multiplied by k: \sqrt{(ka)(kb)} = k\sqrt{ab}. This makes the GM natural for comparing quantities that differ by scale — growth rates, ratios, percentages.

Property 3: The GM of reciprocals is the reciprocal of the GM. \sqrt{\dfrac{1}{a} \cdot \dfrac{1}{b}} = \dfrac{1}{\sqrt{ab}}. This symmetry between a set and its reciprocals is a property the AM does not have.

Property 4: Logarithmic connection. The logarithm of the GM is the AM of the logarithms:

\log\sqrt{ab} = \frac{\log a + \log b}{2}

This is why the GM appears naturally in any context where logarithmic scales are appropriate — decibels, pH values, Richter magnitudes, percentage growth rates. Taking the GM of two numbers is the same as taking their AM on a logarithmic scale.

The GM on a logarithmic scale is the AM of the logsTwo horizontal number lines. The top line is a linear scale showing points at 4, 12, and 36 with the geometric mean 12 marked in red. The bottom line is a log scale showing log 4 equals 0.60, log 12 equals 1.08, and log 36 equals 1.56. On the log scale, the point log 12 sits exactly at the midpoint of log 4 and log 36, demonstrating that the log of the GM is the AM of the logs. Linear scale 4 12 36 ×3 ×3 Log scale 0.60 1.08 1.56 +0.48 +0.48 On a log scale, the GM becomes the midpoint — exactly like the AM on a linear scale
Take $a = 4$ and $b = 36$. Their GM is $\sqrt{4 \times 36} = 12$. On the linear scale (top), 12 is not the midpoint of 4 and 36 — but on the log scale (bottom), $\log 12 = 1.08$ sits exactly halfway between $\log 4 = 0.60$ and $\log 36 = 1.56$. Equal ratios on the linear scale become equal distances on the log scale.

The GM is never greater than the AM

This is one of the most fundamental inequalities in mathematics. For any two positive numbers a and b:

\sqrt{ab} \leq \frac{a + b}{2}

with equality if and only if a = b.

The proof is three lines. Start from the fact that any real square is non-negative:

(\sqrt{a} - \sqrt{b})^2 \geq 0

Expand:

a - 2\sqrt{ab} + b \geq 0

Rearrange:

\frac{a + b}{2} \geq \sqrt{ab}

Equality holds precisely when \sqrt{a} = \sqrt{b}, that is, when a = b. As soon as a and b differ, the AM strictly exceeds the GM. The gap grows larger as the two numbers become more unequal.

Interactive: AM versus GM as b variesA coordinate plane with b on the horizontal axis from 1 to 20 and mean value on the vertical axis from 0 to 15. With a fixed at 4, the AM curve is a straight line and the GM curve is a square root curve. The AM is always above the GM, and the two curves meet only at b equals 4. A draggable point lets the reader vary b and see both means update. 1 5 10 15 20 0 5 10 15 a = 4 (fixed) AM GM drag the red point to change b
With $a = 4$ fixed, the AM (dark curve) and GM (red curve) are plotted as $b$ varies from 1 to 20. The AM is always above the GM, and the two curves meet only at $b = 4$ — the point where $a = b$ and the inequality becomes an equality. Drag the point to see the gap widen as $b$ moves away from $4$.

The AM-GM inequality extends to n positive numbers:

\frac{x_1 + x_2 + \cdots + x_n}{n} \geq \sqrt[n]{x_1 \cdot x_2 \cdots x_n}

with equality if and only if x_1 = x_2 = \cdots = x_n. The full proof and applications are in AM-GM-HM Inequality.

Two worked examples

Example 1: Insert 2 geometric means between 5 and 320

The problem asks for a sequence 5, G_1, G_2, 320 — four terms forming a GP.

Step 1. Count the ratio-steps. There are 2 + 2 = 4 terms, so 4 - 1 = 3 ratio-steps.

Why: n geometric means between two endpoints create n + 2 terms total, and a GP of n + 2 terms has n + 1 ratio-steps.

Step 2. Find the common ratio.

r^3 = \frac{320}{5} = 64
r = \sqrt[3]{64} = 4

Why: the total multiplicative span b/a = 64 must be split into 3 equal ratio-steps, so each step multiplies by 64^{1/3} = 4.

Step 3. List the means.

G_1 = 5 \times 4 = 20
G_2 = 5 \times 16 = 80

Why: each mean is a \cdot r^k for k = 1, 2.

Step 4. Verify: the full GP is 5, 20, 80, 320. Each ratio is \dfrac{20}{5} = \dfrac{80}{20} = \dfrac{320}{80} = 4. Also check the product property: 20 \times 80 = 1600, and (\sqrt{5 \times 320})^2 = (\sqrt{1600})^2 = 1600. Confirmed.

Result: The two geometric means are 20 and 80.

GP from 5 to 320 with ratio 4 shown as barsFour vertical bars with heights proportional to 5, 20, 80, and 320. The first and last bars are dark grey representing the given endpoints. The middle two bars are red representing the inserted geometric means. Each bar is four times the height of the previous one. 5 20 80 320 ×4 ×4 ×4
The GP $5, 20, 80, 320$ shown as bars. Each bar is $4$ times the height of the previous one. The two red bars (the geometric means $20$ and $80$) fill in the multiplicative gap between $5$ and $320$ with equal ratio-steps. The explosive growth is the visual signature of a GP with $r > 1$.

The bar chart makes the multiplicative structure visible: each bar is exactly four times its predecessor, so the ratios are uniform even though the absolute height differences are vastly different (15 from 5 to 20, but 240 from 80 to 320).

Example 2: Prove that if $a$, $b$, $c$ are in AP and $a$, $b$, $c$ are all positive, then $b^2 \geq ac$

This connects the AM-GM inequality to progressions. The claim is that the square of the middle term of an AP is at least the product of the outer terms.

Step 1. Write the AP condition. Since a, b, c are in AP:

b = \frac{a + c}{2}

Why: the middle term of a three-term AP is the arithmetic mean of the outer two terms.

Step 2. Apply the AM-GM inequality. Since a and c are positive:

\frac{a + c}{2} \geq \sqrt{ac}

Why: the arithmetic mean of two positive numbers is at least their geometric mean.

Step 3. Substitute b = \dfrac{a + c}{2} into the inequality:

b \geq \sqrt{ac}

Step 4. Square both sides (both sides are positive, so squaring preserves the inequality):

b^2 \geq ac

Why: squaring is a monotone operation for positive quantities, so the direction of the inequality is preserved.

Result: b^2 \geq ac, with equality if and only if a = c (which forces a = b = c, a constant sequence that is simultaneously an AP and a GP).

Number line showing a, b, c in AP with b squared vs acA number line with three points a equals 4, b equals 7, c equals 10 in AP. Below the line, two rectangles compare b squared equals 49 with a times c equals 40. The b-squared rectangle is larger, confirming b squared is greater than or equal to ac. a = 4 b = 7 c = 10 +3 +3 b² = 49 ac = 40 b² ≥ ac (49 ≥ 40)
The AP $4, 7, 10$ has $b^2 = 49$ and $ac = 40$. The red bar ($b^2$) is wider than the grey bar ($ac$), confirming $b^2 \geq ac$. Equality would require $a = c$, forcing all three to be equal. The gap between the bars measures how far the AP is from being a GP.

The figure gives a concrete check: for the AP 4, 7, 10, you get b^2 = 49 and ac = 40. The inequality 49 \geq 40 holds, and the gap of 9 comes from the fact that a \neq c.

Common confusions

Going deeper

If you came here to learn what the geometric mean is, how to insert geometric means, and why the GM never exceeds the AM, you have it. The rest of this section explores the GM for more than two numbers and its connection to growth rates.

The GM for n numbers

For n positive numbers x_1, x_2, \dots, x_n, the geometric mean is

G = \sqrt[n]{x_1 \cdot x_2 \cdots x_n} = \left(\prod_{i=1}^{n} x_i\right)^{1/n}

All the properties carry over. The logarithm of the GM is the AM of the logarithms:

\log G = \frac{1}{n}\sum_{i=1}^{n} \log x_i

and the AM-GM inequality holds:

\frac{x_1 + x_2 + \cdots + x_n}{n} \geq \sqrt[n]{x_1 \cdot x_2 \cdots x_n}

Average growth rates

The GM is the correct mean for averaging multiplicative rates. Suppose an investment grows by 60% in year one (r_1 = 1.6) and shrinks by 20% in year two (r_2 = 0.8). After two years, ₹100 becomes 100 \times 1.6 \times 0.8 = ₹128. The average annual growth factor is not the AM (1.6 + 0.8)/2 = 1.2 — that would predict 100 \times 1.2^2 = ₹144, which is wrong. The correct average is the GM: \sqrt{1.6 \times 0.8} = \sqrt{1.28} \approx 1.1314, and 100 \times 1.1314^2 \approx ₹128. The GM preserves the final outcome, just as the AM preserves the total.

The AM-GM inequality in optimisation

The AM-GM inequality is a powerful tool for finding maximum or minimum values. For example: among all rectangles with a fixed perimeter 2p, which one has the largest area? If the sides are x and p - x, the area is x(p - x). By AM-GM:

x(p - x) \leq \left(\frac{x + (p - x)}{2}\right)^2 = \frac{p^2}{4}

with equality when x = p - x, i.e., x = p/2 — a square. The maximum area is \dfrac{p^2}{4}, achieved by the square. This is one of the simplest applications, but the same technique handles far more complex optimisation problems.

Where this leads next

The geometric mean sits between the arithmetic mean and the harmonic mean, and the three together form a chain of inequalities that is one of the most important tools in algebra.