各位大大好
我现在输入
In:Reduce[ 1 - 3 s^2 + (1 + s^2) Cosh[s] < 0, s]
Out:False
想请问说Reduce是怎么说明这个不等式是错的?
他的原理是什么?
谢谢

Plot[1 - 3 s^2 + (1 + s^2) Cosh[s], {s, -10, 10}]这方程式好像根本就是正的耶

所以它是用图看吗@@? 可是看图应该不是一个好方法吧@@?我知道是正的 我想要知道软件中是怎么解的~

一个简单的方法是用Taylor series去夹,当展到quarticterm时就可以看出来这个system没有实根不过我不知道mathematica的reduce是如何implement的刚好找到一个反例证明Reduce不是用Taylor series来解64-3s^4+(2s^2)(Cos[s]+2)Cosh[s]>0可以用误差估计证明,却不能用Reduce解,所以Reduce应该是用别种方法

谢谢楼上提供我一个想法~

Amiba: Reduce应该都用Real Polynomial System那套MMA官网文件有写, keyword就是那个

谢谢楼上!