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. A feladat feltétele megfogalmazható a következőképpen is: az összes csúcsot páronként összekötő szakaszok közül az egyforma hosszúságúak fele azonos, a másik fele különböző színű csúcsokat köt össze. a) Ha , ill. csúcsot festünk meg pirossal, ill. kékkel , akkor a piros, a kék és a különböző színű csúcspárokat összekötő szakaszok száma rendre , és . Speciálisan a szabályos -szögünk csúcsait összekötő összes szakasz fele azonos, a másik fele különböző színű csúcsokat köt össze, tehát vagyis azaz ezért valóban csak négyzetszám lehet. b) Tegyük fel, hogy esetén létezik legalább egy, a feladat feltételeit kielégítő színezés. Mivel a piros és a kék szín szerepe felcserélhető, azért elég a esetet vizsgálnunk. Ekkor és (1) alapján , tehát , . A továbbiakban megnézzük, hogyan kell a 6 kékre festett csúcsnak elhelyezkednie. Válasszuk a szabályos 16-szögünk köré írt kör kerületét 16 egységnyinek és értelmezzük két csúcs "távolságát'' az őket összekötő két körív közül a rövidebbiknek (a nem hosszabbiknak) a hosszával. Az összes csúcs között 16, ill. 8 db hosszúságú távolság lép fel aszerint, hogy , ill. . Ha , akkor a 16 db hosszúságú távolság végpontjai között a 16-szög mindegyik csúcsa pontosan kétszer szerepel, és a feladat feltevése szerint 8 távolságnak az egyik végpontja kék, a másik piros. Így ha a 6 kék csúcs közül -féleképpen lehet két csúcsot úgy kiválasztani, hogy azok egymástól távolságra legyenek, akkor a kék csúcsok számának kétszeresét adja, tehát , azaz (). Ha pedig , akkor ‐ mivel a nyolc db 8 egységnyi hosszúságú távolság végpontjai között a 16 szög minden csúcsa pontosan egyszer lép fel ‐, hasonlóan , azaz . A talált és eredmények szükséges feltételei egy megfelelő színezésnek. Jelölje az egymástól 8 egységnyi távolságra levő két kék csúcsot és , a további kék csúcsokat pedig , , , . A hat kék csúcs közötti 15 távolság összege az elmondottak alapján . Mivel bármely további csúcsra (ahol az és csúcsok távolságát jelenti), azért a , , és csúcsok között fellépő 6 távolság összege . E csúcsok elhelyezkedésre két eset lehetséges. ) Ha a négyszög tartalmazza a kör középpontját, akkor található a négyszög csúcsai között három olyan, mondjuk , és , hogy a háromszög tartalmazza -t. Legyen pl. a és között. Mivel az -et és az -t összekötő rövidebbik körív tartalmazza vagy a -t vagy a -t, ezért nagyobb a és valamelyikénél, mondjuk . A , és csúcsok közötti három távolság összege 16, így | | azaz , ami ellentétben áll feltevésünkkel.
) Ha nem az ) eset teljesül, akkor található olyan félkörív, hogy mind a négy csúcs ezen helyezkedik el. Legyen a négy csúcs között fellépő legnagyobb távolság , és legyen közelebb a -hez, mint az -hez. Ekkor s így a négy csúcs közötti 6 távolság összege tehát osztható 3-mal, azaz és (hiszen ). Ha mármost vagy , akkor a hat távolság 1, 3, 3, 4, 6 és 7. Hozzávéve , , és -hez a szemben fekvő , csúcspárt, a talált feltétel szerint e hat távolsághoz hozzá kell lépnie két db 5 egységnyinek is, de akkor a mondottak szerint két db (8-ra kiegészítő) 3 egységnyinek is. Így pedig a hat kék csúcs közti távolságok közt a 3 négyszer lép föl, amit a feltétel nem enged meg. Ha végül , akkor a hat távolság 2, 3, 2, 5, 5, 7, és fel kell lépnie egy további 3-asnak, de vele egy további 5-ösnek is, tehát ez sem lehetséges. Mindezek szerint nem lehet egy szabályos 16-szög csúcsait megfesteni a követelmények szerint. |