应该说其它特征值的模都小于等于1.
首先利用Gershgorin圆盘定理容易证明谱半径不超过1,即谱半径就是1.
如果还想证明单位圆周上除了1之外没有别的特征值就需要额外的条件,比如矩阵的所有元素都是正的.