7. Zadatak
Dokaži da među bilo koja tri prirodna broja možemo odabrati dva, nazovimo ih i , tako da broj bude djeljiv brojem .
Rješenje
Ako je barem jedan od brojeva i paran, onda je izraz razlika dva parna broja. Ako su i oba neparni, onda je taj izraz razlika dva neparna broja. Dakle, broj je paran za bilo koje prirodne brojeve i .
Ako među dana tri broja postoji jedan koji je djeljiv s , onda možemo odabrati taj broj i bilo koji drugi broj iz trojke i zadani izraz će biti djeljiv s . Zato možemo pretpostaviti da nijedan od dana tri broja nije djeljiv s .
Uočimo da je
Sve ostatke pri dijeljenju s (različite od ) možemo podijeliti u dvije grupe: i . Budući da imamo tri broja, među njima (po Dirichletovom principu) moraju biti dva koji imaju ostatke iz iste grupe. Neka su to i . Ako i daju isti ostatak, onda je djeljiv s . Ako i daju različite ostatke, onda je djeljiv s . U oba slučaja zaključujemo da je izraz djeljiv s .