第14讲 线性方程组

14.1 消元解法 • 增广矩阵 ○ 系数矩阵+常数列 • 简化阶梯形 ○ 阶梯形 ○ 非零首元都是1 ○ 首元上下都为零 • 例1：有一组解 ○ {█(2x_1+2x_2−x_3=6@x_1−2x_2+4x_3=3@5x_1+7x_2+x_3=28)┤⇒{█(2x_1+2x_2−x_3=6@−3x_2+9/2 x_3=0@2x_2+7/2 x_3=13)┤⇒{█(2x_1+2x_2−x_3=6@x_2−3/2 x_3=0@13/2 x_3=13)┤⇒{█(x_1=1@x_2=3@x_3=2)┤ ○ (■8(2&2&−1&6@1&−2&4&3@5&7&1&28))⇒(■8(2&2&−1&6@0&−3&9/2&0@0&2&7/2&13))⇒(■8(2&2&−1&6@0&1&−3/2&0@0&0&13/2&13))⇒(■8(1&0&0&1@0&1&0&3@0&0&1&2)) • 例2：无穷多解 ○ {█(2x_1−x_2+3x_3=1@4x_1−2x_2+5x_3=4@2x_1−x_2+4x_3=−1)┤⇒{█(2x_1−x_2+3x_3=1@−x_3=2@x_3=−2)┤⇒{█(2x_1−x_2+3x_3=1@x_3=−2@0=0)┤⇒{█(x_1=7/2+1/2 x_2@x_3=−2)┤ ○ (■8(2&−1&3&1@4&−2&5&4@2&−1&4&−1))⇒(■8(2&−1&3&1@0&0&−1&2@0&0&1&−2))⇒(■8(2&−1&3&1@0&0&1&−2@0&0&0&0)) • 例3：无解 ○ {█(x_1+x_2+x_3=3@x_1+2x_2+x_3=4@x_1+x_3=1)┤⇒{█(x_1+x_2+x_3=3@x_2=1@−x_2=−2)┤⇒{█(x_1+x_2+x_3=3@x_2=1@0=−1)┤ ○ (■8(1&1&1&3@1&2&1&4@1&0&1&1))⇒(■8(1&1&1&3@0&1&0&1@0&−1&0&−2))⇒(■8(1&1&1&3@0&1&0&1@0&0&0&−1)) 14.2 解的情况 • 方程组{█(c_11 x_1+c_12 x_2+…+c_1n x_n=d_1@ c_22 x_2+…+c_2n x_n=d_2@ ⋮@ c_rr x_r+…+c_rn x_n=d_r@ 0=d_(r+1)@ 0=0@ ⋮@ 0=0)┤⇒(■(c_11&c_12&…&…&c_1n@&c_22&…&…&c_2n@&&…&…&⋮@&&c_rr&…&c_rn@&&&&0@&&&&0) │■8(d_1@d_2@⋮@d_r@d_(r+1)@0)) 解的情况 1. 若 d_(n+1)≠0⇒无解 § 0=d_(r+1)≠0 矛盾 2. 若 d_(n+1)=0 且 r=n⇒唯一解 § {█(c_11 x_1+c_12 x_2+…+c_1n x_n=d_1@ c_22 x_2+…+c_2n x_n=d_2@⋮@ c_nn x_n=d_n )┤ § 从后往前解出后代入可以求得{█(x_n=d_n/c_nn @x_(n−1)=…@⋮@x_1=…)┤ 3. 若 d_(n+1)=0 且 r<n⇒无穷多组解 § {█(c_11 x_1+c_12 x_2+…+c_1n x_n=d_1@ c_22 x_2+…+c_2n x_n=d_2@ ⋮@ c_rr x_r+…+c_rn x_n=d_r@ 0=0)┤ § ⇒{█(c_11 x_1+c_12 x_2+…+c_1r x_r=d_1−c_1n x_n…@⋮@c_rr x_r=d_r−c_rn x_n…)┤，即等式右边均为自由变量 • 用矩阵的秩来表示解的情况 ○ 对于 Ax ⃗=b ⃗，构造增广矩阵 (A,b ⃗ ) ○ 无解 § r(A,b)≠r(A)⇔r(A,b)>r(A)⇔r(A,b)=r(A)+1 ○ 有解 § r(A,b)=r(A) ○ 唯一解 § r(A,b)=r(A)=n ○ 无穷多组解 § r(A,b)=r(A)<n • 齐次线性方程组 Ax ⃗=0 ⃗ ○ 齐次线性方程组一定有零解，故只讨论两种解的情况 ○ 定理1 § 有非零解⇔无穷多解⇔r(A)<n § 只有零解⇔有唯一解⇔r(A)=n ○ 定理2 § 如果方程个数少于未知数个数，则有非零解 § 证明：将方程个数记为 m，则有 r(A)<m<n