例 3.15

依赖于

  • 无显式依赖

被以下题目直接调用

例 3.15

设向量组 线性无关,又

求证: 线性相关的充要条件是系数矩阵 的行列式为零。

解答

证明 的行向量为 。 若 ,则 的行向量线性相关,即存在不全为零的 个数 ,使得

经简单计算可得

从而 线性相关。

反之,若 可逆,如有 ,使得

代入,并利用 的线性无关性, 可得以 为未知数的线性方程组:

因为 可逆,所以该方程组只有零解,从而 线性无关。