线性代数｜证明：矩阵不同特征值对应的特征向量线性无关

定理 1　设 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_m$ 是方阵 $\mathbf{A}$ 的 $m$ 个特征值，${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_m$ 依次是与之对应的特征向量，如果 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_m$ 各不相等，则 ${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_m$ 线性无关。

证明　使用数据归纳法。

当 $m=1$ 时，因特征向量 ${\mathbf{p}}_1\ne 0$，故只含一个向量的向量组 ${\mathbf{p}}_1$ 线性无关。

假设当 $m=k-1$ 时结论成立，要证当 $m=k$ 时结论也成立。即假设向量组 ${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_{k-1}$ 线性无关，要证向量组 ${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_k$ 线性无关。为此，设有
$$x_1{\mathbf{p}}_1+x_2{\mathbf{p}}_2+\cdots +x_{k-1}{\mathbf{p}}_{k-1}+x_k{\mathbf{p}}_k=0\text{\hspace{1em}(1)}$$
用 $\mathbf{A}$ 左乘上式，得
$$x_1\mathbf{A}{\mathbf{p}}_1+x_2\mathbf{A}{\mathbf{p}}_2+\cdots +x_{k-1}\mathbf{A}{\mathbf{p}}_{k-1}+x_k\mathbf{A}{\mathbf{p}}_k=0\text{\hspace{1em}(2)}$$
即
$$x_1{\lambda }_1{\mathbf{p}}_1+x_2{\lambda }_2{\mathbf{p}}_2+\cdots +x_{k-1}{\lambda }_{k-1}{\mathbf{p}}_{k-1}+x_k{\lambda }_k{\mathbf{p}}_k=0\text{\hspace{1em}(3)}$$
将 $(3)$ 式减去 $(1)$ 式的 ${\lambda }_k$ 倍，得
$$x_1({\lambda }_1-{\lambda }_k){\mathbf{p}}_1+x_2({\lambda }_2-{\lambda }_k){\mathbf{p}}_2+\cdots +x_{k-1}({\lambda }_{k-1}-{\lambda }_k){\mathbf{p}}_{k-1}=0\text{\hspace{1em}(4)}$$
因为根据假设有向量组 ${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_{k-1}$ 线性无关，所以有
$$x_i({\lambda }_i-{\lambda }_k)=0(i=1,2,\cdots ,k-1)$$
因为 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_m$ 各不相等，即 ${\lambda }_i-{\lambda }_k\ne 0(i=1,2,\cdots ,k-1)$，所以得
$$x_i=0(i=1,2,\cdots ,k-1)\text{\hspace{1em}(5)}$$
将 $(5)$ 式代入式 $(1)$，得
$$x_k{\mathbf{p}}_k=0$$
因为 ${\mathbf{p}}_k$ 为特征向量，即 ${\mathbf{p}}_k\ne 0$，所以 $x_k=0$。因此有 ${\mathbf{p}}_1,{\mathbf{p}}_2,\cdots ,{\mathbf{p}}_m$ 线性无关。得证。