Matlab符号计算中几个不等式求解的意想不到结果

Question

请考虑这个例子。我想解x^3-2x> 0。我尝试以下命令：

syms x;
f = @(x) x^3-2*x;
solve(f(x)>0,x)

Matlab将返回以下内容

ans =求解(0.0

这不是我所期望的。所以我用

solve(f(x)+x>x,x)

回传

ans =Dom：：区间(2^(1/2)，Inf) Dom：：区间(-2^(1/2)，0)

有人能解释为什么solve只在第二种情况下才能成功地工作吗？

Answer 1

尝试将Real选项添加到solve

solve(f(x)>0,x,'Real',1)

ans =

 Dom::Interval(2^(1/2), Inf)
 Dom::Interval(-2^(1/2), 0)