如何使用Python的SymPy库求解方程组？

嘿，这事儿用SymPy来做其实非常直观，我给你一步步演示怎么搞定这个示例：

步骤1：导入必要的SymPy模块 #

首先得把SymPy里需要的工具导进来，包括定义符号的symbols、创建等式的Eq，还有核心的求解函数solve。

步骤2：定义符号变量 #

SymPy是符号计算库，所以得先声明我们要用到的变量x和y，告诉程序这两个是符号，不是普通的数值变量。

步骤3：写出方程组 #

把你的两个方程用Eq函数表示出来，Eq(a, b)就代表数学里的a = b。

步骤4：调用求解函数 #

用solve函数传入方程组和要解的变量，就能得到结果了。

下面是完整的代码示例：

# 导入SymPy的核心工具
from sympy import symbols, Eq, solve

# 定义符号变量x和y
x, y = symbols('x y')

# 定义两个方程
equation1 = Eq(y, x**2)
equation2 = Eq(x, 2)

# 求解方程组，指定求解x和y
solutions = solve((equation1, equation2), (x, y))

# 打印结果
print(solutions)

运行这段代码后，你会得到输出{(2, 4)}，这表示x=2，y=4，正好是你要的解。

小补充：简化写法 #

如果你觉得用Eq有点麻烦，也可以直接把方程整理成“表达式等于0”的形式传给solve，比如：

solutions = solve([y - x**2, x - 2], [x, y])

这样得到的结果是一样的，因为SymPy默认会把传入的表达式当作等于0来处理。

如果你的方程组有多个解，SymPy也会把所有可能的解都返回给你，非常方便～

内容的提问来源于stack exchange，提问作者Felipe César Bronstrup