同济线性代数：4-1.PPTVIP

§4.1 线性方程组有解的判定定理 n元线性方程组的一般形式为 （4.1.1） 其中 为未知量，m是方程的个 数. 分别称 ， ， 是方程组（4.1.1）的系数矩阵和常数项向量. 令 X =(x1,x2,…,xn)T，则方程组 (4.1.1)可写成矩阵形式 AX=b ， ， 在方程组的系数矩阵最后加上一列常数项，记为 称为方程组的增广矩阵. 显然，一个线性方程组由它的未知量的系数和常数项完全确定，因此一个线性方程组与它的增广矩阵是一一对应的. ， ， 若令 则方程组（4.1.1）可写成向量形式 ， (4.1.2) ， ， 如果用x1=k1,x2=k2, …,xn=kn代入(4.1.1),使方程组的每个方程的左右两边恒等,则称(k1, k2, …, kn)T为方程组的解或称为方程组的解向量，记为 方程组（4.1.1）的全部解称为它的解集合. 若两个方程组的解集合相同,则称它们是同解方程组. 或 ， ， 由(4.1.2)可以看出,若一个线性方程组有解,则其常数项向量可由系数矩阵的列向量a1, a2, …,an线性表出；反之,若一个线性方程组的常数项向量可由系数矩阵的列向量a1, a2, …, an线性表出，则方程组有解，其解正好是该线性组合的系数. 定理4.1.1线性方程组(4.1.1)有解的充分必要条件是 ， ， 证 设线性方程组Ax=b有解，即常数项向量可由它的系数矩阵的列向量 a1, a2, …, an线性表出，从而向量组 { a1, a2, …, an }与向量组{ a1, a2, …, an,b }等价. 所以R{a1, a2, …, an }= R{a1, a2, …, an,b},即 必要性 的列向量组a1,a2, an, …,b ， ， 充分性 设 =r，即R{a1, α2, …, an } =R{a1, a2, …, an ,b}=r .所以A的列向量组a1, a2, …, an的极大线性无关组中含有r个 向量, 不妨设为 由 , 也是 的极大线性无关组,于是b可由 线性表出，即b可由a1, a2, …, an线性表出,从而方程组（4.1.1）有解. 证毕. ， ， 例4.1.1 当λ取何值时有解，取何值时无解？ 讨论线性方程组 ， ， 对方程组的增广矩阵做初等行变换， 当λ=1或λ≠1,-2时, ,方程组有 解;当λ =-2时, ,方程组无 解. 解 则