相容方程组

相容方程组是指其所有要求都能被满足的方程组——这些方程彼此足够融洽，存在某种变量赋值能同时讨好它们每一个。简单地说，相容方程组至少有一个解。

从几何上看，相容意味着图像确实至少共有一个点。对两条直线而言，这发生在它们相交时（给出恰好一个解），或它们重合为同一条直线时（给出无穷多解）。相容并不保证唯一答案；它只保证答案存在。

相反的情形是矛盾方程组，其中方程彼此抵触，没有任何赋值能满足全部——好比同时要求 x + y = 1 与 x + y = 4。所以“相容”是可解与不可能之间的分界线：在相容方程组之中，进一步又分为独立（一个解）与相依（无穷多解）。