برای اثبات حکم ، اول برای $n=2^k \mid k \ \epsilon\ N$ ثابت میکنیم که حکم برقرار است سپس ثابت میکنیم اگر برای $n$ این نامساوی برقرار باشد برای $n-1 $ نیز برقرار است در نتیجه حکم اثبات میشود .
برای $n=2$ که داریم $ (\sqrt{a} - \sqrt{b})^2 \geq 0 $ برا تعداد 4 عدد میشه به 2 دسته 2 تایی تقسیم کرد :
$ \frac{a+b+c+d}{4}\geq \sqrt[4]{abcd} \ $ مینویسیم $ \frac{ \frac{a+b}{2} + \frac{b+c}{2} }{2} \geq \sqrt{ \frac{a+b}{2} . \frac{c+d}{2} } \geq \sqrt{ \sqrt{ab} . \sqrt{cd} } $
حال با استفاده از 4 تایی 3 تایی را نیز ثابت میکنیم به همین صورت میتوان نتیجه گرفت اگر برای $n$ برقرار باشد برای $n-1$ نیز برقرار است . در فرمول بالا به جای $d$, $ \frac{a+b+c}{3} $ را قرار میدهیم .
$\frac{a+b+c+ \frac{a+b+c}{3} }{4}= \frac{a+b+c}{3} \geq \sqrt[4]{abc. \frac{a+b+c}{3} } $
حال 2 طرف رو به توان 4 برسون نتیجه حاصل میشود .
در کل اگر برای $n$ برقرار باشد میتوان نوشت :
$ \frac{ a_{1} + a_{2} ...+ a_{n-1} + \frac{ a_{1} + a_{2} ...+ a_{n-1} }{n-1} }{n} = \frac{ a_{1} + a_{2} ..+ x_{n-1} }{n-1} \geq \sqrt[n]{ a_{1} . a_{2} ...\ a_{n-1} . \frac{ a_{1} + a_{2} ...+ a_{n-1} }{n-1} } $
حال اگه 2 طرف رو به توان $ n $ برسونیم و در $\frac{ a_{1} + a_{2} ...+ a_{n-1} }{n-1}$ تقسیم کنیم نتیجه میشود برای $n-1$ نیز برقرار است .