n元齐次线性方程组ax=0有非零解的充分必要条件是