行列式乘法定理的证明这不是定义,应该可以推导出来,我用二阶矩阵演算过,但是还是没有悟出合理的推导方法,一般的情况可以通过