线性方程组的定义

xj表未知量，aij称系数，bi称常数项。

称为系数矩阵和增广矩阵。若x1=c1，x2=c2，…，xn=cn代入所给方程各式均成立，则称（c1，c2，…，cn）为一个解。若c1，c2，…，cn不全为0，则称（c1，c2，…，cn）为非零解。若常数项均为0，则称为齐次线性方程组，它总有零解（0，0，…，0）。两个方程组，若它们的未知量个数相同且解集相等，则称为同解方程组。线性方程组主要讨论的问题是：

①一个方程组何时有解。

②有解方程组解的个数。

③对有解方程组求解，并决定解的结构。这几个问题均得到完满解决：所给方程组有解，则秩(A）=秩（增广矩阵）；若秩(A）=秩=r，则r=n时，有唯一解；r<n时，有无穷多解；可用消元法求解。

当非齐次线性方程组有解时，解唯一的充要条件是对应的齐次线性方程组只有零解；解无穷多的充要条件是对应齐次线性方程组有非零解。但反之当非齐次线性方程组的导出组仅有零解和有非零解时，不一定原方程组有唯一解或无穷解，事实上，此时方程组不一定有 ，即不一定有解。

克莱姆法则（见行列式）给出了一类特殊线性方程组解的公式。n个未知量的任一齐次方程组的解集均构成n维空间的一个子空间。