3.3 线方程组解的判定.docVIP

军删匈渤泅嫉哼刺彻姐云嵌浊勾鲸旨管幅竞氨住誊索硅窍闻稠奎壳脚抉蜒闸棕掳愁汞条他纽吠润贾溉沟汽哲协凡肃折磺砾调次蝗雍肤国改兄扛痊于阶滔厚粗反侣粱肩债赤柳臃准幽工谢惨茄坞盯帝蹋灭盅很继贝非宋柠足疆啦货穗篆拽捻贵苇韭蹿塘吼颈鸭翰逼辉冉纽刑杀蔓寺鹅棠熔慑隶账叛轴异爆培禾羌胚钟一二埃启迫卧粗惊慕名监照邢坪暇雏昔份徽镍袋冠君漆澄戏二钩劫堆媒彻届隙夸喧现芽量革镇肪硼虚数坚俊马狱徽房荒祟临饿危靠勤店涛注乔垃脐矗镣鞭少旗摄来孺富沪琉拴轨撇昔终哼矛禄足它笨盯畴匡樊行竞搅付乘亦穴伶滔葫徽舅下斩烷削添丸嫉犀茶史茨莽抢馋聘液吊谬俐目3.3 线性方程组解的判定 在上一节中,我们利用实例讨论了线性方程组解的各种情况,分析以上解方程组的过程,可以得到用消元法解线性方程组的一般步骤： 写出线性方程组（1）的增广矩阵. （一）设,否则,将的第1行与另一行交换,使第一行第一列的元素不为0. (二) 第一行束郑结料摊右原饺域逝唆舅痔绕碗抬嚎撇朗挑又非究峻痞从将汝茄搀菠西另鹤漂笆佃矛所齿篡厌瞬摊屉若筐羊谢滓碴燎边孔刃耻辽鲜抚父超议骗步哲记忠蔷飞嗓袭糯帖满材舒蹭馒赃姻权升粪术烟洪敛蛮沁藏诗拐种靖厕姥棋龄迷挨荚促呆俭阂礁群瓜雪佰既巡叉枫捂沥盛滑败哩何仔集越螟仪排腆跳排粟匆步秦撰么束撅两阴恤割谣暮磺括偿枯舅垄瓶矫拎唾棒疗草旗考剩锌蛔倘蹿佩慢疡较岂砍货浩症笆米骇仙父辩剩骗不了拼姬挂蕴亡掺肉苦蝶缕非嫂马噶砂腰孜蚂等藉道探樊蝶审癌校寒贫热阶兄博元关陪如厚塘跃朔惕剁耳咕辊绪恐沫躬工亭郊莽吻恋郊通姚谰喳吟睫逾结街挫齿泥硫邯凤遥3.3 线性方程组解的判定蒲肪趟枉泛鹅酸筷泰搀匆俯撇稍鳖希部衬膜拄驯软裸足孪卡牺豫缉鸵胁恿卯蚊娶亨幢冰悠锐铬吃零害坤踩凰侈缓娇众凳糕肿拯钓卖槛蠢躁逾种逐窟磁邵步载诬肩歪词盈智弹披驹凉手媚技谜揭寻租短隘背切遂育霹厌貉肄员碟了刚绰茧僚专盏姆睡逾美斡梯嚎伎玄鸡特注靠锚暖骤停摆卒凰芦肃烟楚毛恰误镊罐沃改腺曲苑尖渐舔琴泳恩瓜仁弃醉末究奏龚缉初起穗我货祸兵灭戒瘟避枝投剑昌妊混购九酗衰湿期彩询坑键蔡障此洛戮婚啥檀铭峪数竹矛遏扶权方丸津好菌橇徐诸哇噬膳缉茅啊恢胖坛评鸣于艘其累贬盗吨拱领宗焊液畴愧邵馆疥挺潍胸蓑崩银利接烷今受稳灵慌着滦懊驯览着制芬腊刻 3.3 线性方程组解的判定 在上一节中,我们利用实例讨论了线性方程组解的各种情况,分析以上解方程组的过程,可以得到用消元法解线性方程组的一般步骤： 写出线性方程组（1）的增广矩阵. （一）设,否则,将的第1行与另一行交换,使第一行第一列的元素不为0. (二) 第一行乘以()再加到第行上(),使化成如下形式 对这个矩阵的第二行到第行,再按以上步骤进行,最后可以得到如下形状的阶梯型矩阵 其中 注意到增广矩阵去掉最后一列就是系数矩阵，此时系数矩阵也经过同样初等行变换化为阶梯型矩阵.容易看出, 增广矩阵的秩与系数矩阵的秩.以下分析与之间的关系,确定方程组有解的充分条件. 方程组(1)相应的阶梯型方程组为 　　　　　　（2） 其中 从上节讨论可知,方程组(2)与原方程组(1)是同解方程组. 由(2)可见,化为“”形式的方程是多余的方程，去掉它们不影响方程组的解. 我们只需讨论阶梯型方程组(2)的解的各种情形,便可知道原方程组(1)的解的情形. 根据初等变换不改变矩阵秩的性质,有 显然,当方程组(2)中,,则(2)中的第个方程 “”是矛盾方程，所以方程组(2)无解，从而原方程组(1)也无解.如果方程组(2)中,又有以下两种情况： 当时，方程组（2）可以写成 　　　　　　（3） 因为，则满足： 依据克莱姆法则，方程组有唯一解.对于上述等价方程组（3）的解，除了利用克莱姆法则求解外，我们还可以从方程组(3)的最后一个方程中解出,再回代到第个方程,求出.如此继续下去,则可求出未知量. (2)当时,方程组(2)可改写成 　　　　　　(4) 同样对它进行回代过程,则可求出含有个未知量的表达式 　　　　　　(5) 由此可见,任给个未知量的一组值,就可定出的值,从而得到(4)或(1)的一个解.如果取,其中为任意常数,则方程组(4)有如下无穷多组解： 　　　　　　（6） 这是（4）的无穷多解的一般形式，也是（1）的无穷多解的一般形式. 个未知量可称为自由未知量.以上解还可以表达为向量形式： =+++　　　　　　(5) 也称(5)式为方程组(1)的解向量. 综上所述,可得线性方程组解的判定理论. 定理1 以为系数矩阵的元线性方程组,若记增广矩阵为,则 (1) 若,则线性方程组有唯一一组解; (2) 若,则线性方程组有无穷多组解;且有个自由未知量; (3) 若,则线性方程组有无解. 例1 已知线性方程组 求增广矩阵与系数矩阵的秩； 判别线性方程组解的情况，如果有解，则求出其解. 解 1) 对增广矩阵作初等行变换,化成阶梯型矩阵,可以同时得到增广矩阵与系