[矩阵论] 矩阵k次幂的谱半径等于矩阵谱半径的k次方

UPDATE 20240324：
评论区有小老弟给我提了个问题，他说的很对，中间某一步缺少必要性的证明

这里做个强假设，修补一下这篇氵文，假设$A$矩阵有$k$个完全不同的特征值，之后有空从若当标准型的角度重新推导下，感兴趣的老哥也写个博客让我看看，感谢感谢！！

---

要证：
$$\rho (A^k)=[\rho (A){]}^k$$

可先证，$A^k$的特征值为${\lambda }^k$，其中$\lambda$为$A$的特征值，$x$为$\lambda$对应的特征向量
显然有：
$$Ax=\lambda x$$
则我给上式左乘一个$A$:
$$A^{2}x=A\lambda x=\lambda Ax={\lambda }^{2}x$$

左乘$(k-1)$个$A$，显然有：
$$A^{k}x={\lambda }^{k}x$$
即$A^k$ 的特征值是 ${\lambda }^k$

$A^k$ 的谱半径：
$$\rho (A^k)=\underset{i}{\max }|{\lambda }_i^k|$$

又对任意复数$z$，有：
$$|z{|}^k=|z^k|$$
就是，复数模的k次幂 = 复数k次幂的模
没反应过来的，想想复数的三角形式$z=r{e}^{j\theta }$

则$A^k$ 的谱半径：
$$\rho (A^k)=\underset{i}{\max }|{\lambda }_i^k|=\underset{i}{\max }|{\lambda }_i{|}^k=\rho (A{)}^k$$

证毕

参考自：
1. 复数三角表示
2. 若矩阵A的特征值为t,为什么A的k次方的特征值为t的k次方，求解释？
3. 矩阵B谱半径的k次方为什么小于矩阵B的k次方的谱半径

---