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