Bekijk systematisch alle mogelijkheden voor u en v, gegeven [latex]u \neq v[/latex]:

[u]Situatie 1:[/u] [latex]u>0, v>0[/latex]
Handeling 1 genereert alle getallen [latex]n\cdot u + m\cdot v[/latex] ([latex]n \ge 1, m \ge 1[/latex]).
Kies hieruit voor handeling 2 deze drie getallen:
[latex]p = u + v[/latex]
[latex]q = 2u + 2v = 2p[/latex]
[latex]r = 3u + 3v = 3p[/latex]
en stel
[latex]px^2 + rx + q = 0[/latex]
We kunnen dan [latex]x_1 = -1[/latex] en [latex]x_2 = -2[/latex] op het blad schrijven.
Via handeling 1 genereren we met deze twee alle negatieve getallen.
Samen met een onbeperkt groot getal dat we met u en v via handeling 1 kunnen bereiken, kunnen we nu dus elk geheel getal bereiken.


[u]Situatie 2:[/u] [latex]u=0[/latex] of [latex]v=0[/latex]
Stel [latex]u=0[/latex], dan kunnen we via handeling 1 alleen [latex]0 + v = v[/latex] bereiken, maar die staat al op het blad, dus lopen we vast.
Handeling 2 kunnen we hier niet gebruiken, want we hebben geen 3 verschillende getallen.


[u]Situatie 3a:[/u] [latex]u<0, v>0[/latex] en [latex]u=-v[/latex]
Handeling 1 geeft maximaal [latex]\{-v, 0, v \}[/latex]
Handeling 2 levert (elk van deze 3 vergelijking ook nog met -1 te vermenigvuldigen, maar dat geeft geen extra oplossingen):
[latex]0x^2 + vx - v = 0\; \Rightarrow \; x =1[/latex]
[latex]vx^2 + 0x - v = 0\; \Rightarrow \;x = \pm 1[/latex]
[latex]vx^2 - vx + 0 = 0\; \Rightarrow \;x = 0 \vee x = 1[/latex]
[1] als [latex]v = 1[/latex] levert dit geen nieuwe waarden op en lopen we vast,
[2] als [latex]v \neq 1[/latex]: gebruik het paar (1, v) als in situatie 1 om alle getallen te genereren

[u]Situatie 3b:[/u] [latex]u<0, v>0[/latex] en [latex]u \neq -v[/latex]
[1] stel u is een negatief veelvoud van v, dan is er een k > 1, zodat [latex]u = -kv[/latex]
Via handeling 1 kunnen door herhaald v op te tellen bij u = -kv op het blad toevoegen:
(-kv+v), (-kv+2v), ..., -2v, -v, 0.
Via handeling 2 krijgen we zowel x=1 ([latex]0x^2+vx-v = 0[/latex]) als x=2 ([latex]0x^2+vx-2v = 0[/latex]),
waarmee we weer in situatie 1 belanden.
[2] stel u is geen negatief veelvoud van v. Tel dan herhaald v bij u op, totdat je net boven nul komt, en noem dat getal w.
Er geldt dan [latex]w > 0[/latex] EN [latex]w \neq v[/latex], waardoor je met (v, w) weer alle getallen kan genereren.


[u]Situatie 4:[/u] [latex]u<0, v<0[/latex]
Net als in situatie 1 kunnen we hier kiezen:
[latex]p = u + v[/latex]
[latex]q = 2u + 2v = 2p[/latex]
[latex]r = 3u + 3v = 3p[/latex]
waarmee we weer alle negatieve getallen kunnen genereren.
In handeling 2 zijn nu alle parameters a, b en c negatief. Als we
[latex]ax^2+bx+c = 0[/latex]
herschrijven als
[latex]x^2+\frac{b}{a}x+\frac{c}{a} = 0[/latex]
zijn zowel [latex]\frac{b}{a}[/latex] als [latex]\frac{c}{a}[/latex] positief.
Voor de oplossing geldt
[latex](x-x_1)(x-x_2) = x^2 - (x_1+x_2)x +x_1x_2 = 0[/latex]
Omdat [latex]x_1x_2 >0[/latex] zijn ze ofwel beide positief, ofwel beide negatief, en
omdat [latex]-(x_1+x_2) > 0[/latex] blijft er 1 mogelijkheid over: beide oplossingen zijn negatief
In dit geval kunnen we dus nooit een positief getal toevoegen.


Volgens mij is bovenstaande zo compleet, laat s.v.p. even weten als je vragen of opmerkingen hebt.

Beste,
Heeft iemand misschien een idee hoe je deze vraag kan oplossen?

Je start met twee verschillende gehele getallen op een blad. Je voert een reeks stappen uit. Elke stap bestaat uit één van de volgende twee handelingen:
- Als a en b verschillende gehele getallen zijn op het blad, dan mogen we a+b op het blad schrijven
(enkel als het er nog niet staat).
- Als a, b en c drie verschillende gehele getallen zijn op het blad, en als een geheel getal x voldoet
aan ax^2 + bx + c = 0, dan mogen we x op het blad schrijven (enkel als het er nog niet staat).

Bepaal alle paren startgetallen (u, v) waarvoor geldt dat elk geheel getal na een eindig aantal stappen
uiteindelijk op het blad geschreven kan worden.