高等代数理论基础24：线性方程组有解判别定理

线性方程组有解判别定理

给定线性方程组 $\begin{cases}a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n=b_1\\ a_{21}x_1+a_{22}x_2+\cdots+a_{2n}x_n=b_2\\ \cdots\\ a_{s1}x_1+a_{s2}x_2+\cdots+a_{sn}x_n=b_s\end{cases}$

引入向量 $\alpha_1=\begin{pmatrix}a_{11}\\a_{21}\\ \vdots\\a_{s1}\end{pmatrix}$ ,
$\alpha_2=\begin{pmatrix}a_{12}\\a_{22}\\ \vdots\\a_{s2}\end{pmatrix}$ ,
$\cdots$ , $\alpha_n=\begin{pmatrix}a_{1n}\\a_{2n}\\ \vdots\\a_{sn}\end{pmatrix}$ ,
$\beta=\begin{pmatrix}b_1\\b_2\\ \vdots\\b_s\end{pmatrix}$

线性方程组可改写成向量方程 $x_1\alpha_1+x_2\alpha_2+\cdots+x_n\alpha_n=\beta$

线性方程组有解的充要条件为向量 $\beta$ 可表成向量组 $\alpha_1,\alpha_2,\cdots,\alpha_n$ 的线性组合

线性方程组有解判别定理

定理：线性方程组有解的充要条件为它的系数矩阵 $A=\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\vdots& &\vdots\\ a_{s1}&a_{s2}&\cdots&a_{sn}\end{pmatrix}$

与增广矩阵 $\bar{A}=\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}&b_1\\ a_{21}&a_{22}&\cdots&a_{2n}&b_2\\ \vdots&\vdots& &\vdots&\vdots\\ a_{s1}&a_{s2}&\cdots&a_{sn}&b_s\end{pmatrix}$

有相同的秩

证明：

$必要性$

$线性方程组有解$

$即\beta可经向量组\alpha_1,\alpha_2,\cdots,\alpha_n线性表出$

$\therefore \alpha_1,\alpha_2,\cdots,\alpha_n与\alpha_1,\alpha_2,\cdots,\alpha_n,\beta等价$

$\therefore 两向量组有相同的秩$

$这两个向量组分别为矩阵A与\bar{A}的列向量组$

$\therefore A与\bar{A}有相同的秩$

$充分性$

$A与\bar{A}有相同的秩$

$即它们的列向量组$

$\alpha_1,\alpha_2,\cdots,\alpha_n与\alpha_1,\alpha_2,\cdots,\alpha_n,\beta有相同的秩$

$令它们的秩为r$

$则\alpha_1,\alpha_2,\cdots,\alpha_n的极大线性无关组由r个向量组成$

$不妨设\alpha_1,\alpha_2,\cdots,\alpha_r是它的一个极大线性无关组$

$显然\alpha_1,\alpha_2,\cdots,\alpha_r也是\alpha_1,\alpha_2,\cdots,\alpha_n,\beta的一个极大线性无关组$

$\therefore \beta可经\alpha_1,\alpha_2,\cdots,\alpha_r线性表出$

$\therefore \beta可经\alpha_1,\alpha_2,\cdots,\alpha_n线性表出$

$\therefore 方程组有解\qquad \mathcal{Q.E.D}$

与消元法

另：判别条件与消元法一致

$用消元法解线性方程组$

$用初等行变换把增广矩阵\bar{A}化成阶梯形$

$适当调整前n列顺序后有两种情形$

$\begin{pmatrix}c_{11}&c_{12}&\cdots&c_{1r}&\cdots&c_{1n}&d_1\\ 0&c_{22}&\cdots&c_{2r}&\cdots&c_{2n}&d_2\\ \vdots&\vdots& &\vdots& &\vdots&\vdots\\ 0&0&\cdots&c_{rr}&\cdots&c_{rn}&d_r\\ 0&0&\cdots&0&\cdots&0&d_{r+1}\\ 0&0&\cdots&0&\cdots&0&0\\ \vdots&\vdots& &\vdots& &\vdots&\vdots\\ 0&0&\cdots&0&\cdots&0&0\end{pmatrix}$

