反对称矩阵的合同标准型是diag{D,D,...,D,0,...,0},其中
D=
0 1
-1 0
当然也可以看特征值,实反对称矩阵的特征值都在虚轴上,且成对出现