一类三元对称分式的平方型分拆及其程序实现

• 作者: 何灯
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 数学
• 关键词: 三元对称分式 不等式 平方型分拆 机器证明
• 年，卷（期）: 2011,（1）
• 页码范围: 35-42
• 分类号: O122.3
• 字数: 5294字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4217.2011.01.006

摘要

探讨了三元对称分式的平方型分拆,利用待定系数法编写Maple程序fsos实现了分拆,并举例说明了程序在证明不等式中的应用.