本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,再借助代数不等式证明工具(如Bottema)完成最后的工作.实验结果表明算法对常见的三角函数多项式不等式十分高效,同时证明过程是"可读"的.
科研之友
微信
新浪微博
Facebook
分享链接
