如何判断齐次方程组有没有非零解?