埃尔米特矩阵
定理：当"formula_2"是埃尔米特矩阵, 存在标准正交基"formula_1"，由"formula_2"的特征向量组成。且"formula_2"每个特征值都是实数。