二次型规范型的求法：由已知，二次型的负惯性指数为 3-2=1；所以二次型的规范型是 y1^2 + y2^2 - y3^2。

在数学中，二次型是一些变量上的二次齐次多项式。是关于变量x和y的二次型。二次型在许多数学分支，包括数论、线性代数、群论（正交群）、微分几何（黎曼测度）、微分拓扑（intersection forms of four-manifolds）和李代数（基灵型）中，占有核心地位。

任何非零的n维二次形式定义在投影空间中一个（n-2）维的投影空间。在这种方式下可把3维二次形式可视化为圆锥曲线。术语二次型也经常用来提及二次空间，它是有序对（V，q），这里的V是在域k上的向量空间，而q：V → k是在V上的二次形式。

在三维欧几里得空间中两个点之间的距离可以采用涉及六个变量的二次形式的平方根来找到，它们是这两个点的各自的三个坐标。任意一实二次型经过一适当的非退化线性替换可以变成规范型，并且规范型是唯一的。

二元二次型理论又开辟了二次域的研究，而代数数域作为代数数论的研究对象之一，无疑对它的创立产生了重要影响。同时，二元二次型理论也激起了人们对一般二次型理论的研究。

对称双线性形式：

在低层的域的特征不是2的时候，二次形式等价于对称双线性形式。二次形式总是生成对称双线性形式（通过极化恒等式），而反过来要求除以2。所以如果2在R中是可逆的（在R是一个域的时候这同于有不是2的特征），则我们可以从对称双线性形式B恢复二次形式。

当2是可逆的时候，这给出在V上的二次形式和V上的双线性形式之间的一一映射。如果B是任何对称双线性形式，总是二次形式。所以在2是可逆的时候，这可以用作二次形式的定义。但是如果2不是可逆的，对称双线性形式和二次形式是不同的：某些二次形式不能写为形式B（u，u）。