陈世平¹，刘忠²

1.中国民航飞行学院德阳校区-四川省商贸学校, 德阳 618000;2.乐山职业技术学院, 乐山 614000

出版日期:2016-08-25发布日期:2016-09-26

AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION

CHEN Shiping¹ ,LIU Zhong²

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-25Published:2016-09-26







摘要
图/表
参考文献
相关文章
编辑推荐
-->Metrics
本文评论

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

MR(2010)主题分类:
68T15
26D05
分享此文:

()

[1]	张小英, 王平, 冯红银萍. 常微分方程-薛定谔方程耦合系统的输出反馈镇定[J]. 系统科学与数学, 2021, 41(4): 887-897.
[2]	陈振杰, 傅勤, 郁鹏飞, 张丹. 一类四阶抛物型偏微分多智能体系统的协调控制[J]. 系统科学与数学, 2021, 41(4): 898-912.
[3]	杨贵军, 吴洁琼. Pareto $\pi$ps 抽样的~Horvitz-Thompson 估计量方差研究[J]. 系统科学与数学, 2021, 41(4): 1150-1163.
[4]	张俊芳，周礼刚，金自强. 基于Pythagorean犹豫模糊熵和交叉熵的绩效评价方法[J]. 系统科学与数学, 2021, 41(2): 436-448.
[5]	陈宇峰，朱志韬，屈放. 国际油价、人民币汇率与国内金价的非对称溢出及动态传 导机制 ------ 基于三元VAR-Asymmetric BEKK (DCC)-GARCH (1, 1)模型[J]. 系统科学与数学, 2021, 41(2): 449-465.
[6]	吴红星，程国飞，王胜华. 细菌种群增生中Rotenberg模型解的渐近稳定性研究[J]. 系统科学与数学, 2020, 40(9): 1539-1549.
[7]	陆文星，戴一茹，李楚，李克卿. 基于改进PSO-BP神经网络的旅游客流量预测方法[J]. 系统科学与数学, 2020, 40(8): 1407-1419.
[8]	张培文，吴江，汪瑜，孙宏. 机队运力配置和USApHMP问题的联合决策模型与算法[J]. 系统科学与数学, 2020, 40(8): 1432-1446.
[9]	焦建军，陈兰荪，李利梅. 污染喀斯特环境下具瞬时与非瞬时脉冲效应的单种群动力学模型[J]. 系统科学与数学, 2020, 40(7): 1286-1296.
[10]	崔春生，王雪，李文龙. 基于用户在线评论的旅游景点推荐算法研究[J]. 系统科学与数学, 2020, 40(6): 1103-1116.
[11]	赵峰，王淼，高峰阳. 基于改进NSGA-II算法的次同步附加阻尼控制器的优化设计[J]. 系统科学与数学, 2020, 40(5): 751-760.
[12]	李振鹏，黄帅. 基于LDA主题模型的网络舆情研究[J]. 系统科学与数学, 2020, 40(3): 434-447.
[13]	李继红，赵仕静. 不同价格水平下排队策略研究[J]. 系统科学与数学, 2020, 40(3): 510-520.
[14]	王浩宇，张崇岐. 基于特殊混料模型$D$-最优设计搜索的交换点式门限接受算法[J]. 系统科学与数学, 2020, 40(2): 210-224.
[15]	龚雅键，魏先华，孟祥莺，刘宸昊. 遗传规划策略可以适用中国股票市场吗? ------基于随机性多目标遗传规划的股指交易策略研究[J]. 系统科学与数学, 2020, 40(12): 2381-2400.

-->

PDF全文下载地址:

http://sysmath.com/jweb_xtkxysx/CN/article/downloadArticleFile.do?attachType=PDF&id=12871