The AM-GM inequality asserts that the arithmetic mean of nonnegative numbers is always at least their geometric mean. That is, if \(a_1,\dots,a_n\geq 0\), then \[\frac{a_1+\dots+a_n}{n}\geq \sqrt[n]{a_1\dots a_n}.\] Prove this inequality.
There are many proofs of this fact and quite a few of them are by induction. In fact, one of the most creative uses of induction can be found in Cauchy’s proof of the AM-GM inequality in Cours d’analyse.
Consider the \(4!\) possible permutations of the numbers \(1,2,3,4\). Which of those permutations keep the expression \(x_1x_2+x_3x_4\) the same?
Show that if \(1+3+5+7+...+97+99=50^2\), then \(1+3+5+7+...+97+99+101=51^2\).
Prove that for all positive integers \(n\) there exists a partition of the set of positive integers \(k\le2^{n+1}\) into sets \(A\) and \(B\) such that \[\sum_{x\in A}x^i=\sum_{x\in B}x^i\] for all integers \(0\le i\le n\).