valóban igazad van, butaság, amit írtam. Újra nekifutva: Tegyük be a hálót egy koordinátarendszerbe, (0;0) legyen az egyik csúcs, egység hosszú oldala legyen a négyzeteknek, legyen a rács tengelypárhuzamos n*n-es háló, ahol n>5, az (x,y), (x,y+1) szakaszt jelölje (x,y+0.5) s (x,y), (x+1,y)-t (x+0.5,y). Az L-betűt a 2 szakasz 3 végpontjával adjuk meg, a négyzetet meg (x+0.5,y+0.5) alakban.
Na most nézzük a (0;0) sarkot. Ha L-betű van itt, akkor az (2,0)-(0,0)-(0,2), mert különben (0,0)-(0,2)-(2,2)-t és (0,0)-(2,0)-(2,2)-t használjuk, de ekkor (1,0.5) és (0.5,1) nem fedhető le átfedés nélkül. Így leraktuk a (2,0)-(0,0)-(0-2) L-betűt. Ekkor (1,0.5) és (0.5,1) csak egyféleképp fedhetők, (1,0)-(1,2)-(3,2)-vel és (0,1)-(2,1)-(2,3)-al. Ezután (2,0.5) és (0.5,2) csak (2.5,0.5)-el és (0.5,2.5)-el fedhető. Ezután (0,3.5) és (3.5,0) fedéséhez kell (0,3)-(0,5)-(2,5) és (3,0)-(5,0)-(5,2). Most ha ránézünk (4,0.5), (0.5,4)-re, akkor muszáj (4,0)-(4,2)-(6,2)-t és (0,4)-(2,4)-(2,6)-t lerakni, de ekkor (1,3.5) és (3.5,1) nem fedhető semmivel.
Konklúzió: a sarokban négyzet van, ha legalább 6*6-os négyzetről van szó, vagyis (0.5,0.5)-t fel kell használni. De ekkor (0,1.5)-t és (1.5,0)-t csak (0,1)-(0,3)-(2,3) és (1,0)-(3,0)-(3,2) fedheti, és ettől fogva (0,2n+1.5)-t és (2n+1.5,0)-t csak (0,2n+1)-(0,2n+3)-(2,2n+3) és (2n+1,0)-(2n+3,0)-(2n+3,2) fedheti.
Összefoglalva: egy legalább 6*6-os négyzet jó lefedésénél minden sarokban négyzet van, és a határszakaszokat egyértelműen fedik az L-betűk. De ekkor 2 eset van: ha n=2k+1, akkor lesz egy szakasz minden határon, amit nem tudunk lefedni, ha n=2k, akkor meg a négyzetektől induló L-betűk egymást fogják fedni, ahol a két sarokhoz tartozó L-betűk találkoznak.
A kimaradó kérdések: n=2,3,4,5-re van-e lefedés
n=2-re trivi, hogy nincs
n=3-ra (0.5,2.5), (2.5,0.5), (2.5,2.5), (2,0)-(0,0)-(0,2), (1,0)-(1,2)-(3,2) és (0,1)-(2,1)-(2,3) jó fedés
n=4-re L-betűs sarkos érvelés megakad (0,3.5) és (3.5,0)-nál, a négyzetes igaz rá, nincs fedés
n=5-re L-betűs sarkos érvelés megakad (4,0.5) és (0.5,4)-nél, a négyzetes igaz rá, nincs fedés
Összefoglalva: csak és kizárólag n=3-ra rakható ki.
|