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. Mivel a színezéshez pontosan három színt használtunk, van két azonos színű csúcs. Ha ez két átellenes csúcs, ekkor ez a két pont eleget tesz a kívánt feltételnek, hiszen távolságuk . Jelöljük a színeket -essel, -essel, -assal, és vizsgáljuk azt az esetet, ha két szomszédos csúcs azonos színű (pl. 1-es). Ekkor két esetet különböztetünk meg: a) a másik két csúcs azonos színű, pl. 2-es, b) a másik két csúcs nem azonos színű. a) Mérjünk fel az , oldal egyikére -től -adot, jelöljük ezt a pontot -val.
Ha -es színű, akkor van olyan -es színű csúcs, amelytől mért távolsága . Ha -es színű, akkor van olyan -es színű csúcs, amelyiktől mért távolsága . Maradt az az eset, ha -as színű. Ekkor az -val szemközti élre mérjünk -adot -től kiindulva, jelöljük ezt a pontot -vel. bármelyik színnel is van kiszínezve, mindig található hozzá a feltételt kielégítő szín, mert az egyik -es színű csúcstól való távolsága , az egyik -es színű csúcstól , és -tól pontosan távolságra van. b) Ha a másik két csúcs különböző színű, mérjünk fel ismét -adot az , és , oldalakra -ből kiindulva. Jelöljük ezeket a pontokat -val és -vel.
csak akkor nem tesz eleget a feltételnek, ha -es, pedig akkor, ha -as színű. Ezután vegyük a , oldal felezőpontját, -t. akármilyen színűre is van festve, a szín közül, mindig kielégíti a feltételt. Ui. -től való távolsága , -től való távolsága , és -tól való távolsága ugyancsak Megjegyzés. A megoldás során tulajdonképpen azt bizonyítottuk be, hogy a négyzet kerületét nem lehet három színnel kiszínezni úgy, hogy az azonos színű pontpárok távolsága -nél kisebb legyen. A szemlélet is azt sugallja, hogy a kerületen kell keresnünk az egymástól távol eső azonos színű pontokat. Felvetődik tehát a kérdés, hogy nem lehetne valamivel többet is állítani a színezésről: igaz-e az, hogy a négyzet belsejében is található -nél nem kisebb távolságra eső azonos színű pontpár. A másik, ennél természetesebbnek tűnő kérdés, nem lehet esetleg a -et még növelni; esetleg van olyan szám, hogy a négyzet pontjait három színnel kiszínezve található azonos színű pontpár, amelynek távolsága legalább . Mindkét kérdésre tagadó a válasz: nem lehet élesíteni a feladat állítását.
A harmadik ábrán látható színezés ‐ (két terület határán levő pontokat valamelyik, a pont által határolt terület színére kell színezni, hogy melyikre, az mindegy) ‐, ugyanis olyan, hogy nincs a négyzet belsejében olyan azonos színű pontpár, amelynek távolsága elérné a -et, és az is igaz, hogy a legtávolabb eső azonos színű pontok távolsága pontosan . (Gondoljunk arra, hogy mindegyik kis téglalap átlója éppen hosszú!) |