整套考卷打上去实在太累了，而且有的题目确实没啥意思，所以我还是恢复到之前只写一些个人认为比较有意思的题目上去的状态

115.1 [苏州大学2023] 阶复方阵称为对合矩阵，若

(1)证明：任意一个对合矩阵都可以相似对角化

(资料图片)

(2)证明：两两可交换的阶对合矩阵最多有个

(1)记，那么因为只有单根，故的极小多项式也只有单根，从而可以相似对角化

(2)容易发现是一个满足条件的集合，并且不能再向里面添加元素了，下面来严格证明一下

设是两两可交换阶对合矩阵构成的集合中元素最多的集合之一

若为两两可交换阶对合矩阵构成的集合，那么也是两两可交换阶对合矩阵构成的集合，所以

其次，中的元素的个数和中的元素的个数是一样的，因为可对角化且特征值仅为，所以不妨设，其中的个数为个，的个数为个

当时，结论显然

假设当时结论成立，即两两可交换的阶对合矩阵最多有个，那么任取，有

记，其中为阶矩阵，为阶矩阵，那么

化简，得

从而，即中矩阵只能有的形式，又因为，所以也是对合矩阵，依归纳假设，这样的最多有个，这样的最多有个，合起来这样的一共有个，又因为和也包含在其中，所以中的元素最多有个

115.2 [南开大学2023]设是是正定矩阵，。如果存在，使得，证明：

如果，那么这个结论就是熟悉的一元二次方程的判别式，现在先来回忆一下这个判别式是怎么推导出来的

所以只能有

根据要证明的结论，合理地猜想，对于一般的情况，有下式成立

下面来验证一下

所以这确实是成立的，故

结论得证

115.3 [南开大学2023]是否存在矩阵，使得，且中所有元素之和为？如果存在，请给出具体的例子，如果不存在，请说明理由

记，则是对合矩阵，可对角化且其只能以或为特征值，又因为，所以其相似于或

若其相似于，则因为方程的解为，的解为，所以以中的一个元素为一个特征值，以中的一个元素为另一个特征值，因为是有理数域上的矩阵，所以其复根只能是共轭的，所以的特征值只能是，但是此时，矛盾

同理可知，相似于时，的特征值只能为

此时，相似于

草稿纸上算的时候以为做出来了，结果写到这里发现不会了，不过整题删了又怪可惜的，等想出来了再补上吧，有做出来的大哥教教我吧···