例 9.120

依赖于

被以下题目直接调用

例 9.120

阶正交矩阵,证明:

解答

证法 1 是正交矩阵,使得

其中 ,且有 。因此

从而 。同理可得 的表达式,并由此可得 ,故结论成立。

证法 2 由于正交矩阵 也是复正规矩阵,从而酉相似于对角矩阵,特别地, 可复对角化,再由例 7.41 即得结论。

证法 3第 3 章解答题 8 中,令 即得结论。