No abstract uploaded!

According to Van der Waerden, the sum of two natural numbers is defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) The product of two natural numbers is recursively defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) x^+ ( y^+ ) here means the successor(consequent) of x( y) in the set of natural numbers.

In this paper, we continues to investigate the properties of symmetric inequalities. We study the necessary condition for the extremum to be attained in a semi-algebraic system. From which, we partly solve the problem of the further generalization of Jensen inequality which the author brought up in the previous article. Namely, by using the sign of the (n+1)^th derivative while xing the value of the sum of power of n variables, we get a dimension-descending method. Further, we prove that the necessary and sucient condition for the symmetric inequality of degree m with n variables to hold on R+n is that it holds when the number of nonzero variables does not exceed max&{1, frac{m}{2}}&.