sympy求解符号方程组：以function定义未知函数
在sympy中，使用function类来表示一个函数。当需要把方程中 (kx_1+b) 和 (kx_2) 代入函数时，可以使用 subs 方法。
import sympy as sym
# 定义符号
k, b, x1, x2, m, n, t = sym.symbols('k b x1 x2 m n t')
# 定义 y1 和 y2 函数
y1 = k*x1 + b
y2 = k*x2
# 将 m 和 n 代入 y1 和 y2
eq1 = y1.subs(x1, m) + m - y2.subs(x2, n)
eq2 = y2.subs(x2, t) + t
# 求解方程组
sol = sym.solve([eq1, eq2, y1-k*x1-b, y2-k*x2], [k, b])
# 打印 k 和 b 的解
print(f"k = {sol[k]}")
print(f"b = {sol[b]}")在上面的代码中：
- eq1 和 eq2 分别表示方程组中的两个方程。
- solve 方法用于求解方程组。由于方程组中含有 y1 和 y2 的定义式，因此需要将它们也作为求解目标。
- sol 是一个包含 k 和 b 解的字典。
