Hi!
Sach ma, was hat mich gestern abend eigentlich geritten?
Just for fun habe ich die ersten beiden Gleichungen in Geogebra gezeichnet. Das sind zwei Parabeln mit vier Schnittpunkten:
Mein CAS liefert (8-4sqrt(5) | 8+4sqrt(5))
für den linken oberen, und ( 8-4sqrt(5) | 8+4sqrt(5))
für den unteren rechten Punkt.
Und damit für sqrt(x²+y+1)
:
x=0; y=0
sqrt(x²+y²+1)=1
x=18; y=18
sqrt(x²+y²+1)= 5 sqrt(26) = ~25,50
x=8-4sqrt(5); y= 8+4sqrt(5)
x=8+4sqrt(5); y= 8-4sqrt(5)
sqrt(x²+y²+1)=17
Nun soll x!=y
gelten, und damit bleibt 17 als einzige Lösung, ganz so, wie @Metapher es geschrieben hat.
Der Einsatz eines CAS bedeutet natürlich, dass hier der Lösungsweg fehlt, aber zumindest verifiziert es die 17 nochmal.