A为m×n矩阵，则如果Ax=b有无穷多解，则Ax=0有非零解。