当时,有非零解,根据齐次线性方程组解的性质知,一定有无穷多解