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. Szakaszok ekvioptikus görbéi
Ekvioptikus, azaz egyenlő látószögű. Ha adott a síkon két görbe, úgy azok ekvioptikus görbéjén (röviden ekvioptikusán) azon pontok mértani helyét értjük, melyekből a két görbe ugyanakkora szögben látszik. A látószög annak a legkisebb szögnek a nagysága, amelynek szögszárain kívül nincs pontja a görbének. Találkozhatunk még az izoptikus kifejezéssel, mely jelentése állandó látószögű. Adott egy síkgörbe és egy rögzített szög. Ekkor azon pontok mértani helye, melyekből a görbe szögben látszik, a görbe -izoptikusa. Amennyiben , úgy az -izoptikust ortoptikusnak is nevezzük. Két görbe azonos szögű izoptikusainak metszéspontjai alkotják tehát az ekvioptikus görbét. Az olvasó például meggondolhatja, hogy két nem metsző kör ekvioptikusa egy harmadik kör, egy parabola ortoptikusa egyenes, míg az ellipszisek és hiperbolák ortoptikusai körök. Az ellipszisek és hiperbolák -izoptikusai általában negyedrendű görbék. Jelen cikkünkben szakaszok ekvioptikusait fogjuk vizsgálni, azzal a kiegészítéssel, hogy a szögeket irányítottan nézzük, modulo . Ez biztosítja azt a kényelmet, hogy például egy szakasz -izoptikusa a teljes körvonal legyen (ne pedig két külön körív, melyek egymás tükörképei a szakasz egyenesére). Definíció. Adottak a síkon az , , , pontok. Az és szakaszok ekvioptikus görbéjének nevezzük és -vel jelöljük azon pontok mértani helyét, melyekből a két szakasz egyenlő irányított szögben látszik: | |
Megjegyezzük, hogy pl. -hoz ``nagyon közeli'' pontokra az minden lehetséges értéket felvesz, ezért esetén a fenti egyenlőséget igaznak tekintjük. Tehát az , , , pontok is elemei a fenti halmaznak.
A görbe néhány tulajdonsága 1. állítás. Két szakasz ekvioptikusa mindig egy legfeljebb harmadrendű görbe.
Bizonyítás. Legyenek a pontok koordinátái , , , és , továbbá legyen merőleges vetülete az -tengelyre (1. ábra). Ekkor az szög tangense kifejezhető az és szakaszok , meredeksége, és a tangens addíciós képlete alapján:
A számlálóban az tag éppen kiesik, ezért elsőfokú, pedig másodfokú polinom. Ugyanígy, , ahol elsőfokú, másodfokú. Mivel éppen ekvivalens azzal, hogy , a keresett görbe egyenlete , azaz , ami valóban (legfeljebb) harmadrendű görbe.
1. ábra
2. állítás. Amennyiben deltoid, úgy egy kör és egy egyenes uniója. 1. bizonyítás (Koordinátageometria). Legyen a deltoid szimmetriatengelye pl. , és vegyük fel a koordináta-rendszert úgy, hogy legyen az -tengely, pedig az -tengely. Ekkor , , , , , így a egyenlet egy kis számolással a következő alakra hozható: | | Az első tényező az egyenes, a második tényező pedig egy kör egyenlete, hiszen és együtthatói megegyeznek, és nincs tag. Ebből a megoldásból az derült ki, hogy az egyenes a deltoid szimmetriatengelye, a kör pedig tükrös erre az egyenesre.
2. bizonyítás (Apollóniusz-kör). Vegyünk egy tetszőleges pontot az ekvioptikus görbéről, és legyen az kör és a egyenes (egyik) metszéspontja (2. ábra, az ekvioptikus szaggatott vonallal van jelölve). Ekkor szimmetria miatt az ív felezőpontja, így . Ezt hozzáadva ahhoz, hogy , azt kapjuk, hogy .
2. ábra Az kör tükrös -re, és rajta van szögfelezőjén, ezért ez a kör nem más, mint a , pontok -n átmenő Apollóniusz-köre (amennyiben nincs rajta a egyenesen). Mivel is rajta van ezen az Apollóniusz körön, ezért tetszőleges pont esetén , vagyis az kör állandó. Így mértani helye a , pontok -n átmenő Apollóniusz-köre, továbbá a nyilvánvaló egyenes. Ebből a megoldásból az is kiderült, hogy a mértani helyként kapott kör nem csak egyszerűen tükrös az egyenesre, hanem egy konkrét Apollóniusz kör. Ezt szintén érdemes megjegyezni.
3. bizonyítás (Forgatva nyújtás). Legyen azon forgatva nyújtás középpontja, melyre (3. ábra). Ismert, hogy ekkor rajta van az , , , egyenesek közül bármely három által meghatározott háromszög köréírt körén. Legyen egy pont az középpontú sugarú körön. Amennyiben a forgatva nyújtás során az háromszög képe , úgy létezik olyan középpontú forgatva nyújtás is, melyre .
3. ábra Ekkor a forgatva nyújtás miatt , a deltoid szimmetriája miatt az és háromszögek egybevágóak és ellentétes körüljárásúak, a forgatva nyújtás miatt pedig . Mivel olyan pontot vettünk, ami rajta van -n, tehát , ezért az és háromszögek egybevágóak és ellentétes körüljárásúak. Ez pedig azt jelenti, hogy húrtrapéz, így , a forgatva nyújtást is használva. Így a kör minden pontja rajta van -n, továbbá a egyenes is rajta van, és tudva, hogy a görbe harmadrendű, ezért más pontja nincs is.
A 2. állításra fogunk adni egy 4. bizonyítást is, ehhez azonban meg kell ismernünk a Cserebere-tételt (csak a cikkben nevezzük így).
Elérkeztünk cikkünk fő attrakciójához. A most következő tétel arról szól, hogy ekvioptikus görbét valójában nem két szakaszhoz rendelünk, hanem négy egyeneshez. 3. állítás (Cserebere-tétel). Adottak a síkon az , , , egyenesek, melyek közül semelyik háromnak sincs közös pontja. Kiválasztunk közülük kettőt, pl. -t és -t, majd tekintjük azt a két szakaszt, amit a másik két egyenes, és metsz ki belőlük. Ekkor ezen két szakasz ekvioptikus görbéje nem függ attól, hogy melyik két egyenest választottuk ki. Tehát például és felcserélhető: | |
A 4. ábra jobb oldali részén a lehetséges és vektorok vannak berajzolva. A Cserebere-tétel szerint a hat ábra közül bármelyik esetén a bal oldali harmadrendű görbe lesz.
4. ábra A bizonyításhoz kettősviszonyokat fogunk használni. A projektív geometriáról és kettősviszonyról bővebben az [1], [2], vagy [3] hivatkozásokban lehet olvasni.
Bizonyítás. Legyen , , , , , , és (5. ábra). Megmutatjuk, hogy ha , akkor , minden más egyenesfelcserélés ezzel egyenértékű állításhoz vezet. Az pontból -ről -re való vetítés során a következő kettősviszony megmarad: Tetszőleges kettősviszony ,,visszafelé'' is leírható, így . A körüli sugársorokkal megfogalmazva ugyanezt: | | Az szögfelezőjére tükrözve képe , és képe . Egy kettősviszony értéke és három egyenese alapján a negyedik egyenes egyértelmű, ezért az előző kettősviszonyok csak akkor lehetnek egyenlők, ha képe . Ekkor , így a Cserebere-tételt beláttuk.
5. ábra 2. állítás, 4. bizonyítás (Cserebere-tétel). Legyenek az deltoid szemközti oldalainak metszéspontjai és (6. ábra). Ekkor a Cserebere-tétel szerint . Azonban az húrtrapéz szárainak ekvioptikusát könnyű megtalálni: szimmetria miatt a egyenes, a kerületi szögek tétele miatt pedig az kör minden pontja rajta van az ekvioptikus görbén. Tehát deltoid esetén az ekvioptikus valóban egy kör és egy egyenes uniója.
6. ábra
Komplex projektív síknak nevezzük azon , komplex számhármasok halmazát, melyben az és pontokat azonosnak tekintjük minden , esetén. A valós projektív síkot úgy lehet elképzelni, hogy a 3-dimenziós euklideszi térben az origón átmenő egyeneseket elmetsszük a síkkal. Amelyik egyenest tényleg elmetszi, ott kapunk valódi pontot, amelyik egyenes pedig párhuzamos vele, abban az esetben beszélünk ideális pontról. A komplex projektív síkon sincs ez másképp: az pontokat nevezzük ideális pontoknak. Mivel , a projektív síkon minden alakzat egyenlete homogén , , -re nézve. Így egy kör egyenlete az alakot ölti. Habár az euklideszi síkon nevetségesnek tűnik a kérdés, mégis megkérdezhetjük: van-e a körnek ideális pontja? A meglepő válasz erre az, hogy a komplex síkon igenis van. Ugyanis helyettesítéssel adódik, melynek van nemnulla megoldása: az . Ami még meglepőbb, hogy az így kapott pontok minden lehetséges körön rajta vannak. Van tehát két olyan pont valahol a komplex végtelenben, melyek minden körre illeszkednek. Ezért ezeket a pontokat köri ideális pontoknak nevezzük. Ha adott két kör egyenlete: és , akkor tetszőleges esetén is egy kör egyenlete. A halmazt körsornak nevezzük. Körsorok segítségével adhatunk egy újabb módot az ekvioptikus görbe előállítására: adott egy körsor és egy forgatva nyújtás, és a körsor minden köréhez vesszük a forgatva nyújtás szerinti képével való metszéspontjait, tehát a halmazt. Ha hiperbolikus, azaz fix , pontokon átmenő körsor, és , akkor , hiszen az szakasz szögű látókörének képe a szakasz szögű látóköre lesz, így metszéspontjuk rajta van az ekvioptikus görbén. A köri ideális pontok bármely két kör metszetén rajta vannak, ezért benne vannak a halmazban is, és mivel ez a körsoros előállítás ugyanazt a ponthalmazt adja, mint az ekvioptikus görbés előállítás, a köri ideális pontok tetszőleges ekvioptikus görbén rajta vannak. Ugyanerről persze meggyőződhetünk az 1. állításbeli egyenletbe való helyettesítéssel is. Annak, hogy az ekvioptikus egy olyan speciális harmadrendű görbe, ami átmegy a köri ideális pontokon, egy következménye a
4. állítás. Amennyiben két szakasz ekvioptikusa tartalmaz egy valódi (azaz nem komplex és nem ideális) egyenest, akkor a görbe maradék része egy kör.
Bizonyítás. Tegyük fel, hogy a harmadrendű görbe | | alakban felbomlik egy elsőfokú és egy másodfokú polinom szorzatára, ahol az együtthatók mind valós számok. Tudjuk, hogy ezen a görbén rajta vannak a köri ideális pontok, így homogenizálva, majd helyettesítéssel: Az első tényező csak akkor lehet nulla, ha , azonban ez nem ad valódi egyenest. Így a második tényezőnek kell nullának lennie, ahonnan és , azaz a másodfokú tényezőben és együtthatói megegyeznek, továbbá nincs tag. Ez pedig éppen azt jelenti, hogy a harmadrendű görbe egy egyenes és egy (valós vagy képzetes) kör uniója.
Tulajdonképpen azt használtuk, hogy ha egy másodrendű görbe átmegy a köri ideális pontokon, akkor az a görbe egy kör. Megjegyzendő azonban a paralelogramma esete: ha , akkor felbomlik ugyan egy egyenes és egy másodrendű görbe uniójára, de mégsem tartalmaz kört. Ebben az esetben ugyanis az egyenes az ideális egyenes, tehát a köri ideális pontokon az egyenletű alakzat megy át. A köri ideális pontok segítségével újabb bizonyítást adhatunk a 2. állításra és a Cserebere-tételre: 2. állítás, 5. bizonyítás (Köri ideális pontok). A deltoid szimmetriatengelye nyilvánvalóan része az ekvioptikus görbének. A 4. állítás alapján pedig a maradék egy kör, így készen vagyunk. (Az is könnyen megállapítható, hogy melyik kör, ugyanis a 6. ábra jelöléseivel az , , , pontoknak rajta kell lenniük az ekvioptikuson, tehát a körön is.) Cserebere-tétel, 2. bizonyítás. Legyen a négy egyenes 6 metszéspontja a szokásos módon , , , , , és (7. ábra). Ekkor ez a 6 pont rajta van bármelyik ekvioptikuson, pl. -n és -en. A két köri ideális pont: és is mindkettőn rajta van. Miquel tétele szerint tetszőleges négy egyenesre az , , , köröknek van közös pontja. Ha ez a közös pont , akkor , így rajta van -n, és ugyanígy rajta van -en is.
7. ábra Keressük meg valós ideális pontját: ehhez az 1. állításbeli egyenlet homogenizált alakját írjuk fel, majd -t helyettesítünk:
Tehát ideális pontja az pont. Az és szakaszok felezőpontjai és , így a koordináták összefüggése alapján , , egy egyenesre esik. Ismert, hogy tetszőleges négy egyenesre az , , szakaszok felezőpontjai egy egyenesre esnek, így rajta van -en is. Tehát van 10 különböző pontunk (különbözőek, mert az állítás 4 általános helyzetű egyenesről szólt): , , , , , , , , , és , melyek rajta vannak -n és -en is. Márpedig két teljesen különböző harmadrendű görbének legfeljebb csak 9 metszéspontja lehet, ha 10 van, az azt jelenti, hogy van közös komponensük. Tegyük fel, hogy a két görbe nem azonos, ekkor mindkettő felbomlik egy egyenesre és egy másodfokú görbére. Ha az egyenes részük különböző, akkor azoknak legfeljebb 1 metszéspontjuk lehet a 10-ből, azonban a maradék 9 pontra nem illeszthető másodrendű görbe, akármelyik 9 pontról is legyen szó. Ha pedig a másodrendű részük különböző, akkor azoknak 4 metszéspontjuk lehet a 10-ből, de a maradék 6 pont nem eshet egy egyenesre. Tehát a két harmadrendű görbe megegyezik, és ezzel beláttuk, hogy .
Eddigi példáinkon valahányszor egy kör és egy egyenes volt az ekvioptikus görbe, az egyenes átment a kör középpontján. Megmutatjuk, hogy ez szükségszerű, sőt, bizonyítást adunk egy sokkal általánosabb állításra, melynek az a következménye, hogy ha az ekvioptikus görbe ``egyszeresen önátmetsző'', akkor ebben a pontban a görbe két érintője merőleges egymásra. Ehhez az ekvioptikus problémát egy újabb szemszögből közelítjük meg: dolgozzunk a komplex számsíkon. Komplex függvénytannal kapcsolatban ajánljuk az olvasónak Szőkefalvi Nagy Béla klasszikus művét: [4]. Legyen tetszőleges komplex függvény, és legyen azon pontok halmaza, ahol valós értéket vesz fel. Amennyiben az , , , pontok a komplex számsíkon az , , , komplex számoknak felelnek meg, úgy tekintsük az | | függvényt. Legyen a számnak megfelelő pont , ekkor pontosan azon értékekre lesz valós, melyekre | | Így ebben az esetben az ekvioptikus görbéhez jutottunk, .
A görbe pontját -szeres szinguláris pontnak hívjuk (), ha az , , , deriváltak közül az -edik, az első, amely nem nulla. Ez egy görbén általában úgy jelenik meg szemléletesen, hogy a pontban a görbe -szer ``átmetszi saját magát''. A legtöbb egyenes általában különböző pontban metsz egy -edrendű görbét, az -szeres szinguláris ponton áthaladó egyenesek azonban csak pontban.
5. állítás. Ha egy (akárhányszor differenciálható) komplex függvény görbéjén van egy -szeres szinguláris pont, akkor az ottani érintő közül a szomszédosak mind ugyanakkora, szöget zárnak be.
Bizonyítás. Írjuk fel Taylor-sorát a pontban: | | Ha az első derivált értéke -ban nulla, akkor a függvény | | közelítése alapján kapott halmaz a -beli érintők egyenletét adja meg. Mivel valós, pontosan akkor kapunk -re is valós értéket, ha
valamely egész számra. Tehát valóban, a -beli érintők pontjaira adódó lehetséges komplex számok szögei közül a szomszédosak különbsége mindig .
Ezzel megmutattuk, hogy ha egy ekvioptikus görbe tartalmaz kétszeres szinguláris pontot, akkor a görbe ebben a pontban merőlegesen metszi önmagát.
Végezetül néhány gyakorló feladat: 1. feladat. Adott egy egyenesen négy pont , , , sorrendben. Mi azon pontok mértani helye, melyekből az és szakaszok ugyanakkora szögben látszanak?
2. feladat. Az paralelogramma síkjában fekvő pontra teljesül, hogy . Bizonyítsuk be, hogy . Határozzuk meg az ilyen tulajdonságú pontok halmazát.
3. feladat. Az háromszög , , csúcsaiból kiinduló belső szögfelezők a szemközti oldalakat az , , pontokban metszik. és metszéspontja , és metszéspontja . Bizonyítsuk be, hogy .
4. feladat (IMO 2014/3. nyomán). Adott egy deltoid, melynek a szimmetriatengelye, és egy pont úgy, hogy a , pontok az szögtartományban vannak, és . Bizonyítsuk be, hogy a és szögek belső szögfelezői a egyenesen metszik egymást.
5. feladat (Szimmedián-lemma). Az háromszög köréírt körének és -beli érintői -ben metszik egymást. A háromszög oldalához tartozó súlyvonalat tükrözzük az -ból kiinduló belső szögfelezőre (ezt hívjuk szimmediánnak). Bizonyítsuk be, hogy rajta van az így kapott egyenesen.
6. feladat (KöMaL, A. 632.). Legyen konvex négyszög. Az háromszögben legyen és a beírt kör, illetve az csúccsal szemközti hozzáírt kör középpontja. Az háromszögben legyen , illetve a beírt, illetve az csúccsal szemközti hozzáírt kör középpontja. Mutassuk meg, hogy az és egyenesek, valamint a szögfelezője egy ponton mennek át.
Szeretnék köszönetet mondani Hraskó András tanár úrnak áldozatos munkájáért, észrevételeiért, és mindennemű támogatásáért. Köszönöm matematikatanáraimnak, Dobos Sándor, Kiss Gergely, Gyenes Zoltán, Surányi László, Pósa Lajos tanár uraknak az elmúlt évek során nyújtott kiemelkedő munkájukat. Köszönetet mondok továbbá minden más ismerősömnek, akik biztatásukkal segítették e cikk létrejöttét.
[1] | Hajós György, Bevezetés a geometriába, 44. fejezet (projektív sík, kettősviszony), Tankönyvkiadó, 1971. |
[2] | Horvay Katalin, Reiman István, Projektív geometria, Tankönyvkiadó, 1980. |
[3] | Dobos Sándor, Hraskó András, Projektív geometria, fejezet a Matkönyv, Geometria 11‐12. évfolyam kötetben, http://matkonyv.fazekas.hu/cache/pdf/vol_geometria_iii.pdf |
[4] | Szőkefalvi Nagy Béla, Komplex függvénytan, Polygon jegyzet, 2009. |
|