在数学中，二次型是一些变量上的二次齐次多项式。术语二次形式也经常用来提及二次空间，它是有序对 (V,q)，这里的 V 是在域 k 上的向量空间，而 q:V → k 是在 V 上的二次形式。例如，在三维欧几里德空间中两个点之间的距离可以采用涉及六个变量的二次形式的平方根来找到，它们是这两个点的各自的三个坐标。

在数学中，二次型是一些变量上的二次齐次多项式。术语二次形式也经常用来提及二次空间，它是有序对 (V,q)，这里的 V 是在域 k 上的向量空间，而 q:V → k 是在 V 上的二次形式。例如，在三维欧几里德空间中两个点之间的距离可以采用涉及六个变量的二次形式的平方根来找到，它们是这两个点的各自的三个坐标。