n个未知量的齐次线性方程组AX=0有非零解的充要条件为