定理 1 设 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量 是方阵 【证明】矩阵不同特征值对应的特征向量线性无关_特征值_02【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_03 个特征值,【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_04 依次是与之对应的特征向量,如果 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量 各不相等,则 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_04

证明 使用数据归纳法。

【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_07 时,因特征向量 【证明】矩阵不同特征值对应的特征向量线性无关_数据_08,故只含一个向量的向量组 【证明】矩阵不同特征值对应的特征向量线性无关_数据_09

假设当 【证明】矩阵不同特征值对应的特征向量线性无关_特征值_10 时结论成立,要证当 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_11 时结论也成立。即假设向量组 【证明】矩阵不同特征值对应的特征向量线性无关_数据_12 线性无关,要证向量组 【证明】矩阵不同特征值对应的特征向量线性无关_数据_13 线性无关。为此,设有
【证明】矩阵不同特征值对应的特征向量线性无关_特征值_14
【证明】矩阵不同特征值对应的特征向量线性无关_特征值_02 左乘上式,得
【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_16

【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_17
【证明】矩阵不同特征值对应的特征向量线性无关_特征值_18 式减去 【证明】矩阵不同特征值对应的特征向量线性无关_数据_19 式的 【证明】矩阵不同特征值对应的特征向量线性无关_特征值_20 倍,得
【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_21
因为根据假设有向量组 【证明】矩阵不同特征值对应的特征向量线性无关_数据_12 线性无关,所以有
【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_23
因为 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量 各不相等,即 【证明】矩阵不同特征值对应的特征向量线性无关_数据_25,所以得
【证明】矩阵不同特征值对应的特征向量线性无关_特征值_26
【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_27 式代入式 【证明】矩阵不同特征值对应的特征向量线性无关_数据_19,得
【证明】矩阵不同特征值对应的特征向量线性无关_特征值_29
因为 【证明】矩阵不同特征值对应的特征向量线性无关_数据_30 为特征向量,即 【证明】矩阵不同特征值对应的特征向量线性无关_特征值_31,所以 【证明】矩阵不同特征值对应的特征向量线性无关_特征值_32。因此有 【证明】矩阵不同特征值对应的特征向量线性无关_特征向量_04