矩阵迹的妙用：从相似不变性到正交性
在矩阵分析中，一个看似简单的元素平方和函数，配合上相似变换的不变性，往往能导向非常深刻的结构性结论。今天我们来探讨一个关于“复对称结构”的经典证明。
【问题】
设 为阶方阵，定义函数。设为阶可逆矩阵，使得对任意的阶方阵成立：
证明：存在非零常数，使得。
注意：此处 可以是复矩阵，这意味着 并不构成标准的内积（复数域下通常定义为 ），而是一个对称双线性型导出的二次型。
【想法】
解决本题的关键在于**“降维打击”与“自由度释放”**：
• 算子转化：将复杂的求和式 转化为矩阵的迹 ，这是处理矩阵元素运算的高级形态。 • 极化技巧：利用极化恒等式将单变量的二次型 转化为双变量的双线性型 。这样做可以引入两个独立变量 和 。 • 非退化性剥离：利用迹运算在双线性型中的非退化性（即若对所有 都有 则 ），可以将包裹在矩阵外层的迹符号“剥掉”。 • 中心化子性质：证明 与所有矩阵都交换，从而判定其必为数量矩阵。
【证明】
将标量函数转化为矩阵的迹
首先，观察到 实际上是矩阵 的对角线元素之和。因此，我们可以将原函数改写为：
这里需要特别注意，即便在复数域下，题目定义的也是转置而非共轭转置。
利用极化恒等式构造双线性型
由 可以自然地导出一个对称双线性型：
题目已知，根据极化恒等式，这意味着对于任意矩阵，相应的双线性型也保持不变：
利用迹的循环性质进行代数变形
将左侧的转置展开，并利用迹的循环不变性 ，进行如下推导：
将最右侧的移动到迹的最左侧：
注意到。令，上式可化简为：
再次利用循环性质，将移至右侧：
利用非退化性进行“剥离”
由于上述等式对任意矩阵 均成立，根据迹定义的双线性型的非退化性，我们可以剥掉最外层的迹符号和 ，得到：
即对于任意阶方阵，都有：
运用中心化子定理得出结论
在矩阵代数中，与所有 阶方阵均可交换的矩阵只能是数量矩阵（这是 Schur 引理的一个基本推论）。因此，存在常数 使得：
由于是可逆矩阵，则也是可逆的，故常数必然非零。
证毕。
【学到了什么】
• 非正定性下的非退化性：在复数域下，虽然不满足内积的正定性，但它依然是非退化的。这告诉我们，在处理代数问题时，非退化性往往比正定性更具有普适的威力。 • 测试函数思想：通过引入任意矩阵 作为“测试函数”，我们可以将复杂的迹等式转化为纯粹的矩阵等式。这种从“整体（迹）”回归到“局部（矩阵元素）”的思想非常重要。
