一个不等式的推广及猜想

• 作 者: 黄剑潮
• 机 构: 浙江省杭州市萧山南阳辅导学校,
• 出 处: 中学生数学
• 发表日期: 2004年期
• 关键词: 通用软件 机器证明 杨路 http

在浏览《中国不等式研究小组》(http://old.irgoc.org/)网站时,发现杨路教授应用通用软件Bottema给出了以下不等式的一个“机器证明”:

When browsing the website of the China Inequality Research Group (http://old.irgoc.org/), Prof. Yang Lu discovered that using the generic software Bottema gives a “machine certificate ” for the following inequality: