三元一次方程组计算器

三元一次方程组的标准解法是消元：把一个未知数从两个方程中消去，化为二元方程组，再消一次得一元方程。x+y+z=6、2x−y+z=3、x+2y−z=2 消元后得 z=3，回代得 y=2、x=1。

解的三种情形：唯一解（系数行列式 ≠ 0）、无解（矛盾方程）、无穷多解（方程线性相关）。高斯消元把增广矩阵化为阶梯形，一眼看出属于哪种——这也是计算机解线性方程组的标准算法。

三元一次方程组的几何图像是「三个平面的关系」：每个方程 ax+by+cz = d 是空间中的一个平面，方程组的解就是三平面的公共点。三平面交于一点（唯一解）、交于一条直线（无穷多解）、两两平行或交线平行（无解）——解的三种情形对应着平面位置关系的三种格局。这个图像比代数分类更直观，也是理解「为什么行列式 D=0 时没有唯一解」的钥匙：D=0 意味着三平面法向量共面，失去了交出唯一点的能力。

消元法的战术是「降维打击」：三元消成二元，二元消成一元，逐个击破再回代。具体操作是选准一个目标未知数（通常选系数最简单或出现次数最少的），用两个方程配对消去它，得到二元方程组；再消一次得一元方程。解出后逆序回代：把已知的元代入上一层方程求下一个。整个过程和克拉默法则是同一问题的两副面孔——消元是过程，克拉默是把过程压缩成的公式。

克拉默法则用行列式给出显式解：x = Dₓ/D、y = D_y/D、z = D_z/D，其中 D 是系数行列式，Dₓ 是把 D 的 x 列换成常数列。它的价值在理论（一眼看出「D≠0 则唯一解」）和小规模计算，实际手算 4 个三阶行列式并不比消元省力。工程与编程场景的标准做法是高斯消元——把增广矩阵化为上三角再回代，这套流程就是消元法的矩阵化书写，也是 numpy.linalg.solve 背后的算法。