# This note has been used to help create the Arithmetic Mean - Geometric Mean wiki

The Arithmetic Mean - Geometric Mean Inequality states that for any $n$ non-negative real values $x_1, x_2, \ldots x_n$, the arithmetic mean of these numbers is greater than or equal to their geometric mean, with equality holding if and only if all the values are equal, i.e.,

$\displaystyle \frac { \displaystyle \sum_{i=1}^n x_i} {n} \geq \sqrt[n] { \prod_{i=1}^n x_i } .$

The proof of this statement for two variables is presented in the post Completing the Square. The proof of the general case is given here.

### Here are some consequences of AM-GM:

1. If $a$ is a positive real number, then $a + \frac {1}{a} \geq 2$.

2. If $x$ and $y$ are positive real numbers, then $\frac{x}{y} + \frac{y}{x} \geq 2$.

3. If $a$ is a real number (not necessarily positive), then $a^2 + 1 \geq 2 \cdot \vert a \vert \geq 2 \cdot a$.

## Worked Examples

### 1. Show that $2a^3 + b^3 \geq 3a^2 b$ for $a, b >0$.

Solution: We apply the 3-variable version of AM-GM with $x_1= a^3, x_2 = a^3$ and $x_3 = b^3$ to obtain

$\frac { a^3 + a^3 + b^3 } {3} \geq \sqrt{a^3\cdot a^3 \cdot b^3} = a^2 b.$

Then we multiply both sides by 3 to obtain $a^3 + a^3 + b^3 \geq 3a^2 b$.

### 2. Find all real solutions to $2^x + x^2 = 2 - \frac {1}{2^x}$.

Solution: We have $2 \leq 2^x + \frac {1}{2^x} = 2 - x^2$, so $0 \geq x^2$. This implies $x=0$ is the only possible value. Since $2^0 + 0^2 = 1$ and $2 - \frac {1}{2^0} = 1$, we have verified $x=0$ is the only solution.

### 3. Find all positive real solutions to

\begin{aligned} 4x + \frac {18}{y} & = 14 \\ 2y + \frac {9}{z} & = 15 \\ 9z + \frac {16}{x} & = 17\\ \end{aligned}

Solution: By AM-GM, we have $4x + \frac {16}{x} \geq 16, 2y + \frac {18}{y} \geq 12, 9z + \frac {9}{z} \geq 18$. Summing these three inequalities, we obtain

$4x + \frac {16}{x} + 2y + \frac {18}{y} + 9z + \frac {9}{z} \geq 16 + 12 + 18 = 46 .$

Furthermore, summing the three given equations, we obtain

$4x + \frac {16}{x} + 2y + \frac {18}{y} + 9z + \frac {9}{z} = 46.$

Hence, equality must hold throughout, implying $x=2, y=3$ and $z=1$. By substituting these values into the original equations, we see that $(x, y, z) = (2, 3, 1)$ is indeed a solution.

### 4. [2-variable Cauchy Schwarz Inequality] Show

$(a^2 + b^2)(c^2 + d^2) \geq (ac+bd)^2 .$

Solution 1: Expanding both sides, we can cancel terms $a^2c^2$ and $b^2d^2$, so we need to show that $a^2 d^2 + b^2c^2 \geq 2acbd$. This follows from the 2-variable AM-GM by setting $x_1 = a^2 d^2$ and $x_2 = b^2 c^2$, to obtain

$a^2d^2 + b^2c^2 \geq 2 \lvert abcd \rvert \geq 2 abcd.$

Solution 2: From Completing the Square's Fermat's Two Square Theorem, we have

$(a^2+b^2)(c^2+d^2) = (ac+bd)^2 + (ad-bc)^2 .$

Since squares are non-negative, the right hand side is greater than or equal to $(ac+bd)^2$.

### 5. Show that if $a, b$, and $c$ are positive real numbers, then

$a^4 + b^4 + c^4 \geq abc(a+b+c).$

Solution: A direct application of AM-GM doesn’t seem to work. Let's consider how we can get terms on the right hand side through AM-GM. To get $a^2bc$, we will need 'more' of $a$ than of $b$ or $c$ (as in Worked Example 1). This gives a hint to try

$a^4 + a^4 + b^4 + c^4 \geq 4 a^2 b c.$

Similarily, we have

$a^4 +b^4 +b^4 +c^4 \geq 4ab^2 c$

and

$a^4 + b^4 + c^4 + c^4 \geq 4abc^2.$

Adding these 3 inequalities and dividing by 4 yields

$a^4 + b^4 + c^4 \geq a^2bc + ab^2c + abc^2 = abc(a+b+c).$ Note by Calvin Lin
5 years, 8 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

Sort by:

very interesting note, it helped me a lot. Thanks!

- 5 years, 4 months ago

Thanks, Calvin.

- 5 years, 1 month ago

Good job Test iq for Singapore

- 1 year, 8 months ago

Yong Boon, you quite obviously didn't do this

- 4 years, 7 months ago