m je prirodni broj ako i samo ako je k>20 i k−20 dijeli 6000. Budući da je
6000=24⋅3⋅53,
svaki pozitivni djelitelj broja 6000 je oblika 2a⋅3b⋅5c, pri čemu je a∈{0,1,2,3,4}, b∈{0,1} i c∈{0,1,2,3}. Zato je broj djelitelja broja 6000 jednak 5⋅2⋅4=40. Zaključujemo da traženih parova (m,k) ima 40.
Drugo rješenje.
Zadana jednadžba glasi
15k2−mk+20m=0.
Diskriminanta D=m2−4⋅15⋅20m te kvadratne jednadžbe u varijabli k mora biti kvadrat cijelog broja. Zato postoji nenegativni cijeli broj n takav da je
m2−1200m=n2.
Nadopunjavanjem izraza m2−1200m do potpunog kvadrata dobivamo
(m−600)2=n2+360000,
a faktorizacijom
(m−600−n)(m−600+n)=360000.
Možemo pisati
m−600−n=d1,m−600+n=d2,
pri čemu za cijele brojeve d1 i d2 vrijedi d1d2=360000. Zbrajanjem dobivamo 2m−1200=d1+d2. Zaključujemo da d1 i d2 moraju oba biti parni jer im je zbroj i umnožak paran broj.
Primijetimo da d1 i d2 ne mogu biti negativni jer bi tada zbog A–G nejednakosti vrijedilo
Budući da je n2 diskriminanta jednadžbe 15k2−mk+20m=0 možemo pisati
k1=30m−n,k2=30m+n.
Dakle, ako postoji rješenje (m,k), onda 30 dijeli barem jedan od brojeva m−n i m+n. Budući da je m−n−600=d1 i m+n−600=d2 zaključujemo da 30 dijeli barem jedan od brojeva d1 i d2.
Budući da tražimo samo parove (m,k), dovoljno je prebrojati koliko ima pozitivnih djelitelja d1 broja 360000 djeljivih s 30 takvih da je
d2=d1360000
paran broj. Svaki takav d1 možemo zapisati u obliku 2a⋅3b⋅5c, pri čemu je a∈{1,2,3,4,5}, b∈{1,2} i c∈{1,2,3,4}. Dakle, takvih brojeva ima 5⋅2⋅4=40.