有限次元ベクトル空間に作用する線形作用素、つまり行列の場合、対角成分の和と固有値の和はともに行列の跡に等しいので