关键词：
作者：谢启鸿（复旦大学数学学院 教授、博士生导师）
高等代数是大学数学系本科生最重要的基础课之一, 而考试命题工作又是整个教学过程中必不可少的关键环节. 如何做好高等代数的考试命题工作, 使得学生既能快乐考试, 同时考试结果又能真实地反馈学习情况和教学情况呢? 关于这一问题, 作者已在文 [3] 中进行了初步的探索, 而本文正是这一探索的深入与继续.
复旦大学高等代数期中、期末考试试卷根据考察的内容可分为两大部分, 一是以考察基本概念的理解和基本计算的掌握为主体的选择题、填空题和计算题, 这部分大概占 70 分; 二是以考察重要理论、定理、方法和技巧的运用为主体的证明题, 这部分大概占 30 分. 从命题的角度来看, 基础部分的命题可变度较小, 相对来说比较稳定; 而运用部分由于难度大、涉及面广, 从而其命题的难度更大、灵活性更强. 因此, 本文主要阐述复旦大学数学科学学院代数组在高等代数期中、期末考试最后两道压轴题命题方面的相关经验.
复旦大学高等代数教材 [1] 和学习指导书 [2] 在复旦大学数学系 (后成立数学学院) 沿用近二十年, 前后经历三版, 精益求精、与时俱进, 连续荣获普通高等教育``十五‘‘、``十一五‘‘和``十二五‘‘国家级规划教材, 在全国高等代数教材和学习指导书中亦属出类拔萃之作. 紧紧依靠复旦的教材和学习指导书, 不仅是课堂教学的基本要求, 也是考试命题的出发点. 我们在高等代数考试压轴题命题方面的经验是, 以复旦教材和学习指导书中丰富的习题作为命题的坚实基础, 强调``以科研指导命题‘‘、``教学与命题相互促进‘‘和``坚持自主创新命题‘‘等原则, 并以``自然延伸‘‘、``适当推广‘‘、``逆向思维‘‘和``直接应用‘‘等方法进行高等代数的考试命题工作. 本文将以 2010 年至 2015 年复旦大学高等代数期中、期末考试试题以及每周一题 [4] 等为例题, 具体地阐述上述四种命题方法.
一、习题的自然延伸
我们经常考虑的问题是, 在教材习题相同的条件下, 哪些性质或结论可以得到自然的延伸呢? 从某种意义上说, 习题的自然延伸是最常见的命题方法之一.
例 1 (2014 级高等代数 II 期中考试第六大题) 设 $a_i,(i=1,cdots,n)$ 都是实数且 $a_1+a_2+cdots+a_n=0$, 证明下列矩阵可对角化:
$$A=egin{pmatrix} a_1^2+1 & a_1a_2+1 & cdots & a_1a_n+1\a_2a_1+1 & a_2^2+1 & cdots & a_2a_n+1\vdots & vdots & & vdots\a_na_1+1 & a_na_2+1 & cdots & a_n^2+1\end{pmatrix}.$$
评注 教材 [1] 复习题六的第 11 题是在相同的假设下求 $A$ 的全体特征值, 而这道试题自然地延伸为证明 $A$ 可对角化.
例 2 (2011 级高等代数 II 期末考试第七大题) 设 $A$ 为 $n$ 阶复方阵, $B=egin{pmatrix} A & A^2 \ A^2 & A end{pmatrix}$ 为 $2n$ 阶复方阵. 证明: 若 $A$ 可对角化, 则 $B$ 也可对角化.
评注 教材 [1] 复习题六的第 13 题是在相同的假设下, 由 $A$ 的全体特征值求 $B$ 的全体特征值, 而这道试题自然地延伸为由 $A$ 的可对角化证明 $B$ 的可对角化.
例 3 (2015 级高等代数 II 期末考试第七大题) 设 $A,B,C$ 分别为 $m imes m$, $n imes n$, $m imes n$ 阶复矩阵, $M= egin{pmatrix} A & C\ 0 & B\ end{pmatrix}$ 可对角化, 求证: 矩阵方程 $AX-XB=C$ 必有解.
评注 学习指导书 [2] 的例 6.45 是在相同的假设下证明 $A,B$ 均可对角化, 而这道试题自然地延伸为证明对应的矩阵方程有解.
例 4 (2012 级高等代数 II 期末考试第七大题) 设 $A$ 为 $n$ 阶实对称阵, $S$ 为 $n$ 阶非异的实反对称阵且 $AS=SA$, 证明: $|A+S|>0$.
评注 教材 [1] 复习题八的第 26 题是把非异的条件加在 $A$ 上 (其他假设不变) 证明 $|A+S| eq 0$, 而这道试题自然地延伸为, 若非异的条件加在 $S$ 上, 证明类似的结论也成立.
例 5 (2015 级高等代数 II 期中考试第六大题) 设 $varphi$ 是数域 $K$ 上 $n$ 维线性空间 $V$ 上的线性变换, 其极小多项式为 $m(lambda)$. 设 $alpha$ 是 $V$ 中非零向量, 由 ${alpha,varphi(alpha),varphi^2(alpha),cdots}$ 张成的子空间 $C(varphi,alpha)$ 称为 $varphi$ 关于循环向量 $alpha$ 的循环子空间. 证明: $m(lambda)$ 为 $K$ 上的不可约多项式的充分必要条件是 $V$ 的任一非零 $varphi$-不变子空间 $U$ 必为如下形式: $U=C(varphi,alpha_1)oplus C(varphi,alpha_2)opluscdotsoplus C(varphi,alpha_k)$,
并且 $varphi|_{C(varphi,alpha_i)},(1leq ileq k)$ 的极小多项式都是 $m(lambda)$.
评注 线性变换 $varphi$ 的特征多项式 $f(lambda)$ 是 $K$ 上不可约多项式的充分必要条件是 $varphi$ 只有平凡的不变子空间, 这是一道考研试题, 而上述试题自然地延伸为证明 $varphi$ 的极小多项式 $m(lambda)$ 是 $K$ 上不可约多项式的充分必要条件.
二、习题的适当推广
将教材习题中的某些条件适当地一般化 (弱化), 从而得到原习题结论的推广, 这也是最常见的命题方法之一.
例 6 (2014 级高等代数 II 每周一题第 3 题) 设 $g(x)=x^n+a_1x^{n-1}+cdots+a_{n-1}x+a_n$ 是数域 $K$ 上的多项式, $varphi$ 是 $K$ 上 $n$ 维线性空间 $V$ 上的线性变换, $alpha_1 eq 0,alpha_2,cdots,alpha_n$ 是 $V$ 中的向量, 满足 $$varphi(alpha_1)=alpha_2,,varphi(alpha_2)=alpha_3,,cdots,,varphi(alpha_{n-1})=alpha_n,,varphi(alpha_n)=-a_nalpha_1-a_{n-1}alpha_2-cdots-a_1alpha_n.$$ 证明: 若 $g(x)$ 在 $K$ 上不可约, 则 $alpha_1,alpha_2,cdots,alpha_n$ 是 $V$ 的一组基.
评注 教材 [1] 复习题四的第 14 题是上述试题的特例, 其中 $g(x)=x^3-x-1$.
例 7 (2015 级高等代数 I 期末考试第八大题) 设 $varphi$ 是数域 $K$ 上 $n$ 维线性空间 $V$ 上的线性变换, 其特征多项式 $f(lambda)=P_1(lambda)P_2(lambda)cdots P_k(lambda)$, 其中 $P_i(lambda)$ 是 $K$ 上互异的首一不可约多项式, 试求所有的 $varphi$-不变子空间.
评注 教材 [1] 的习题 4.5.6 是上述试题的特例, 其中 $P_i(lambda)$ 都是一次多项式.
例 8 (2010 级高等代数 II 期中考试第六大题) 设 $A$ 和 $B$ 分别为 $m imes n$ 和 $n imes m$ 阶复矩阵, 其中 $mgeq n$. 若 $BA$ 可对角化且 $|BA| eq 0$, 证明: $AB$ 也可对角化.
评注 教材 [1] 复习题七的第 3 题讨论了秩等于 1 的矩阵 $A=alphaeta‘$ 的 Jordan 标准形 (其中 $alpha,eta$ 为非零列向量), 作为结论我们知道: $A=alphaeta‘$ 可对角化当且仅当 $tr(A)=eta‘alpha eq 0$, 因此上述试题是这一结论的高阶推广.
例 9 (2015 级高等代数 II 期末考试第六大题) 设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(lambda)$, 复系数多项式 $g(lambda)$ 满足 $(f(g(lambda)),g‘(lambda))=1$, 证明: 存在 $n$ 阶复方阵 $B$, 使得 $g(B)=A$.
评注 学习指导书 [2] 的例 7.44 是上述试题的特例, 其中 $g(lambda)=lambda^m$.
例 10 (2015 级高等代数 II 思考题第 16 题)
(1) 设 $A$ 为 $n$ 阶正定实对称阵, 证明: 对任意的 $xinmathbb{R}^n$, 成立 $0leq x‘(A+xx‘)^{-1}x<1$; 进一步, 对任意的 $Bin M_{n imes m}(mathbb{R})$, 成立 $0leq |B‘(A+BB‘)^{-1}B|<1$;
(2) 设 $A$ 为 $n$ 阶半正定实对称阵, 证明: 存在 $xinmathbb{R}^n$, 使得 $A+xx‘$ 正定且 $x‘(A+xx‘)^{-1}x=1$ 的充要条件是 $r(A)=n-1$; 进一步, 存在 $Bin M_{n imes m}(mathbb{R}),(mleq n)$, 使得 $A+BB‘$ 正定 且 $|B‘(A+BB‘)^{-1}B|=1$ 的充要条件是 $r(A)=n-m$.
评注 上述试题 (1) 的前半部分是一道考研试题, 而后半部分是其高阶推广; 进一步, (2) 是 (1) 的一个有益的补充.
三、习题的逆向思维
完成一道证明题后, 经常去想一想条件和结论反过来这个问题是否还成立呢? 这种思维锻炼对于数学学习极其重要. 因此, 选择教材习题的逆向思维进行命题, 也是一个行之有效的方法.
例 11 (2013 级高等代数 I 期末考试第七大题) 设 $A$ 为数域 $K$ 上的 $n$ 阶非异阵, 证明: 对任意的对角阵 $Bin M_n(K)$, $A^{-1}BA$ 均为对角阵的充分必要条件是 $A=P_1P_2cdots P_r$, 其中 $P_i$ 均为第一类初等阵 (即对换 $I_n$ 的某两行) 或第二类初等阵 (即非零常数乘以 $I_n$ 的某一行).
评注 由第一类初等阵或第二类初等阵诱导的相似变换将对角阵变为对角阵, 这是一个显然的事实 (即上述试题的充分性), 但这一事实的逆向思维 (即上述试题的必要性) 却并不是一个平凡的命题.
复旦大学2018--2019学年第一学期高等代数i期末考试情况分析
一、期末考试成绩90分以上的同学（共21人）周烁星(99)、封清(99)、叶雨阳(97)、周子翔(96)、王捷翔(96)、张思哲(95)、丁思成(94)、陈宇杰(94)、谢永乐(93)、张哲维(93)、陈钦品(93)、邹年轶(92)、顾天翊(91)、吴润华(91)、黄泽松(91)、刘... 查看详情
复旦大学2015--2016学年第二学期高等代数ii期末考试情况分析
一、期末考试成绩班级前几名胡晓波(90)、杨彦婷(88)、宋卓卿(85)、唐指朝(84)、陈建兵(83)、宋沛颖(82)、王昊越(81)、白睿(80)、韩沅伯(80)、王艺楷(80)、张漠林(80)、张子涵(80)二、总成绩计算方法平时成绩根据交作业的次数决定，本... 查看详情
复旦大学2016--2017学年第二学期高等代数ii期末考试情况分析
一、期末考试成绩班级前十五名林晨(93)、朱民哲(92)、何陶然(91)、徐钰伦(91)、吴嘉诚(91)、于鸿宝(91)、宁盛臻(90)、杨锦文(89)、占文韬(88)、章俊鑫(87)、颜匡萱(87)、王旭磊(87)、王泽斌(87)、沈伊南(86)、李飞虎(86)二、总成绩计算方... 查看详情
复旦大学2016--2017学年第二学期（16级）高等代数ii期末考试第七大题解答
七、(本题10分) 设$n$阶复方阵$A$的特征多项式为$f(lambda)$,复系数多项式$g(lambda)$满足$(f(lambda),g‘(lambda))=1$.证明:$A$可对角化的充要条件是$g(A)$可对角化.证明 先证必要性.设$A$可对角化,即存在非异阵$P$,使得$P^{-1}AP=Lambda=mathrm... 查看详情
复旦大学2015--2016学年第二学期（15级）高等代数ii期末考试第七大题解答
七、(本题10分)设$A,B,C$分别为$m imesm$,$n imesn$,$m imesn$阶复矩阵,$M=egin{pmatrix}A&C\0&B\end{pmatrix}$可对角化,求证:矩阵方程$AX-XB=C$必有解.证明 任取$M$的特征值$lambda_0$,$M-lambda_0I=egin{pmatrix}A-lambda_ 查看详情
复旦大学2015--2016学年第二学期（15级）高等代数ii期末考试第六大题解答
六、(本题10分) 设$n$阶复方阵$A$的特征多项式为$f(lambda)$,复系数多项式$g(lambda)$满足$(f(g(lambda)),g‘(lambda))=1$,证明:存在$n$阶复方阵$B$,使得$g(B)=A$.证明 设$P$为非异阵,使得$$P^{-1}AP=J=mathrm{diag}{J_{r_1}(lambda_1),cdots,J_ 查看详情
复旦大学2016--2017学年第二学期（16级）高等代数ii期末考试第六大题解答
六、(本题10分) 设$A$为$n$阶半正定实对称阵,$S$为$n$阶实反对称阵,满足$AS+SA=0$.证明:$|A+S|>0$的充要条件是$r(A)+r(S)=n$.证法一(从$A$出发) 由于问题的条件和结论在同时正交相似下不改变,故不妨从一开始就假设$A$是正交相似... 查看详情
复旦大学2017--2018学年第一学期（17级）高等代数i期末考试第七大题解答
七、(本题10分) 设$U,V,W$均为数域$K$上的非零线性空间,$varphi:V oU$和$psi:U oW$是线性映射,满足$r(psivarphi)=r(varphi)$.证明:存在线性映射$xi:W oU$,使得$xipsivarphi=varphi$.证法一(几何方法1) 设$r(psivarphi)=r(varphi)=r$,先取 查看详情
复旦大学2018--2019学年第一学期高等代数在线课程学习情况分析及文字评教信息
一、简介复旦大学高等代数在线课程的特色是：面向非数学专业本科生，在不影响其专业课学习的前提下，立足于提高他们的数学素养和高等代数水平，为其将来的多元发展提供帮助。高等代数在线课程与高等代数普通课程平行... 查看详情
复旦大学2022--2023学年第一学期（22级）高等代数i期末考试第七大题解答
七、(10分) 设分块矩阵$A=\\beginpmatrix A_11&A_12\\\\ A_21&A_22\\\\ \\endpmatrix$,$B=\\beginpmatrix B_11&B_12\\\\ B_21&B_22\\\\ \\endpmatrix$, 其中$A_11,B_ 查看详情
复旦大学2016--2017学年第一学期（16级）高等代数i期末考试第七大题解答
七、(本题10分) 设$A,B$均为$m imesn$阶实矩阵,满足$A‘B+B‘A=0$.证明:$$r(A+B)geqmax{r(A),r(B)},$$并且等号成立的充要条件是存在$m$阶方阵$P$,使得$B=PA$或$A=PB$.证法一 由$A‘B+B‘A=0$可得$$(A+B)‘(A+B)=A‘A+B‘B.$$设$V_Asubseteqmathbb{R}^n 查看详情
高等代数期末考试
高等代数的最后一站，有惊无险.高等代数期末考试试题 查看详情
复旦大学数学学院19级高等代数i期中考试第七大题的三种证法及其推广
...);(v)特征值的计算 (参考高代白皮书第6.2.1节).本题是复旦大学数学学院19级高等代数I期中考试的第七大题,重点考察线性方程组求解理论在证明矩阵非异性上的应用.设$A$为$n$阶方阵,由线性方程组的求解理论可知:($*$) $A... 查看详情
复旦大学数学学院18级高等代数ii期中考试第七大题的三种证法及其推广
七、(10分) 设$A$为$n$阶复方阵,证明:存在复数$c_1,cdots,c_n-1$,使得$$A-c_1e^A-c_2e^2A-cdots-c_n-1e^(n-1)A$$是可对角化矩阵.本题是18级高等代数II期中考试的第七大题,虽然结论涉及矩阵的多项式表示和可对角化矩阵,但考察的重点其实是矩... 查看详情
高等代数期中考试
周四进行了高等代数期中考试，以下为试题和答案。 查看详情
数学分析高等代数考研试题荟萃[更新至2017年12月15日]
需要请点击链接. 10001北京大学2016-2017-1高等代数I期末考试试题 10001北京大学87,96-14,17年数学分析考研试题(05含解答) 10001北京大学96-02,05,07,08,10-14年高等代数考研试题 10002中国人民大学99,00,03,04,07年数学分析考研试... 查看详情
复旦大学数学学院转入大数据学院的14级同学对高等代数课程的评价
以下是复旦大学数学学院转入大数据学院的14级同学对本人的高等代数课程的评价。14级 孙宇明同学作为一名14级复旦大学数学科学学院转大数据方向的学生，我的本科前两年是在数院度过的，也因此十分幸运的选择了谢启鸿... 查看详情
大学数学专业试题499套及部分解答
...数学分析2(卷A)期末试题清华大学数学分析1(卷A)期末试题复旦大学2019年数学分析1期中考试试题南京大学2016级数学分析I期末考试卷南京大学2019级数学分析I期末考试试题南京大学2018级数学分析III期末考试试题南京大学2019级高等... 查看详情