8. Zadatak
Dokaži da ne postoje neparni cijeli brojevi , i za koje vrijedi
Rješenje
Prvo rješenje.
Sređivanjem zadane jednakosti dobivamo:
To možemo zapisati npr. ovako:
… ili na neki od sličnih načina:
Bilo koja od jednakosti (A), (B), (C) vrijedi.
Pretpostavimo da postoje neparni cijeli brojevi , i za koje vrijedi dana jednakost. Tada su obje zagrade na lijevoj strani od (A) (ili (B) ili (C)) parne, pa je lijeva strana te jednakosti djeljiva sa .
No, desna strana nije djeljiva s , pa dobivamo kontradikciju.
Prema tome, ne postoje neparni cijeli brojevi , i za koje vrijedi zadana jednakost.
Drugo rješenje.
Raspisivanjem zadane jednakosti dobije se
što možemo zapisati u obliku
Ako je , odnosno , iz zadane jednakosti slijedi
odnosno , pa je (i ), pa i nisu neparni.
Ako je , iz (*) slijedi
Pod pretpostavkom da su i neparni cijeli brojevi, ako je i broj cijeli on je sigurno neparan, pa je paran. Stoga ne postoje neparni cijeli brojevi , i za koje vrijedi zadana jednakost.
Treće rješenje.
Pretpostavimo postoje neparni , , za koje vrijedi dana jednakost. Tada postoje takvi da je , , .
Uvrštavanjem u zadanu jednakost dobivamo
odnosno nakon dijeljenja s
Prvi slučaj: Brojevi i su iste parnosti (tj. oba parna ili oba neparna).
Tada su i brojevi i iste parnosti. Tada je lijeva strana jednakosti (⋄) paran broj.
Budući da su i iste parnosti, broj je neparan pa je desna strana neparan broj, što je kontradikcija.
Drugi slučaj: Brojevi i su različite parnosti (tj. jedan paran, a drugi neparan).
Tada su i brojevi i različite parnosti. Tada je lijeva strana jednakosti (⋄) neparan broj.
Budući da su i različite parnosti, broj je paran pa je desna strana paran broj, što je kontradikcija.
Kako svi slučajevi vode na kontradikciju zaključujemo da je pretpostavka pogrešna, tj. da ne postoje neparni brojevi , , koji bi zadovoljavali jednakost iz zadatka.