The necessary and sufficient condition for a class of inequalities with radical functions like g=m1u1+m2u2+…+mnun was discussed based on the rationalization of radical functions. This condition successfully transformed the inequality with radical functions into a set of rational inequalities. Furthermore, the condition was applied to symbolic algorithm of global optimization of the class of radical functions. Thus, the former universal algorithm was improved so that the new algorithm is much more efficient.
