奥数之家数学奥林匹克讨论区(讨论不低于二试级别的问题)不等式讨论专用区不等式机械化专区 → Bottema软件新发现的一个Bug


  共有27人关注过本帖平板打印复制链接

主题:Bottema软件新发现的一个Bug

帅哥哟,离线,有人找我吗?
xzlbq
  1楼 | 信息 | 搜索 | 邮箱 | 主页 | UC


加好友 发短信
等级:斑竹 帖子:2638 积分:16958 威望:4 精华:1 注册:2010-4-30 1:23:48
Bottema软件新发现的一个Bug  发帖心情 Post By:2017-11-15 8:17:56 [只看该作者]

sqrt(((y+z)*(z+x)+(z+x)*(x+y)-(2*(x+y))*(y+z))^2)+sqrt(((z+x)*(x+y)+(x+y)*(y+z)-(2*(y+z))*(z+x))^2)+sqrt(((x+y)*(y+z)+(y+z)*(z+x)-(2*(z+x))*(x+y))^2)-2*(y-x)^2-2*(z-y)^2-2*(x-z)^2>=0

不成立,
[x = 8/7, y = 1/1331, z = 1]

 回到顶部