矩阵连乘补充