线性代数：齐次线性方程组Ax=0有非零解的充要条件

在线性代数中，我们经常会遇到齐次线性方程组Ax=0，其中A为系数矩阵，x为未知向量。一个重要的结论是：齐次线性方程组Ax=0有非零解的充要条件是A的行列式为0。

充分条件：

若AX=0有非零解，则A的行列式为0。

证明：假设AX=0有非零解，即存在一个非零向量X，使得AX=0。设A的行数为m，列数为n，且X为n维列向量。则有：

|A| × |X| = |AX| = |0| = 0

因为X是非零向量，所以|X|≠0，所以有|A|=0。

必要条件：

若A的行列式为0，则AX=0有非零解。

证明：由于|A|=0，所以A的行向量线性相关，即存在不全为0的向量C使得AC=0。设C为m维列向量，则有：

|A| × |C| = |AC| = |0| = 0

因为C不全为0，所以|C|≠0，所以有AX=0有非零解。

因此，AX=0有非零解的充要条件是A的行列式为0。