由λ是AB的特征值,存在非零向量x使得ABx=λx.
所以BA(Bx)=B(ABx)=B(λx)=λBx,且Bx≠0(否则λx=ABx=0,得λ=0,矛盾).
这说明Bx是BA的对应于特征值λ的特征向量,特别地λ也是BA的特征值.