(向量OA+向量OB)*向量AB=0，（根据向量和平行四边形法则）表示O在AB垂直平分线上
又OB=OC，所以O又在BC的垂直平分线上，所以O是三角形ABC内心，向量AO垂直向量BC，所以向量AO*向量BC=0
AB=0则B的列向量是AX=0的解，是B的所有列向量都是AX=0的解，B的线性无关的所有列向量肯定也是AX=0的解
AX=0的基础解系的个数为n-r（A） ，B的线性无关的所有列向量可以看成基础解系的的一个子集
r（B）≤ n-r（A） 即我们经常用到的一个公式
若AB=0 则 r（A）+ r（B）≤
