如何使用Sympy求解含≠（不等于）符号的代数方程？

SymPy没有内置名为not_equal()的方法，你给出的示例代码无法直接运行，但求解带≠约束的代数问题完全可以实现，核心思路是做等价转换：

• 所有A ≠ B的约束，本质等价于在变量定义域内，排除掉A = B成立的所有特解后剩下的全部取值，不需要依赖专门的不等于求解接口。

以求解2 - x ≠ 3为例，有两种常用实现方式：

方法1：先求等号特解再排除 #

先通过常规solve接口算出等号成立的解，再做排除即可，代码简单直观：

from sympy import symbols, solve, Eq

x = symbols('x')
# 先计算等号成立时的x取值
equal_root = solve(Eq(2 - x, 3), x)[0]
print(f"不等式2-x≠3的解为：x ≠ {equal_root}")

运行输出：

不等式2-x≠3的解为：x ≠ -1

方法2：用解集集合运算求严格结果 #

如果需要严格的数学解集形式，可以用solveset模块做集合补集运算，适合复杂约束场景：

from sympy import symbols, solveset, Reals

x = symbols('x')
# 实数域内，减去等号成立的解集合，即为不等于约束的解集
neq_solution = Reals - solveset(2 - x - 3, x, domain=Reals)
print(neq_solution)

运行输出：

ℝ \ {-1}

也就是全体实数去掉x=-1的点，和预期结果完全一致。

注意：不要尝试自定义not_equal类直接传入solve()，solve本身的设计是处理等式、序关系不等式（>、<、≥、≤），≠的本质是集合补运算，用上述两种转换方式实现是最稳定、符合SymPy设计逻辑的方案。

内容的提问来源于stack exchange，提问作者Mr. Hussain AL Hussaini