把X按列拉成向量vec(X),那么原方程等价于(I*A-B^T*I)vec(X)=0其中I*A和B^T*I都是Kronecker乘积。注意I*A-B^T*I的特征值恰好是所有的λ_i-μ_j,其中λ_i和μ_j分别是A和B的特征值,从而结论成立。也可以用上三角化来证明,比如P^{-1}AP=S和Q^{-1}BQ=T都是Jordan标准型,那么原方程等价于SY-YT=0,其中Y=PXQ^{-1},然后可以逐列推出Y=0。