找回密码
 注册
Simdroid-非首页
查看: 111|回复: 2

[符号计算] 如何判断两个表达式大小?

[复制链接]
发表于 2012-7-11 20:27:44 | 显示全部楼层 |阅读模式 来自 湖北武汉
比如, 已知a>b,c>d, 然后想让mathematica 判断 (a+c) 是否大于(b+d) 怎么写呢?
不是解不等式,而是 根据约束条件判断 不等式是否成立。
发表于 2012-7-12 12:22:16 | 显示全部楼层 来自 北京
Simdroid开发平台
自学一下 ForAll 和 Resolve的用法.
  1. Resolve[ForAll[{a, b, c, d}, a > b && c > d, a + c > b + d]]
复制代码
回复 不支持

使用道具 举报

发表于 2013-5-21 19:22:31 | 显示全部楼层 来自 北京
  1. Simplify[a + c > b + d, a > b && c > d]
  2. Refine[a + c > b + d, a > b && c > d]
  3. Assuming[a > b && c > d,
  4. a + c > b + d // Simplify]
复制代码
回复 不支持

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|小黑屋|联系我们|仿真互动网 ( 京ICP备15048925号-7 )

GMT+8, 2024-3-29 01:56 , Processed in 0.032289 second(s), 11 queries , Gzip On, MemCache On.

Powered by Discuz! X3.5 Licensed

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表