8.3 Arithmetic and Geometric Means
Two numbers have two natural averages: the arithmetic mean $A=\dfrac{a+b}{2}$, which sits midway in an AP, and the geometric mean $G=\sqrt{ab}$, which sits midway in a GP. For positive numbers $A\ge G$ always โ a fact with surprising uses.
The price of a phone model rose by $10\%$ in one year and by $40\%$ the next. What was the average yearly rise? The tempting answer is $25\%$, the ordinary average of $10$ and $40$. But two rises of $25\%$ multiply the price by $1.25\times1.25=1.5625$, while the real rises multiplied it by $1.1\times1.4=1.54$. The right "average factor" is the number $g$ with $g\times g=1.1\times1.4$, that is $g=\sqrt{1.54}\approx1.241$ โ an average rise of about $24.1\%$. When quantities are added, the ordinary average is the natural one; when they are multiplied, the natural average is a square root.
These two averages are the arithmetic mean and the geometric mean. In this section we define them, use them to insert any number of terms between two given numbers so that the whole list is an AP or a GP, and prove the inequality $A\ge G$ โ the arithmetic mean of two positive numbers is never less than their geometric mean. That one inequality answers a whole family of "largest area" and "smallest cost" questions without any calculus.
The Arithmetic Mean and Inserting Arithmetic Means
The arithmetic mean (A.M.) of two numbers $a$ and $b$ is $$A=\frac{a+b}{2}.$$ It is the number that makes $a,\ A,\ b$ an AP, since then $A-a=b-A$.
More generally, to insert $n$ arithmetic means between $a$ and $b$ means to find $n$ numbers $A_1,A_2,\dots,A_n$ such that $$a,\ A_1,\ A_2,\ \dots,\ A_n,\ b$$ is an AP. The list has $n+2$ terms, with $a$ first and $b$ last.
The $n$ arithmetic means between $a$ and $b$ are $$A_k=a+k\,d\quad(k=1,2,\dots,n),\qquad d=\frac{b-a}{n+1},$$ and their sum is $n\cdot\dfrac{a+b}{2}$, that is $n$ times the single A.M. of $a$ and $b$.
Proof. In the AP $a,A_1,\dots,A_n,b$ the number $b$ is the $(n+2)$th term, so $b=a+(n+1)d$, giving $d=\dfrac{b-a}{n+1}$, and the $(k+1)$th term is $A_k=a+kd$. The means themselves form an AP of $n$ terms with first term $A_1$ and last term $A_n$, so their sum is $\tfrac n2(A_1+A_n)$. Since $A_1=a+d$ and $A_n=b-d$, $A_1+A_n=a+b$. $\blacksquare$
The Geometric Mean and Inserting Geometric Means
The geometric mean (G.M.) of two positive numbers $a$ and $b$ is $$G=\sqrt{ab}.$$ It is the positive number that makes $a,\ G,\ b$ a GP, since then $\dfrac Ga=\dfrac bG$, i.e. $G^2=ab$.
We keep $a$ and $b$ positive throughout: for numbers of opposite sign $ab\lt0$ and there is no real G.M. at all, and for two negative numbers the convention would need a negative root. To insert $n$ geometric means between $a$ and $b$ means to find $G_1,\dots,G_n$ such that $a,\ G_1,\ \dots,\ G_n,\ b$ is a GP; we take the positive common ratio, so that all the means are positive.
For positive $a$ and $b$, the $n$ geometric means between $a$ and $b$ are $$G_k=a\,r^k\quad(k=1,2,\dots,n),\qquad r=\left(\frac ba\right)^{\frac{1}{n+1}},$$ and their product is $\left(\sqrt{ab}\right)^n=G^n$, the $n$th power of the single G.M. of $a$ and $b$.
Proof. The number $b$ is the $(n+2)$th term of the GP, so $b=ar^{n+1}$, $r^{n+1}=\dfrac ba$, and $r$ is the positive $(n+1)$th root of $\tfrac ba$. For the product, pair the means from the two ends: $G_k\,G_{n+1-k}=ar^k\cdot ar^{n+1-k}=a^2r^{n+1}=ab$. Multiplying all $n$ means and pairing them in this way, $(G_1G_2\cdots G_n)^2=(ab)^n$, so $G_1G_2\cdots G_n=(ab)^{n/2}=\left(\sqrt{ab}\right)^n$, the positive root since all the means are positive. $\blacksquare$
(b) Insert $4$ geometric means between $3$ and $96$.
The Inequality A.M. $\ge$ G.M.
Try a few pairs: for $4$ and $9$, $A=6.5$ and $G=6$; for $1$ and $256$, $A=128.5$ and $G=16$; for $5$ and $5$, $A=G=5$. The arithmetic mean always seems to win, and the two tie only when the numbers are equal. This is true for every pair of positive numbers.
For any two positive numbers $a$ and $b$, $$\frac{a+b}{2}\ \ge\ \sqrt{ab},$$ that is $A\ge G$, with equality if and only if $a=b$.
Proof. Since $a,b\gt0$ they have real square roots, with $a=(\sqrt a)^2$ and $b=(\sqrt b)^2$. Then $$A-G=\frac{a+b}{2}-\sqrt{ab}=\frac{(\sqrt a)^2-2\sqrt a\sqrt b+(\sqrt b)^2}{2}=\frac{\left(\sqrt a-\sqrt b\right)^2}{2}.$$ A square of a real number is never negative, so $A-G\ge0$. It is zero exactly when $\sqrt a=\sqrt b$, i.e. when $a=b$. $\blacksquare$
The inequality has a beautiful picture (Interactive 2). Draw a semicircle on a diameter of length $a+b$ and mark the point $C$ that splits the diameter into lengths $a$ and $b$. The radius is $\tfrac{a+b}{2}=A$. The perpendicular from $C$ up to the semicircle has length $\sqrt{ab}=G$ (by similar triangles, its square is $a\times b$). A half-chord can never be longer than the radius โ so $G\le A$, with equality when $C$ is the centre, i.e. $a=b$.
Read in two directions, the inequality solves optimisation problems:
- Fixed sum, largest product. If $a+b=s$ is fixed, then $ab=G^2\le A^2=\tfrac{s^2}{4}$: the product is largest when $a=b=\tfrac s2$. Of all rectangles with the same perimeter, the square has the largest area.
- Fixed product, smallest sum. If $ab=p$ is fixed, then $a+b=2A\ge2G=2\sqrt p$: the sum is smallest when $a=b=\sqrt p$. For example $x+\dfrac1x\ge2$ for every $x\gt0$.
Finally, the mean values pin down the numbers themselves. If $a$ and $b$ have A.M. $A$ and G.M. $G$, then $a+b=2A$ and $ab=G^2$, so $a$ and $b$ are the roots of a quadratic.
If two positive numbers have arithmetic mean $A$ and geometric mean $G$, they are the roots of $$x^2-2Ax+G^2=0,$$ namely $$A\pm\sqrt{A^2-G^2}=A\pm\sqrt{(A+G)(A-G)}.$$
Proof. A quadratic with roots $a$ and $b$ is $x^2-(a+b)x+ab=0$; substitute $a+b=2A$ and $ab=G^2$ and use the quadratic formula. The roots are real because $A^2-G^2=(A+G)(A-G)\ge0$ by Theorem 8.8. $\blacksquare$
(b) Can two positive numbers have A.M. $5$ and G.M. $6$?
(b) Show that $(a+b)\left(\dfrac1a+\dfrac1b\right)\ge4$ for all positive $a,b$.
1. Counting the wrong number of terms. Inserting $n$ means makes an AP or GP of $n+2$ terms, so $d=\dfrac{b-a}{n+1}$ and $r^{n+1}=\dfrac ba$ โ not $n$ or $n+2$.
2. Forgetting positivity. A.M. $\ge$ G.M. is for positive numbers. For $x\lt0$, $x+\tfrac1x\le-2$, so "$x+\tfrac1x\ge2$" is false there.
3. Claiming a minimum that is never reached. The bound from A.M. $\ge$ G.M. is the least value only if the equality case $a=b$ can actually happen. Always find the $x$ that gives equality.
4. Applying the inequality when nothing is fixed. Use it on two numbers whose sum (to bound the product) or product (to bound the sum) is constant, as in Example 6.
5. Averaging growth rates arithmetically. Percentage changes multiply; the average growth factor is a G.M., as in the phone-price example.
Exercises
- 1 Find the A.M. of $7$ and $25$.
- 2 Insert $4$ arithmetic means between $3$ and $23$.
- 3 Insert $6$ arithmetic means between $-5$ and $16$.
- 4 Find the sum of the $10$ arithmetic means inserted between $4$ and $30$.
- 5 Between $2$ and $50$ some arithmetic means are inserted, with common difference $4$. How many?
- 6 Find $x$ if $2x+1$ is the A.M. of $x$ and $13$.
- 7 $n$ arithmetic means are inserted between $1$ and $31$ so that the $7$th mean and the $(n-1)$th mean are in the ratio $5:9$. Find $n$.
- 1 Find the G.M. of $4$ and $25$.
- 2 Find the G.M. of $\tfrac23$ and $\tfrac{27}{2}$.
- 3 Insert $2$ geometric means between $2$ and $54$.
- 4 Insert $3$ geometric means between $\tfrac19$ and $9$.
- 5 Insert $4$ geometric means between $160$ and $5$.
- 6 Find the product of the $5$ geometric means inserted between $2$ and $18$.
- 7 Find two positive numbers whose A.M. is $25$ and G.M. is $7$.
- 1 Verify the inequality for the numbers $4$ and $9$, and for $10$ and $0.1$.
- 2 The A.M. and G.M. of two positive numbers are $34$ and $16$. Find the numbers.
- 3 Prove that $x+\dfrac1x\ge2$ for every $x\gt0$. When does equality hold?
- 4 Find the least value of $4x+\dfrac{25}{x}$ for $x\gt0$, and where it occurs.
- 5 If $a,b\gt0$ and $a+b=12$, find the greatest possible value of $ab$.
- 6 Prove that $(a+b)(b+c)(c+a)\ge8abc$ for all positive $a,b,c$.
- 7 Prove that $\dfrac{a}{b}+\dfrac{b}{a}\ge2$ for all positive $a,b$.
- 8 The sum of two positive numbers is $10$ times their geometric mean. Show that the numbers are in the ratio $(5+2\sqrt6):(5-2\sqrt6)$.
- 1 A city's water tariff rose by $10\%$ one year and by $40\%$ the next. Find the average yearly percentage rise, correct to one decimal place, and explain why it is not $25\%$.
- 2 A rectangle has area $64\ \text{cm}^2$. Find its least possible perimeter.
- 3 A rectangular pen is built against a long wall using $120\ \text{m}$ of fencing for the other three sides. Find the largest possible area.
- 4 A culture had $1000$ bacteria at 8 a.m. and $16\,000$ at noon, multiplying by the same factor every hour. Find the counts at 9, 10 and 11 a.m.
- 5 Nine lamp posts are to be placed between two poles $2\ \text{km}$ apart so that all eleven posts are equally spaced. How far from the first pole is each lamp post?
- 6 On a piano, the frequencies of the $13$ notes from A ($440\ \text{Hz}$) up to the next A ($880\ \text{Hz}$) form a GP: $11$ geometric means are inserted between $440$ and $880$. Find the common ratio, and the frequency of C, three notes above the first A, to the nearest $0.01\ \text{Hz}$.
How this is examined: Board papers ask you to insert means (2 marks), to find two numbers from their A.M. and G.M. or prove a result like $a,b=A\pm\sqrt{(A+G)(A-G)}$ (3 marks), and set case studies on largest areas. JEE uses A.M. $\ge$ G.M. to find least values quickly and combines it with properties of means.
E1. Board ยท 1 mark The geometric mean of $3$ and $27$ is (A) $15$ (B) $9$ (C) $\pm9$ (D) $81$
E2. Board ยท 2 marks Insert three arithmetic means between $6$ and $-10$.
E3. Board ยท 3 marks If $A$ and $G$ are the A.M. and G.M. of two positive numbers $a$ and $b$, prove that the numbers are $A\pm\sqrt{(A+G)(A-G)}$. Hence find two numbers whose A.M. is $13$ and G.M. is $12$.
E4. Board ยท Case study A school wants a rectangular garden plot fenced with exactly $80\ \text{m}$ of fencing. Let one side be $x$ metres. (i) Write the area in terms of $x$. (1 mark) (ii) Use A.M. $\ge$ G.M. to show that the area is at most $400\ \text{m}^2$. (1 mark) (iii) The plan finally needs an area of exactly $300\ \text{m}^2$. Find the sides. (2 marks)
E5. JEE Main The least value of $4^x+4^{1-x}$, $x\in\mathbb{R}$, is (A) $2$ (B) $4$ (C) $5$ (D) $1$
E6. JEE Advanced One or more options correct. Let $a,b$ be distinct positive numbers with A.M. $A$ and G.M. $G$, and let $n\ge1$ arithmetic means and $n$ geometric means be inserted between $a$ and $b$. Then (A) $A\gt G$ (B) $A^2-G^2=\left(\dfrac{a-b}{2}\right)^2$ (C) the product of the $n$ geometric means is $G^n$ (D) the sum of the $n$ arithmetic means is $nG$
Research question. What is the "average yearly rise" in the price of something your family buys regularly โ and does the arithmetic mean of the yearly rises over- or under-state it?
Why it matters. Economists, banks and governments quote average growth rates for prices, salaries, GDP and investments all the time. The correct average of percentage changes is a geometric mean (the "compound annual growth rate"); averaging the percentages arithmetically always gives a figure at least as big, by A.M. $\ge$ G.M. โ a gap that can mislead.
What to do.
- Choose an item โ milk, petrol, a bus or metro fare, a school fee, a cinema ticket โ and collect its price in each of the last $5$โ$8$ years (old bills, family memory, newspaper archives or official price data).
- For each year compute the growth factor $g_k=\dfrac{\text{price this year}}{\text{price last year}}$.
- Compute the arithmetic mean of the factors and their geometric mean $\left(g_1g_2\cdots g_n\right)^{1/n}$ (a spreadsheet's
AVERAGEandGEOMEAN). - Starting from the first price, apply each mean for $n$ years. Which one lands exactly on today's price?
Tools: A spreadsheet; price records
Hand in: Your price table, the yearly factors, both means, the two "predicted" final prices, and a paragraph explaining which average a fair report should use, and why the other one is always at least as large.
Going further. A fund advertises "average returns of $25\%$ a year" after gaining $100\%$ one year and losing $50\%$ the next. What happened to an investment of โน10 000? Compute both means of the factors $2$ and $0.5$.
๐งช Self-check quiz
Q1. The arithmetic mean of $6$ and $14$ is
Q2. The geometric mean of $4$ and $9$ is
Q3. Four arithmetic means are inserted between $2$ and $22$. Their common difference is
Q4. The product of the three geometric means inserted between $2$ and $32$ is
Q5. For $x\gt0$, the least value of $x+\dfrac4x$ is