Feladat: 1440. matematika feladat Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Babai László ,  Bárány I. ,  Domokos László ,  Kádas S. ,  Szeredi P. 
Füzet: 1967/március, 98 - 100. oldal  PDF  |  MathML 
Témakör(ök): Vetítések, Féligszabályos testek, Sokszögek szerkesztése, Szabályos sokszögek geometriája, Szabályos sokszögek szerkesztése, Feladat
Hivatkozás(ok):Feladatok: 1966/január: 1440. matematika feladat

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.

 
 
1. ábra
 

I. Az állításokat az F7F8 élre bizonyítjuk. A lapok szabályos és egybevágó voltából és a poliéder felépítésének elvéből következik, hogy bizonyításunk bármely élre érvényes.
A lapok szabályos voltából következik, hogy F7F8-cal párhuzamos a benne csatlakozó két hatszöglapnak vele szemben levő D7D8, ill. H7H9 éle, valamint az első hatszöglaphoz D7D8 mentén csatlakozó ötszöglap C7C8 átlója. Ugyanígy adódik, hogy A6A0A4A2C3C2E3E2. Másrészt C7C8A6A0, mert A6C7#A0C8, hiszen hatszöglapok leghosszabb átlói, és párhuzamosak az A8B8 éllel. Ezek szerint a poliéder következő 6 éle párhuzamos:
H7H9,F7F8,D7D8,A4A2,C3C2,E3E2.(1)
Nem volt lényeges, hogy két egynemű lap közös éléből indultunk ki; hiszen a 6 párhuzamos él közül 4-ben 1 hatszöglap és 1 ötszöglap csatlakozik egymáshoz.
Az A8B8 él benne van a C7C8 lapbeli átló S felező merőleges síkjában, mert végpontjai egyenlő távol vannak C7-től és C8-tól, ugyanis A8C7 és A8C8 a hatszöglap rövidebb átlói. Ezért A8B8 merőleges C7C8-ra és a vele párhuzamos F7F8-ra. Ugyanígy adódik, hogy E9F9F7F8. Mármost A8B8-hoz is, E9F9-höz is a fentiekhez hasonlóan felsorolható további 55, velük párhuzamos éle a poliédernek és a két felsorolásban egy él sem ismétlődik; ezekben megtaláltuk a poliédernek F7F8-ra merőlegesen álló 12 élét:
B0C9,A8B8,B6C6,F4G5,G3H3,F1G1;(2)C1D1,D0E0,E9F9,E6F6,D5E5,C4D4.

 
 
2. ábra
 

