Man sagt, dass eine ganze Zahl ${\displaystyle {}n}$ durch eine binäre quadratische Form

${\displaystyle aX^{2}+bXY+cY^{2}}$

darstellbar ist, wenn es ganze Zahlen ${\displaystyle {}(x,y)\in \mathbb {Z} ^{2}}$ mit

${\displaystyle {}n=ax^{2}+bxy+cy^{2}\,}$

gibt.