例 9.86

依赖于

被以下题目直接调用

例 9.86

阶实矩阵,虚数 的一个特征值, 是对应的特征向量, 其中 是实列向量,求证: 必线性无关;若 是正规矩阵,则 相互正交且长度相同(取实列向量空间的标准内积)。

解答

证明 由假设

假设 线性相关,不妨设 ,则 , 于是 ,由此可得 ,这与 相矛盾。

是正规矩阵,在 (9.12) 式中比较实部和虚部得到

因为 正规,故由例 9.28 可知, 也是 的属于特征值 的特征向量,即

比较实部和虚部得到

,将 代入得到

由此可得