方程组符号解：sympy如何解决复杂方程

在sympy中求解复杂符号方程组时，需要考虑如何将方程中的符号变量代入到函数中。

对于给定的方程组：

eq(y_1(m), y_2(n))
eq(y_2(t), 0)

其中y_1和y_2是使用function类表示的函数，而x_1, x_2, m, n, t和k是符号变量。

为了将kx_1 + b和kx_2代入到函数y_1和y_2中，我们可以使用sympy的subs方法。该方法允许将指定变量替换为其他表达式。

例如，我们可以定义函数y_1和y_2如下：

y1 = k*x1 + b
y2 = k*x2

然后，我们可以使用subs方法将m和n分别代入y_1和y_2中：

eq1 = y1.subs(x1, m) + m - y2.subs(x2, n)
eq2 = y2.subs(x2, t) + t

最后，我们可以使用sympy的solve函数求解方程组：

sol = sympy.solve([eq1, eq2, y1-k*x1-b, y2-k*x2], [k, b])

# 打印k和b的解
print(f"k = {sol[k]}")
print(f"b = {sol[b]}")

这样，我们便可得到方程组的符号解k和b的值。