方程組與不等式組

相容方程組

相容方程組是指其所有要求都能被滿足的方程組——這些方程彼此足夠融洽,存在某種變量賦值能同時討好它們每一個。簡單地說,相容方程組至少有一個解。

從幾何上看,相容意味著圖像確實至少共有一個點。對兩條直線而言,這發生在它們相交時(給出恰好一個解),或它們重合為同一條直線時(給出無窮多解)。相容並不保證唯一答案;它只保證答案存在。

相反的情形是矛盾方程組,其中方程彼此抵觸,沒有任何賦值能滿足全部——好比同時要求 x + y = 1 與 x + y = 4。所以「相容」是可解與不可能之間的分界線:在相容方程組之中,進一步又分為獨立(一個解)與相依(無窮多解)。

方程組 x + y = 5、x − y = 1 是相容的:它有解 (3, 2)。它同時是獨立的,因為該解唯一。

相容 = 至少存在一個解。

又稱
solvable system有解方程组有解方程組