2. Zadatak
Dokaži da ne postoje prirodni brojevi i koji zadovoljavaju jednakost
Desna strana jednakosti daje ostatak pri dijeljenju s (primijetimo da je ). Broj je djeljiv brojem za svaki prirodni broj , stoga broj mora dati ostatak pri dijeljenju s .
Primijetimo da broj daje ostatak pri dijeljenju s kada je neparan te ostatak kada je paran. Dakle, zaključujemo da je nužno paran. Neka je za neki prirodni broj .
Sada je . Promotrimo sada ostatak pri dijeljenju s . Broj daje ostatak , dok broj daje ostatak , pa zaključujemo da broj mora dati ostatak . Slično kao kada smo gledali ostatke pri dijeljenju s , zaključujemo da je nužno i paran, odnosno da postoji broj takav da je .
Sada je , odnosno
tj.
Uzimajući u obzir da faktorizacija broja na proste faktore broja glasi te da je u gornjoj jednakosti prvi faktor manji od drugog, imamo samo dvije mogućnosti: faktori u zadnjoj jednadžbi su redom jednaki i , ili i
Iz prve mogućnosti slijedi i , odakle zbrajanjem dobivamo da je , odnosno , što je nemoguće.
Iz druge mogućnosti slijedi i , odakle zbrajanjem dobivamo da je , odnosno , što je ponovno nemoguće.
Dakle, ne postoje prirodni brojevi i takvi da je .