非齐次线性方程组的一般形式为
a₁1x₁ + a₁2x₂ + … + a₁nxₙ = b₁, a₂1x₁ + a₂2x₂ + … + a₂nxₙ = b₂, vdots aₘ1x₁ + aₘ2x₂ + … + aₘnxₙ = bₘ. (5.7)记
A = a₁1 & a₁2 & … & a₁n a₂1 & a₂2 & … & a₂n vdots & vdots & & vdots aₘ1 & aₘ2 & … & aₘn , x = x₁ x₂ vdots xₙ , b = b₁ b₂ vdots bₘ .常把上述非齐次线性方程组简写成
Ax = b. (5.8)把 A 看作由列向量组构成的矩阵,设 A = (α₁, α₂, …, αₙ),则方程组 (5.7) 也可写成向量形式:
x₁α₁ + x₂α₂ + … + xₙαₙ = b. (5.9)A 称为线性方程组的系数矩阵,分块矩阵 B = (A | b) 称为 Ax = b 的增广矩阵。
满足 Aη = b 的 n 维列向量 η 称为 Ax = b 的解向量,可简称为它的解。若方程组有解,则称它是相容的;否则,称它是不相容的。
非齐次线性方程组未必有解,所以首先要讨论它何时有解?在确定它有解以后,再讨论它何时有唯一解?何时有无穷多个解?
一、非齐次线性方程组有解的判别定理
Section titled “一、非齐次线性方程组有解的判别定理”n 元非齐次线性方程组 Ax = b 有解的充分必要条件是:它的系数矩阵 A 的秩等于它的增广矩阵 B 的秩,即
r(A) = r(B).证明
必要性:若 Ax = b 有解,则式 (5.9) 成立,这表明 b 能由向量组 {α₁, α₂, …, αₙ} 线性表出,从而向量组 {α₁, α₂, …, αₙ} 和 {α₁, α₂, …, αₙ, b} 等价。A 的列秩等于 B 的秩,故 r(A) = r(B)。
充分性:若 A 的秩与 B 的秩相等,即 A 的列向量组的极大无关组也是 B 的列向量组的极大无关组,则 b 可由 A 的列向量组的极大无关组线性表出,因而可由 A 的 n 个列向量线性表出,有如 (5.9) 的表示式,故 Ax = b 有解。
在非齐次线性方程组 Ax = b 中令 b = 0 得到的齐次线性方程组 Ax = 0,称为与 Ax = b 对应的齐次方程组,或者称为方程组 Ax = b 的导出组。
二、非齐次线性方程组解的性质与结构定理
Section titled “二、非齐次线性方程组解的性质与结构定理”如果 η₁, η₂ 是非齐次线性方程组 Ax = b 的解,则 ξ = η₁ - η₂ 是 Ax = 0 的解。
证
因为 Aη₁ = b, Aη₂ = b,所以有
Aξ = A(η₁ - η₂) = Aη₁ - Aη₂ = b - b = 0.即 ξ = η₁ - η₂ 是 Ax = 0 的解。
如果 η 是非齐次线性方程组 Ax = b 的解,ξ 是 Ax = 0 的解,则 ξ + η 必是 Ax = b 的解。
证
由 Aξ = 0, Aη = b 得
A(ξ + η) = Aξ + Aη = 0 + b = b.即 ξ + η 是 Ax = b 的解。
设非齐次线性方程组 Ax = b 有解,则它的一般解(通解)为
x = ξ + η^*,其中 η^* 是 Ax = b 的一个特解,ξ 是对应的齐次方程组 Ax = 0 的一般解。
证明
由性质4 知,ξ + η^* 是 Ax = b 的解。
设 x 是方程组 Ax = b 的任一解,由性质3 知 x - η^* 是齐次方程组 Ax = 0 的解,设 x - η^* = ξ,于是就有 x = ξ + η^*。
设 m × n 矩阵 A 的秩是 r,齐次方程组 Ax = 0 的一个基础解系为 {ξ₁, ξ₂, …, ξₙ-r},则 Ax = 0 的通解为
ξ = k₁ξ₁ + k₂ξ₂ + … + kₙ-rξₙ-r,从而非齐次线性方程组 Ax = b 的一般解为
η = η^* + k₁ξ₁ + k₂ξ₂ + … + kₙ-rξₙ-r. (5.10)式 (5.10) 即为非齐次线性方程组 Ax = b 的通解。η^* 为 Ax = b 的一个特解。
非齐次线性方程组 Ax = b 解的情形归纳如下:
- 若 r(A) ≠ r(B),则方程组 Ax = b 无解;
- 若 r(A) = r(B) = r,则方程组 Ax = b 有解:
- 当 r = n 时,方程组 Ax = b 有唯一解;
- 当 r < n 时,方程组 Ax = b 有无穷多个解,其通解为式 (5.10)。
三、非齐次线性方程组的求解方法与例题
Section titled “三、非齐次线性方程组的求解方法与例题”非齐次线性方程组 Ax = b 的求通解方法:只用初等行变换把增广矩阵 B = (A | b) 化成行最简形矩阵 (T | d),写出等价的方程组 Tx = d,求出其通解,此即 Ax = b 的通解。
求线性方程组
x₁ + 2x₂ - x₃ + 3x₄ + x₅ = 2, -x₁ - 2x₂ + x₃ - x₄ + 3x₅ = 4, 2x₁ + 4x₂ - 2x₃ + 6x₄ + 3x₅ = 6的通解。
解
同解方程组为
x₁ = 3 - 2x₂ + x₃, x₄ = -1, x₅ = 2.取 x₂ = x₃ = 0 得到一个特解:
η^* = 3 0 0 -1 2 .导出组为
x₁ = -2x₂ + x₃, x₄ = 0, x₅ = 0.可取基础解系
ξ₁ = -2 1 0 0 0 , ξ₂ = 1 0 1 0 0 .于是求得原方程组的通解
η = η^* + k₁ξ₁ + k₂ξ₂, k₁, k₂ 为任意实数.求非齐次线性方程组的特解的方法是任意的,最方便的方法是把自由未知量的值都取为零。
求解方程组
x₁ - 2x₂ + 2x₃ - x₄ = 1, 2x₁ - 4x₂ + 8x₃ = 2, -2x₁ + 4x₂ - 2x₃ + 3x₄ = 3, 3x₁ - 6x₂ - 6x₄ = 4.解
因此,r(A) = 2, r(B) = 3, r(A) ≠ r(B),故方程组无解。
求下面的非齐次线性方程组的通解:
x₁ + x₂ + x₃ + x₄ + x₅ = 2, 2x₁ + 3x₂ + x₃ + x₄ - 3x₅ = 0, x₁ + 2x₃ + 2x₄ + 6x₅ = 6, 4x₁ + 5x₂ + 3x₃ + 3x₄ - x₅ = 4.解
得同解方程组
x₁ = -2x₃ - 2x₄ - 6x₅ + 6, x₂ = x₃ + x₄ + 5x₅ - 4, x₃ = x₃, x₄ = x₄, x₅ = x₅.通解为
x₁ x₂ x₃ x₄ x₅ = k₁ -2 1 1 0 0 + k₂ -2 1 0 1 0 + k₃ -6 5 0 0 1 + 6 -4 0 0 0 ,其中 k₁, k₂, k₃ 为任意的实数。
参数 λ 为何值时,非齐次线性方程组
λ x₁ + x₂ + x₃ = 1, x₁ + λ x₂ + x₃ = λ, x₁ + x₂ + λ x₃ = λ²无解?有唯一解?有无穷多个解?并求出它的通解。
解
因为方程个数与未知量个数相同,所以可以考察系数矩阵 A 是不是可逆矩阵。
|A| &= λ & 1 & 1 1 & λ & 1 1 & 1 & λ = (λ + 2) 1 & 1 & 1 1 & λ & 1 1 & 1 & λ &= (λ + 2) 1 & 1 & 1 0 & λ - 1 & 0 0 & 0 & λ - 1 = (λ + 2)(λ - 1)².(1) 当 λ = -2 时,只用初等行变换把增广矩阵化成行阶梯形矩阵:
B = -2 & 1 & 1 & 1 1 & -2 & 1 & -2 1 & 1 & -2 & 4 → 1 & -2 & 1 & -2 0 & -3 & 3 & -3 0 & 0 & 0 & 3 .因为 r(A) = 2, r(B) = 3, r(A) ≠ r(B),所以方程组无解。
(2) 当 λ = 1 时,
B = 1 & 1 & 1 & 1 1 & 1 & 1 & 1 1 & 1 & 1 & 1 → 1 & 1 & 1 & 1 0 & 0 & 0 & 0 0 & 0 & 0 & 0 .r(A) = r(B) = 1,方程组有无穷多个解。同解方程组是
x₁ + x₂ + x₃ = 1,有两个自由未知量。可取特解
η^* = 1 0 0 .它的导出组 x₁ + x₂ + x₃ = 0 的基础解系可以取为
ξ₁ = -1 1 0 , ξ₂ = -1 0 1 .所以线性方程组的通解为
η = η^* + k₁ξ₁ + k₂ξ₂, k₁, k₂ 为任意实数.(3) 当 λ ≠ 1 且 λ ≠ -2 时,A 是可逆矩阵。线性方程组 Ax = b 必有唯一解。为了求出唯一解,可以用初等行变换把增广矩阵化成行最简形矩阵。注意到 λ - 1 ≠ 0, λ + 2 ≠ 0,有
1 & 1 & λ & λ² 1 & λ & 1 & λ λ & 1 & 1 & 1 &xrightarrow[r₃ - λ r₁]r₂ - r₁ 1 & 1 & λ & λ² 0 & λ - 1 & 1 - λ & λ - λ² 0 & 1 - λ & 1 - λ² & 1 - λ³ &xrightarrow(1)/(λ - 1)r₂ 1 & 1 & λ & λ² 0 & 1 & -1 & -λ 0 & 1 & 1 + λ & 1 + λ + λ² xrightarrowr₃ - r₂ 1 & 1 & λ & λ² 0 & 1 & -1 & -λ 0 & 0 & 2 + λ & 1 + 2λ + λ² &xrightarrow(1)/(λ + 2)r₃ 1 & 1 & λ & λ² 0 & 1 & -1 & -λ 0 & 0 & 1 & a (这里 a = ((λ + 1)²)/(λ + 2)) &xrightarrow[r₂ + r₃]r₁ - (λ + 1)r₃ 1 & 0 & 0 & (λ - a)(λ + 1) 0 & 1 & 0 & a - λ 0 & 0 & 1 & a .于是求出唯一解为
x₁ = (λ + 1)(λ - a) = -(λ + 1)/(λ + 2), x₂ = a - λ = (1)/(λ + 2), x₃ = a = ((λ + 1)²)/(λ + 2).