(Lång lösning!)
(1) x^2 + y = 11
(2) y^2 + x = 7
Jag förutsätter positiva heltalslösningar, annars finns flera. Vi tittar på uttrycken:
(1) x^2 + y = 11, här har vi att 11 är ett udda tal, så antingen måste x vara jämnt och y udda eller så måste x vara udda och y jämnt. Vidare så om x = 0 så är y = 11 (uppfyller ena ekvationen), vilket ger att vi måste ha:
0 <= y <= 11
För x så om y = 0 så är 0 <= x <= 3 (för om x = 4 så 4^2 + y > 11)
(2) y^2 + x = 7, här har vi att 7 är ett udda tal, så antingen x jämnt och y udda eller tvärtom. Om x = 0 så är y^2 = 7 så 0 <= y <= 2, (för om y = 3 så är y^2 + x > 7), om y = 0 så är 0 <= x < = 7. Vilket gör att vet:
(1') 0 <= y <= 11
(1'') 0 <= x <= 3
(2') 0 <= y <= 2
(2'') 0 <= x <= 7
Samlar man ihop dessa villkor, alla måste ju vara sanna samtidigt så kan vi sammanfatta det som:
0 <= y <= 2 och 0 <= x <= 3. Vilket gör att vi måste undersöka om:
(x,y) = (0,0), (0,1), (0,2), (1,0), (1,1), (1,2), (2,0), (2,1), (2,2), (3,0), (3,1), (3,2)
Om vi filtrerar ut de som har jämn+jämn alternativt udda+udda ges:
(x,y) = (0,1), (1,0), (1,2), (2,1), (3,0), (3,2)
Kontroll:
0^2 + 1 != 11 så (0,1) stryks
1^2 + 0 != 11 så (1,0) stryks
1^2 + 2 != 11 så (1,2) stryks
2^2 + 1 != 11 så (2,1) stryks
3^2 + 0 != 11 så (3,0) stryks
3^2 + 2 = 11, (1) OK
2^2 + 3 = 7, (2) OK
Svar: (x,y) = (3,2). Om icke heltalslösningar finns flera