Prvo rješenje.
Neka su a, b, c i d prirodni brojevi takvi da je
x=ba,y=dc,NZD(a,b)=1,NZD(c,d)=1.
Iz uvjeta zadatka imamo da su brojevi
ba+cd=bcac+bdiab+dc=adbd+ac
prirodni.
Posebno, prirodan je i broj
a⋅adbd+ac=dbd+ac=b+dac,
pa je zato i dac prirodan. Kako su c i d relativno prosti, da je nužno prirodan broj.
Analogno, prirodan je i broj
d⋅adbd+ac−c=abd+ac−c=abd,
pa zbog NZD(a,b)=1 vrijedi da je ad prirodan broj.
Jedini način da su oba broja da i ad prirodna je da vrijedi a=d.
Analogno, promatrajući brojeve b⋅bcac+bd i c⋅bcac+bd−d, dobivamo da vrijedi b=c.
Dakle, dobivamo da su brojevi
x+y1=b2aiy+x1=a2b
prirodni.
Budući da su a i b relativno prosti, dobivamo da su a i b djelitelji broja 2, odakle su nužno jednaki 1 ili 2.
Provjerom svih slučajeva dobivamo tri rješenja za (x,y):
(21,2),(1,1),(2,21).
Drugo rješenje.
Umnožak dva prirodna broja je prirodan broj, stoga je i broj
(x+y1)(y+x1)=xy+xy1+2
prirodan, pa je i taj broj umanjen za 2 također prirodan.
Definirajmo prirodan broj n=xy+xy1 i racionalan t=xy. Oni zadovoljavaju jednadžbu
t2−nt+1=0.
Budući da su rješenja te jednadžbe racionalni brojevi, diskriminanta n2−4 te jednadžbe mora biti kvadrat nenegativnog racionalnog broja. Kako je to i cijeli broj, nužno je kvadrat nenegativnog cijelog broja, pa postoji cijeli broj k≥0 takav da je
n2−4=k2.
Brojevi n−k i n+k su cijeli brojevi iste parnosti, a n+k je i prirodan. Stoga iz
(n−k)(n+k)=4
je moguće jedino n−k=n+k=2, tj. n=2 i k=0.
Uvrštavanjem u kvadratnu jednadžbu po t dobivamo da je t=1, odnosno xy=1.
Slijedi da su brojevi x+y1=2x i y+x1=2y prirodni.
Jedno očito rješenje je x=y=1. Ako je neki od brojeva x i y manji od 1, on će pomnožen s 2 biti prirodan samo ako je jednak 21.
Zato imamo tri moguća rješenja za (x,y):
(21,2),(1,1),(2,21).