二次型：n个变量的二次多项式称为二次型，即在一个多项式中，未知数的个数为任意多个，但每一项的次数都为2的多项式。线性代数的重要内容之一，它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。
3.第三步写出非退化线性变换x=Cy，化二次型为标准形f=y'D补充，若第一步构造 n×2n矩阵 (A E)，则第二步将A化为对角矩阵D，并对E施行与A相同的初等行变换，将E化为矩阵C，此时C不是我们需要的非退化矩阵！！！对矩阵 进行转置得到矩阵F=C'，此时矩阵F才是我们求的非退化矩阵！F'AF=D...