Cím: Amit jó tudni a kúpszeletekről
Szerző(k):  Kiss György 
Füzet: 2004/november, 450 - 459. oldal  PDF  |  MathML 
Témakör(ök): Szakmai cikkek

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.


1
 

I. rész
 
Bevezetés
 

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 y=1x függvény képe hiperbola, az y=x2 függvényé pedig parabola. Később a koordináta-geometriában azt tanuljuk, hogy az x2a2+y2b2=1 egyenletű görbe ellipszis, az x2a2-y2b2=1 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 F (és F2), parabola esetén a vezéregyenest v, ellipszis és hiperbola esetén az állandó értékét pedig 2a 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 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 S a kúp egyetlen alkotójával sem párhuzamos (1.(a). ábra);
parabola, ha S pontosan egy alkotóval párhuzamos (1.(b). ábra);
hiperbola, ha S két alkotóval párhuzamos (1.(c). á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 FF2. 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 S pontjait három osztályba sorolják: A kúpszelet pontjai; S-nek a forgáskúp belsejével alkotott metszete (2. ábra), amelyeket a kúpszeletre nézve belső pontokak nevezünk, valamint S 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 B pont belső pont, a G pont a görbén lévő pont, a K pont pedig külső pont akkor és csak akkor, ha
ellipszis és kör esetén BF+BF2<2a, GF+GF2=2a és KF+KF2>2a;
hiperbola esetén |BF-BF2|>2a, |GF-GF2|=2a és |KF-KF2|<2a;
parabola esetén pedig B v-től való távolsága nagyobb, mint a BF távolság, G v-től való távolsága megegyezik a GF távolsággal és K v-től való távolsága kisebb, mint a KF 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 KFKF2 és BFBF2. Jelöljük az F-ből induló, B-t, illetve K-t tartalmazó félegyenes és a kúpszelet metszéspontját M-mel. Ekkor az MBF2 és az MKF2 (esetleg elfajuló) háromszögekre felírt háromszög-egyenlőtlenségekből ellipszis esetén (3.(a). ábra)
BF+BF2<BF+BM+MF2=MF+MF2=2a<<MF+MK+KF2=KF+KF2,
hiperbola esetén (3.(b). ábra) pedig
BF2-BF>(MF2-MB)-BF=MF2-MF=2a>>(KF2-KM)-MF=KF2-KF
adódik, ami éppen a bizonyítandó állítás.
 

 
3. ábra
 

Parabola esetén legyen MB a B-ből v-re állított merőleges és a görbe metszéspontja, MK az F-ből induló K-t tartalmazó félegyenes és a görbe metszéspontja, a B-ből, K-ból és MK-ból v-re állított merőlegesek talppontjai pedig rendre TB, TK és U (3.(c), (d). ábrák). Ekkor az MBBF és az MKKU (esetleg elfajuló) háromszögekre felírt háromszög-egyenlőtlenségekből kapjuk a bizonyítandó
FB<BMB+MBF=BMB+MBTB=BTBésFK=FMK+MKK=MKU+MKK>KUKTK


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 e egyenes a K kúpszeletet annak E pontjában érinti, ha e átmegy E-n és összes többi pontja K-nak külső pontja.
 

Következő állításunk szemléletesen nyilvánvaló.
 
4. tétel. Legyen a K kúpszelet tetszőleges pontja E. Ekkor egyértelműen létezik K-t E-ben érintő egyenes.
 
Bizonyítás. Állítsuk elő K-t az O csúcsú F kúp és az S sík metszeteként. Ekkor minden E-n átmenő S-beli f egyeneshez egyértelműen hozzárendelhetjük azt az OE alkotóra illeszkedő Sf síkot, mely tartalmazza f-et is és OE-t is. Nyilvánvaló, hogy az Sf sík pontosan annyi alkotóját tartalmazza F-nek, ahány közös pontja van f-nek és K-nak. Az OE alkotóra illeszkedő síkok közt pontosan egy van, amelyik az OE alkotóban érinti F-et, az összes többi pedig egy-egy O-n átmenő egyenespárban metszi azt. Mivel az érintősíknak nincs pontja F belsejében, ezért az általa S-ből kimetszett egyenes lesz K egyértelműen létező E-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 O1 és O2 különböző pontok. Ekkor az O1 középpontú, r1 sugarú és az O2 középpontú, r2 sugarú körök
(a)akkor és csak akkor érintik egymást kívülről, ha r1+r2=O1O2;
(b)akkor és csak akkor érintik egymást belülről, ha |r1-r2|=O1O2;
(c)akkor és csak akkor metszik egymást két pontban, ha az r1,r2 és O1O2 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 F pont és a rajta át nem menő v alakzat, ami vagy kör vagy egyenes. Azon körök középpontjainak halmaza, amelyek átmennek F-en és érintik v-t, kúpszelet. Speciálisan ez a görbe
parabola, ha v egyenes;
kör, ha v kör és F annak a középpontja;
ellipszis, ha v kör és F annak a középpontjától különböző belső pontja;
hiperbola, ha v kör és F annak külső pontja.

 
Bizonyítás. Legyen k egy F-en átmenő, v-t az E pontban érintő r sugarú kör, P pedig k középpontja.
Először tegyük fel, hogy v egyenes (5. ábra). Mivel a kör érintője merőleges az érintési pontba húzott sugárra, ezért PE merőleges v-re. Tehát P és v távolsága megegyezik PE hosszával, és mivel PE=r=PF, ezért P rajta van az F fókuszú, v vezéregyenesű parabolán.
 
 

5. ábra
 

Másrészt ha R ennek a parabolának tetszőleges pontja, akkor R és v távolsága éppen RF, azaz az R-ből v-re állított merőleges talppontja rajta van v-n, tehát az R középpontú RF sugarú körnek v érintője.
Ha v kör, akkor jelöljük a középpontját F2-vel, sugarának hosszát pedig 2a-val.
Tegyük most fel, hogy F a v belső pontja (6. ábra). Ekkor az 5. lemma (b) része szerint 2a=EF2=EP+PF2=PF+PF2. Vagyis ha FF2, akkor P rajta van az F középpontú a sugarú körön, ha pedig F és F2 különbözőek, akkor P rajta van az F és F2 fókuszú, 2a nagytengelyű ellipszisen.
 
 

6. ábra
 

Másrészt ha R ennek a körnek vagy ellipszisnek tetszőleges pontja, akkor RF+RF2=2a. Ezért ha az F2-ből kiinduló F2R félegyenesre F2-ből felmért 2a hosszú szakasz másik végpontja G, akkor RG=2a-PF2=RF, tehát az R középpontú RF sugarú kör G-ben érinti v-t.
Végül tegyük fel, hogy F a v kör külső pontja. Ekkor k helyzete kétféle lehet: vagy tartalmazza v-t (7. ábra), vagy pedig kívülről érinti azt (8. ábra). Az 5. lemma (a), illetve (b) része szerint mindkét esetben igaz, hogy
|PF-PF2|=|PE-PF2|=F2E=2a,
tehát P rajta van az F és F2 fókuszú, 2a valós tengelyű hiperbolán.
 
 

7. ábra
 

 
 

8. ábra
 

Másrészt ha R ennek a hiperbolának tetszőleges pontja, akkor vagy RF=RF2+2a, vagy pedig RF2=RF+2a. Ezért v az első esetben belülről, a második esetben pedig kívülről érinti az R középpontú RF sugarú kört.  
Tételünk alapján beszélhetünk az F fókuszú, v vezéralakzatú kúpszeletről. Ha v kör, akkor a továbbiakban középpontját mindig F2-vel, sugarának hosszát pedig 2a-val jelöljük. Ellipszis és hiperbola esetén F és F2 a görbe két fókusza. Az 1. definícióból következően a görbe szimmetrikus az FF2 szakasz felező merőlegesére. Ha v-t tükrözzük erre az egyenesre, akkor az F középpontú, 2a sugarú v1 kört kapjuk. Ezért az F2 fókuszú, v1 vezérkörű kúpszelet megegyezik az F fókuszú, v vezérkörű kúpszelettel. Általában v-t az F2 fókuszhoz, v1-et pedig az F fókuszhoz tartozó vezérkörnek nevezik. Ellipszis és hiperbola esetén a további állításaink akkor is igazak, ha F-et F2-vel és ugyanakkor v-t v1-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 K egy F fókuszú, v vezéralakzatú kúpszelet. Ekkor a P pont K külső pontja pontosan akkor, ha a P középpontú PF sugarú kör két pontban metszi v-t, belső pontja pedig pontosan akkor, ha a P középpontú PF sugarú körnek és v-nek nincs közös pontja.
 
Bizonyítás. Ha K parabola, akkor v egyenes. A P középpontú PF sugarú kör pontosan akkor metszi két pontban v-t, ha P v-től való távolsága kisebb mint a PF távolság, és pontosan akkor kerüli el v-t, ha P v-től való távolsága nagyobb mint a PF távolság.
Ha K kör, akkor az állítás nyilvánvaló. Ha K ellipszis vagy hiperbola, akkor az 5. lemma (c) része szerint a v kör, melynek középpontja F2, sugara 2a, és a P középpontú, PF sugarú körök akkor és csak akkor metszik egymást két pontban, ha a 2a,PF és PF2 szakaszokból szerkeszthető háromszög.
Ellipszis esetén FF2<2a, ezért PF+2a>PF+FF2PF2 és PF2+2a>PF2+FF2PF mindig teljesül. Tehát két metszéspont van, ha PF+PF2>2a, és nincs metszéspont, ha PF+PF2<2a. Ez viszont a 2. tétel szerint éppen a bizonyítandó állítás.
Hiperbola esetén FF2>2a, ezért PF+PF2FF2>2a mindig fennáll. Tehát két metszéspont van, ha PF<PF2+2a és PF2<PF+2a is teljesül, azaz ha |PF-PF2|<2a. Ha pedig |PF-PF2|>2a, 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 G a K kúpszelet tetszőleges pontja, akkor az FG, továbbá a G-ből v-re állított merőleges egyeneseket a G-hez tartozó vezérsugaraknak nevezzük. (Parabola kivételével tehát a másik vezérsugár az F2G 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 kúpszelet tetszőleges G pontjában az érintő felezi a G-hez tartozó vezérsugarak szögét.
 
Bizonyítás. Legyen K az F fókusszal és a v vezéralakzattal adva. A 6. tétel szerint a G középpontú GF sugarú kör érinti v-t. Jelöljük az érintési pontot E-vel és legyen g az FGE belső szögfelezője. Ekkor parabola és hiperbola esetén g a G-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 g egyenes G-től különböző, tetszőleges K pontja külső pont. Mivel K rajta van az FGE szögfelezőjén, azért KF=KE. Tehát a K középpontú KF sugarú k kör átmegy E-n, ami v-n van. Mivel K különbözik G-től, azért k nem érinti, hanem metszi v-t. Ez viszont a 7. tétel szerint azt jelenti, hogy K külső pont.  
Miután a G-beli érintőről beláttuk, hogy az az FGE 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 fókuszú, v vezéralakzatú kúpszelet érintője, mely merőlegesen felezi a v valamely pontját F-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 K F fókuszú, v vezéralakzatú kúpszelet, P tetszőleges pont, e pedig tetszőleges egyenes.
Legyenek a P középpontú, PF sugarú kör és v közös pontjai E1 és E2. Ekkor K P-n átmenő érintői megegyeznek a PE1 és a PE2 szakaszok felező merőlegeseivel (10.(a). ábra).
Legyenek az F-en átmenő, e-re merőleges egyenes és v metszéspontjai E1 és E2. Ekkor K e-vel párhuzamos érintői megegyeznek az FE1 és az FE2 szakaszok felező merőlegeseivel (10.(b), (c). á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, P-n átmenő, illetve e-vel párhuzamos egyenes nem lehet érintő.
Legyen az FEi (i=1,2) szakasz felezőmerőlegese ei, az ei és az Ei-ben v-re állított merőleges egyenes metszéspontja pedig Gi. Ekkor GiF=GiEi, tehát a Gi középpontú, GiF sugarú kör érinti v-t, azaz Gi rajta van K-n. Viszont az ei egyenes felezi az FGiEi szöget, tehát a 8. tétel szerint Gi-ben érinti K-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 P külső pont, akkor P-n K-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 Gi érintési pontok ugyanis nem mindig léteznek. Előfordulhat, hogy az Ei-ben v-re állított merőleges párhuzamos FEi felező merőlegesével. Parabola esetén ez nem lehetséges, ekkor ugyanis FEi sohasem párhuzamos v-vel. A többi kúpszelet esetén FEi felezőmerőlegese pontosan akkor párhuzamos az Ei-ben v-re állított merőlegessel, azaz az EiF2 egyenessel, ha FEiF2=90. Ez csak akkor állhat elő, ha F a v-nek külső pontja, azaz K hiperbola, és az FEi egyenes érinti v-t. Ekkor az F-ből v-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 P külső pont a hiperbola egy vagy két aszimptotáján rajta van, akkor P-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 v kör belsejében lévő F ponton átmenő e-re merőleges egyenes két különböző Ei pontban metszi v-t, s mivel FEiF2<90, azért a Gi pontok is mindig létrejönnek (10.(b). ábra).
Parabola esetén az e-re merőleges egyenesnek és v-nek legfeljebb egy közös pontja van, hiszen v is egyenes (10.(c). ábra). A vezéregyenesre merőleges irányt kivéve mindig létezik is pontosan egy, adott irányú érintő, mert ekkor az E és a G pontok mindig létrejönnek. A vezéregyenesre merőleges irányú érintője viszont nincs a parabolának.
Hiperbola esetén az F-en átmenő, e-re merőleges egyenes pontosan akkor metszi két pontban v-t, ha az FF2 szakasz felezőpontján átmenő, e-vel párhuzamos e' 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 Gi 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).
[3] Kós Rita: Kúpszeletek és Dandelin-gömbjeik, megtalálható a
http://www.komal.hu/cikkek/dandelin/dandelin.h.shtml címen.
[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).

1A T043556 és T043758 számú OTKA pályázatok támogatásával.