计算机自动生成数学命题——以三元均值不等式的加强为例

• 作者: 彭翕成 曹洪洋
• 来源期刊: 数学通报
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 学习园地
• 页码范围: 43-45,48
• 页数: 4页
• 语种: 中文
• DOI: 10.3969/j.issn.0583-1458.2022.02.009

摘要

数学命题是数学研究的重要部分.如果没有好的题目源源不断地"生产"出来,解题研究也难以持续发展.然而,发现一个好的命题并不容易. 设a,b,c为正数(下同),求证:a3+b3+c3≥3abc+a(b-c)2+b(c-a)2+c(a-b)2.