求解具有非固定系数的线性方程组
Solve a linear equation system with non fixed coefficients
我正在寻找一个库，它可以为系数不固定的二次线性方程组提供封闭形式的解。即：
x1 + 1*x2 = a1
x1 - a2*x1 = 0
其中x1和x2是变量，a1和a2是系数。这个系统的解决方案是
x1 = (a1*a2)/(1+a2)
x2 = a1/(1+a2)
是否有任何语言的库可以自动解决这个问题？我找到的所有库都只适用于固定系数。
如有任何提示，我们将不胜感激。
你不需要符号代数。对解使用行列式公式，一个行列式在分子中，另一个在分母中。它们中的每一个都是a和b中的二次形式。这同样适用于 n 个未知数的 n 个线性方程，但它们中的每一个都是 n 形式。
我了解到您只需要 n=2 的解决方案。这是：
x1 = (b1 a22 - b2 a12) / (a11 a22 - a21 a12)
x2 = (a11 b2 - a21 b1) / (a11 a22 - a21 a12)
我正在寻找一个库，它可以为系数不固定的二次线性方程组提供封闭形式的解。即：
x1 + 1*x2 = a1
x1 - a2*x1 = 0
其中x1和x2是变量，a1和a2是系数。这个系统的解决方案是
x1 = (a1*a2)/(1+a2)
x2 = a1/(1+a2)
是否有任何语言的库可以自动解决这个问题？我找到的所有库都只适用于固定系数。 如有任何提示，我们将不胜感激。
你不需要符号代数。对解使用行列式公式，一个行列式在分子中，另一个在分母中。它们中的每一个都是a和b中的二次形式。这同样适用于 n 个未知数的 n 个线性方程，但它们中的每一个都是 n 形式。
我了解到您只需要 n=2 的解决方案。这是：
x1 = (b1 a22 - b2 a12) / (a11 a22 - a21 a12)
x2 = (a11 b2 - a21 b1) / (a11 a22 - a21 a12)