Kliknite ovdje kako biste prikazali rješenje.
kocka je sastavljena od "slojeva" koji su "zaljepljeni" jedan na drugi.
Obojat cemo prvi sloj:
121212....
343434...
121212...
343434...
...
Drugi sloj:
565656...
787878...
565656...
787878...
...
Treci sloj kao prvi i tako dalje alternirajuce. Svako stubiste sada sadrzi jednu sredisnju kocku brida 2 i dva 1x1x2 kvadra koji imaju zajednicku stranu 1x2 sa kockom. Vrijedi da u kocki brida 2 se pojavljuje jedinicna kocka svake boje tocno jednom i da su 1x1x2 kvadri oba sacinjena od kocaka 2 boje koje su iste za oba kvadra (npr 3-5 i 3-5). Primijetimo da 1 moze biti u takvom paru sa 2, 3 i 5. (postoji 1x1x2 kvadar s obe boje). Slicno vrijedi za ostale boje dakle ukupno postoji tocno parova tj. 12 razlictih stubista s obziron na broj polja svake boje.
Oznacimo s broj odgovarajucih stubista. Ako oznacavaju brojeve stubista koje sadrze boju 1 tada definiramo kao sumu ta tri broja i analogno za ostalih 8 boja. Takoder neka je
Vrijedi sto implicira i Slijedi da se svaka boja pojavljuje tocno puta. Zato:
...
sto zajedno implicira
jer svako stubiste se pojavljuje u tocno dvije sume (ima dva kvadra 1x1x2 sa tocno 2 boje).
Dakle , slijedi Dakle nuzan uvijet za postojanje poplocavanja je . Da je i dovoljan pokazat cemo konstrukcijom. Primijetimo da mozemo kombinirati 2 stubista u 4x3x2 kvadar. Trivijalno je takvim kvadrima poplocati kocku.
Komentari:
Zadatak sa istim 3D bojanjem je "Postoji li nacin za spremiti 250 1x1x4 cigle u 10x10x10 kutiju?" koji se nalazi u poglavlju 2 od Arthur Engel: Problem-Solving Strategies. Opcenito, sahovsko crno bijelo bojanje je dovoljno da implicira da je paran, ja zelim pokazati da veca potencija broja dva dijeli pa mi je neka motivacija da pojacam bojanje tako da se umjesto sa 2 boje u sahovskom bojanju, boja sa 4 ili 8 boja tako da je polja svake boje jednako te pokaze da postoji paran broj polja za svaku boju. Motivacija da razmatram sva stubista je dobivena iz 2D primjera gdje bojanje prvog sloja radi i postoje 4 razlicita 2D stubista od kojih se svako mora pojavljivati jednako puta sto rjesava 2D slucaj.