1.  AB矩阵相乘=0矩阵，则AB秩相加小于A的列数；
2. AB（均为n列）同解，则AB秩相等；

https://www.bilibili.com/video/BV1Kx411h7wU?p=5