定義
(a, b, c) を判別式 D ＞ 0 の２次形式とする。
θ = (-b + √D)/2|a| とおく。

1/θ が簡約された２次無理数のとき (a, b, c) を簡約された２次形式、
または単に簡約２次形式という。