我可以检查是否一个不等式是正确的,如果没有,得到不平等的条件可能是真的吗?

2视图(30天)

显示旧的评论

Athulya Ram Sreedharan Nair 2020年6月25日

0
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/554317-can-i-check-if-an-inequality-is-true-and-if-not-get-the-conditions-where-the-inequality-could-be-t

回答: Vidhathri LNU 2020年6月30日

你好,

我很新的Matlab。我要检查是否一个表达式是正的,给出一些条件。现在这是我的代码:

                         %一般条件
                        
                         假设(0 <β和β<α和α< 1)
                        
                         assumeAlso (c > b > 0 & p > 0 & 0 & f1 >和> 0 f2和f3 > 0 & f4 > 0)
                        
                         %的额外条件
                        
                         assumeAlso (f1 > f3)
                        
                         assumeAlso (f1 > f3)
                        
                         assumeAlso(α> 1/2)
                        
                         assumeAlso(β* f2 < f3)
                        
                         assumeAlso (f4 <β* (f1-f3))
                        
                         总(αβ* * f3 + 2 * b * * f1 - 2 * b *β* f3 -αβ* b * * f1 +αβ* b * * f3) / * f3(α+β* f1 -β* f3) - (((b - 2 * a * b) /α-α* (b /α+β(f3 - * f2) /(αβ*)))/ * f3(α+β* f1 -β* f3) + (f4 -β* f1 +β* f3) / * f3(α+β* f1 -β* f3)) * * f3(α+β* f1 -β* f3) > 0)

这是给我一个警告:

                         警告:不能证明“0 <(αβ* * f3 + 2 * b * * f1 - 2 * b *β* f3 -αβ* b * * f1 +
                        
                         αβ* b * * f3) / * f3(α+β* f1 -β* f3) - (((b - 2 * a * b) /α-α* (b /α+ (f3 -
                        
                         β* f2) /(αβ*)))/ * f3(α+β* f1 -β* f3) + (f4 -β* f1 +β* f3) / * f3(α+β* f1 -
                        
                         β* f3)) * * f3(α+β* f1 -β* f3)”