Sympy 解决方法是错误的

Question

from sympy import *

from sympy.abc import x

f = x**3 - 3*x + 1

print(solve(f))

然而，它给出了虚数单位的错误答案。通过

subs

检查也不会返回 0

我查过类似的问题，但没有找到解决方案

Answer 1

您得到的结果是 sympy 可以找到的最接近的多项式解。 @lastchance 在他的评论中指出了一个使用三角学的优雅解决方案（这是找到此问题的精确解决方案的唯一方法）。但 sympy 不支持三角问题。