Prvo rješenje.
Danu jednakost zapišimo u pogodnijem obliku:
(a−b)(1+4(a+b))=b2.
Dovoljno je pokazati da su izrazi u zagradama relativno prosti jer to povlači da su a−b i 1+4(a+b) kvadrati prirodnih brojeva.
Označimo s d najveći zajednički djelitelj brojeva a−b i 1+4(a+b). Imamo
d=gcd(a−b,1+4(a+b))=gcd(a−b,1+4(a+b)−4(a−b))=gcd(a−b,1+8b).
Odavde slijedi da d dijeli 1+8b. Iz početne jednakosti vidimo da d dijeli i b2. Budući da je gcd(1+8b,b2)=1, zaključujemo d=1, to jest, a−b i 1+4(a+b) su relativno prosti, što je trebalo pokazati.
Drugo rješenje.
Početnu jednakost možemo zapisati na sljedeća dva načina
(a−b)(1+4(a+b))=b2,(a−b)(1+5(a+b))=a2.
Množenjem ovih dviju jednakosti dobivamo
(a−b)2(1+4(a+b))(1+5(a+b))=a2b2,
iz čega zaključujemo da je (1+4(a+b))(1+5(a+b)) kvadrat prirodnog broja.
Budući da je
gcd(1+5(a+b),1+4(a+b))=gcd(1+5(a+b),a+b)=gcd(1,a+b)=1,
slijedi da su 1+4(a+b) i 1+5(a+b) kvadrati prirodnih brojeva. Sada iz (a−b)(1+4(a+b))=b2 slijedi da je i a−b kvadrat prirodnog broja.