[i][url=https://mathworld.wolfram.com/Hexahedron.html]Hexaéder[/url][/i]nek nevezzük az összes olyan egyszerű poliédert, amelyet hat egyszerű sokszög határol. Ezek közül legismertebb a kocka. A legkevésbé ismert közülük talán a fenti, az un. [i][url=https://mathworld.wolfram.com/Hemiobelisk.html]hemiobelix[/url][/i]. [br][br]Bár joggal feltételezhető olvasóinkról, hogy a poliéderekkel kapcsolatos alapfogalmakat ismerik, azonban szükséges lehet ezek összefoglalása, amely az alábbi pdf fájlban olvasható.[br]

A poliédereknek egyértelmű megadásának a GeoGebrában leggyakrabban alkalmazott módja az, hogy[br][list][*]megadjuk a csúcsainak a koordinátáit;[/*][*]megadjuk az összes lapját az egy lapra eső csúcsok ciklikus felsorolásával.[/*][/list][br]Az alábbi poliédert a csúcsainak a koordinátáit felsoroló [b]V[/b] és a kombinatorikus szerkezetét meghatározó [b]F[/b] listával adtuk meg. Ezeket felhasználva maga a megjelenítés egyetlen utasítással megoldható. [br]Ez az egy soros utasítás, amely a megjelenített [b]Lapok[/b] geometriai objektumot előállítja, eléggé tömör, így igényel némi elemzést:[br][br][b]Lapok=Sorozat( [/b] # a sorozat az [i]F [/i]lista összes elemét, vagyis a megjelenített lapokat tartalmazza;[b][br] Sokszög( [/b]# egy sokszöget a csúcsokat tartalmazó sorozattal adtunk meg;[b][br] Sorozat( [/b]#a csúcsokat a [i]V[/i] listából vettük[b] [br] Elem(V,Elem(F,i,j)), [/b]# Egy pont az i -edik lap j-edik pontja.[b][br] j,1,Hossz(Elem(F,i)))),[br] i,1,Hossz(F)) [br][br][/b]Megjegyezzük, hogy a GeoGebra korábbi változatában a [i]V [/i]lista egy pontját az [b]Elem(V,Elem(Elem(F,i),j)[/b] utasítással lehetett kijelölni.

Ez a tömör megfogalmazás természetesen csak akkor "működik", ha a megadott adatok megfelelőek.[br]Ezt a kérdést később fogjuk elemezni.[br]Az itt bemutatott megadási mód a legtöbbször nem eléggé felhasználóbarát: nem használja ki eléggé a GeoGebra lehetőségeit. Ezért ugyanezt a konstrukciót lássuk el egyre több kiegészítéssel:[br][list][*]az [b]N=Sorozat(Szöveg(i, V(i)), i, 1, Hossz(V)) [/b]paranccsal "megszámoztuk" a csúcsokat a [i]V [/i]listában megadott sorrendben, ezzel követhetővé vált, hogy egy-egy lapot milyen sorszámú csúcsok milyen sorrendben felsorolva állítanak elő; [/*][*]a [b]MásolásOszlopba(1,F)[/b] paranccsal átírtuk az [i]F[/i] listát a a táblázatkezelő első oszlopába;[/*][*]a [b]B1=Sokszög(Sorozat(Elem(V, Elem(A1, i)), i, 1, Hossz(A1))) [/b]paranccsal előállítottuk az első lapot, majd a [i]B1[/i] elem "lehúzásával" az összes többi lapot előállítottuk az A1 és a B1 elem kapcsolatát "örökítve" a többire.[br]Pl. [b]B2=Sokszög(Sorozat(Elem(V, Elem(A2, i)), i, 1, Hossz(A2))) [/b], stb.[br] Ezzel minden lap külön-külön kezelhetővé vált, pl. beállítható lett a színe, áttetszősége, vezérelhető a láthatósága.[/*][/list]Ugyanakkor még nem változtathatók a csúcsok koordinátái. Mivel az a applet parancssora elérhető felhasználóink számára, az alábbi két paranccsal ez is megoldható. [br][list][*][b]MásolásOszlopba(3,V)[/b] -ezzel a harmadik ( [i]C [/i]) oszlopában is megjelennek a poliéder csúcsai;[/*][*][b]V=C1:C7[/b] - ezzel visszatesszük a [i]C[/i] oszlop pontjait a megjelenítéshez használt [i]V[/i] listába. [/*][/list] Mint ha mi sem történt volna. De történt: most már egyenként változtathatók az egérrel, vagy a parancs sorban a poliéder koordinátái. [br]

Feltételezzük, hogy ismerik olvasóink a [b]Sokszög()[/b] eljárással megadható geometriai objektumok tulajdonságait, amely egyaránt alkalmazható síkbeli, vagy térbeli pontokkal adott sokszögek felvételére. Ha a pontok a felvett sorrendben önátmetsző sokszöget alkotnak, akkor azt ennek megfelelően rajzolja meg a az eljárás. Ha azonban a sokszög pontjai nincsenek egy síkban, akkor a sokszöget nem definiáltnak tekinti. [br]A kérdés az, hogy mennyire kell [u]pontosan[/u] egy síkban lenniük egy térbeli sokszög csúcsainak.[br][br]Próbáljuk ki. Miután megoldottuk, hogy a [i]C[/i] oszlop pontjai alkossák a poliédert, a parancssorba írjuk be például a [b] C3=(1,2,-1+1E-10) [/b]majd a [b] C3=(1,2,-1+1E-8) [/b]parancsot , vagyis a 3. sorszámú csúcs [i]z[/i] koordinátája előbb [i]10[sup]-10[/sup][/i] majd [i]10[sup]-8[/sup][/i] pontossággal térjen el a [i]-1 [/i]értéktől. Ez az utóbbi pont már nem illeszkedik sem a [i]{2,1,4},[/i] sem a[i] {4,5,6,7}[/i] síkra. Ugyanis a GeoGebra akkor tekint két pontot azonosnak, ha a koordinátáik legalább 10[sup]-9 [/sup]pontossággal azonosak, függetlenül attól, hogy hány tizedesjegynyi pontosan jelenítjük meg.

Bővítsük tovább ezt a programot azzal, hogy a poliéder egyértelmű megadásához elegendő csúcspontok legyenek változtathatók. Az alábbi appletben sötétkékkel jelöltük meg azokat a pontokat, amelyek tetszőlegesen változtathatók, türkizzel azokat, amelyek mozgathatók ugyan, de valamilyen kényszerpályán.[br]Konkrétabban:[br][list][*]legyen [b]C3[/b] és [b]C7 [/b]a ([b]C4,C5,C6) [/b]sík egy-egy pontja - Ezzel elértük, hogy a {3,4,5,6,7} ötszög pontjai egy síkban legyenek, függetlenül attól, hogy az ötszög melyik pontját mozgatjuk meg.[br](Ezt most úgy oldottuk meg, hogy a [b]C3 [/b]és[b] C7[/b] pontok egy-egy olyan egyenesen mozogjanak: amelyek párhuzamosan mozognak a [b](C5,C4)[/b] ill. a [b] (C5,C6)[/b] egyenesekkel. Ennél - elvileg - egyszerűbb lett volna, ha a [b]BelsőPont(Sík(C4,C5,C6)) [/b]paranccsal adjuk meg a mozgási lehetőségeiket. De ekkor nehezebben követhető, hogy hova kerül a[b] C3 [/b]és a [b]C7[/b] pont, ha a [b]C4[/b], [b]C5,[/b]vagy [b]C6[/b] pont bármelyikét - így a síkjukat is - elmozdítjuk a térben.)[/*][*][b] l[/b]egyen [b]s_3=Sík(C1,C4,C3)[/b] ; [b]s_7=Sík(C6,C6,C7)[/b] ; [b]f=UtakMetszete(s_3,s_7)[/b] ; [b]C2=Pont(f) [br][/b]- Ezzel elértük, hogy a poliéder két négyszöglapja síkbeli négyszög legyen.[/*][/list]A poliéder pontjainak a mozgatásakor könnyen előfordulhat, hogy a két négyszög és az ötszöglap önátmetszővé válik. Ezek az esetek megfelelő logikai változókkal kiszűrhetők. Hogy miként, azt olvasóinkra bízzuk.

Egy poliéder [i]közönséges, [/i]ha minden lapja egyszerű sokszög, bármely két lapjának legfeljebb két közös pontja van, és ha pontosan kettő van, akkor van pontosan egy közös éle is. Röviden: ha a lapjainak az előírtakon kívül nincs közös pontja.[br][br]A fenti appletekben többféleképpen előállított poliéder [i]egyszerű [/i]is, vagyis ez a poliéderfelület folytonos deformálással gömbbé alakítható.[br][br]Figyeljük meg az alábbi appletet: látszólag csak abban tér el az előzőtől, hogy a [b]C2[/b] pont is a tér bármely pontja lehet, vagyis nem követeljük meg, hogy az[b] {1,2,3,4}[/b] és az [b]{1,6,7,2}[/b] pontok síkbeli négyszöget alkossanak. Így ez a poliéder - alaphelyzetében - egy hexaéderré fajuló [i]oktaéder [/i](= 8 lapú poliéder), amelynek egy ötszög és hét háromszöglapja van.[br][br]A [b]C1.[/b], vagy [b]C2.[/b] csúcsot tudjuk úgy mozgatni a térben, hogy a háromszöglapok egymással, vagy az ötszöglappal [i]ütközzenek, [/i]azaz legyenek közös belső pontjaik (szakaszaik), amelyek nem élei a poliédernek. [br]Ha ez bekövetkezik, akkor a konstrukció már nem tekinthető közönséges poliédernek: a felület [i]önátmetsző, [/i]noha minden lapja egyszerű sokszög.[br][br](A GeoGera fájlok szerkesztése iránt alaposabban érdeklődő olvasóink töltsék le az alábbi appletet, és figyeljék meg azt a fogást, hogy a négyszögeket háromszögekké daraboló átlók csak akkor láthatók, ha a csúcsai nincsenek egy síkban.)[br][br]Összegezve tehát azt mondhatjuk, hogy minden közönséges poliéder csúcsait úgy [u]kell[/u] megadnunk, hogy[br][list][*] az egy-egy lapot meghatározó csúcsok egy síkba essenek;[/*][*]a lapok ne legyenek önátmetszők;[/*][*]a poliéderfelület ne legyen önátmetsző, vagyis a lapok [u]ne ütközzenek[/u]. [/*][/list][br]Megjegyezzük, hogy az itt elemzett hemiobelix[sup]*[/sup] nevű poliédernek ha nem önátmetszők a lapjai, akkor a felülete sem az, lehetséges ütközés demonstrálására kellett oktaéderré alakítanunk. [br][br][sup]*[/sup][size=85]E sorok írója ennek ez anyagnak az írása közben ismerte meg ezt az elnevezést. Megjegyzését egyáltalán nem tartja fontosnak. A lapok száma szerinti görög eredetű elnevezéseket: a [i]tetraéder[/i] (4 lap)[i], pentaéder [/i](5 lap)[i] , hexaéder [/i](6 lap),[i] heptaéder[/i] (7 lap)[i], oktaéder [/i](8-lap), stb. elnevezések többnyire elegendőek egy [i]poliéder[/i] (soklap) család azonosításához.[/size]

Mint láttuk, egy poliéder egyértelmű megadásához egyrészt meg kell adnunk a csúcsok koordinátáit, - ez volt a [b]V{} [/b]lista - másrészt a poliéder kombinatorikus szerkezetét - ez most az [b]F{}[/b] lista. [br]A feladat jellege határozza meg, hogy melyiket célszerű előbb megadnunk. [br]Most vegyük szemügyre alaposabban a fenti poliéder szerkezetét meghatározó [b]F{}[/b] listát:[br][i]F:={[br] {3, 4, 5, 6, 7},[br] {4, 3, 2, 1}, [br] {1, 6, 7, 2},[br] {2, 3, 7},[br] {1, 5, 4},[br] {1, 6, 5}[br] }:[/i][br]Az nyilvánvaló, hogy a listában felsorolt lapok sorrendje tetszőleges, sőt az is, hogy egy-egy lap csúcsainak a [u]ciklikus sorrendje[/u] szintén. Pl . a[i] {3,4,5,6,7}[/i] , [i]{5,6,7,3,4}[/i] vagy [i]{6,5,4,3,7}[/i] ugyanazt az ötszöget határozza meg.[br]Figyeljük meg, hogy a szomszédos számok - ahol az első és utolsó is szomszédos - a poliéder éleit határozzák meg. Így, mivel egy közönséges poliéder bármely élére pontosan két csúcs és pontosan két lap illeszkedik, minden szomszédos számpárt pontosan két lapban találunk meg. Jelen estben ellentétes sorrendben. Ez biztosítja, hogy a poliéder lapjai "kívülről nézve" azonos - jelen esetben negatív - körüljárásúak. Ennek olykor a megjelenítésben van jelentősége.[br][br]Ezzel együtt nem mondhatjuk, hogy az így megadott kombinatorikus szerkezet, mint matematikai objektum kellően szemléletes. Szemléletessé az egyszerű poliéder kombinatorikus hálózatának, [i] [url=https://en.wikipedia.org/wiki/Schlegel_diagram]Schlegel-diagram[/url][/i]jának a megrajzolásával tehető. Például - akit érdekel -[url=https://demonstrations.wolfram.com/SchlegelDiagrams/] itt elő tudja állítani [/url]az összes, legfeljebb 10 csúcsú és 6 lapú poliéder Schlegel-diagramját, így az itt látott [i]hemiobelix[/i]ét is.[br][br]A lapok és csúcsok számának a növelésével gyorsan növekszik az esetek száma, és egyre nehezebb eldönteni, hogy két Schlegel-diagram különbözőnek tekinthető-e.

Probléma-orientált olvasóink számára felkínálunk egy ilyen feladatot: keressék meg az [u]összes[/u] olyan egyszerű poliédert - azaz oktaédert - , amelyet [b]F[sub]3[/sub]=3[/b] háromszög [b]F[sub]4[/sub]=4[/b] négyszög és[b] F[sub]5[/sub]=1[/b] ötszög határol, és a csúcsai közül [b]V[sub]3[/sub]=6[/b] csúcsbába három-három, és [b]V[sub]4[/sub]=3[/b] csúcsába négy-négy él fut be. Így a lapok száma [b]F=F[sub]3[/sub]+F[sub]4[/sub]+F[sub]5[/sub]=8,[/b] a csúcsok száma [b]V=[/b][b]V[sub]3[/sub]+[/b][b]V[sub]4[/sub]=9.[/b] [br][br]Megjegyezzük, hogy az [b]F=8 [/b] lapú egymástól különböző kombinatorikus szerkezetű egyszerű poliéderek -azaz oktaéderek - száma [b]275[/b] ,ezek közül [b]74[/b]-nek van [b]V=9 [/b]csúcsa. [url=https://acta.bibl.u-szeged.hu/18152/]Aki nem hiszi, járjon utána.[/url] Vagy [url=https://archive.org/details/vieleckeundvielf00bruoft]ennek az 1900- ban kiadott könyv[/url]nek lapozzon a végére. [br][br]Feltehetően sikerült meggyőzni olvasóinkat arról, hogy az egyszerű poliéderek témaköre nem is olyan egyszerű. De szép.

Lapok száma: 7[br]Csúcsok száma: 14[br]Élek száma: 21