Odredite sve parove cijelih brojeva koji zadovoljavaju jednadžbu
x2−xy+y2=2x−y.
Prvo rješenje.
Iz x2−xy+y2=2x−y dobivamo
x2−(y+2)x+y2+y=0.(*)
Kako tražimo cjelobrojna rješenja, diskriminanta kvadratne jednadžbe (*) mora biti nenegativna, dakle (y+2)2−4(y2+y)≥0 odakle sređivanjem dobivamo −3y2+4≥0.
Rješenje ove kvadratne nejednadžbe je y∈⟨−323,323⟩, a kako tražimo cjelobrojna rješenja, y može poprimiti vrijednosti −1, 0 i 1.
Uvrštavanjem y=−1 u jednadžbu (*) dobivamo jednadžbu x2−x=0, s rješenjima x1=0, x2=1, te su rješenja zadane jednadžbe uređeni parovi (0,−1) i (1,−1).
Uvrštavanjem y=0 u jednadžbu (*) dobivamo jednadžbu x2−2x=0 čija su rješenja x1=0 i x2=2, te su rješenja zadane jednadžbe uređeni parovi (0,0) i (2,0).
Konačno, uvrštavanjem y=1 u jednadžbu (*) dobivamo jednadžbu x2−3x+2=0 čija su rješenja x1=1 i x2=2, te su rješenja zadane jednadžbe uređeni parovi (1,1) i (2,1).
Kako se traže x,y∈Z, brojevi x−y, x−2 i y+1 su cijeli. Zbroj kvadrata tri cijela broja jednak je 5 ako i samo ako su ti kvadrati jednaki 0, 1 i 4 u nekom poretku.
Imamo sljedeće mogućnosti:
1∘x−y=0, x−2=±1, y+1=±2.
Tada je x=y, x∈{1,3}, y∈{1,−3} pa je jedino rješenje (x,y)=(1,1).
2∘x−y=0, x−2=±2, y+1=±1.
Tada je x=y, x∈{0,4}, y∈{0,−2} pa je jedino rješenje (x,y)=(0,0).
3∘x−2=0, y+1=±1, x−y=±2.
Tada je x=2, y∈{0,−2} a zbog treće jednadžbe jedino rješenje je (x,y)=(2,0).
4∘x−2=0, y+1=±2, x−y=±1.
Tada je x=2, y∈{1,−3}, a zbog treće jednadžbe jedino rješenje je (x,y)=(2,1).
5∘y+1=0, x−2=±1, x−y=±2.
Tada je y=−1, x∈{1,3} a zbog treće jednadžbe jedino rješenje je (x,y)=(1,−1).
6∘y+1=0, x−2=±2, x−y=±1.
Tada je y=−1, x∈{0,4} a zbog treće jednadžbe jedino rješenje je (x,y)=(0,−1).