sympy - 使用 sympy 求解指数方程？

Question

我想使用 sympy 求解以下简单方程

2^(x-y)=1

其中 x 和 y 是 +ve 整数

我的预期结果是

x=y

当我尝试使用 sympy 求解时

x = Symbol('x')
y = Symbol('y')
solve(2**(x-y)-1, x)

我得到以下结果

[log(2**y)/log(2)]

我必须遵循哪些额外步骤才能获得预期结果

Answer 1

由于对数和指数对于复数来说很棘手，因此变量应该声明为实数。在复数中，2^(x-y)=1 并不意味着 x=y。

from sympy import *
x,y = symbols('x,y', real=True)
solve(2**(x-y)-1, x)[0]

结果:y

(相关函数: expand_log ，尽管本例中不需要。)