二元二次型

二元二次型是關於兩個變數的二次型，其形式為

(1)

通常表示為 。

考慮一個具有實係數 、 和 的二元二次型，其行列式為

(2)

且 。那麼 是正定的。一個重要的結果表明，存在兩個不全為 0 的整數 和 使得

(3)

對於所有滿足上述約束的 、 和 值（Hilbert 和 Cohn-Vossen 1999，第 39 頁）。