例 9.126

依赖于

• 无显式依赖

被以下题目直接调用

• 例 9.129

例 9.126

设 $A_1,A_2,\cdots ,A_m$ 是 $m$ 个实正规矩阵且两两乘法可交换，求证：存在正交矩阵 $P$， 使得 $P^{\prime }{A}_{i}P$ 同时为正交相似标准型。$\square$

下面我们先来看同时正交对角化的几个应用。

解答

（源码中本题没有识别到单独的“证明/解/解答”段；题目与解答可能在上方原文中连排。）