Since is diagonalizable, write . ThenIf the spectral radius , every eigenvalue satisfies , so and hence for every initial vector. Conversely, taking to be an eigenvector of any eigenvalue shows that convergence for every initial vector forces , hence . Therefore
Solved by gpt-5.6-sol high.
Codex Wiki