在数学中，二次型是一些变量上的二次齐次多项式。例如是关于变量x和y的二次型。二次型在许多数学分支，包括数论、线性代数、群论（正交群）、微分几何(黎曼测度)、微分拓扑(intersection forms of four-manifolds)和李代数(基灵型)中，占有核心地位。
介绍.二次型是"n"个变量上的二次齐次多项式。下面给出一个、两个、和三个变量的二次形式：其中"a", ..., "f"是系数。注意一般的二次函数和二次方程不是二次形式的例子，因为它们不总是齐次的。