总功能无法证明一个简单的声明
11视图(30天)
显示旧的评论
我用符号数学工具箱简单地看看下面声明是否积极:
c (x - b - 2 * * d) * (y - b)
我假设(x - b - 2 * c * d)和(y - b)是积极的。
信谊x y b c d
假设(x - b - 2 * c * d > 0 & y - b > 0);
使这些假设后,我检查如果“总”函数考虑了假设。我得到了以下结果:
> >总((x - b - 2 * c * d) > 0)
ans =
逻辑
1
> >总((y - b) > 0)
ans =
逻辑
1
上面得到的结果,自然,我希望看到(x - b - 2 * c * d) * (y - b)也是积极的。然而,我无法证明的错误。这怎么可能呢?这可能导致什么?这是我得到的结果:
> >总((x - b - 2 * c * d) * (y - b) > 0)
警告:不能证明“0 < (b - y) * (b - x + 2 * c * d)”。
>在symengine
在信谊/总(42)行
ans =
逻辑
0
