线性方程组有非零解的充要条件：系数行列式等于零

线性方程组有非零解的充要条件：系数行列式等于零

线性代数中一个重要的定理指出：齐次线性方程组有非零解的充要条件是其系数行列式等于零。

问题描述

考虑如下形式的线性方程组：

$$ \begin{cases} a_{11}x_1 + a_{12}x_2 + \cdots + a_{1n}x_n = b_1\ a_{21}x_1 + a_{22}x_2 + \cdots + a_{2n}x_n = b_2\ \vdots\ a_{m1}x_1 + a_{m2}x_2 + \cdots + a_{mn}x_n = b_m \end{cases} $$

其中 $a_{ij}$ 和 $b_i$ 都是已知实数，$x_1,x_2,\ldots,x_n$ 是未知实数。如果存在一组非全为零的实数 $x_1,x_2,\ldots,x_n$，使得上述方程组中的每个方程都成立，则称这组实数是该线性方程组的一个非零解。

定理内容

该定理指出：上述线性方程组有非零解的充要条件是其系数行列式 $D$ 等于零，即：

$$ D = \begin{vmatrix} a_{11} & a_{12} & \cdots & a_{1n}\ a_{21} & a_{22} & \cdots & a_{2n}\ \vdots & \vdots & \ddots & \vdots\ a_{n1} & a_{n2} & \cdots & a_{nn} \end{vmatrix} = 0 $$

解释

• 如果系数行列式 $D$ 不等于零，根据克莱姆法则，该线性方程组存在唯一解。由于全为零的解 ($x_1 = x_2 = ... = x_n = 0$) 显然满足该方程组，因此该唯一解只能是零解，不存在非零解。

• 如果系数行列式 $D$ 等于零，则系数矩阵的秩 $r$ 小于未知数的个数 $n$。根据线性代数的基本定理，该方程组的解空间的维数为 $n-r$，且 $n-r > 0$。这意味着解空间中存在非零向量，即存在非零解。

总结

线性方程组有非零解的充要条件是其系数行列式等于零。该定理为判断线性方程组解的存在性提供了一种简单而有效的方法，在工程学、物理学、经济学等领域有着广泛的应用。