Corollary 2. Suppose that x1,x2,…,xn are non-negative real numbers satisfying
x1+x2+…+xn=const,x12+x22+…+xn2=const
and f(x1,x2,…,xn) a continuous, symmetric, under-limitary function satisfying that, if x1≥x2≥…≥xn and x2,x3,…,xn−2 are fixed then f(x1,x2,…,xn)=g(x1,xn−1,xn) is a strictly increasing function of x1xn−1xn; then f(x1,x2,…,xn) attains the minimum value if and only if x1=x2=…=xk=0<xk+1≤xk+2=…=xn, where k is a certain natural number and k<n. If x1≥x2≥…≥xn and x3,…,xn−1 are fixed then f(x1,x2,…,xn)=g(x1,x2,xn) is a strictly increasing function of x1x2xn; then f(x1,x2,…,xn) attains the maximum value if and only if x1=x2=…=xn−1≤xn.
Proof. To prove the above corollaries, we only show the hardest, that is the second part of the second corollary (and other parts are proved similarly).