Đặt: a=a1+a2+...+an,bi=aia(i=1,2,...,n) thì bi>0 và:
b1+b2+...+bn=1
Áp dụng BĐT Cauchy suy rộng :
(x1a1)b1.(x2a2)b2...(xnan)bn≤b1a1.x1+b2a2.x2+...+bnan.xn=
=1a(x1+x2+...+xn)=1a
⇒xb11.xb22…xbnn≤1a.ab11.ab22…abnn
⇔S=xa11.xa22…xann≤1aa.aa11.aa22…aann
Dấu "=" xảy ra ⇔ x1a1=x2a2=…=xnan=x1+x2+…+xna1+a2+…+an=1a
( theo tính chất của dãy tỉ số bằng nhau)
⇒xi=aia(∀i=1,2,…,n)
Vậy: Max(S)=1aa.aa11.aa22...aann