验证（E E *(A B *(E -E
0 E) B A) 0 E)
=（A+B 0
B A-B),
其中E是N阶单位阵.等式两边取行列式,并注意到等式
右边矩阵的行列式为|A+B|*|A-B|可知结论成立.