A应该满足不可逆
方法一：设A为m×n矩阵，B 为n×s矩阵，则由AB=O知：r（A）+r（B）≤n，又A，B为非零矩阵，则：必有rank（A）＞0，rank（B）＞0，可见：rank（A）＜n，rank（B）＜n，即A的列向量组线性相关，B的行向量组线性相关
