So, I'm reading the literature to find different proofs of the AM-GM inequality, the following proof quite hit me, and I don't seem to understand at all. The proof is as follows:
For any positive numbers: $a_1,a_2,...a_n$. We have: $$ \dfrac{a_1+a_2+..+a_n}{n} \geq \sqrt[n]{a_1 \cdot a_2 .... \cdot a_n} $$
Replacing $a_k$ with $a_k \sqrt[n]{a_1 \cdot a_2 .... \cdot a_n}$ for $1\leq k \leq n$ we have $a_1 \cdot a_2 ... \cdot a_n = 1$, so that is enough to prove that $ {a_1+a_2+..+a_n} \geq n$.
My question is: why $a_1 \cdot a_2 ... \cdot a_n = 1$ ? And, in general, for any sequence of positive numbers $ a_k \neq a_k \sqrt[n]{a_1 \cdot a_2 .... \cdot a_n}$?
I would really appreciate some light in this matter.
P.s I'm annexing a photo of the section.