MATLAB是无法证明y总是大于或等于0,因为y并不总是大于或等于0。这里有一个例子:
x = 1;
y = x ^ 2
y > = 0%真实
这是一个情况不是这样的。
x = 1;
y = x ^ 2
y > = 0%假
如果你告诉MATLAB x是真实的,它将帮助。
信谊x真实
y = x ^ 2
总(y > = 0)
