Z/Binäre quadratische Form/Darstellbar/Definition

Darstellbar (binäre quadratische Form)

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

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

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

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

gibt.