sympy atan未返回确切值

Question

通过sympy运行时，以下输入

atan(2+sqrt(3))

不返回

5π/12

代替

1.30899693899575

为什么？

Answer 1

如果您怀疑结果可以用pi表示，则可以尝试nsimplify并以pi作为常数。

>>> nsimplify(atan(sqrt(3) + 2), [pi])
5*pi/12

顺便说一句，通过查看其eval方法的源代码，您可以看到任何trig函数可以识别哪些特殊值。