必要而非充分，矩阵C中的元素都为0则AC=BC但AC=BC不一定C中的元素都为0。因为Ax=Bx不一定只有零解。更简单的来说，Ax=0于Bx=0不一定没有一个相同的非零解。最简单的例子莫过于A，B等价的时候，且A不可逆。取Ax=0的一个非零解a，那么a也为B的解，故 C=(a,a,...,a)满足AC=BC=0
