如何使用mathematica判定含有變量的不等式的真假?
如題,舉例來說：
yan[x_] = x^2; TrueQ[yan[x] > -1]
yan[x] > -1　這個不等式按理來說應(yīng)該是在全定義域上都是真的,可是TrueQ無法返回True,因為它只當(dāng)它是個符號式,所以沒法正確判斷.對于這個情況應(yīng)該怎么解決?這里舉的例子是比較簡單,但是,如果不等式里含的式子十分復(fù)雜,以致于不知道它的解析式時呢?比如插值函數(shù)InterpolatingFunction之類的?
實際上我面對的是一個含插值函數(shù)的不等式：
yan = FunctionInterpolation[Sin[x],{x,-Pi,Pi}]
FullSimplify[yan[x] > -1,0 < x < 1]
我所期待的當(dāng)然是得出一個True的輸出——實際上這個不等式是用來做個循環(huán)的條件的。
-------------------------------
我找到解法了，使用MinValue就可以了。不過還是要謝謝yang_bigarm。