不可以。这样只说明AB和C作用在这个特定的向量x上的像相同，换句话说就是x落在AB-C的核空间里，并不能说明AB-C=0。理论上讲如果A，B在某个域K上，而x的各分量在K上线性无关，那么你这样做可以的，比如题目里A，B都是整数矩阵，取x=[1,e,e^2,...,e^{M-1}]^T就行，但是这在计算机的浮点运算下还是不可行的。
去看我的博客，我说的很清楚了
