定義
f(x, y) = ax^2 + bxy + cy^2 を(有理整数係数の)２次形式とする。

k を有理整数とする。
不定方程式 k = ax^2 + bxy + cy^2 が有理整数解 (u, v) を
持つとする。

u と v が互いに素なとき (u, v) を k = f(x, y) の原始解と呼ぶ。