[E 0 *[kE A =[kE A
-B kE] B E] 0 kE-BA],取行列式得k^M*|D| =k^N|kE-BA|,D是中间的矩阵.
另一方面 【E -A *D=[kE-AB 0
0 E] B E],去行列式得|D|=|kE-AB|,两式比较得结论.[E 0*[kE A=[kE A-B kE]BE] 0kE-BA]，写的是什么看不懂矩阵不好打，就是两个矩阵的乘积等于右边矩阵。第一个矩阵第一行是E 0，第二行是-B kE；第二个矩阵第一行是kE A，第二行是 BE。右边第一行是kEA，二行是0 kE-BA