a) Eine Kreisgleichung hat die Form
-

also ist nach Ausmultiplizieren
-

und entsprechend
-

Daher ist
-

Da die Kreise verschieden sind, ist dies ein Polynom vom Grad
oder
. Dabei gilt
-

und damit sind auch die Restklassenringe isomorph.
b) Wir gehen aus von der Beschreibung aus (a), also
-
![{\displaystyle {}R=K[X,Y]/(F,H)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cb5bd18879e8b470bdd136b62ec022097b6e3d9)
Bei
konstant ist dies der Nullring. Andernfalls ist
linear und dann kann man nach einer Variablen auflösen, sagen wir
-

Dann ist
![{\displaystyle {}{\begin{aligned}K[X,Y]/(F,H)&=K[X,Y]/{\left(X^{2}+Y^{2}+rX+sY+t,Y-\alpha X-\beta \right)}\\&=K[X]/{\left(X^{2}+{\left(\alpha X+\beta \right)}^{2}+rX+s{\left(\alpha X+\beta \right)}+t\right)}\\&=K[X]/{\left(uX^{2}+vX+w\right)}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ec7ef801ac2d1f49ad76580d85598aba7397463)