$或\begin{pmatrix}c_{11}&c_{12}&\cdots&c_{1r}&\cdots&c_{1n}&d_1\\ 0&c_{22}&\cdots&c_{2r}&\cdots&c_{2n}&d_2\\ \vdots&\vdots& &\vdots& &\vdots&\vdots\\ 0&0&\cdots&c_{rr}&\cdots&c_{rn}&d_r\\ 0&0&\cdots&0&\cdots&0&0\\ 0&0&\cdots&0&\cdots&0&0\\ \vdots&\vdots& &\vdots& &\vdots&\vdots\\ 0&0&\cdots&0&\cdots&0&0\end{pmatrix}$

$其中c_{ii}\neq 0,i=1,2,\cdots,r,d_{r+1}\neq 0$

$前一种情形,原方程组无解$

$后一种情形,原方程组有解$

$将阶梯形矩阵的最后一列去掉$

$可得系数矩阵A经过初等行变换所化成的阶梯形$

$即系数矩阵与增广矩阵的秩相等时方程组有解$

$当增广矩阵的秩等于系数矩阵的秩加1时,方程组无解\qquad\mathcal{Q.E.D}$

与Cramer法则

给定线性方程组 $\begin{cases}a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n=b_1\\ a_{21}x_1+a_{22}x_2+\cdots+a_{2n}x_n=b_2\\ \cdots\\ a_{s1}x_1+a_{s2}x_2+\cdots+a_{sn}x_n=b_s\end{cases}$ 有解

A与 $\bar{A}$ 的秩都等于r,D是A的一个不为零的r级子式

不妨设D位于A的左上角

显然 $\bar{A}$ 的前r行为一个极大线性无关组

第 $r+1,\cdots,s$ 行都可经它线性表出

方程组与 $\begin{cases}a_{11}x_1+\cdots+a_{1r}x_r+\cdots+a_{1n}x_n=b_1\\ a_{21}x_1+\cdots+a_{2r}x_r+\cdots+a_{2n}x_n=b_2\\ \cdots\\ a_{r1}x_1+\cdots+a_{rr}x_r+\cdots+a_{rn}x_n=b_r\end{cases}$ 同解

$r=n$ 时,由Cramer法则,方程组有唯一解

$r\lt n$ 时,改写方程组为 $\begin{cases}a_{11}x_1+\cdots+a_{1r}x_r=b_1-a_{1,r+1}x_{r+1}-\cdots-a_{1n}x_n\\ a_{21}x_1+\cdots+a_{2r}x_r=b_2-a_{2,r+1}x_{r+1}-\cdots-a_{2n}x_n\\ \cdots \\ a_{r1}x_1+\cdots+a_{rr}x_r=b_r-a_{r,r+1}x_{r+1}-\cdots-a_{rn}x_n\end{cases}$

为 $x_1,\cdots,x_r$ 的一个方程组,系数行列式 $D\neq 0$ ,由Cramer法则,对于 $x_{r+1},\cdots,x_n$ 的任意一组值,方程组有唯一解

$x_{r+1},\cdots,x_n$ 就是方程组的一组自由未知量,用Cramer法则可解出 $x_1,\cdots,x_r$

$\begin{cases}x_1=d'_1+c'_{1,r+1}x_{r+1}+\cdots+c'_{1n}x_n\\ \cdots\\ x_r=d'_r+c'_{r,r+1}x_{r+1}+\cdots+c'_{rn}x_n\end{cases}$

即为方程组的一般解

最后编辑于：2019.04.22 21:10:14

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 219,366评论 6赞 508
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 93,521评论 3赞 395
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 165,689评论 0赞 356
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 58,925评论 1赞 295
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 67,942评论 6赞 392
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 51,727评论 1赞 305
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 40,447评论 3赞 420
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 39,349评论 0赞 276
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 45,820评论 1赞 317
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 37,990评论 3赞 337
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 40,127评论 1赞 351
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 35,812评论 5赞 346
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 41,471评论 3赞 331
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 32,017评论 0赞 22
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 33,142评论 1赞 272
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 48,388评论 3赞 373
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 45,066评论 2赞 355

高等代数理论基础24：线性方程组有解判别定理

线性方程组有解判别定理

线性方程组有解判别定理

与消元法

与Cramer法则

推荐阅读更多精彩内容