问询：反对称矩阵合同于$2 \times 2$分块对角矩阵的简洁正交证明

我来给你梳理两个问题的简洁证明思路，完全围绕反对称矩阵的核心性质展开，避免冗长的推导：

1. 任意反对称矩阵合同于分块对角矩阵 #

我们可以用归纳法+不变子空间分解来快速证明：

• 基例：当矩阵阶数$n=1$时，反对称矩阵只能是$[0]$，显然符合分块对角形式。
• 归纳假设：假设所有阶数小于$k$的反对称矩阵都合同于分块对角矩阵。
• 归纳步骤：考虑$k$阶反对称矩阵$C$：
  • 若$C$是零矩阵，直接得证。
  • 若$C$非零，存在实向量$x$使得$Cx \neq 0$。注意到$x^T Cx = 0$（反对称矩阵的核心性质：$x^T Cx = -(x^T Cx)^T$，故必为0），因此$x$与$Cx$正交，构成一个二维子空间$V = \text{span}{x, Cx}$。
  • 在$V$上，$C$的限制矩阵为$\begin{pmatrix} 0 & a \ -a & 0 \end{pmatrix}$（$a \neq 0$），这个矩阵合同于标准块$\begin{pmatrix} 0 & 1 \ -1 & 0 \end{pmatrix}$。
  • $V$的正交补$V^\perp$是$C$-不变子空间（验证：若$y \perp V$，则$x^T Cy = -(Cx)^T y = 0$，$(Cx)^T Cy = -x^T C^2 y = x^T C(Cy) = 0$，故$Cy \perp V$），且$V^\perp$上的诱导矩阵是$k-2$阶反对称矩阵，由归纳假设它合同于分块对角矩阵。
  • 综上，$C$合同于由若干个$\begin{pmatrix} 0 & 1 \ -1 & 0 \end{pmatrix}$块和零块组成的分块对角矩阵。

2. 存在正交矩阵$P$使得$P^T C P$为2×2型分块对角矩阵 #

这里直接利用正规矩阵的谱定理，一步到位：

• 首先验证实反对称矩阵是正规矩阵：因为$C^T = -C$，所以$C^T C = (-C)C = -C^2$，而$C C^T = C(-C) = -C^{2$，显然$C}T C = C C^T$，满足正规矩阵的定义。
• 根据实正规矩阵的正交相似标准形定理：任何实正规矩阵都可以正交相似于分块对角矩阵，其中每个块要么是1×1的实数（对应实特征值），要么是2×2的实矩阵（对应一对共轭复特征值）。
• 对于实反对称矩阵，实特征值只能是0：若$\lambda$是实特征值，$x$是实特征向量，则$x^T Cx = \lambda x^T x$，但左边$x^T Cx = -x^T Cx$，故$\lambda = 0$。非实特征值必为纯虚数$\pm i\lambda$（$\lambda > 0$），对应的2×2块为$\begin{pmatrix} 0 & \lambda \ -\lambda & 0 \end{pmatrix}$。
• 因此，存在正交矩阵$P$，使得$P^T C P$是由若干个上述2×2块和零块组成的分块对角矩阵，完全符合要求。

内容的提问来源于stack exchange，提问作者Abdul Miah