定理一
n
n
n元齐次
线性方程组
A
m
×
n
x
=
0
A_{m\times n}x=0
Am×nx=0有非零解
的充分必要条件是系数矩阵的秩
R
(
A
)
<
n
R(A)<n
R(A)<n.当
R
(
A
)
=
n
R(A)=n
R(A)=n时(即
A
A
A满秩),只有零解.
定理二
n
n
n元非齐次
线性方程组
A
m
×
n
x
=
b
A_{m\times n}x=b
Am×nx=b有解
的充分必要条件是系数矩阵
A
A
A的秩等于增广矩阵
B
=
(
A
,
b
)
B=(A,b)
B=(A,b)的秩.
小结
R ( A ) < R ( B ) ⟺ A x = b 无 解 R ( A ) = R ( B ) = n ⟺ A x = b 有 唯 一 解 R ( A ) = R ( B ) < n ⟺ A x = b 有 无 穷 多 解 R(A)<R(B) \Longleftrightarrow Ax=b无解 \\ R(A)=R(B)=n\Longleftrightarrow Ax=b有唯一解 \\ R(A)=R(B)<n\Longleftrightarrow Ax=b有无穷多解 R(A)<R(B)⟺Ax=b无解R(A)=R(B)=n⟺Ax=b有唯一解R(A)=R(B)<n⟺Ax=b有无穷多解
齐次线性方程组
:系数矩阵化成行最简形矩阵,便可写出其通解;
非齐次线性方程组
:增广矩阵化成行阶梯形矩阵,便可判断其是否有解.若有解,化成行最简形矩阵,便可写出其通解;
解法
A
x
=
b
\boldsymbol{Ax}=\boldsymbol{b}
Ax=b
A
=
[
l
a
11
a
12
⋯
a
1
n
a
21
a
22
⋯
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
⋯
a
n
n
]
,
x
=
[
x
1
x
2
⋮
x
n
]
,
b
=
[
b
1
b
2
⋮
b
n
]
\boldsymbol{A}=\left[ \begin{matrix}{l} a_{11}& a_{12}& \cdots& a_{1n}\\ a_{21}& a_{22}& \cdots& a_{2n}\\ \vdots& \vdots& \ddots& \vdots\\ a_{n1}& a_{n2}& \cdots& a_{nn}\\ \end{matrix} \right] ,\,\,\boldsymbol{x}=\left[ \begin{array}{c} x_1\\ x_2\\ \vdots\\ x_n\\ \end{array} \right] ,\,\,\boldsymbol{b}=\left[ \begin{array}{c} b_1\\ b_2\\ \vdots\\ b_n\\ \end{array} \right]
A=⎣⎢⎢⎢⎡la11a21⋮an1a12a22⋮an2⋯⋯⋱⋯a1na2n⋮ann⎦⎥⎥⎥⎤,x=⎣⎢⎢⎢⎡x1x2⋮xn⎦⎥⎥⎥⎤,b=⎣⎢⎢⎢⎡b1b2⋮bn⎦⎥⎥⎥⎤
建立增广矩阵:
A
ˉ
=
[
A
b
]
=
[
a
11
a
12
⋯
a
1
n
b
1
a
21
a
22
⋯
a
2
n
b
2
⋮
⋮
⋱
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
b
n
]
\boldsymbol{\bar{A}}=\left[ \begin{matrix} \boldsymbol{A}& \boldsymbol{b}\\ \end{matrix} \right] =\left[ \begin{matrix} a_{11}& a_{12}& \cdots& a_{1n}& b_1\\ a_{21}& a_{22}& \cdots& a_{2n}& b_2\\ \vdots& \vdots& \ddots& \vdots& \vdots\\ a_{n1}& a_{n2}& \cdots& a_{nn}& b_n\\ \end{matrix} \right]
Aˉ=[Ab]=⎣⎢⎢⎢⎡a11a21⋮an1a12a22⋮an2⋯⋯⋱⋯a1na2n⋮annb1b2⋮bn⎦⎥⎥⎥⎤
若能将增广矩阵
A
ˉ
\boldsymbol{\bar{A}}
Aˉ做初等行变换化为如下形式的梯形矩阵:
[
1
ξ
1
1
ξ
2
⋱
⋮
1
ξ
n
]
\left[ \begin{matrix} 1& & & & \xi _1\\ & 1& & & \xi _2\\ & & \ddots& & \vdots\\ & & & 1& \xi _n\\ \end{matrix} \right]
⎣⎢⎢⎢⎡11⋱1ξ1ξ2⋮ξn⎦⎥⎥⎥⎤
则
ξ
1
,
ξ
2
,
⋯
ξ
n
即为方程组的解
\text{则}\xi _1,\xi _2,\cdots \xi _n\text{即为方程组的解}
则ξ1,ξ2,⋯ξn即为方程组的解