验证矩阵幂等于单位阵的条件证明正确性并求简化证法

嘿，先来说说你提到的原证明的正确性：如果原证明是通过标准基向量的变换来分析线性变换的迭代（也就是矩阵幂的作用），那这个思路是完全正确的——毕竟矩阵的幂本质就是线性变换的重复作用，观察基向量在A的多次作用下的变化，确实能推导出行列式为单位矩阵的条件。不过这个方法可以更简化，下面给你一个更直接的证明：

简洁证明过程 #

记目标矩阵为 ( A = \begin{pmatrix} 0&0&-1\ 0&1&0\ 1&0&0\ \end{pmatrix} )，我们分充分性和必要性两部分来证：

充分性：若 ( 4 \mid n )，则 ( A^n = I ) #

直接计算矩阵的低次幂，找到周期规律：

1. 计算 ( A^2 ):
   [
   A^2 = A \times A = \begin{pmatrix} 0&0&-1\ 0&1&0\ 1&0&0\ \end{pmatrix} \begin{pmatrix} 0&0&-1\ 0&1&0\ 1&0&0\ \end{pmatrix} = \begin{pmatrix} -1&0&0\ 0&1&0\ 0&0&-1\ \end{pmatrix}
   ]
   这是一个对角矩阵，主对角线元素为 (-1, 1, -1)。
2. 计算 ( A^4 = (A²⁾2 ):
   [
   A^4 = \begin{pmatrix} -1&0&0\ 0&1&0\ 0&0&-1\ \end{pmatrix} \begin{pmatrix} -1&0&0\ 0&1&0\ 0&0&-1\ \end{pmatrix} = \begin{pmatrix} 1&0&0\ 0&1&0\ 0&0&1\ \end{pmatrix} = I
   ]
   当 ( 4 \mid n ) 时，可设 ( n=4k )（( k \in \mathbb{Z}^+ )），则 ( A^n = (A⁴⁾k = I^k = I )，充分性得证。

必要性：若 ( A^n = I )，则 ( 4 \mid n ) #

我们通过特征值来分析：

1. 求A的特征值，特征方程为 ( \det(A - \lambda I) = 0 ):
   [
   \det\begin{pmatrix} -\lambda&0&-1\ 0&1-\lambda&0\ 1&0&-\lambda\ \end{pmatrix} = (1-\lambda)(\lambda^2 + 1) = 0
   ]
   解得特征值为 ( \lambda=1, i, -i )（其中 ( i ) 为虚数单位）。
2. ( A^n ) 的特征值为 ( 1^n=1, i^n, (-i)^n )，因为 ( A^n=I )，所以所有特征值必须为1：
   • ( i^n=1 ) 当且仅当 ( 4 \mid n )；
   • 同时 ( (-i)^n = (-1)^n i^n )，当 ( 4 \mid n ) 时，( (-1)^n=1 )，故 ( (-i)^n=1 )；
     反之，若 ( A^n=I )，则 ( i^n=1 )，必然推出 ( 4 \mid n )，必要性得证。

这个证明直接通过计算低次幂找周期，再结合特征值分析必要性，比逆否命题+基向量的方法更简洁直观～

内容的提问来源于stack exchange，提问作者atifcppprogrammer