同学,这种的不一定的,你问这种问题最好把式子附上,多贴几行语句又不会少块肉……如果是显式的符号表达式的话,那么一般使用FullSimplify在一定条件下进行化简可以达到目的,一个简单的例子:
FullSimplify[Exp[x] 0, x #92;[Element] Reals]
(*True*)
对于更复杂的情形,比如一些插值函数式,以上方法会失效,这种时候一个可行的(同时它也适用于上面的情形)方法是用MinValue,一个简单的例子:
MinValue[x^2 + 1, x] = 0
(*True*)