线代 Ax=0有非零解的充要条件是什么