python - sympy.simplify 不适用于 "tanh^2(x-y) + sech^2(x-y)"

Question

我使用 sympy (ver1.9)。

我通过sympy.simplify() 计算了以下表达式((1)~(4))。预计所有这些在分析上都与 1 相同。

但是(4)没有返回1，表达式没有简化。

为什么会这样？

Answer 1

尝试重写为 exp 然后简化:

>>> eq=tanh(x-y)**2 + sech(x-y)**2
>>> eq.rewrite(exp).simplify()
1

或者在简化之前使用函数将双曲线重写为三角函数，例如与福:

>>> from sympy.simplify.fu import hyper_as_trig
>>> e,f=hyper_as_trig(eq)
>>> f(fu(e))
1

另请参阅 simplify/fu.py 中的 hyper_as_trig。