• 论文 • 上一篇    下一篇

 Taylor展开式与三角函数不等式的自动证明

陈世平1,刘忠2   

  1. 1.中国民航飞行学院德阳校区-四川省商贸学校, 德阳 618000;2.乐山职业技术学院,  乐山  614000
  • 出版日期:2016-08-25 发布日期:2016-09-26

陈世平,刘忠.  Taylor展开式与三角函数不等式的自动证明[J]. 系统科学与数学, 2016, 36(8): 1339-1348.

CHEN Shiping,LIU Zhong. AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION[J]. Journal of Systems Science and Mathematical Sciences, 2016, 36(8): 1339-1348.

AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION

CHEN Shiping1 ,LIU Zhong2   

  1. 1.Deyang Branch of Civil Aviation Flight University of China-Sichuan Trade School, Deyang 618000;2.Leshan Vocational & Technical College, Leshan 614000
  • Online:2016-08-25 Published:2016-09-26

文章以具有模型 $f(x,\tan(\frac x 2))>0$ 的三角函数不等式为研究对象来探讨超越不等式的机器证明问题, 运用 Taylor 展开式将目标不等式的证明转化为一系列的一元多项式不等式的证明, 然后借助代数不等式证明工具(如 Bottema) 完成最后的工作. 运用 Maple 编制程序实现了上述算法, 实验结果表明算法对常见的三角函数不等式十分有效, 并且证明过程是``可读''的.

The problem of mechanical proving of transcendental inequalities is discussed with the trigonometric function inequalities in accordance with the model of $f(x,\tan(\frac x 2))>0$ as the research object. Using Taylor expansion, the proving of the target inequality is transformed to the verification of a series of polynomial inequalities with only one variable, and then completed by algebraic inequality-proving package such as BOTTEMA. The above algorithms are implemented on Maple, and experiments show that they are very effective for most trigonometric function inequalities, furthermore the procedure is ``readable".

MR(2010)主题分类: 

()
[1] 俞高锋, 李登峰. 网络安全威胁态势评级的变权方法[J]. 系统科学与数学, 2021, 41(9): 2477-2491.
[2] 徐蕾艳, 孟志青. 条件风险值下直营连锁企业供销平衡鲁棒策略研究[J]. 系统科学与数学, 2021, 41(8): 2149-2169.
[3] 黄晓辉, 卢焱, 唐锡晋. 基于在线媒体的新冠疫情社会舆情多视角分析[J]. 系统科学与数学, 2021, 41(8): 2182-2198.
[4] 赵振宇, 张垚, 樊伟光. 基于``资源-项目-需求"链的分布式可再生能源项目适应度研究[J]. 系统科学与数学, 2021, 41(8): 2217-2233.
[5] 谷浩, 毕潇, 王丹, 李刚, 邹晶, 陈明. 基于ResNet和反卷积网络模型的有限角CT图像重建算法[J]. 系统科学与数学, 2021, 41(8): 2349-2360.
[6] 李美娟, 潘瑜昕, 徐林明, 卢锦呈. 改进区间数动态 TOPSIS 评价方法[J]. 系统科学与数学, 2021, 41(7): 1891-1904.
[7] 李爱忠, 任若恩, 董纪昌. 稀疏网络下核范数回归的连续时间Smart Beta策略[J]. 系统科学与数学, 2021, 41(7): 1927-1937.
[8] 赵伟, 王钟梅, 吴纯杰. 结合测量误差的检测多元协方差矩阵的EWMA控制图[J]. 系统科学与数学, 2021, 41(7): 2018-2034.
[9] 彭定洪, 卞志洋. 面向产品设计方案的犹豫模糊 Kansei-TOPSIS 评价方法[J]. 系统科学与数学, 2021, 41(6): 1630-1647.
[10] 左凯, 吴文青, 张元元. 修理工多重休假且修理设备可更换的$n$中取$k$温贮备系统研究[J]. 系统科学与数学, 2021, 41(6): 1729-1741.
[11] 刘艳霞, 王芝皓, 芮荣祥, 田茂再. 广义函数型部分变系数混合模型的估计[J]. 系统科学与数学, 2021, 41(6): 1742-1760.
[12] 罗小丽, 戴璐, 练红海, 李谟发, 邓鹏. 具有时滞概率分布的电力系统负荷频率稳定性分析[J]. 系统科学与数学, 2021, 41(5): 1245-1255.
[13] 张小英, 王平, 冯红银萍. 常微分方程-薛定谔方程耦合系统的输出反馈镇定[J]. 系统科学与数学, 2021, 41(4): 887-897.
[14] 陈振杰, 傅勤, 郁鹏飞, 张丹. 一类四阶抛物型偏微分多智能体系统的协调控制[J]. 系统科学与数学, 2021, 41(4): 898-912.
[15] 杨贵军, 吴洁琼. Pareto $\pi$ps 抽样的~Horvitz-Thompson 估计量方差研究[J]. 系统科学与数学, 2021, 41(4): 1150-1163.
阅读次数
全文


摘要