2. Zadatak
Neka su i prirodni brojevi različite parnosti. Dokaži da broj nije kvadrat prirodnog broja.
Rješenje
Prvo rješenje.
Pretpostavimo da je zadani izraz potpuni kvadrat. Označimo s najveći zajednički djelitelj brojeva i . Tada možemo zapisati , , pri čemu su i relativno prosti brojevi. Broj
je kvadrat prirodnog broja ako i samo ako je broj kvadrat prirodnog broja. Kako su i različite parnosti, je neparan, pa su i i različite parnosti. Time smo pokazali da bez smanjenja općenitosti možemo pretpostaviti da su i relativno prosti.
Pokažimo da su brojevi i relativno prosti. Ti brojevi su neparni, pa pretpostavimo da neki neparan prost broj dijeli i . Tada dijeli i broj
Budući da je neparan, slijedi da dijeli . No tada dijeli i , što je u kontradikciji s pretpostavkom da su i relativno prosti.
Zaključujemo da brojevi i moraju biti potpuni kvadrati, i to neparnih brojeva. Razlika kvadrata neparnih brojeva uvijek je djeljiva s 185a+7ba+3b4(a+b)8ab$ različite parnosti.
Budući da smo došli do kontradikcije, početna pretpostavka je kriva. Dakle, nije kvadrat prirodnog broja.
Drugo rješenje.
Promotrimo li zadani izraz modulo , dobivamo
Pretpostavimo suprotno od tvrdnje zadatka, odnosno da je za neki prirodni broj . Tada je
Kako su i različite parnosti, je neparan, pa daje ostatak pri dijeljenju s . Stoga je . Međutim, nije kvadratni ostatak modulo . Budući da smo došli do kontradikcije, početna pretpostavka je kriva.