在一个表达式被计算之前,它无法知道这个表达式的值,这个是计算机本身的限制.
mathematica可以计算复数域的值,所以你这个不等式并不是在整个定义域上都是真的.解不等式可以试试Reduce函数
Reduce[x^2 > -1]
如果你要断言它在整个实数域上为真,那么可以这么写：
SameQ[Reduce[x^2 > -1],x [Element] Reals]
在一个表达式被计算之前,它无法知道这个表达式的值,这个是计算机本身的限制.
mathematica可以计算复数域的值,所以你这个不等式并不是在整个定义域上都是真的.解不等式可以试试Reduce函数
Reduce[x^2 > -1]
如果你要断言它在整个实数域上为真,那么可以这么写：
SameQ[Reduce[x^2 > -1],x [Element] Reals]