单变元三角函数不等式的发现与自动证明

• 作者: 何灯 李云杰
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 数学
• 关键词: 三角函数 不等式 泰勒展开 机器证明 实根隔离
• 年，卷（期）: 2016,（1）
• 页码范围: 24-34
• 页数: 11页
• 分类号: O211.67
• 字数: 7061字
• 语种: 中文

摘要

借助于级数理论和maple数学软件,本文研究单变元三角函数不等式的发现及机器自动证明,根据算法所编写的程序hdtrig2015能够在极短的时间内实现三角函数不等式的自动验证.丰富的实例表明本文的算法具有极大的优越性,能够成批实现三角函数不等式的机器自动验证.