线性代数的重要内容之一，它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。

1858年，维尔斯特拉斯对同时化两个二次型成平方和给出了一个一般的方法，并证明，如果二次型之一是正定的，那么即使某些特征根相等，这个化简也是可能的。维尔斯特拉斯比较系统的完成了二次型的理论并将其推广到双线性型。

二次型（quadratic form）：n个变量的二次多项式称为二次型，即在一个多项式中，未知数的个数为任意多个，但每一项的次数都为2的多项式。线性代数的重要内容之一，它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。