证明 : 反设 , 则因此 . 因为 , 且为实对称矩阵 , 所以有共同的实特征向量 . 设这个实特征为 , 对应的实特征值为 , 则 , 以及因此因为不是零向量 , 所以 . 但是由均值不等式有所以矛盾 , 所以反设不成立 , 因而命题得证 . 回复 ↓
证明 : 我们只需要证明和同解 . 首先如果满足 , 则必有 , 于是的解都是的解 . 反过来 , 设满足 , 则. 如果令 , 其中, 则 , 即于是 , 即 . 因此如果满足必有 , 即的解都是的解 . 综上所述 , 和同解 , 于是 . 回复 ↓
证明 : 设 , 则由知 , 于是有特征值0 , 于是不可逆 . 当时 , 此时显然有当时 , 此时 , 其中为的伴随矩阵 . 又因为 , 所以的基础解系只有一个向量 , 而前面提到且 , 所以的的基础解系 . 另外由 , 及为的第列知所以 , 将乘进向量 , 易得 . 回复 ↓
证明 : 由于 , 在存在非零向量满足 , 而 , 所以 . 下面证明 : 线性无关 . 设满足如果不全为0 , 设第一个不为0的数为 , 则 , 此时将作用在上 , 则有因为 , 所以 , 矛盾 . 所以全为0 , 即 线性无关 . 设为的不变子空间 , 则设中的一个非零向量可表示为其中则同样而 , 所以 . 类似可得 . 因此若取的一组基 , 设它们在下的坐标分别为 , 其中 . 设矩阵 , 则如果的第个行向量不为0而前面个行向量都为0 , 即存在使得 , 则利用前面所得结论有 . 因为的取值有这种 , 所以对应的不变子空间有个 . 回复 ↓
第8题 博士家园 http://www.math.org.cn/forum.php?mod=viewthread&tid=22799&extra=page%3D1 2007 北京大学 设为双线性函数 , 对任意的都有求证 : 或为对称的反为放对称的 . 回复 ↓
证明 : 如果对任意的有 , 此时为反对称的 . 否则设 , 则得对任意的有 . 再考虑任意的 , 当时 , 此时由知 . 当时 , 此时 , 因此由知 . 又因为及为双线性 , 所以 . 综上所述 , 此时总有 , 即为对称的 . 回复 ↓
第9题 博士家园 http://www.math.org.cn/forum.php?mod=viewthread&tid=22952&extra=page%3D1 设阶方阵的元素均为整数 , 有理数为即约分数(即并且互素) , 证明 : 线性方程组只有零解 . 回复 ↓
证明 : 问题等价于证明 . 设 , 则矩阵的第元素为其中当时 , 否则 . 因为互素 , 所以当时与互素 ; 当时是的倍数 . 易知此时因为互素 , 所以模不为0 , 所以 , 从而命题得证 . 回复 ↓
第1题 数学吧 http://tieba.baidu.com/p/1300984308
阶实方阵
满足
, 求证 :
.
设
证明 : 设方阵
为
, 那么

因此
等号成立当且仅当第2题 高等代数吧 http://tieba.baidu.com/p/1287387873
为
阶实对称方阵 ,
都可逆且
, 求证 :
已知
证明 : 反设
, 则

因此
因此
因为
所以第3题 高等代数吧 http://tieba.baidu.com/p/1301772730
是一个
阶矩阵 ,
,
的秩为
, 求
, 其中
为单位矩阵 .
设
解 : 由于
没有重因式 , 所以
可对角化 , 且特征值为
. 又因为
的秩为
, 所以
有
重特征值4 ,
重特征值0 . 因此存在可逆矩阵
, 使得

其中4有第4题 高等代数吧 http://tieba.baidu.com/p/1301772730
为
阶方阵 , 如果
可逆 , 则
也可逆 .
设
证明 : 因为
可逆 , 所以
存在 , 此时

因此用初等矩阵的变换证明
更简单
但是代码不简单
第5题 高等代数吧 http://tieba.baidu.com/p/1301772730
为
阶实矩阵 , 证明 :
, 其中
为
的转置 .
设
证明 : 我们只需要证明
和
同解 . 首先如果
满足
, 则必有
, 于是
的解都是
的解 . 反过来 , 设
满足
, 则
. 如果令
, 其中
, 则
, 即

于是第6题 高等代数吧 http://tieba.baidu.com/p/1301772730
, 且
, 求证 :
设

其中证明 : 设
, 则由
知
, 于是
有特征值0 , 于是
不可逆 . 当
时 , 此时显然有

当
所以第7题 数学吧 http://tieba.baidu.com/p/1302299359
为数域
上
维线性空间
上的线性变换 , 且满足
,
, 求证 :
有
个不变子空间 .
设
证明 : 由于
, 在存在非零向量
满足
, 而
, 所以
. 下面证明 :
线性无关 . 设
满足

如果
将
因为设

其中
同样
而第8题 博士家园 http://www.math.org.cn/forum.php?mod=viewthread&tid=22799&extra=page%3D1 2007 北京大学
为双线性函数 , 对任意的
都有
设

求证 :证明 : 如果对任意的
有
, 此时
为反对称的 . 否则设
, 则

得对任意的再考虑任意的

知当

知综上所述 , 此时总有
第9题 博士家园 http://www.math.org.cn/forum.php?mod=viewthread&tid=22952&extra=page%3D1
阶方阵
的元素均为整数 , 有理数
为即约分数(即
并且
互素) , 证明 : 线性方程组
只有零解 .
设
证明 : 问题等价于证明
. 设
, 则矩阵
的第
元素为

其中因为

因为第10题 数学吧 http://tieba.baidu.com/p/1335645094
上的多项式
分别为
次多项式 , 且
, 试以
构造一数域
上
次可约多项式 .
已知数域
解 : 设
, 其中
分别为
次多项式 , 则

其中