II. Tekintsük a rajzsíkon adottnak az 1. ábra H1H3H5H7H9=H ötszöglapját (2. ábra). A vetületnek H síkján leendő megszerkesztésében a fentieken túl felhasználjuk a következőket. S az (1) élek mindegyikét merőlegesen felezi ‐ úgyszintén a következő, velük párhuzamos lapbeli átlókat is:
C7G9,E7E8,B4B2,D3D2;(3)C7C8,A6A0,F3F2,H5H1,(4)
hiszen szabályos sokszög bármely oldalának, átlójának felező merőleges egyenese a sokszögnek szimmetriatengelye, és felező merőleges síkja a sokszögnek szimmetriasíkja. Így S merőleges H síkjára, és átmegy a H3G3 élen.
Eszerint S-nek H síkján levő vetülete a H7H9 oldal felező merőlegese, vagyis átmegy H3-on; az (1) élek vetülete a rajzsíkon H7H9-nek önmagára merőleges eltolásával áll elő, az előforduló, H7-től és H9-től különböző 10 csúcs vetülete rajta van a H7H9-re a végpontjaiban állított merőlegesek egyikén. Ugyanígy a (4) átlók végpontjaiként szereplő 6 új csúcs vetülete rajta van a H5-ön, H1-en át H7H9-re állított merőlegesek egyikén. Végül A8, B8, G3 vetülete a H3-on át H7H9 állított merőlegesen van rajta.
A mondott 5 merőleges a derékszögű háromszögvonalzó szokásos megtámasztásával, majd 90-os elfordításával megrajzolható. Ezt H további oldalaival megismételve könnyű belátni, hogy a metszéspontok közül kiválasztható a következő 25 csúcs vetülete:
F0,F1,1...,F9;C0,C1,...,C9;A0,A2,...,A8,
pl. F7 a H7-en át H7H9-re és H9-en át H1H3-ra állított merőlegesek metszéspontja, mert F7F8#H7H9 és (4)-höz hasonlóan F7F6#H9H5H1H3; C2 a H5-ön át H1H3-ra és H9-en át H7H9-re állított merőlegesek, A0 pedig a H1-en át H7H9-re és H9-en át H1H3-ra állított merőlegesek metszéspontja, mert A0A4#H5H9H1H3.
A megrajzolt merőlegesek további metszéspontjai között szerepel 10 hatszög lap középpontjának vetülete, mint a hatszög két párhuzamos oldalával meghatározott téglalap átlóinak metszéspontja. Ezen át mindig megrajzolható a hatszög hátra levő leghosszabb átlójának egyenese, és ez a korábbi egyenesekből kimetszi a
G1,G3,1...,G9;B0,B2,...,B8
csúcsok vetületét. Pl. H7F8 és H9F7 metszéspontján át (az ábrákon G8) H7H9-cel párhuzamost húzva kapjuk a G7G9 átló végpontjait, a vetület H7-en, ill. H9-en átmenő tengelyén. (Elég 6-ot megrajzolni az ilyen átlók közül.)
A hátra levő Di, Ei csúcsok (i=0,1,...9) vetületei közül D1-ét. E9-ét, E6-t és D4-ét (2) második sora alapján kapjuk abból, hogy ezeknek az éleknek a képe merőleges H7H9-re, mivel maguk az élek párhuzamosak S-sel és ‐ mint majd belátjuk ‐ nem merőlegesek H síkjára. Felhasználjuk C1, F9, F6 és C4 már meglevő képét. Pl. a C1 képén át H7H9-re állított merőleges a H1-en átmenő, H1H3-ra merőleges (már megrajzolt) egyenesből metszi ki D1 képét (egyszersmind ‐ mint a szimmetriából könnyen látható ‐ E9-et is, a H3-on át H3H5-re állított merőlegesből). Innen látjuk, hogy C1D1 képe nem pont, hiszen C1, D1 képe különböző, de a H1H3-ra merőleges egyenesen van rajta. ‐ A további D és E csúcsok vetületét hasonlóan megszerkesztve, a poliéder vetületének előállítását befejeztük (együttvéve 10 egyenes).
Valóban, csak párhuzamos és merőleges egyeneseket kellett rajzolnunk H csúcsain, valamint a közben adódott pontokon át (szám szerint 41-et). A csúcsok vetületeinek összekötésével kapjuk az élek vetületét (a 90 élből 30-nak a képe a szerkesztő egyeneseknek egy-egy szakasza).
 
 Domokos László (Tatabánya, Árpád Gimn., IV. o. t.)
 Babai László (Budapest, Fazekas M. Gyak. Gimn., II. o. t.)
 
Megjegyzés. A sportéletre való hivatkozással lényegében elfogadtuk a szóban forgó poliéder létezését. Ezt azonban a vetület megrajzolása sem bizonyítja. Mindjárt az is kételkedést támaszthat, hogy 1 ötszöglapnak és 2 hatszög lapnak egy csúcsba összeillesztése a lapok közti szögeket ‐ vagy ami ezek számítását lehetővé teszi, egy csúcs távolságát a vele szomszédos csúcsba befutó harmadik lap síkjától ‐ az 1454. feladatban*) látottakhoz hasonlóan egyértelműen meghatározza.
Önálló bizonyítás helyett gondoljuk át, hogy poliéderünk előállítható az 1472. feladatban* vizsgált (és bebizonyítottan létező) szabályos ikozaéderből úgy, hogy rendre vesszük az egy csúcsából kiinduló 5 él mindegyikén a hozzá közelebbi harmadoló pontot és az ezekkel meghatározott sík egyik oldalán előálló szabályos ötoldalú gúlát lemetsszük az ikozaéderből.
*Lásd ezen számban 102. o.

*K. M. L. 34 (1967. jan.) 19. o.