Trong sách Nâng cao và phát triển toán 9 có hướng dẫn chứng minh, bạn nên tham khảo sách
BĐT Cauchy mở rộng giải cách khác sánh nè:
Với n=2 thì mệnh đề luôn đúng
Giả sử mệnh đề đúng với n=k khi đó
$a_{1}+a_{2}+...+a_{k}\geqslant n\sqrt[n]{a_{1}a_{2}...a_{k}}$
Ta chứng minh được mệnh đề cũng đúng với n=2k. Thật vậy:
$(a_{1}+a_{2}+...+a_{k})+(a_{k+1}+a_{k+2}+...+a_{2k})\geq k\sqrt[k]{a_{1}a_{2}...a_{k}}+k\sqrt[k]{a_{k+1}a_{k+2}...a_{2k}}\geqslant 2\sqrt{k^{2}\sqrt[k]{a_{1}a_{2}...a_{2k}}}=2k\sqrt[2k]{a_{1}a_{2}...a_{2k}}$
Khi đó :
$a_{1}+a_{2}+...+a_{k+1}+(k-1)\sqrt[k+1]{a_{1}a_{2}...a_{k+1}}\geqslant 2k\sqrt[2k]{a_{1}a_{2}...a_{k+1}.\sqrt[k+1]{a_{1}a_{2}...a_{k+1}}^{k-1}}=2k\sqrt[2k]{\sqrt[k+1]{a_{1}a_{2}...a_{k+1}}^{2k}}=2k\sqrt[k+1]{a_{1}a_{2}...a_{k+1}}$
$\Rightarrow a_{1}+a_{2}+...+a_{k+1}\geqslant (k+1)\sqrt[k+1]{a_{1}a_{2}...a_{k+1}}$
Do đó mệnh đề đúng với n=k+1 =>đpcm