本文将给出第十二届全国大学生数学竞赛初赛数学类 A 卷的两道高等代数试题详细的思路分析及其推广.
第三大题 设 均为 2020 阶正交矩阵, 齐次线性方程组 的解空间维数为 3. 问: 矩阵 是否可能相似? 证明你的结论.
思路分析 若矩阵 相似, 即存在非异阵 , 使得 , 则 且 . 更一般地, 有相同的特征多项式, 从而有相同的特征值, 而矩阵的迹和行列式只是特征多项式中的两个系数 (可能相差符号). 进一步, 注意到 都是正交阵 (也是实正规阵), 故由实正规阵的正交相似标准型理论 (复旦高代教材的定理 9.7.3) 可知, 正交相似 有相同的特征值 相似. 有了这些分析, 不难发现题目的条件应该不足以证明 有相同的特征值. 因此, 我们可以尝试证明 不相似, 而处理这类问题的常用技巧是验证 或 . 究竟选择哪一个入手进行证明，这可能会决定我们能走多远.
同时处理两个矩阵始终是一个困难的问题. 如果 乘法可交换, 则 具有很多的同时性质, 比如同时上三角化、同时正交标准化和同时酉对角化等 (参考复旦高代白皮书的相关章节或者习题课教学视频的第 6 讲). 很遗憾, 题目的条件并没有 乘法可交换. 若只把 中的某一个变成正交相似标准型或酉相似标准型, 则发现起不到很好的化简效果. 这些思考提醒我们: 应该充分利用正交阵的性质进行化简才行. 阶正交阵全体构成一个群 (这是正交阵最本质的性质之一), 即正交阵的乘积、正交阵的逆阵和单位阵 都是正交阵. 利用这一性质, 可以把两个正交阵 变成一个正交阵 , 起到充分的化简作用 (这一技巧在高代白皮书中出现过多次), 然后再利用正交阵特征值的分析就能得到 , 从而 .
第三大题的证明 由 为正交阵可知 也是正交阵. 由 的非异性可知, 线性方程组 与 同解, 从而线性方程组 的解空间维数为 3. 换言之, 正交阵 关于特征值 1 的几何重数等于 3. 由于正交阵也是酉阵, 故可复对角化, 从而特征值的几何重数等于代数重数, 于是 关于特征值 1 的代数重数也等于 3. 由正交阵的基本性质可知, 其特征值由实特征值 和模长为 1 的共轭虚特征值组成. 由于 的阶数为偶数, 共轭虚特征值成对出现, 又特征值 1 为奇数重, 故特征值 也为奇数重, 从而 , 即有 , 因此 必不相似.
以上关于正交阵特征值的讨论非常有趣, 类似的讨论可以证明以下两个推广. 第一个是 19 级高代 II 每周一题第 18 题的推广, 由复旦数学学院 19 级邝麒同学给出.
推广 1 设 均为 阶正交阵, 满足 且 不是 的特征值. 证明: 是 的特征值.
证明 设 为正交阵, 则由正交阵的基本性质可设 的全体特征值为 , , , 其中 . 若 不是 的特征值, 则特征值 有 个, 从而 . 回到本题, 由条件可知 , , 从而 . 注意到 仍为正交阵, 从而 必为 的特征值.
第二个是上述第三大题的推广, 以下是更加一般的形式.
推广 2 (高代白皮书的例 9.103) 设 均为 阶正交阵, 证明: 当且仅当 为奇数.
证明 白皮书上的证明用了正交阵的正交相似标准型理论, 这里我们仅用正交阵的基本性质以及可复对角化来证明. 将两个正交阵 变成一个正交阵 , 从而只要证明: 若 为 阶正交阵, 则 当且仅当 为奇数. 由正交阵的基本性质可知, 的特征值由实特征值 和模长为 1 的共轭虚特征值组成, 于是 等且仅当特征值 的代数重数为奇数. 由于正交阵也是酉阵, 故可复对角化, 从而特征值的几何重数等于代数重数, 于是特征值 的代数重数为奇数当且仅当特征值 的几何重数 为奇数, 故结论得证.
注 1 由推广 2 可知, 若阶数 为偶数, 则线性方程组 的解空间维数为奇数 为奇数 , 从而 必不相似, 这就是第三大题的推广.
第四大题 称非常值一元 次多项式 (合并同类项后) 的 次项 (可能为 0) 为第二项. 求所有 2020 次复系数首一多项式 , 满足对 的每个复根 , 都存在非常值复系数首一多项式 和 , 使得 , 且 和 的第二项系数相等.
思路分析 从前十一届全国竞赛的试题来看, 多项式的内容绝不是考察的重点 (事实上, 多项式也不是高等代数教学中的重点). 题中给出的奇怪条件“首一多项式 和 的第二项系数相等”提醒我们: 本题只是借助多项式的外衣, 实际上希望考生通过 Vieta 定理和高等代数中的重要方法来求出多项式 所有的复根, 而这个重要方法就是线性方程组的求解理论. 如果考生能想通这一点, 解题过程将变得豁然开朗.
第四大题的解答 设 的所有复根为 , 则由 可知, 和 所有复根合并在一起恰好为 . 由 Vieta 定理可知, 的第二项系数等于 所有复根之和乘以 ; 的第二项系数等于 所有复根之和乘以 ; 又 和 的第二项系数相等, 从而得到方程式 , 其中 , 或 . 令 , 则 为 2020 阶方阵, 其主对角元素全为 0, 其余元素为 或 . 令 , 则可得线性方程组
只要求出线性方程组 的解, 就能得到多项式 所有的复根, 从而完全确定 . 根据线性方程组的求解理论, 首先需要计算系数矩阵 的秩, 为此我们来证明如下的命题.
命题 1 设 为 阶方阵, 其主对角元素全为 0, 其余元素为 或 , 则 为非异阵.
证明 这是教学论文 [4] 中的命题 1, 在那里给出了三种证法: 证法一是利用行列式的组合定义进行讨论; 证法二是利用加 2 变换进行讨论; 证法三是利用模 2 同余进行讨论. 限于文章篇幅, 这里不再赘述证明细节, 请读者自行参考教学论文 [4]. 值得一提的是, 第四大题的官方解答处理这一命题的两种方法正好是加 2 变换法和模 2 同余法.
由命题 1 可知, 第四大题中的 2020 阶方阵 是非异阵, 从而线性方程组 只有零解, 即 , 于是 .
推广 3 求所有 次复系数首一多项式 , 满足对 的每个复根 , 都存在非常值复系数首一多项式 和 , 使得
(1) ;
(2) 和 的第二项系数相等;
(3) 当 为奇数时, 和 的次数相等.
略解 当 为偶数时, 由命题 1 可知线性方程组 只有零解, 于是 . 当 为奇数时, 和 的次数相等保证了 是线性方程组 的基础解系 (这一结论恰好是教学论文 [4] 讨论的主题), 于是 , 从而 , 其中 为任意的复数.
总的来说, 第十二届全国大学生数学竞赛初赛数学类 A 卷的两道高代试题并不算难, 但比较好地考察了学生对线性方程组的求解理论 (包括行列式理论等) 以及正交阵的相关性质 (包括特征值和可复对角化等) 的掌握和运用, 应该算是比较适合的竞赛命题.
本文给出如此详尽的解题思路分析, 也是想提醒读者: 高等代数中重要思想、方法和技巧的熟练运用, 不仅需要通过做一定数量的习题来实现 (也就是刷题), 更加需要在做每一道习题之前, 认真思考解题思路, 反复衡量各种方法的可行性, 唯有这样才能真正地提高解题能力和创新能力.
参考文献
[1] 高代教材: 姚慕生, 吴泉水, 谢启鸿 编著, 高等代数学 (第三版), 复旦大学出版社, 2014.
[2] 高代白皮书: 姚慕生, 谢启鸿 编著, 学习方法指导书: 高等代数 (第三版), 复旦大学出版社, 2015.
[3] 谢启鸿, 复旦大学高等代数习题课教学视频, https://www.bilibili.com/video/av90771191/
[4] 谢启鸿, 邵美悦, 从一个初等问题看高等代数中的若干技巧, 高等数学研究, 2013, 16(4), 53--55.
转载自久章智能（微信公众号，久章智能于 2021-01-12 转载），内容保持原貌，版权归原作者及原账号所有。阅读原文 ↗