For questions about proving and manipulating the AM-GM inequality. To be used necessarily with the [inequality] tag.
The AM-GM inequality states that, given a finite number of non-negative real numbers, their arithmetic mean is always greater than or equal to their geometric mean (hence the name “AM-GM inequality”) and that the equality holds if and only if all the given numbers are equal. In other words, if $a_1,a_2,\ldots,a_n\in(0,+\infty)$, then$$\frac{a_1+a_2+\cdots+a_n}n\geqslant\sqrt[n]{a_1a_2\ldots a_n}$$and$$\frac{a_1+a_2+\cdots+a_n}n=\sqrt[n]{a_1a_2\ldots a_n}\iff a_1=a_2=\cdots=a_n.$$
A weighted version of AM-GM inequality is $$\frac{w_1a_1+w_2a_2+\cdots+w_na_n}w\geqslant\sqrt[w]{a_1^{w_1}a_2^{w_2}\ldots a_n^{w_n}}$$
where $w_i$ are nonnegative and $w=\sum_{i=1}^nw_i$.
