Resolve证明函数的单调性出错，不知道什么原因
mathematica吧
全部回复
仅看楼主
level 1
emfstudy
楼主
证明f(x)在大于零的区间内单调增：
f[x_] = x + Log[x]
Resolve[ForAll[{a, b}, a > b && a > 0 && b > 0, f[a] > f[b]], Reals]
输入以上命令，没有得到结果。应该输出True的。不知道什么原因？
2021年11月24日 03点11分
1
吧务
level 15
xzcyr
Resolve是符号求解的重灾区之一……不过你这个问题可以直接用
FunctionMonotonicity[{f[x], x > 0}, x]
个人感觉 Resolve 会失败可能是因为 FunctionMonotonicity 比较新所以相应的东西还没整合进 Resolve 里面……
2021年12月04日 04点12分
2
1
