从一般相似对角化到实对称正交对角化的几何本质

「从一般相似对角化到实对称正交对角化的几何本质」
（代数式 $ P^{-1}AP = \Lambda $ 与 $ A = Q \Lambda Q^T $ 在几何空间中究竟在做什么变换？）

我们将全程采用同一套坐标系、同一比例尺寸（单位圆半径 $ R = 60 $、长轴 $ a = 120 $、倾角 $ 30^\circ $）与统一配色，通过 3 步渐进图示带你亲眼看见矩阵变换的全过程。

结构总览：代数与几何的映射跃迁

在进入几何图形前，先建立如下认知框架：

第一步：标准直角坐标系下的几何纠缠

1. 代数对应公式

任意一个二阶实矩阵对平面向量的映射：

$$y = Ax$$

2. 本步新增图形

在标准基 $ e_1 = (1, 0)^T, \ e_2 = (0, 1)^T $ 构成的直角坐标系下，原空间中的单位圆 $ |x| = 1 $ 经过矩阵 $ A $ 的作用，变成了一个向第一象限倾斜的椭圆。

这一步看什么 / 元素对应：

• 灰色虚线圆对应原向量组 $ |x| = 1 $；
• $ \color{#1976d2}{\text{蓝色倾斜椭圆}} $ 对应矩阵相乘后的象集 $ y = Ax $；
• 此时椭圆长轴倾斜（偏离了 $ x $ 轴 $ 30^\circ $），说明在标准基下，矩阵 $ A $ 的非对角元不为 0，输入向量既被拉伸又被旋转，两个坐标分量深度纠缠。

第二步：锁定不变主轴（特征向量的纯拉伸与天然正交）

1. 代数对应公式

特征值与特征向量的定义式：

$$\color{#d32f2f}{A \alpha_1 = \lambda_1 \alpha_1}, \quad \color{#f57c00}{A \alpha_2 = \lambda_2 \alpha_2}$$

实对称矩阵特有定理（不同特征值的特征向量天然正交）：

$$\alpha_1^T \alpha_2 = 0 \quad (\alpha_1 \perp \alpha_2)$$

2. 本步新增图形

保留上一步的灰色坐标系与椭圆轮廓；新增两根互相对称垂直的特征向量主轴。

这一步看什么 / 元素对应：

• $ \color{#d32f2f}{\text{红色短粗箭头}} $ 对应特征向量 $ \alpha_1 $（模长为 60），$ \color{#d32f2f}{\text{红色虚线长箭头}} $ 对应经过 $ A $ 作用后的结果 $ A \alpha_1 = \lambda_1 \alpha_1 $（此处 $ \lambda_1 = 2 $，方向毫无偏折，发生纯拉伸）；
• $ \color{#f57c00}{\text{橙色箭头}} $ 对应特征向量 $ \alpha_2 $（此处 $ \lambda_2 = 1 $，拉伸倍数为 1）；
• 中心处的直角记号对应讲义 3.5 定理：$ \color{#1976d2}{\alpha_1 \perp \alpha_2} $。这表明特征向量恰好构成了椭圆的长半轴和短半轴。

第三步：正交相似对角化的“运动学三部曲”

1. 代数对应公式

实对称矩阵正交相似对角化因式分解：

$$\color{#d32f2f}{A = Q \Lambda Q^T}$$

其逆向计算等价于：

$$Q^T A Q = \Lambda = \begin{pmatrix} \lambda_1 & 0 \\ 0 & \lambda_2 \end{pmatrix}$$

2. 本步新增图形

保持比例完全一致，将倾斜椭圆通过正交矩阵 $ Q^T $ 顺时针刚体旋转 $ 30^\circ $，变成横平竖直的标准椭圆。

这一步看什么 / 元素对应：
公式 $ \color{#d32f2f}{A = Q \Lambda Q^T} $ 对应一个三阶段连续运动：
1. 右乘 $ Q^T $（紫色圆弧）：将原直角坐标系刚体旋转 $ 30^\circ $，使椭圆的主轴与标准横纵坐标轴完全对齐；
2. 中乘 $ \Lambda $（$ \color{#2e7d32}{\text{绿色椭圆}} $）：在对齐的坐标系下，彻底消除交叉项，分别沿新坐标轴执行最单纯的拉伸：横轴拉伸 $ \lambda_1 = 2 $ 倍，纵轴拉伸 $ \lambda_2 = 1 $ 倍；
3. 左乘 $ Q $：将拉伸完毕的图形逆时针旋转 $ 30^\circ $，精确复位到原位置。

总结：两讲公式的几何对照小结

• 一般矩阵相似对角化（3.3 节 $ P^{-1}AP = \Lambda $）：

特征向量 $ \alpha_1, \alpha_2 $ 往往不垂直，相当于通过一组歪斜的网格去看变换，换基矩阵 $ P $ 必须强行把斜坐标系拉直，因此 $ P^{-1} $ 计算复杂；

• 实对称矩阵正交相似对角化（3.5 节 $ Q^TAQ = \Lambda $）：

特征向量天生相互垂直，新网格本身就是刚体旋转得到的直角坐标系，换基矩阵 $ Q $ 纯粹是一个旋转变换，因此转置即可求逆（$ Q^{-1} = Q^T $）。