A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. I. megoldás. Hívjunk egy résztéglalapot "egyszínűnek'', ha egyforma színűek a sarokmezői. Tekintsük a tábla 3‐3 mezőből álló "oszlopait''. Ha ezek között van olyan, amelynek mindhárom mezője egyszínű ‐ például kék , akkor föltehető, hogy minden további oszlopban legfeljebb egy kék mező van, hiszen egyébként létrejön egyszínű téglalap. Egy oszlopot viszont négyféleképpen lehet úgy kiszínezni, hogy legfeljebb egy kék mezőt tartalmazzon: vagy mindhárom mező sárga, vagy pedig egyetlen kék mező lehet három helyen, míg a további két mező sárga. Ez azt jelenti, hogy az "azonosan kék'' oszlopon kívüli hat további oszlop között van legalább kettő azonosan színezett, és így nyilván van egyszínű téglalap. (Azok lesznek a sarokmezők, amelyek színe a két azonosan színezett oszlopban legalább kétszer fordul elő.) Föltehető tehát ezután, hogy mindkét szín előfordul mind a 7 oszlopban. Az ilyen típusú színezések száma viszont hat, és mivel az oszlopok száma hét, ilyenkor is lesznek azonosan színezett oszlopok, és így egyszínű téglalap.
II. megoldás. Általában megmutatjuk, hogy ha és egy oldalú sakktábla minden egyes mezőjét adott szín valamelyikével kiszínezzük, akkor a sakktáblán van egyszínű résztéglalap. Feladatunkban és így és Hívjuk továbbra is oszlopnak a -hosszúságú oldallal párhuzamos sávokat! Miután a színek száma kevesebb ‐ 1-gyel ‐, mint az oszlopok mezőinek a száma, minden oszlopban van olyan szín, amelyik itt legalább kétszer fordul elő. Jelöljünk meg két-két ilyen azonos színű mezőt minden egyes oszlopban. Az oszlopok száma nagyobb, mint , és itt újra fölhasználva, hogy -féle szín van, azt kapjuk, hogy több, mint olyan oszlop van, amelyekben a megjelölt mezők színe ugyanaz ‐ mondjuk piros. Vegyük most szemügyre ezeket az oszlopokat és a bennük megjelölt piros mezőket. Egy oszlopban mező van, ezek közül -féleképpen jelölhetünk meg kettőt. A megjelölt piros mezőket tartalmazó oszlopok száma azonban a fentiek szerint ennél nagyobb, van tehát kettő, ahol a megjelölt két-két piros mező ugyanúgy helyezkedik el. Ez a négy piros mező eszerint egy egyszínű téglalap négy sarokmezeje. A bizonyítást ezzel befejeztük.
Megjegyzések. 1. A II. megoldásból is látszik, hogy a kimondott állítás egy bizonyos értelemben éles. Ha ugyanis egy színnel színezett sakktáblán az oszlopok mezőinek a száma -nél kevesebb, akkor nyilván lehetséges, hogy minden egyes oszlopban legfeljebb egyszer szerepeljen minden szín, ilyenkor pedig nem jön létre egyszínű téglalap. Ha pedig a tábla egyik oldala , a másik pedig , akkor amennyiben az oszlopokat darab elemű csoportba osztjuk, és a kifestés során az -edik blokk oszlopaiban az -edik szín fordul elő kétszer, mégpedig minden lehetséges módon ‐ ez lehetőség ‐ a további szín pedig egyszer, akkor nyilván nem jön létre egyszínű téglalap. 2. Általában, ha adott és esetén jelöli azt a legkisebb pozitív egészt, amelyre a színnel kifestett oldalú sakktábla tartalmaz egyszínű téglalapot, akkor a fentiekből következik, hogy esetén nem létezik, míg . 3. A fenti eredmény nyilvánvaló következménye az alábbi: ha egy végtelen négyzetrács mezőit véges sok színnel kifestjük, akkor létrejön egyszínű téglalap. Ez az állítás téglalap helyett négyzettel is igaz, ennek a bizonyítása azonban nehéz.
|