在中学解析几何课程里,我们知道在建立坐标系之后,几何图形(如直线、平面、曲线、曲面等)与方程或方程租一一对应;特别地,直线/平面与线性方程组一一对应. 线性方程组理论既是线性代数的主要内容之一, 又是线性代数中处理相关问题的重要工具. 尤其是涉及矩阵的秩的相关问题, 可以利用线性方程组理论将代数问题转化为几何问题从而利用几何方法加以解决.
如果, 则矩阵的列向量都是齐次线性方程组的解, 从而架起矩阵方程与线性方程组的解之间的桥梁, 使相关问题得到顺利解决.
例1.1
设是秩为的阶矩阵, 则必存在秩为的阶的矩阵使得.
证明
考虑齐次线性方程组, 由于, 所以该方程组解空间的基础解系有个向量, 记为. 令是阶的矩阵, 则且.
该例有如下变式:
设线性无关,则必存在个向量使得是的一组基.
给出了矩阵的一种正交关系
在一定的条件下,这表明的列向量是或与其相关的线性方程组的解向量.
** 例1.2**
若阶方阵的秩, 则.
** 证明**
因为, 所以的列向量都是齐次线性方程组的解; 但该方程组解空间的维数等于, 所以的列向量对应成比例, 从而. 由于, 所以存在, 因而, 所以, 故.
例1.3
设, . 对, 设. 则是线性方程组
的一组基础解系.
证明
记上述线性方程组的系数矩阵为, 则由正交关系立即可得
因为, 所以,从而
的基础解系含个向量. 故只需证明线性无关.
因为, 所以, 即的列向量线性无关,从而线性无关.
例1.4
设是阶非零矩阵, 是阶矩阵. 则左消去律成立(即)当且仅当.
证明 当且仅当
令, 则上式成立当且仅当
当且仅当
只有零解,当且仅当.
**例1.5 **(上海交通大学2018,华东师范大学2002)
设是阶方阵,, 满足. 求证:存在多项式使得.
证明:(方法1)
由知. 因为, , 所以, 从而可设, 其中是维列向量. 由于, 我们断言:. 否则,若, 则由知存在, 从而, 故, 矛盾!
同理,可由可得.
由于, 所以齐次线性方程组的解形如, 的解形如, . 由于不可逆,, 所以的极小多项式的常数项为, 即. 故, 且. 所以, 从而. 由于是的解, 所以. 类似地,, . 故.
(方法2) 若, 令是的任一零化多项式,则.
若, 由于, 所以是的特征值,从而可设的极小多项式为, 其中. 因此且. 下证与只相差一个常数因子.
因为, 所以可设是的一个基础解系. 由知的列向量都是的解向量,因而可设为, 即, 其中. 由即知, 从而, 即是的非零解. 同理,由知, 其中也是的非零解.
由于的基础解系只含一个非零解,所以存在非零常数使得. 所以. 令, 则.
利用线性方程组的同解与系数矩阵的秩之间的关系是解决某些问题,特别是矩阵秩的等式的重要途径.
例1.6 设齐次线性方程组与的解空间分别为 与, 证明
(1) 当且仅当, s.t. ;
(2) 当且仅当, s.t. , 当且仅当 与 的行向量组等价(或与行等价).
证明:(1) :若, 则, 从而 与同解, 所以, 即的行向量组可由的行向量组线性表示, 从而存在, 使得.
: , , 从而, 即, 所以.
(2) 由(1)即得.
例1.7 (2023数学一)设为阶矩阵,为单位矩阵,若方程组与同解,则
(A) 方程组只有零解;
(B) 方程组只有零解;
(C) 方程组与同解;
(D) 方程组与同解.
解析:与同解,故与行等价,从而
与行等价,所以选(C).
例1.8 设是阶方阵,若与同解,且维数等于, 则.
证明:由题设知的解都是的解,所以, 即.
例1.9 设分别是矩阵,则与同解当且仅当.
证明:必要性:若与同解,则, 所以.
充分性:设分别是与的解空间,则显然有. 另一方面,若,则
所以, 即与同解.
例1.10 设是阶实方阵, 则.
证明:事实上, 要证, 只需证与同解即可. 由于的解一定是的解, 故只需证的解也是的解. 设是的任一解, 则, 从而, 即. 所以, 即也是的解. 于是. 因此.
该例可作以下变式:设是阶实方阵, 则.
例1.11 设为阶方阵,求证:.
证明:只需证明齐次线性方程组与同解.
显然,的解一定是的解. 下证的解也是的解.
设, 我们断言. 否则,若, 则线性无关. 事实上,设
左乘, 得. 由得, 上式变为
左乘得. 由得. 类似可证.
因此线性无关, 矛盾!所以的解也是的解,即它们同解. 所以, 即.
类似可证, , 等等.
注:利用Jordan标准形方法,可证明存在最小的正整数使得, 这里的是特征值的指数(即极小多项式中根的重数)。
例1.12 (重庆大学2003)
设分别是矩阵,若, 则.
证明:(方法一) 由于的解都是的解,故只需证的解都是的解即可.
设是的任一解,即, 所以是的解. 由于, 故与同解,故是的解,即. 因而是的解.
(方法二) 利用分块矩阵的初等变换,
故. 由于, 所以. 由于, 所以.
练习 (武汉大学2019)
设是阶方阵,且存在正整数使得\({\rm r}{(A^k)={\rm r}(A^{k+1})\). 证明:对任意的正整数, 有.
例1.13 设为数域上的阶幂零矩阵,为阶方阵,满足且. 求证:.
证明:(方法一) 设. 因为, 所以
所以.
(方法二) 对任意的, .
由, 所以. 故
从而.
(方法三:同构方法) 设线性在标准正交基下的矩阵分别为. 由于, 所以是-不变子空间. 考虑限制变换, 由于
故是一个满射,从而也是上的满射, 即, 于是.
3、“齐次线性方程组有非零解当且仅当”是判断方阵是否可逆的重要方法之一.
例1.14
设是阶可逆矩阵, 是非零列向量. 求证:是不可逆矩阵.
证明:只需证线性方程组有非零解即可.
由于可逆,, 所以. 由于
所以是有非零解,从而可逆.
例1.15 设是阶实反对称矩阵,则.
证明:首先断言:. 否则,若, 则存在非零向量使得齐次线性方程组, 从而
由于, 所以, 从而. 故, 即, 矛盾!
(反证法)假设. 令
由于对任意的, 都是反对称矩阵,所以对, . 由于
所以由魏尔斯特拉斯定理知,存在, 使得, 矛盾!故.
注:该例有如下变式:
(1) 设是阶实反对称矩阵,是对角矩阵且, 则.
(2) 设是阶实反对称矩阵,是正定矩阵,则.
(3) 设是阶实反对称矩阵,是可逆 矩阵,则.
例1.16 (大连理工大学2007,重庆大学2004)
设证明
(1),若
(2),若
证明:(1) (反证法) 假设, 则有非零解, 不妨设. 则
从而
故
矛盾!所以.
(2) (反证法) 由(1)知, 假设, 令
为上的连续函数,且对任意,
由于
所以由魏尔斯特拉斯定理知,存在, 使得, 矛盾!所以.
4、齐次线性方程组解空间的维数表达式架起了矩阵的秩与齐次线性方程组解空间的维数之间的桥梁, 利用维数公式, 可以解决很多有关矩阵秩的等式或不等式的问题.
例1.17 (武汉大学2008){
设阶矩阵满足, 求证
\[{\rm r}(A)+{\rm r}{(B)\geqslant {\rm r}(A+B)+{\rm r}(AB).
\]
证明:设分别是齐次线性方程组的解空间, 则, 于是; 而且. 由维数公式知
由齐次线性方程组解的结构定理知
即
例1.18 设是秩为的阶半正定矩阵,则是的子空间,且.
证明:因为是半正定矩阵,所以存在阶矩阵, 使得. 所以
验证是线性子空间: ,
因为, 所以; 同理,. 故, 于是
即.
由于
是齐次线性方程组的解空间,且
所以.
5、利用齐次线性方程组的解向量与的行空间正交解决相关问题
例1.19
设维列向量线性无关,且与非零向量都正交. 证明
(1) 线性相关;
(2) 线性无关.
证明:
(1) 设. 因为
与非零向量都正交,所以是齐次线性方程组的解向量. 由于
线性无关,所以, 从而的解空间的维数. 因为, 所以线性相关.
(2) 由题设知. 设
两边用做内积,得
所以, 从而
由线性无关知. 故线性无关.
6、将线性代数的某些问题转化为线性方程组是线性代数的常用方法.
例1.20 设阶矩阵满足, 证明与有公共的特征值和公共的特征向量.
证明:因为,所以, 从而. 故是矩阵与的公共特征值.
的属于特征值的特征向量是的非零解向量,的属于特征值的特征向量是的非零解向量,所以属于特征值的公共特征向量是
的非零解向量. 由于
所以有非零解,即有公共特征向量.
7、利用线性方程组解的判定定理,
例1.21 (2016第八届大数竞赛) 设是阶实方阵. 证明:关于的方程
至少有一组非零实数解.
证明:记
考虑线性方程组
由于未知数个数大于方程的个数, 所以方程组有非零解. 从而矩阵
的第一列为零列, 故
即是方程
的一组非零实数解.
例1.22 设是维线性空间的线性变换. 如果有个不同的特征值,则中存在一个循环向量,即存在向量使得是的一组基.
证明:设是对应于特征值的特征向量,令
下证线性无关. 设
由于
所以变为
因为线性无关,所以
由于该线性方程组的系数矩阵
所以, 故线性无关,从而是的一组基, 即是一个-循环向量.
例1.23 (重庆大学2005)
设平面上的个结点. 证明:在同一条直线上当且仅当
证明:必要性:若在同一条直线上, 则. 记矩阵
则齐次线性方程组有非零解等价于.
由于不同,故, 从而. 所以.
充分性:若, 则方程组有非零解,设一个非零解为. 则, 即在同一条直线上.
标准型方法
分块矩阵方法
特征值方法
摄动法
标准向量方法
同构方法
不变子空间方法
直和分解方法
选取适当基的方法
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· C#/.NET/.NET Core优秀项目和框架2025年2月简报
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 【杭电多校比赛记录】2025“钉耙编程”中国大学生算法设计春季联赛(1)