定义证明,定义证明不会，其实书上的例题证明我就没看明白就是罗列每个矩阵的每个元素，然后按照矩阵乘法做运算，看下结果是否相符。