例 9.119

依赖于

  • 无显式依赖

被以下题目直接调用

例 9.119

阶正交矩阵,求证: 当且仅当 为奇数。

解答

证明 因为正交矩阵的逆矩阵以及正交矩阵的乘积都是正交矩阵,故 还是正交矩阵。 等价于 ,又 ,故只要证明:若 阶正交矩阵,则 当且仅当 为奇数即可。下面给出两种证法。

证法 1 是正交矩阵,使得

其中 ,且有 。于是 ,并且

从而 。因此 当且仅当 为奇数,即当且仅当 为奇数。

证法 2 由于正交矩阵 也是复正规矩阵,从而酉相似于对角矩阵,特别地, 可复对角化。 注意到 的特征值是模长等于 的复数,故或者是模长等于 的共轭虚特征值,或者是 。设 的特征值 的几何重数 ,则其代数重数也为 ,于是 当且仅当 为奇数。