可,在下,当为时,中的任意向量有且只有一个中的向量与之对应。而时,中的每一个向量都有无数个中的向量与之对应:
又根据,可知:
综上,所以在有解情况下,那么:
结合上,可以得到解的个数判别法:
对于,它的为,如果为的,那么:
解的个数判别法可以这么理解: (1)根据,说明了是。
(2)说明了是的,所以,所以如果有解则是唯一解;否则,如果有解则是无数解。
如果是,这说明既是又是,所以有唯一解:
或者这么理解,首先假设为阶,那么有。对于,其为的,其必然为(增加列不会减少,但也不会超过行数),所以有:
根据,所以有唯一解。