Sympy无法简化正弦欧拉公式

Question

为什么它不能简化为零？ 余弦函数似乎起作用。为什么？

from sympy import *

 x = Symbol("x")
expr = (1/(2*I)) * (E**(I*x) - E**(-I*x))
print(simplify(expr - sin(x)))

- user9730851

---

@prgrm 这似乎是一个关于Sympy简化能力的合理问题。 - ptb

Answer 1

Sympy的简化程序必须使用启发式方法，因此您需要给它们一些提示。在这种情况下，您可以告诉Sympy将所有内容重写为指数形式：

simplify((expr - sin(x)).rewrite(exp)) # 0

- llf