E10 A tengelyes tükrözéstől az Alhazen problémáig
Most egy olyan feladattal (feladatsorozattal?) foglalkozunk, amely feltehetően sok tanulsággal jár jó néhány szempontból, így a GeoGebra alkalmazása szempontjából is. [br][br][b]A feladat: [/b]Legyen adott a síkban ‑ a [b]d.)[/b] esetben a térben ‑ az [i]A[/i] és [i]B[/i] pont, valamint egy [i]g[/i] vonal. Keressük meg [i]g[/i]-nek azt a [i]P[/i] pontját, melyre az [i]AP[/i] és [i]PB[/i] szakaszok hosszának az összege minimális. [br][br]A[i] g[/i] vonal legyen:[br][b] a.) [/b]egy egyenes;[br][b] b.)[/b] egy kör;[br][b] c.) [/b]egy síkgörbe;[br][b] d.) [/b]egy térgörbe.[br][br]Feltehetően sok matematika-tanár akár általános- akár középiskolában a tengelyes tükrözés[br]bevezető feladataként ennek a feladatnak az [b]a.) [/b]részét szokta választani, legfeljebb ennél kicsit plasztikusabb szövegbe ágyazva. [br][br]Szépen, didaktikusan lehet tárgyalni, esetleg először azt az esetet vizsgálva, hogy mi a megoldás, ha az [i]A[/i] és [i]B[/i] pont a [i]g[/i] egyenesnek különböző félsíkjában van. Majd jöhet a[url=http://www.cs.elte.hu/~ewkiss/bboard/mt/gond.pdf] Pólya-féle kérdés[/url]: [i] „Hogyan lehetne erre az egyszerű esetre visszavezetni a problémát.” [br][br][/i]Ha más nem, az óra, vagy témakör címe mindenképpen sugallja a megoldást: [br]tükrözzük az egyik pontot a [i]g [/i]egyenesre. [url=https://tube.geogebra.org/material/show/id/1327587] [b]a.) 1[/b][/url]
Biztos, hogy ez a legkézenfekvőbb ötlet? Könnyen akadhat valaki, akiben felmerülhet a (ki nem mondott) kérdés: Miért éppen a tengelyes tükrözés jutott eszünkbe? [br][br]A kísérletező, GeoGebrán csiszolódó elméjű diák számára lehet, hogy ez lenne a jobb segítség:[br] [br][i]Mivel két szakasz hosszának az összegét keressük,[/i] [i]talán jó lenne együtt, egy egyenes mentén látnunk a két szóban forgó szakaszt.[/i] [br][br]Próbáljuk ki. A GeoGebra eszköztára ezt könnyedén lehetővé teszi.
Ez is egy lehetőség. [br][br]Meg kell jegyeznünk, hogy egy feladat megoldásához több, módszereiben, felhasznált eszköztárban különböző út is vezethet, de legjobb (didaktikai) út ritkán van a matematikában. Királyi út végképp nincs. Ez benne a szép. [br][br]Ebben a megoldásban már található néhány olyan eszköz, amely hiányzik a "klasszikus" elemi geometria eszköztárból, azonban a Geogebra felhasználói számára kevésbé szokatlan. Minden esetre célszerű megfigyelnünk a fenti applet forrásfájljának a tanulmányozását. [b][url=https://tube.geogebra.org/material/show/id/1327617]a.) 2[/url][/b]
Talán nem túl merész feltételezés, hogy ha csak az [b]a.) [/b]feladatról van szó, akkor is akadhat egy szemfüles diák, vagy – ha más nem - a „jó” tanár ‑ akiben „[i]mi lenne ha…[/i]” alapon felvetődne pl. a [b]b.)[/b] kérdés. Ezzel az ártatlannak tűnő kérdéssel pillanatok alatt szemben találhatjuk magunkat egy jóval izgalmasabb feladattal.[br][br] Tegyük fel, hogy felvetődött a kérdés. Nem itt és most először. Kicsit régebben: éppen ezer évvel ezelőtt. [url=http://tudasbazis.sulinet.hu/hu/matematika/matematika/nincs-kiralyi-ut/a-keleti-kozepkor-matematikaja-3/az-arab-trigonometria]Alhazen probléma[/url] néven vált ismertté:[br][br] „ [i]Keressük meg a gömbtükör azon pontját, ahova be kell esnie egy adott pontból kiinduló fénysugárnak, ha azt szeretnénk, hogy visszaverődése után egy másik adott ponton menjen át.”[/i] [br]Lényegében ez a feladatunk [b]b.)[/b] része.
[url=http://www.kislexikon.hu/alhazen.html]Alhazen[/url](965-1039) arab matematikusnak, a geometriai optika atyjának ma is [url=http://mult-kor.hu/20110111_ujra_nepszeru_az_arisztoteleszt_cafolo_orult_polihisztor]nagy kultusza van[/url]. Pl. az iraki 10 000 dináros bankjegyen is szerepel. Az is kiderülhet, hogy [url=http://hu.wikipedia.org/wiki/Hippokrat%C3%A9sz_holdacsk%C3%A1i]Hippokkratész holdacskái[/url] tulajdonképpen Alhazen holdacskái. Elegendő a [url=https://www.geogebratube.org/]GeoGebra Tube[/url] keresőjébe beírni Alhazen nevét.[br] Kicsit böngészve a [url=http://mathworld.wolfram.com/AlhazensBilliardProblem.html](digitális) irodalom[/url]ban hamar kiderül, hogy Alhazen tükrözési – vagy biliárd –problémájának nincs euklideszi szerkesztéssel előállítható megoldása. [br]Lássuk, mit tud kezdeni vele a GeoGebra?[br][br]Ismét próbálkozhatunk az imént alkalmazott fogással. Már ezért is megérte ezt az utat is kitaposnunk.[br][br]Legyen [i]B’[/i] az [i][A,P) [/i]félegyenesnek az a pontja, amelyre [i]PB’=PB[/i].Keressük meg a [i]B’ [/i]pontok mértani helyét, ha [i]P[/i] körbefut a [i]g [/i]körön. Ennek adjuk meg az [i]A[/i]-hoz legközelebbi pontját, amelyből rövid szerkesztéssel előállítható a keresett [i]P[sub]min [/sub][/i]pont. [b][url=https://tube.geogebra.org/material/show/id/1327637]b.) 1[/url][/b]
Vajon van-e a GeoGebrának olyan eszköze, amellyel ennél rövidebb, talán elegánsabb úton juthatunk el a várt eredményig? [br][br]Van egy alapjában véve függvény minimumhelyének a megkeresésére készült GeoGebra parancs:[b] MinimumKeresés[f(t),t][/b] , ahol [i]f(t) [/i]valamilyen [i]t[/i]-től függő szám. A parancs neve kissé félrevezető, ugyanis ez a parancs nem az [i]f(t) [/i]függvény minimumának az értékét, hanem a [u]minimumhelyét[/u] állítja elő. [i]t[/i]-nek ‑ csúszkával beállítható ‑ szabad változónak kell lennie, ahol legfeljebb a csúszka kezdő és végpontja adható meg dinamikusan, másik két csúszkával. Ha a folytonos [i]f(t)[/i] függvénynek a csúszka végpontjai között több helyi minimuma van, akkor ezek közül választ egyet a parancs. Ezért kell a [i]t [/i]változót olyan értékek közé zárni, amelyek éppen a keresett minimumhelyet adják meg. [br][br]Hasznos parancs, megkímél bennünket a deriválás és az egyenlet-megoldás munkájától. Éppen ezért veszélyes is. „[url=http://hu.wikipedia.org/wiki/Deus_ex_machina]Deus ex machina[/url]”megjelenik a keresett eredmény anélkül, hogy tudnánk bármit is a minimumkeresés matematikai hátteréről.[b][url=https://tube.geogebra.org/m/1329657] Függvény minimum helye[/url][/b]
Ugyanakkor ez a lehetőség a mi számunkra most különösen hasznos. Ugyanis alkalmazható a [b]b.)[/b] feladat megoldására. Ehhez persze az adott [i]g [/i]körön körbefutó [i]P[/i] pontot nem a [i]g[/i] kényszerpályán mozgó félig kötött pontként, hanem a [i]0≤ t ≤2Pi [/i]paraméterrel kell megadnunk. [b][url=https://tube.geogebra.org/material/show/id/qhoZ5hO3]b.) 2[/url][/b]
Az itt látott „fogást” szinte változtatás nélkül használhatjuk a [b][size=100][size=150][url=https://tube.geogebra.org/material/show/id/1327649]c.)[/url][/size][/size],[/b] sőt a [b][size=150][url=https://tube.geogebra.org/material/show/id/1327669]d.)[/url][/size][/b] feladat megoldására is. Mindössze egy eddig fel nem merült dolgot kell tudnunk kezelni. Ha olyan sík ill. térgörbét adunk meg, amelynek több helyi minimumhelye is lehet, akkor gondoskodnunk kell arról, hogy a „jó” megoldást keresse meg számunkra a[b] MinimumKeresés[ , ][/b] parancs. Ehhez a vizsgálat határait olykor szűkebbre kell venni.