为实二次型, 则可作一个非退化的线性替换

其中

为正交矩阵, 把 化成标准形 这里 都是 的矩阵 的特征值.