[url=https://www.geogebra.org/m/pX7a97q5#material/snsdmvmz]Itt[/url] volt szó arról, hogy a matematikában mit jelentenek a [i]normális,[/i], a [i]transzverzális[/i] és a[i] normáltranszverzális [/i]szavak. Arról is, hogy a számítógépes grafika elterjedése (létezése) előtt mekkora munka lehetett - e sorok írója számára az is volt - két egyenes normáltranszverzálisának a megszerkesztése. [br]Hát még az itt látható konstrukcióé, amely most egy pillanat alatt a szemünk elé tárul.[br]Azt látjuk, hogy van az ábrán tíz henger (matematikai szempontból egyenes), nincsenek közöttük párhuzamosok, mindegyik három másikat metsz, és az így kapott tizenöt metszéspontban derékszögek vannak. Szép konstrukció. Megérdemli az alapos elemzést.[br]

1898 -ban [url=https://en.wikipedia.org/wiki/Julius_Petersen]Julius Petersen [/url] dán és [url=https://en.wikipedia.org/wiki/Frank_Morley]Frank Morley[/url] brit matematikus publikálta e munkalap alján is megjelenő cikket amely [i]Petersen-Morley tétel[/i] néven vált ismertté a szép geometriai konstrukciókat kedvelő matematikusok körében. Bizonyára elégedetten szemlélték volna a munkájuk szinte kézzel fogható eredményét, a fenti rajzot. [br][br]Maga a tétel egy mondatban leírható: [br][list][*][i]Ha egy térbeli derékszögű hatszög szemközti oldalai kitérők, akkor a hozzájuk tartozó normáltranszverzálisok normáltranszverzálisai egybeesnek.[/i][/*][/list]Ez így persze kissé (??) tömör.[br] Az alábbiakban részletezzük.[br][list=1][*]Legyen [color=#ff0000][b]a[sub]1[/sub][/b][/color], [color=#6aa84f][b]b[sub]1[/sub][/b][/color], [b][color=#0000ff]c[sub]1[/sub][/color][/b] három, egymáshoz páronként kitérő egyenes! [/*][*]Legyen [color=#ff0000][b]a[sub]2[/sub][/b][/color], [color=#6aa84f][b]b[sub]2[/sub][/b][/color], [b][color=#0000ff]c[sub]2[/sub][/color][/b] rendre a[b] (b[sub]1[/sub],c[sub]1[/sub]), (c[sub]1[/sub],a[sub]1[/sub]), (a[sub]1[/sub],b[sub]1[/sub]) [/b]egyenespár normáltranszverzálisa! Belátható, hogy ha 1. teljesül, akkor[color=#333333] [/color][color=#333333][b]a[sub]2[/sub][/b], [b]b[sub]2[/sub][/b], [b]c[sub]2[/sub][/b][/color] ugyancska páronként kitérő. Ez a hat egyenes meghatároz egy térbeli derékszögű hatszöget, amelynek a szemközti oldalai rendre kitérők. (Itt azonos színűek.) [/*][*]Legyen [b][color=#ff00ff]a[sub]3[/sub][/color][/b], [b][color=#00ff00]b[sub]3[/sub][/color][/b], [b][color=#00ffff]c[sub]3[/sub][/color][/b] rendre a[b] (b[sub]2[/sub],c[sub]2[/sub]), (c[sub]2[/sub],a[sub]2[/sub]), (a[sub]2[/sub],b[sub]2[/sub]) [/b]egyenespár normáltranszverzálisa! (Ezek ugyancsak páronként kitérők. ) [/*][*]Végül legyen [color=#cc4125][b]d[/b] [/color][color=#333333]például a [b](b[sub]3[/sub],c[sub]3[/sub]) [/b]egyenespár normáltranszverzálisa. Tapasztalhatjuk, hogy ez merőlegesen metszi az [b]a[sub]3 [/sub][/b]egyenest is. Ezt bizonyította Petersen és Morley.[/color][/*][/list][color=#333333]Nevezzük a továbbiakban [i]P-M konstrukció[/i]nak ezt a tíz egyenesből és ezek tizenöt metszéspontjából álló térgeometriai alakzatot, amelyben bármely két egymást metsző egyenes merőleges is egymásra.[br][/color]

... mindez a GeoGebra eszköztárát kihasználva?[br][br][url=https://hu.wikipedia.org/wiki/Murphy_t%C3%B6rv%C3%A9nye]Murpy törvénye[/url] szerint "Egy program addig fejlődik, amíg meg nem haladja a készítője képességeit."[br]Nos, az alábbi applet ehhez közel áll, legalább is a sokféle megjelenítési lehetőség választhatósága miatt. [br] [br]A P-M konstrukció rendre felépíthető a megfelelő jelölőnégyzetek bekapcsolásával, de az alattuk lévő csúszkával is.[br][br]Ha bekapcsoljuk a "belső hengerek" jelölőnégyzetet, egyszerre jelenik meg a tíz egyenes. A kész konstrukció alapján nem tudjuk megállapítani, hogy melyik volt az első három egyenes, amelyre a konstrukció felépül. Ezek az egyenesek egyenrangúak, épp úgy, mint azt [b][url=https://www.geogebra.org/m/pX7a97q5#material/nrvbvefm]itt[/url] [/b]a Desarques konstrukciónál (2. app.) is , vagy [url=https://www.geogebra.org/m/fgse9tb6]itt[/url] (1. és 3. app.) az ortocentrikus tetraédereknél tapasztalhattuk. [br][br]A ◀ és ▶ nyilakkal kiválasztható, hogy melyik legyen az az egyenes, amelyik a többi kilencből felépíthető.[br]A ▶ gomb[i] false[/i]-ra állítja a tíz egyenes (a rajzon henger) láthatóságát. Célszerű a fenti leírás lépéseit követve először [color=#ff0000][b]a[sub]1[/sub][/b][/color], [color=#6aa84f][b]b[sub]1[/sub][/b][/color], [b][color=#0000ff]c[sub]1[/sub][/color][/b] , majd [color=#ff0000][b]a[sub]2[/sub][/b][/color], [color=#6aa84f][b]b[sub]2[/sub][/b][/color], [color=#0000ff][b]c[/b][/color][color=#0000ff][sub][b]2[/b] , [/sub][/color][color=#333333]továbbá [/color][b][color=#ff00ff]a[sub]3[/sub][/color][/b][color=#333333], [/color][b][color=#00ff00]b[sub]3[/sub][/color][/b][color=#333333], [/color][b][color=#00ffff]c[sub]3[/sub][/color][/b][color=#333333] , végül [/color][b][color=#a61c00]d[/color][/b][color=#333333] láthatóságát bekapcsolni, de javasoljuk, hogy más sorrendet is próbáljanak ki az applet felhasználói.[/color][br][br]

A konstrukció egyértelmű meghatározásához három, páronként kitérő általános helyzetű egyenest kell megadnunk. [br]Legyen például [b][color=#ff0000]a[sub]1[/sub][/color][/b] a koordinátarendszer [i]x[/i] tengelye, [color=#6aa84f][b]b[/b][sub]1[/sub][/color] az (xy) síkkal párhuzamos (de [b]a[sub]1[/sub][/b]-el nem) amely metszi a [i]z[/i] tengelyt [color=#0000ff]c[sub]1[/sub][/color] a koordinátarendszerhez is általános helyzetű, és az előzőekhet kitérő. Ezeket a [color=#6aa84f]B [/color][color=#333333],ill. a[/color][color=#0000ff] [b]C[sub]1[/sub][/b][/color][color=#333333],és [/color][color=#0000ff][b]C[sub]2[/sub][/b] [/color][color=#333333]pontok egyértelműen meghatározzák. Így három pont elegendő a konstrukció egyértelmű megadáshoz.[br][br]Ha valaki nem elégszik meg fentia GeoGebra applet látványával, hanem rászánja magát, hogy készít egy ilyen [u]kézbe vehető[/u] konstrukciót, szüksége lesz az egy-egy egyenesre illeszkedő három pont távolságára. Ha letölti a fenti applet forrásfájlját, ezeket az adatokat meg is találja a program táblázatkezelőjében. Az alakzat méretét is be tudja állítani, sőt azt a távolságot is, amelyet a csatlakozás levesz a szakaszok hosszából. Jó munkát kívánunk hozzá.[br][br]A szerkesztés üzemmódban megjelenik még három gomb, amelyek kellően áttekinthetőnek gondolt kezdő adatokat állítanak be.[br] [br][/color]

Több helyen találkoztunk olyan geometriai konstrukcióval, amelyet valamilyen megadott alakzatból építettünk fel, és amelynek az elkészültét követően kiderült, hogy a kész konstrukció felépítéséhez más kezdő alakzatok is ugyanazt az eredményt adták volna.[br]Például, [url=https://www.geogebra.org/m/pX7a97q5#material/fgse9tb6]a sík ortocentrikus pontnégyese, a tér ortocentrikus pontötöse[/url], a[url=https://www.geogebra.org/m/pX7a97q5#material/nrvbvefm] Desarques aklaztat[/url] (2. app.)[br][br]Ez jelen esetben is így van: a konstrukció bármely három, egymáshoz páronként kitérő egyeneséből kiindulva ugyanezt a alakzatot kapjuk eredményül. Az alábbiakban azt mutatjuk be, hogy miként épül fel (illetve le) a végeredményként kapott (sárga) egyenes, amely tíz közül bármelyik lehet.