4. Zadatak
Neka su i prirodni brojevi, a skup svih točaka s cjelobrojnim koordinatama unutar pravokutnika s vrhovima , , i . Točke s cjelobrojnim koordinatama na rubu tog pravokutnika su obojene crvenom, a unutar skupa jednom od tri boje: plavom, zelenom ili crvenom.
Za jedinični kvadrat kojemu su sva četiri vrha u kažemo da je poseban ako je točno jedan par njegovih susjednih vrhova istobojan. Dokaži da je broj posebnih jediničnih kvadrata paran.
Definirajmo da je dužina važna ako su joj oba krajnja vrha iste boje.
Ukupan broj jediničnih kvadrata kojima su sva četiri vrha u je jednak . Označimo te jedinične kvadrate indeksima od 1 do . Za svaki od tih kvadrata definirajmo kao broj važnih dužina u -tom jediničnom kvadratu. Očito je . Nadalje, nemoguće je da vrijedi : ako su sva četiri vrha jediničnog kvadrata iste boje, tada je , a inače je nužno . Primijetimo da je kvadrat poseban ako i samo ako vrijedi .
Definirajmo broj . U toj sumi jedini neparni pribrojnici su oni za koje je . Zato vrijedi: je paran ako i samo ako je broj posebnih jediničnih kvadrata paran.
S druge strane, u definiciji broja prebrojili smo sve važne dužine po svim jediničnim kvadratima u kojima se one nalaze. Svaka važna dužina koja se nalazi na rubu pravokutnika pripada točno jednom jediničnom kvadratu, dok se sve ostale važne dužine nalaze u točno dva jedinična kvadrata.
Neka je broj važnih dužina kojima se barem jedan vrh nalazi u unutrašnjosti pravokutnika, te broj važnih dužina koje se nalaze na rubu pravokutnika. Zbog prethodnog pasusa zaključujemo da vrijedi . Nadalje, sve dužine na rubu pravokutnika su važne (jer su im obje krajnje točke crvene), pa vrijedi , odnosno . Dakle, je paran, iz čega zaključujemo da je broj posebnih jediničnih kvadrata paran, što je i trebalo dokazati.