فرض کنید مجموع ثابت و برابر $S$ باشد.
برای اثبات رابطه می توانیم از قضیه میانگین کوشی استفاده کنیم که برای $ x_{1} ,..., x_{n} $
داریم:
$$ \sqrt[n]{ x_{1} ... x_{n} } \leq \frac{ x_{1} +...+ x_{n} }{n} $$
و تساوی وقتی برقرار است که اعداد با هم برابر باشند.
پس وقتی خاصلضرب به ماکزیمم(کران بالای خود) میرسد که اعداد با هم برابر باشند. اگر اعداد با هم برابر باشند یعنی فرض $ x_{i}=a $ خواهیم داشت:
$$ \sqrt[n]{ a^{n} } = \frac{S}{n} \Rightarrow a= \frac{S}{n}$$
برای نتیجه ی یک
اولا اگر قرار دهیم $ x_{ i }^{'} = a_{i} x_{i} $ آنگاه
$ x_{ 1 }^{'}... x_{n }^{'} = a_{1} ... a_{n} x_{1} ... x_{n} =a x_{1} ... x_{n}$
پس $x_{1} ... x_{n}$ زمانی ماکزیمم است که $ x_{ 1 }^{'}... x_{n }^{'} $ ماکزیمم باشد.
پس طبق قسمت اول باید $x_{ i }^{'}$ها با هم برابر باشند. و حکم نتیجه می شود.
اثبات قسمت آخر:
قرار می دهیم:$ t_{1} = \frac{ x_{1} }{ \alpha } $ و ... و $ t_{n} = \frac{ x_{n} }{ \gamma } $
لذا $$S= x_{1} +...+ x_{n}= \alpha t_{1} +...+. \gamma t_{n} = $$
$$ \underbrace{( t_{1}+...+ t_{1})}_{ \alpha } +...+ \underbrace{( t_{n}+...+ t_{n})}_{ \gamma } $$
حال طبق قسمت اول حاصلضرب این عناصر یعنی $ {x_{1}}^{ \alpha } ... {x_{n}}^{ \gamma } $ زمانی ماکزیمال است که $ t_{1}=...= t_{n} = \frac{S}{ \alpha +...+ \gamma } $
با جایگذاری $ t_{1} = \frac{ x_{1} }{ \alpha } $ و ... و $ t_{n} = \frac{ x_{n} }{ \gamma } $ حکم ثابت می شود.