Prvo rješenje.
Ako je y=0, iz prve jednadžbe imamo x=1, a iz druge xz=2. Uvrštavanjem x=1 dobijemo z=2, odnosno jedno rješenje je (x,y,z)=(1,0,2).
Ako je y=0, iz prve jednadžbe imamo
z=yx−1.
Uvrštavanjem u drugu jednadžbu imamo
xyx−1+y=2,
x(x−1)+y2=2y,
x(x−1)+y2−2y+1−1=0,
x(x−1)+(y−1)2=1.
Ako je x jednak 0 ili 1, x(x−1)=0. Ako je x negativan ili veći od 1, x(x−1) je pozitivan. Prema tome, umnožak x(x−1) uvijek je nenegativan.
Također, vrijedi (y−1)2≥0, pa se jednakost x(x−1)+(y−1)2=1 postiže samo ako je jedan od pribrojnika jednak 0, a drugi jednak 1.
Također, x i x−1 su različite parnosti, pa je x(x−1) paran broj.
Prema tome, mora vrijediti x(x−1)=0, (y−1)2=1, odnosno x je 0 ili 1, a y je 0 ili 2.
Za y=0, jedino rješenje je dobiveno gore.
Ako je y=2, uvrštavanjem mogućnosti za x imamo:
- x=1, te z=21−1=0.
- x=0, te z=20−1=−21, što nije moguće jer z mora biti cijeli broj.
Prema tome, rješenja su (x,y,z)=(1,2,0) i (x,y,z)=(1,0,2).
Napomena: Umjesto iz jednakosti
x(x−1)+(y−1)2=1,
slične zaključke možemo izvesti iz jednakosti
x(x−1)+y(y−2)=0.
Drugo rješenje.
Za proizvoljne brojeve x, y, z vrijedi jednakost
(x−yz)2+(xz+y)2=(x2+y2)(z2+1).
Kvadriranjem i zbrajanjem jednadžbi imamo
(x−yz)2+(xz+y)2=12+22=5,
odakle zaključujemo da je
(x2+y2)(z2+1)=5.
Kako su faktori na lijevoj strani jednakosti nenegativni, a s desne strane jednakosti je prost broj, imamo dvije mogućnosti: z2+1=5, x2+y2=1 ili z2+1=1, x2+y2=5.
U prvom slučaju, kako bismo postigli jednakost x2+y2=1, jedino je moguće da je jedan od brojeva x i y jednak 0, a drugi ±1.
Ako je x=0, uvrštavanjem u prvu jednadžbu iz teksta zadatka imamo −2y=1 ili 2y=1, što nije moguće za cijeli broj y.
Ako je y=0, uvrštavanjem u prvu jednadžbu iz teksta zadatka imamo x=1. Uvrštavanjem u drugu jednadžbu imamo 1⋅z+0=2, odnosno z=2, čime dobivamo jedno rješenje početnog sustava.
U drugom slučaju je z2+1=1, odakle je z=0. Uvrštavanjem u prvu jednadžbu iz teksta zadatka imamo x=1, a iz druge je y=2.
Prema tome, rješenja su (x,y,z)=(1,2,0) i (x,y,z)=(1,0,2).
Treće rješenje.
Iz prve jednadžbe imamo x=yz+1.
Uvrštavanjem u drugu imamo:
(yz+1)z+y=2,
yz2+z+y=2,
y(z2+1)=2−z,
y=z2+12−z.
Za z≥3 vrijedi z2+1≥3z+1>z−2>0, odnosno z2+12−z ne može biti cijeli broj jer se nalazi između −1 i 0.
Slično, za z≤−2 vrijedi da je z2+1≥−2z+1>2−z>0, pa z2+12−z ponovno ne može biti cijeli broj.
Preostaje provjeriti z∈{−1,0,1,2}:
- z=−1: y=(−1)2+12−(−1)=23, što nije cijeli broj.
- z=0: y=02+12−0=2, x=2⋅0+1=1.
- z=1: y=12+12−1=21, što nije cijeli broj.
- z=2: y=22+12−2=0, x=0⋅2+1=1.
Prema tome, rješenja su (x,y,z)=(1,2,0) i (x,y,z)=(1,0,2).