二元二次型

二元二次型是关于两个变量的二次型，其形式为

(1)

通常表示为 。

考虑一个具有实系数 、 和 的二元二次型，其行列式为

(2)

且 。那么 是正定的。一个重要的结果表明，存在两个不全为 0 的整数 和 使得

(3)

对于所有满足上述约束的 、 和 值（Hilbert 和 Cohn-Vossen 1999，第 39 页）。