AX-XA=0对一切X成立, 说明关于X的线性方程组AX-XA=0的解空间是全空间(也就是K^{nxn}), 既然如此, 取全空间的一组基代进去都要成立, 所以就让X取遍恰好有一个分量为1其余分量为0的矩阵, 这样就可以得到A所满足的性质(结论是A是单位阵的常数倍).
