ab均为非n阶非零矩阵且ab等于0则