用赫尔德不等式和柯西不等式证明一类根式不等式

Using H?lder and Cauchy Inequalities to Prove Class 1 Root Inequality

借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了应用程序;文中的例子表明,这些应用程序已经成为破解根式不等式的利器,一大批难度甚大的不等式难题得到解决;提出了待解决的问题.

Based on the program Agl2012 of automatically finding of inequalities and additional expressions,Class 1 root inequalities are proved by using Holder and Cauchy inequalities.Application programs are built and examples show that the application programs are useful tools for root inequalities.Several difficult problems of root inequalities are solved.Problems to be solved are also suggested.