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. Ebben a cikkben az ellipszis, parabola és hiperbola elemi geometriai tulajdonságai közül gyűjtünk össze néhány fontosat. Ezekkel a görbékkel a középiskolában először függvények grafikonjaiként találkozunk. Megtanuljuk, hogy az függvény képe hiperbola, az függvényé pedig parabola. Később a koordináta-geometriában azt tanuljuk, hogy az egyenletű görbe ellipszis, az egyenletű görbe pedig hiperbola. Ezeket a görbéket koordinátarendszer nélkül, elemi geometriai eszközökkel is lehet vizsgálni. Így sok érdekes tulajdonságukra adhatunk egyszerű magyarázatot. (Például ki fog derülni, hogy miért használunk parabolaantennát.) Főleg olyan tulajdonságokkal foglalkozunk, melyek minden kúpszeletre teljesülnek. Az egyes görbék speciális jellemzőire nem térünk ki, ezekről részletes leírás található pl. Hajós György: Bevezetés a geometriába c. könyvének ([1]) 43. fejezetében. A kúpszeleteket sokféleképp lehet definiálni. Mi ezt a középiskolában szokásos módon tesszük.
A kúp szeletei 1. definíció. ‐ | Az ellipszis azon pontok mértani helye a síkon, melyeknek két rögzített ponttól vett távolságainak összege a két pont távolságánál nagyobb állandó. |
‐ | A parabola azon pontok mértani helye a síkon, melyek egy adott egyenestől és egy arra nem illeszkedő rögzített ponttól egyenlő távolságra vannak. |
‐ | A hiperbola azon pontok mértani helye a síkon, melyeknek két rögzített ponttól vett távolságai különbségének abszolút értéke a két pont távolságánál kisebb állandó. |
A definícióban szereplő rögzített pontokat az adott görbe fókuszainak, a rögzített egyenest a parabola vezéregyenesének nevezzük. A továbbiakban a fókusz(oka)t (és ), parabola esetén a vezéregyenest , ellipszis és hiperbola esetén az állandó értékét pedig jelöli. Ezt az értéket ellipszis esetén a nagytengely, hiperbola esetén pedig a valós tengely hosszának nevezzük.
Megmutatható, hogy ha egy mindkét irányban végtelen egyenes körkúpfelületet elmetszünk bármely olyan síkkal, amelyik nem megy át a kúp csúcsán és nem merőleges a kúp tengelyére, akkor a keletkezett metszetgörbe
‐ | ellipszis, ha a kúp egyetlen alkotójával sem párhuzamos (1.. ábra); |
‐ | parabola, ha pontosan egy alkotóval párhuzamos (1.. ábra); |
‐ | hiperbola, ha két alkotóval párhuzamos (1.. ábra). |
1. ábra Ezt itt nem bizonyítjuk, a bizonyítás megtalálható pl. internetes honlapunkon [3]. Az is belátható, hogy minden kúpszelet előáll mint egy kúpfelület és egy megfelelő sík metszete. Ha azt is megengedjük, hogy a metsző sík merőleges legyen a kúp tengelyére, akkor a köröket is tekinthetjük a kúp szeleteinek. A kör tehát olyan elfajuló ellipszis, amelynél . Ezért a továbbiakban a kúpszelet összefoglaló nevet fogjuk használni az ellipszisre, körre, parabolára és hiperbolára. A kúpszeletek pontjait három osztályba sorolják: A kúpszelet pontjai; -nek a forgáskúp belsejével alkotott metszete (2. ábra), amelyeket a kúpszeletre nézve belső pontokak nevezünk, valamint többi pontja, melyeket a kúpszeletre nézve külső pontoknak nevezünk.
2. ábra Ez az elnevezés összhangban van azzal, ahogy a kör belső, illetve külső pontjának fogalmát eddig használtuk. A külső és belső pontok jellemzéséről szól a következő tétel.
2. tétel. Legyen a kúpszelet a szokásos módon megadva. Ekkor a pont belső pont, a pont a görbén lévő pont, a pont pedig külső pont akkor és csak akkor, ha
‐ | ellipszis és kör esetén , és ; |
‐ | hiperbola esetén , és |
‐ | parabola esetén pedig -től való távolsága nagyobb, mint a távolság, -től való távolsága megegyezik a távolsággal és -től való távolsága kisebb, mint a távolság. |
Bizonyítás. Elegendő bebizonyítani, hogy a belső és a külső pontokra teljesülnek a megfelelő egyenlőtlenségek, hiszen minden pont vagy rajta van a görbén, vagy külső pont, vagy pedig belső pont és a görbén lévő pontokra vonatkozó állítások az 1. definíció átfogalmazásai. Kör esetén az állítás nyilvánvaló. Ellipszis és hiperbola esetén feltehetjük, hogy és . Jelöljük az -ből induló, -t, illetve -t tartalmazó félegyenes és a kúpszelet metszéspontját -mel. Ekkor az és az (esetleg elfajuló) háromszögekre felírt háromszög-egyenlőtlenségekből ellipszis esetén (3.. ábra)
hiperbola esetén (3.. ábra) pedig
adódik, ami éppen a bizonyítandó állítás.
3. ábra Parabola esetén legyen a -ből -re állított merőleges és a görbe metszéspontja, az -ből induló -t tartalmazó félegyenes és a görbe metszéspontja, a -ből, -ból és -ból -re állított merőlegesek talppontjai pedig rendre , és (3., . ábrák). Ekkor az és az (esetleg elfajuló) háromszögekre felírt háromszög-egyenlőtlenségekből kapjuk a bizonyítandó
egyenlőtlenségeket. A kör érintője olyan egyenes, amelynek egy közös pontja van a körrel, összes többi pontja pedig külső pont. Ezért természetes módon adódik a következő definíció:
3. definíció. Az egyenes a kúpszeletet annak pontjában érinti, ha átmegy -n és összes többi pontja -nak külső pontja. Következő állításunk szemléletesen nyilvánvaló.
4. tétel. Legyen a kúpszelet tetszőleges pontja . Ekkor egyértelműen létezik -t -ben érintő egyenes.
Bizonyítás. Állítsuk elő -t az csúcsú kúp és az sík metszeteként. Ekkor minden -n átmenő -beli egyeneshez egyértelműen hozzárendelhetjük azt az alkotóra illeszkedő síkot, mely tartalmazza -et is és -t is. Nyilvánvaló, hogy az sík pontosan annyi alkotóját tartalmazza -nek, ahány közös pontja van -nek és -nak. Az alkotóra illeszkedő síkok közt pontosan egy van, amelyik az alkotóban érinti -et, az összes többi pedig egy-egy -n átmenő egyenespárban metszi azt. Mivel az érintősíknak nincs pontja belsejében, ezért az általa -ből kimetszett egyenes lesz egyértelműen létező -beli érintője.
Vezéralakzatok Az ezután következő definíciók és tételek mind síkbeliek, ezért ezt külön nem is fogjuk hangsúlyozni. Kezdjük egy nyilvánvaló állítással.
5. lemma. Legyenek és különböző pontok. Ekkor az középpontú, sugarú és az középpontú, sugarú körök
| akkor és csak akkor érintik egymást kívülről, ha ; |
| akkor és csak akkor érintik egymást belülről, ha ; |
| akkor és csak akkor metszik egymást két pontban, ha az és szakaszokból háromszög szerkeszthető (4. ábra). |
4. ábra A kúpszeletek egységes, síkbeli előállításáról szól a következő tétel.
6. tétel. Adott az pont és a rajta át nem menő alakzat, ami vagy kör vagy egyenes. Azon körök középpontjainak halmaza, amelyek átmennek -en és érintik -t, kúpszelet. Speciálisan ez a görbe
‐ | kör, ha kör és annak a középpontja; |
‐ | ellipszis, ha kör és annak a középpontjától különböző belső pontja; |
‐ | hiperbola, ha kör és annak külső pontja. |
Bizonyítás. Legyen egy -en átmenő, -t az pontban érintő sugarú kör, pedig középpontja. Először tegyük fel, hogy egyenes (5. ábra). Mivel a kör érintője merőleges az érintési pontba húzott sugárra, ezért merőleges -re. Tehát és távolsága megegyezik hosszával, és mivel , ezért rajta van az fókuszú, vezéregyenesű parabolán.
5. ábra Másrészt ha ennek a parabolának tetszőleges pontja, akkor és távolsága éppen , azaz az -ből -re állított merőleges talppontja rajta van -n, tehát az középpontú sugarú körnek érintője. Ha kör, akkor jelöljük a középpontját -vel, sugarának hosszát pedig -val. Tegyük most fel, hogy a belső pontja (6. ábra). Ekkor az 5. lemma része szerint . Vagyis ha , akkor rajta van az középpontú sugarú körön, ha pedig és különbözőek, akkor rajta van az és fókuszú, nagytengelyű ellipszisen.
6. ábra Másrészt ha ennek a körnek vagy ellipszisnek tetszőleges pontja, akkor . Ezért ha az -ből kiinduló félegyenesre -ből felmért hosszú szakasz másik végpontja , akkor , tehát az középpontú sugarú kör -ben érinti -t. Végül tegyük fel, hogy a kör külső pontja. Ekkor helyzete kétféle lehet: vagy tartalmazza -t (7. ábra), vagy pedig kívülről érinti azt (8. ábra). Az 5. lemma , illetve része szerint mindkét esetben igaz, hogy | | tehát rajta van az és fókuszú, valós tengelyű hiperbolán.
7. ábra
8. ábra Másrészt ha ennek a hiperbolának tetszőleges pontja, akkor vagy , vagy pedig . Ezért az első esetben belülről, a második esetben pedig kívülről érinti az középpontú sugarú kört. Tételünk alapján beszélhetünk az fókuszú, vezéralakzatú kúpszeletről. Ha kör, akkor a továbbiakban középpontját mindig -vel, sugarának hosszát pedig -val jelöljük. Ellipszis és hiperbola esetén és a görbe két fókusza. Az 1. definícióból következően a görbe szimmetrikus az szakasz felező merőlegesére. Ha -t tükrözzük erre az egyenesre, akkor az középpontú, sugarú kört kapjuk. Ezért az fókuszú, vezérkörű kúpszelet megegyezik az fókuszú, vezérkörű kúpszelettel. Általában -t az fókuszhoz, -et pedig az fókuszhoz tartozó vezérkörnek nevezik. Ellipszis és hiperbola esetén a további állításaink akkor is igazak, ha -et -vel és ugyanakkor -t -gyel helyettesítjük. A vezéralakzatok segítségével a külső és belső pontokat is egyszerűen jellemezhetjük.
7. tétel. Legyen egy fókuszú, vezéralakzatú kúpszelet. Ekkor a pont külső pontja pontosan akkor, ha a középpontú sugarú kör két pontban metszi -t, belső pontja pedig pontosan akkor, ha a középpontú sugarú körnek és -nek nincs közös pontja.
Bizonyítás. Ha parabola, akkor egyenes. A középpontú sugarú kör pontosan akkor metszi két pontban -t, ha -től való távolsága kisebb mint a távolság, és pontosan akkor kerüli el -t, ha -től való távolsága nagyobb mint a távolság. Ha kör, akkor az állítás nyilvánvaló. Ha ellipszis vagy hiperbola, akkor az 5. lemma (c) része szerint a kör, melynek középpontja , sugara , és a középpontú, sugarú körök akkor és csak akkor metszik egymást két pontban, ha a és szakaszokból szerkeszthető háromszög. Ellipszis esetén , ezért és mindig teljesül. Tehát két metszéspont van, ha , és nincs metszéspont, ha . Ez viszont a 2. tétel szerint éppen a bizonyítandó állítás. Hiperbola esetén , ezért mindig fennáll. Tehát két metszéspont van, ha és is teljesül, azaz ha . Ha pedig , akkor nincs metszéspont. Ez ismét a 2. tétel miatt adja a bizonyítandó állítást. Az egységes tárgyalás kedvéért bevezetünk néhány szokásos elnevezést. A továbbiakban azt mondjuk, hogy egy kör és egy egyenes merőleges egymásra, ha az egyenes átmegy a kör középpontján. Ha a kúpszelet tetszőleges pontja, akkor az , továbbá a -ből -re állított merőleges egyeneseket a -hez tartozó vezérsugaraknak nevezzük. (Parabola kivételével tehát a másik vezérsugár az egyenes.) A kúpszelet minden pontjában egyértelműen létezik érintő egyenes a 4. tétel szerint. Az érintő és a vezérsugarak kapcsolatáról szól a következő tétel.
8. tétel. A kúpszelet tetszőleges pontjában az érintő felezi a -hez tartozó vezérsugarak szögét.
Bizonyítás. Legyen az fókusszal és a vezéralakzattal adva. A 6. tétel szerint a középpontú sugarú kör érinti -t. Jelöljük az érintési pontot -vel és legyen az belső szögfelezője. Ekkor parabola és hiperbola esetén a -hez tartozó vezérsugarak belső-, ellipszis és kör esetén pedig azok külső szögfelezője (9. ábra).
9. ábra Elegendő megmutatnunk, hogy a egyenes -től különböző, tetszőleges pontja külső pont. Mivel rajta van az szögfelezőjén, azért . Tehát a középpontú sugarú kör átmegy -n, ami -n van. Mivel különbözik -től, azért nem érinti, hanem metszi -t. Ez viszont a 7. tétel szerint azt jelenti, hogy külső pont. Miután a -beli érintőről beláttuk, hogy az az belső szögfelezője, azonnal adódik a következő állítás.
9. következmény. A kúpszelet fókuszának a kúpszelet tetszőleges érintőjére való tükörképe rajta van a vezéralakzaton. A kúpszelet tengelyének nevezzük a fókuszból a vezéralakzatra állított merőlegest. Ha a kúpszeletet a tengelye körül megforgatjuk, akkor a keletkezett felületet ellipszoidnak, paraboloidnak, illetve hiperboloidnak nevezzük. A 8. tételt ellipszisre alkalmazva kapjuk, hogy ha az egyik fókuszból sugarakat indítunk, akkor azok a visszaverődési törvény szerint az ellipszoid felületéről visszaverődve a másik fókuszon fognak áthaladni. Ezt a jelenséget figyelhetjük meg pl. a Csodák Palotájában akkor, amikor a megfelelő helyen, az egyik fókuszban halkan elmondott szavainkat a tőlünk távol, de jó helyen, a másik fókuszban álló ismerősünk tökéletesen hallja. Parabola esetén pedig az következik tételünkből, hogy a parabola tengelyével párhuzamosan érkező sugarak a visszaverődés után áthaladnak a fókuszon. A műholdas adások vételére szolgáló antennák alakja ezért paraboloid, s a jeleket fogó fej a fókuszban helyezkedik el.
Érintők A 9. következmény szerint csak olyan egyenes lehet az fókuszú, vezéralakzatú kúpszelet érintője, mely merőlegesen felezi a valamely pontját -fel összekötő szakaszok egyikét. A következő tétel alapján egyszerűen megszerkeszthetjük egy kúpszelet adott ponton átmenő, illetve adott egyenessel párhuzamos érintőit.
10. tétel. Legyen fókuszú, vezéralakzatú kúpszelet, tetszőleges pont, pedig tetszőleges egyenes. Legyenek a középpontú, sugarú kör és közös pontjai és . Ekkor -n átmenő érintői megegyeznek a és a szakaszok felező merőlegeseivel (10.. ábra). Legyenek az -en átmenő, -re merőleges egyenes és metszéspontjai és . Ekkor -vel párhuzamos érintői megegyeznek az és az szakaszok felező merőlegeseivel (10., . ábrák, ellipszis, ill. parabola).
10. ábra
Bizonyítás. A két részállítás bizonyítása szóról-szóra megegyezik. A 9. következmény miatt más, -n átmenő, illetve -vel párhuzamos egyenes nem lehet érintő. Legyen az szakasz felezőmerőlegese , az és az -ben -re állított merőleges egyenes metszéspontja pedig . Ekkor , tehát a középpontú, sugarú kör érinti -t, azaz rajta van -n. Viszont az egyenes felezi az szöget, tehát a 8. tétel szerint -ben érinti -t.
Tételünk első részéből következik az a szemléletesen nyilvánvalónak tűnő állítás, hogy ha külső pont, akkor -n -nak két érintője megy át. Ez azonban csak egy kis kiegészítéssel igaz. A bizonyítás során megkonstruált érintési pontok ugyanis nem mindig léteznek. Előfordulhat, hogy az -ben -re állított merőleges párhuzamos felező merőlegesével. Parabola esetén ez nem lehetséges, ekkor ugyanis sohasem párhuzamos -vel. A többi kúpszelet esetén felezőmerőlegese pontosan akkor párhuzamos az -ben -re állított merőlegessel, azaz az egyenessel, ha . Ez csak akkor állhat elő, ha a -nek külső pontja, azaz hiperbola, és az egyenes érinti -t. Ekkor az -ből -hez húzott két érintőszakasz felezőmerőlegeseit a hiperbola aszimptotáinak (11. ábra) nevezzük.
11. ábra Minden hiperbolának két aszimptotája van. Sok szempontból célszerű ezeket az egyeneseket is a hiperbola érintőinek tekinteni, a továbbiakban mi is ezt tesszük. (Szemléletesen azt mondhatjuk, hogy a hiperbolát a ,,végtelen távoli pontjában'' érinti az aszimptota. Ez a kijelentés a projektív geometria eszközeivel teljesen precízzé tehető, lásd pl. [1] 44. és 46. fejezet.) Ha tehát a külső pont a hiperbola egy vagy két aszimptotáján rajta van, akkor -n az aszimptotákkal együtt megy át két érintő. Az adott irányú érintőből ellipszis és kör esetén mindig kettő van, hiszen a kör belsejében lévő ponton átmenő -re merőleges egyenes két különböző pontban metszi -t, s mivel , azért a pontok is mindig létrejönnek (10.. ábra). Parabola esetén az -re merőleges egyenesnek és -nek legfeljebb egy közös pontja van, hiszen is egyenes (10.. ábra). A vezéregyenesre merőleges irányt kivéve mindig létezik is pontosan egy, adott irányú érintő, mert ekkor az és a pontok mindig létrejönnek. A vezéregyenesre merőleges irányú érintője viszont nincs a parabolának. Hiperbola esetén az -en átmenő, -re merőleges egyenes pontosan akkor metszi két pontban -t, ha az szakasz felezőpontján átmenő, -vel párhuzamos egyenes az aszimptoták által meghatározott négy szögtartomány közül abba a kettőbe metsz bele, melyek nem tartalmazzák a hiperbola pontjait. Ekkor viszont a pontok is létrejönnek, tehát ilyen irányú érintőkből mindig kettő van (12. ábra).
12. ábra
Irodalom
[1] | Hajós György: Bevezetés a geometriába, 6. kiadás, Tankönyvkiadó (Budapest, 1979). |
[2] | Horvay Katalin és Reiman István: Geometriai feladatok gyűjteménye, I. kötet, 4. kiadás, Tankönyvkiadó (Budapest, 1976). |
[4] | Rácz János: Paraboláról, hiperboláról elemi geometriai eszközökkel, II. rész, KöMaL, 34. évf. (1984), 193‐199. |
[5] | Schopp János: Kúpszeletek, Középiskolai szakköri füzetek, Tankönyvkiadó (Budapest, 1972). |
A T043556 és T043758 számú OTKA pályázatok támogatásával. |