a1,……,at是齐次方程组AX=0的一个基础解系.也就是a1,……,at是线性无关,推出│A│=0.