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. Jelöljük a szabályos oktaéder középpontját -val, egy lapjának csúcsait betűvel, így a hátra levő 3 csúcs az utóbbiaknak -ra való tükörképe. Legyen az él kijelölt pontja úgy, hogy ‐ röviden , vagyis ‐, tehát az él kisebbik része, a nagyobbik rész. Alkalmazzuk a váltakozás követelményét egyelőre -ban és -ben a felé irányuló élek , ill. osztópontjára, ez a két él -ből nézve szomszédos. És mivel és miatt -t kisebbnek, -t a nagyobb résznek kell választanunk, ami által a nagyobb rész lesz, pedig a kisebb, és ezek különbözők, nem jutottunk ellentmondásba a kiválasztás elvével.
Áttérve a szomszédos lapra, az élen az -hoz közelebbi osztópont kijelölése esedékes, az pedig éppen tükörképe az oktaéder szimmetriasíkjára, ahogyan az lap ugyanilyen képe az lapnak. Hasonlóan a élen körüljárása szerint kijelölendő pontra , tehát a képe -re. Így és körüljárásában immár 3‐3 élen teljesítettük a váltakozást. Az élen az -tól távolabbi pontot választva, körüljárása az előírás szerint záródik, hiszen -ban 4 lap, 4 él fut össze, és a 4 páros szám. az képe az síkra. Hasonlóan a csúcsokban 3‐3 egymás utáni élre lesz helyes a körüljárás, ha -n és -n a -nek, ill. -nak -re való képét választjuk. Végül az körüli pontnégyesnek az síkra való tükörképét véve, minden csúcs körül megfelel a kiválasztás, és ezzel beláttuk az a) állítás helyességét. ‐ Bizonyításunk egyrészt az oktaéder egyes szimmetriáin alapult, másrészt azon a tényen, hogy az oktaédercsúcsokból kifutó élek 4-es létszáma osztható a kiválasztási elvben előírt ismétlődés 2-es periódusával. 2. Az oktaéder további szimmetriái alapján adódik, hogy a kiválasztott 12 pont bármelyike átvihető bármelyik másikba úgy, hogy egyidejűen minden egyes kijelölt pont kijelölt pontba jusson. Valóban: bármelyik oktaédercsúcs átvihető bármelyik másikba (a mondott további követelménnyel, többféleképpen is), és ha egyidejűen pontegyüttesünk nem önmagába ment át, akkor egy -os elfordítás eredményezi ezt. ‐ Eszerint pontjaink egy körüli gömbön vannak rajta. Megmutatjuk, hogy -től 5 másik kiválasztott pont van egyenlő távolságra, ahogy a szabályos ikozaéder minden csúcsával 5 másik csúcs szomszédos, és együtt 5 szabályos háromszöget alkotnak. A háromszög nyilvánvalóan szabályos, és hosszegységnek választva -t, oldalára a cosinustétel szerint Ugyanekkora az háromszögből és is, továbbá is, hiszen az metszet négyzet, és így egyenlő szárú derékszögű háromszög, egységnyi befogókkal. Ezek szerint és egy a körüli gömbön is rajta vannak. Két (nem koncentrikus) gömb közös pontjai ‐ ha vannak ‐ egy körön vannak, vagyis egy síkban, eszerint síkbeli ötszög. Másrészt oldalai is egyenlőek a fentiek szerint, tehát mint tengely körüli -os elfordításokkal az ötszög csúcsai ciklikusan egymásba mennek át. Ugyanez a pontegyüttes bármelyik pontjára is érvényes. Jelöljük a háromszöglapok számát -val, és építsük össze a test modelljét csupa különálló szabályos háromszögből. A db lapon eredetileg csúcs van, az 5-ösével való összeragasztás után , és ez egyenlő 12-vel, kijelölt pontjaink létszámával; innen , tehát a test valóban szabályos ikozaéder. ‐ A meghatározást úgy értettük, hogy a 12 pont együttesének konvex burka az ikozaéder.
|