Prove the A.M.-G.M. inequality for n terms using induction

Question

You are required to give a detailed proof of the A.M.-G.M. inequality using induction. I have one answer and I am posting it but it is too brutish. I want a more elegant method of proving A.M.-G.M. Inequality using induction.

Answer 1

To prove A.M.-G.M. Inequality using induction, we use backward induction.

Backward induction is basically this :-
Suppose the statement is $P_n$.
We follow the given steps.

1. Find a sequence $\{n_k\}_{k=1}^{\infty}$ such that $\{P_{n_1}, P_{n_2}, ...\}$ are true.
2. Show that $P_{k+1}$ true $\implies P_k$ true.

To prove A.M.-G.M. Inequality, we assume $P_n \implies \frac{x_1+x_2+...+x_n}n \ge \sqrt[n]{x_1x_2....x_n}$

Now to do the first step, we prove $P_{n}$ true $\implies P_{2n}$ true.

We do so like this :

Given, $\frac{x_1+x_2+....+x_n}n \ge \sqrt[n]{x_1x_2....x_n}$.
Also $\frac{x_{n+1}+x_{n+2}+....+x_{2n}}n \ge \sqrt[n]{x_{n+1}x_{n+2}....x_{2n}}$

Now, $\frac{x_1+x_2+....+x_n+x_{n+1}+x_{n+2}+....+x_{2n}}{2n} = \frac12 \{\frac{x_1+x_2+....+x_n}n + \frac{x_{n+1}+x_{n+2}+....+x_{2n}}n\}$
$\ge \frac12\{\sqrt[n]{x_1x_2....x_n} + \sqrt[n]{x_{n+1}x_{n+2}....x_{2n}}\}$
$\ge \sqrt{\sqrt[n]{x_1x_2....x_{2n}}}$
$= \sqrt[2n]{x_1x_2....x_{2n}}$

Now we know, $P_2$ true $\implies P_4$ true $\implies P_8$ true $\implies ....$
Therefore, $P_n$ is true when $n = 2^k$ for all $k$

The case for $P_2$ is very basic. So this leaves us with the second part of the proof, that is if $P_{k+1}$ is true, then $P_k$ is true.

First of all, I want to say one thing, although everyone knows it, that A.M.-G.M. inequality is true for any set of Real Numbers. So our idea to prove the second part is to choose such a $x_{k+1}$ that simplifies our work to a great extent.

Let $x_{k+1} = \frac{x_1+x_2+...+x_k}k$

All we know is that $P_{k+1}$ is true.
$\implies \frac{x_1+x_2+....+x_{k+1}}{k+1} \ge \sqrt[k+1]{x_1x_2....x_{k+1}}$
$\implies \frac{x_1+x_2+....+x_k+\frac{x_1+x_2+...+x_k}k}{k+1} \ge \sqrt[k+1]{x_1x_2....x_k\frac{x_1+x_2+...+x_k}k}$ $\implies \frac{x_1+x_2+...+x_k}k \ge (x_1x_2....x_k)^{\frac1{k+1}}(\frac{x_1+x_2+...+x_k}k)^{\frac1{k+1}}$
$(\frac{x_1+x_2+...+x_k}k)^{\frac k{k+1}} \ge (x_1x_2....x_k)^{\frac1{k+1}}$
$\implies \frac{x_1+x_2+...+x_k}k \ge \sqrt[k]{x_1x_2....x_k}$
$\implies P_k$ is true

Hence we are done by backward induction.