跳转到内容

5.2 非齐次线性方程组

[美] David C. Lay、Steven R. Lay 等著,刘深泉等译机械工业出版社《线性代数及其应用(原书第5版)》大学本科 · 教材双语助读 (Alt+Y)

非齐次线性方程组的一般形式为

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 “一、非齐次线性方程组有解的判别定理”
定理 2 非齐次线性方程组有解判别定理

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 “二、非齐次线性方程组解的性质与结构定理”
性质 3 解之差为导出组的解

如果 η₁, η₂ 是非齐次线性方程组 Ax = b 的解,则 ξ = η₁ - η₂ 是 Ax = 0 的解。

证

因为 Aη₁ = b, Aη₂ = b,所以有

Aξ = A(η₁ - η₂) = Aη₁ - Aη₂ = b - b = 0.

即 ξ = η₁ - η₂ 是 Ax = 0 的解。

性质 4 特解加导出组的解仍为解

如果 η 是非齐次线性方程组 Ax = b 的解,ξ 是 Ax = 0 的解,则 ξ + η 必是 Ax = b 的解。

证

由 Aξ = 0, Aη = b 得

A(ξ + η) = Aξ + Aη = 0 + b = b.

即 ξ + η 是 Ax = b 的解。

定理 3 非齐次线性方程组通解结构定理

设非齐次线性方程组 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 解的情形归纳如下:

  1. 若 r(A) ≠ r(B),则方程组 Ax = b 无解;
  2. 若 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 的通解。

例 7 求非齐次线性方程组通解

求线性方程组

x₁ + 2x₂ - x₃ + 3x₄ + x₅ = 2, -x₁ - 2x₂ + x₃ - x₄ + 3x₅ = 4, 2x₁ + 4x₂ - 2x₃ + 6x₄ + 3x₅ = 6

的通解。

解
B &= 1 & 2 & -1 & 3 & 1 & 2 -1 & -2 & 1 & -1 & 3 & 4 2 & 4 & -2 & 6 & 3 & 6 xrightarrow[r₃ - 2r₁]r₂ + r₁ 1 & 2 & -1 & 3 & 1 & 2 0 & 0 & 0 & 2 & 4 & 6 0 & 0 & 0 & 0 & 1 & 2 &xrightarrow1/2r₂ 1 & 2 & -1 & 0 & -5 & -7 0 & 0 & 0 & 1 & 2 & 3 0 & 0 & 0 & 0 & 1 & 2 xrightarrow[r₂ - 2r₃]r₁ + 5r₃ 1 & 2 & -1 & 0 & 0 & 3 0 & 0 & 0 & 1 & 0 & -1 0 & 0 & 0 & 0 & 1 & 2 .

同解方程组为

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₂ 为任意实数.
特解选取的自由性

求非齐次线性方程组的特解的方法是任意的,最方便的方法是把自由未知量的值都取为零。

例 8 判定无解

求解方程组

x₁ - 2x₂ + 2x₃ - x₄ = 1, 2x₁ - 4x₂ + 8x₃ = 2, -2x₁ + 4x₂ - 2x₃ + 3x₄ = 3, 3x₁ - 6x₂ - 6x₄ = 4.
解
B &= 1 & -2 & 2 & -1 & 1 2 & -4 & 8 & 0 & 2 -2 & 4 & -2 & 3 & 3 3 & -6 & 0 & -6 & 4 xrightarrow[r₄ - 3r₁, r₃ + 2r₁]r₂ - 2r₁ 1 & -2 & 2 & -1 & 1 0 & 0 & 4 & 2 & 0 0 & 0 & 2 & 1 & 5 0 & 0 & -6 & -3 & 1 &xrightarrow[r₄ + 3r₂, r₃ - r₂]1/2r₂ 1 & -2 & 2 & -1 & 1 0 & 0 & 2 & 1 & 0 0 & 0 & 0 & 0 & 5 0 & 0 & 0 & 0 & 1 xrightarrow[r₄ - r₃]1/5r₃ 1 & -2 & 2 & -1 & 1 0 & 0 & 2 & 1 & 0 0 & 0 & 0 & 0 & 1 0 & 0 & 0 & 0 & 0 .

因此,r(A) = 2, r(B) = 3, r(A) ≠ r(B),故方程组无解。

例 9 五元非齐次线性方程组通解

求下面的非齐次线性方程组的通解:

x₁ + x₂ + x₃ + x₄ + x₅ = 2, 2x₁ + 3x₂ + x₃ + x₄ - 3x₅ = 0, x₁ + 2x₃ + 2x₄ + 6x₅ = 6, 4x₁ + 5x₂ + 3x₃ + 3x₄ - x₅ = 4.
解
B &= 1 & 1 & 1 & 1 & 1 & 2 2 & 3 & 1 & 1 & -3 & 0 1 & 0 & 2 & 2 & 6 & 6 4 & 5 & 3 & 3 & -1 & 4 xrightarrow[r₄ - 4r₁, r₃ - r₁]r₂ - 2r₁ 1 & 1 & 1 & 1 & 1 & 2 0 & 1 & -1 & -1 & -5 & -4 0 & -1 & 1 & 1 & 5 & 4 0 & 1 & -1 & -1 & -5 & -4 &xrightarrow[r₄ - r₂, r₃ + r₂]r₁ - r₂ 1 & 0 & 2 & 2 & 6 & 6 0 & 1 & -1 & -1 & -5 & -4 0 & 0 & 0 & 0 & 0 & 0 0 & 0 & 0 & 0 & 0 & 0 .

得同解方程组

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₃ 为任意的实数。

例 10 含参数非齐次线性方程组分类讨论

参数 λ 为何值时,非齐次线性方程组

λ 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).
共 0 题