矩阵a和b合同的必要条件