Question

我想在y = (x+1)**3 - 2中同意x来寻找其反函数。
我尝试使用solve，但我得不到我的预期。

这是我在cmd中的IPython控制台中编写的内容（Python 3.5.2上的sympy 1.0）：

In [1]: from sympy import *
In [2]: x, y = symbols('x y')
In [3]: n = Eq(y,(x+1)**3 - 2)
In [4]: solve(n,x)
Out [4]: 
[-(-1/2 - sqrt(3)*I/2)*(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/3 - 1,
 -(-1/2 + sqrt(3)*I/2)*(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/3 - 1,
 -(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/3 - 1]

我在查看Out [4]列表中的最后一个元素，但它不等于x = (y+2)**(1/3) - 1（我期待的那样）。
为什么sympy会输出错误的结果，我该怎样做才能让sympy输出我想要的解决方案呢？

我尝试使用solveset，但结果与使用solve相同。

In [13]: solveset(n,x)
Out[13]: {-(-1/2 - sqrt(3)*I/2)*(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/
3 - 1, -(-1/2 + sqrt(3)*I/2)*(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/3 -
 1, -(-27*y/2 + sqrt((-27*y - 54)**2)/2 - 27)**(1/3)/3 - 1}

Answer 1

Sympy给出了正确的结果：你的上一个结果相当于（y + 2）**（1/3） - 1。

您要找的是simplify：

>>> from sympy import symbols, Eq, solve, simplify
>>> x, y = symbols("x y")
>>> n = Eq(y, (x+1)**3 - 2)
>>> s = solve(n, x)
>>> simplify(s[2])
(y + 2)**(1/3) - 1

编辑：使用sympy 0.7.6.1，更新到1.0后，它不再起作用了。

Answer 2

如果您声明x和y是肯定的，那么只有一个解决方案：

import sympy as sy
x, y = sy.symbols("x y", positive=True)
n = sy.Eq(y, (x+1)**3 - 2)
s = sy.solve(n, x)
print(s)

产量

[(y + 2)**(1/3) - 1]

我怎样才能在同情的情况下解决y =（x + 1）** 3 -2？

2 个答案: