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. Az 1175. feladatban beláttuk (az éleket egyrészt a lapok, másrészt a csúcsok szerint számlálva össze és felhasználva Euler poliéder‐tételét), hogy a feladat feltételei mellett az ötszöglapok száma 12, függetlenül attól, hány hatszög határlap van.
1. ábra Feltéve, hogy fellép hatszög is a határlapok között, be kell látnunk, hogy fel kell lépnie legalább kettőnek. Megkísérlünk felépíteni egy 13 lapú testet 12 ötszög és egy hatszög határlappal és belátjuk, hogy ez lehetetlen. Ha megpróbálunk felvázolni egy ilyen poliédert kiindulva pl. a hatszög lapból, akkor gondolni kell arra a lehetőségre, hogy a fellépő újabb és újabb csúcsok közt lehetnek egymással, vagy egy már korábban felvett csúccsal egybeesők is. Ilyen egybeesések kizárására sok lehetőséget nyújt az a kikötés, hogy a test minden csúcsába 3 él fut. Ennek folytán (1) 3 összefutó él nem lehet egy síkban; (2) ha két lapnak van közös csúcsa, ebből indul egy közös él is; (3) bármely két közös végpontú él valamelyik határlap két szomszédos oldala is.
2. ábra Tegyük fel, hogy léteznék a szóban forgó poliéder. Legyen a hatszög lapja. Ennek mindegyik csúcsából kiindul egy él , 2, , 6). Itt (1) szerint nincs a hatszög síkjában, tehát különbözik az -ktől, de különbözik a többi -ktől is. Ugyanis ha két szomszédos hatszögcsúcsból induló él, és egy csúcsba futna ( volna), akkor a keletkező háromszög határlapja volna a poliédernek, de annak nincs háromszög lapja. Két nem szomszédos hatszögcsúcsból: -ből és -ből induló élnek pedig azért nem lehet közös a másik végpontja, mert akkor (3) szerint a poliédernek ugyanazt a határlapját kellene határolniuk, de akkor az utóbbi határlapnak (2) szerint két közös éle is volna a hatszöggel, egy -ből és egy -ből induló, ami konvex poliédernél nem lehetséges. Az élhez csatlakozik egy ötszög. Ennek -vel, ill. -gyel szomszédos csúcsa csak , ill. lehet, mert csak ezekből fut ‐ hatszög csúcsokon kívül ‐ -be, ill. -be él. Jelöljük az ötszög ötödik (-vel és -gyel szomszédos) csúcsát -vel (, 2, , 6). Ez különbözik az ötszög többi csúcsától és a hatszög csúcsaitól is (hiszen egy konvex test két határlapjának nem lehet 3 közös csúcsa). Különbözik a csúcsoktól is, ezt , -re már láttuk. Ha egy másik csúccsal esne egybe, akkor össze lenne kötve az -től és -től különböző csúccsal. Ekkor volna (3) szerint a poliédernek egy , , -n átmenő lapja, ennek volna egy a hatszöggel közös éle és egy ehhez csatlakozó éle, mivel a szóban forgó határlap nem lehet a hatszög. Ez a határlap ötszög kell, hogy legyen, tehát különbözik -től és össze van vele kötve. Ez azonban lehetetlen, mert a csúcsokból csak - és -csúcsba megy él.
Két különböző , csúcs sem eshet egybe, különben az és lapoknak egy -ből, ill. -ből induló éle egybeesne, tehát , egyike , valamelyikével azonos volna. Mivel és a csúcsok mind különbözők, így , vagy kellene hogy legyen. Ez azonban -vel együtt azt jelentené, hogy két szomszédos határlap két egymás utáni élben érintkezne, ami nem lehetséges. A pontokból ismét ki kell indulnia még egy‐egy élnek (, 2, , 6). A végpont nem eshetik egybe egyik -vel sem, mert az utóbbiból csak és pontokba fut él, és -be nem; a csúcsoktól is különbözik, mert közülük -be és -be fut él -ből, pedig az ezektől különböző, -ből induló él. A , , , , csúcsok ebben a sorrendben egy határlap csúcsai, ugyanis az laphoz a él mentén csatlakozó lapnak az éllel szomszédos csúcsai csak , ill. lehetnek. Ez tehát egyben az laphoz mentén csatlakozó lap is, aminek -gyel szomszédos csúcsa . Mivel ez a határlap csak ötszög lehet, -t él köti össze -gyel. A csúcsoknak különbözniük kell a csúcsoktól is, mert előbbi , , -gyel van összekötve, utóbbi , , -vel, és beláttuk, hogy az előbbi 3 csúcs közt nem szerepel csúcs. Ezzel felsoroltuk a test mind a 13 lapját, tehát a élek közt kell egybeesőknek lenniük úgy, hogy a test záruljon. és különbözők, mert két szomszédos határlap nem érintkezhet két szomszédos él mentén. és sem eshet egybe, mert különben a háromszög egy további határlapja volna a poliédernek. Ezzel minden lehetőséget számba vettünk, mert két csúcs vagy szomszédos (az indexezés sorrendjében), vagy második vagy harmadik szomszéd. Beláttuk ezzel, hogy nincs olyan konvex poliéder, amelyet egy hatszög és 12 ötszög határolna.
Makai Endre (Budapest, Eötvös J. g. II. o. t.) dolgozata, kiegészítésekkel
Megjegyzés. Két helyen hivatkoztunk a test konvex voltára: a második bekezdés végén és a harmadik elején, de mindkettő helyettesíthető volna olyan meggondolással (ha kissé hosszabb is volna), amelyik csak arra hivatkozik, hogy minden csúcsba 3 él fut. Így az állítás helyes marad, ha a poliéder konvex volta helyett csak annyit teszünk fel, hogy teljesül rá az Euler‐tétel.
A versenyzők nem gondoltak egybeesési lehetőségekre a poliéder felépítése során egymás után felvett csúcsok között. K. M. L. 25 (1962/11) 134. o.Itt és a továbbiakban, ha fellép 6-nál nagyobb index, ahelyett mindig 6-tal kisebb érték értendő. |