设 f(x1,x2,⋯,xn)=XTAX 为实二次型, 则可作一个非退化的线性替换
⎩⎨⎧x1=c11y1+c12y2+⋯+c1nynx2=c21y1+c22y2+⋯+c2nyn⋯⋯⋯⋯xn=cn1y1+cn2y2+⋯+cnnyn
其中
C=c11c21⋮cn1c12c22⋮cn2⋯⋯⋯c1nc2n⋮cnn
为正交矩阵, 把 f(x1,x2,⋯,xn) 化成标准形 λ1y12+λ2y22+⋯+λnyn2这里 λ1,λ2,⋯,λn 都是 f(x1,x2,⋯,xn) 的矩阵 A 的特征值.