假设AX=b的两个解分别为X1,X2,且X1不等于X2,
即AX1=b,AX2=b
两式相减得
A(X1-X2)=0
因为X1不等于X2,所以X1-X2不等于0,这表明方程AX=0有非零解,所以A的行列式的值为0,否则AX=0只有零解.