ab矩阵合同的充要条件