mathematic计算双变量不等式证明时怎样假定其余变量是固定的，即不讨论其余变量的取值问题，谢谢~

点击联系发帖人 时间：2020-02-01 10:01

双变量不等式证明

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

不实际上我在解的问题比这要复杂——双变量不等式证明中含的是一个插值函数。我在顶楼补充丅吧

}

拍照搜题秒出答案，一键查看所有搜题记录

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

不实际上我在解的问题比这要复杂——双变量不等式证明中含的是一个插值函数。我在顶楼补充丅吧

}