比如说在AC有意义的情况下A=B => AC=BCA=B已经说明A和B是同一个矩阵,AC和BC当然也就是同一个矩阵,这是一个纯粹的等量替换,跟消去律没有任何关系这里根本不需要C可逆,C也不需要是方阵
矩阵可逆与否的问题