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. Könnyű belátni, hogy ha egy irányított töröttvonal szakaszai egyenlők, és az egymás utáni szakaszok irányított törésszögei egyenlők, akkor a töréspontok egy körön helyezkednek el (1. ábra), kivéve, ha , illetve , ugyanis ekkor a töréspontok egy egyenesen, illetve két pontban lesznek (2., illetve 3. ábra). 1. ábra 2. ábra 3. ábra Tekintsünk most olyan, egyik irányban végtelen (a másik irányban véges) töröttvonalat, melynek törésszögei szintén egyenlők, de bármely , , , indexre , állandó és (7. ábra). 7. ábra Könnyű belátni, hogy ezen töröttvonal töréspontjaiból alkotott halmaznak az , és az esetben van egy és csak egy torlódási pontja (4., illetve 5. ábra). 4. ábra 5. ábra Bebizonyítjuk, hogy a töréspontok halmazának tetszőleges mellett is egy és csak egy torlódási pontja van. Elég azzal az esettel foglalkozni, amikor konvex szög; ha ugyanis , akkor a töröttvonalat a sík tetszőleges egyenesére tengelyesen tükrözve olyan töröttvonalat kapunk, melyben a szakaszok hossza kielégíti a fenti feltételt, és a törésszögek konvex szögek lesznek (6. ábra). 6. ábra Ennek bizonyítására elég megjegyezni, hogy a tengelyes szimmetria távolság- és szögtartó, de az irányított szögek előjelét megváltoztatja. Legyen tehát . Töröttvonalunk értelmezéséből következik, hogy a és a töröttvonalak hasonlók és a hasonlóság aránya . A két töröttvonal azonos körüljárású, tehát megfelelő elforgatással és nagyítással egymásba vihető (-t visszük -be). Az egymásba transzformálandó szakaszok törésszöge , ezért az elforgatás szöge is lesz, a nagyítás aránya pedig nyilván (tulajdonképpen kicsinyítés). Próbáljuk meg a transzformációt úgy végrehajtani, hogy a forgatás és a nyújtás centruma azonos legyen. Jelöljük az e körül elforgatott töröttvonalat -gal. E célra olyan pontot kell keresni, mely körül forgatva az , , és az , , ponthármasok egy-egy egyenesre esnek, ugyanis ekkor a nyújtással a -be, a -ba kerül, , tehát ez a transzformáció megfelel feltételeinknek. Ha olyan pont, hogy akkor a forgatás után az , , és az , , ponthármasok valóban egy-egy egyenesen lesznek. (1)-et kielégítő pont látókörök segítségével mindig szerkeszthető, tehát van olyan pont, mely körül elforgatva, majd ezen pontból mint centrumból vetítve, a töröttvonal -ba transzformálható. Azt mutatjuk meg, hogy ez az pont a töröttvonalnak torlódási pontja. Az elforgatás távolságtartó, a nagyítás aránya pedig , tehát tetszőleges mellett (, , ) , ebből | | vagyis , és véges szám, tehát növekedtével , eszerint az körül írt tetszés szerinti sugarú körben valóban van töröttvonalbeli töréspont. Ezzel állításunk első felének bizonyítását befejeztük. Nyilvánvaló, hogy a torlódási pont akkor is létezik, ha a töröttvonal ugyanazokkal a tulajdonságokkal rendelkezik, mint eddig, de mindkét irányban végtelen. A továbbiakban ilyen töröttvonalakkal foglalkozunk. Ebben az esetben a megszorítás sem szükséges, elegendő a kikötés. Bebizonyítjuk, hogy a töröttvonalnak csak egy torlódási pontja van. A bizonyítást indirekt úton végezzük. Tegyük fel, hogy a töréspontok halmazának ‐ -tól különböző torlódási pontja. Húzzunk középponttal olyan sugarú kört, hogy a körön kívül essék. Vegyünk fel továbbá olyan, középpontú körgyűrűt, mely tartalmazza a középpontú kört (8. ábra). 8. ábra Két pozitív szám között egy mértani sorozatnak csak véges sok különböző tagja lehet (a hányados nem 1). Az távolságok mind különbözőek és mértani sorozatot alkotnak, tehát a körgyűrűben legfeljebb véges sok töréspont helyezkedik el. A középpontú körben van -tól különböző töréspont, hiszen torlódási pont, de a töréspontok száma véges. Akkor viszont van közöttük olyan, melynek -tól mért távolsága a legkisebb. Az ennél a távolságnál kisebb sugarú, középpontú körben már nincs a -tól különböző töréspont, tehát nem lehet torlódási pont. Ezzel bebizonyítottuk, hogy a töröttvonalnak egy és csak egy torlódási pontja van. Nézzük meg, milyen tulajdonságokkal rendelkezik ez a pont. Rögzítsük a töröttvonal egy tetszés szerinti szakaszát (legyen ez ), és értékét. Bebizonyítjuk, hogy ha az törésszög és között változik, akkor a torlódási pontok mértani helye egy kör. A esetben láttuk, hogy . Egy korábbi állításunk értelmében ez az arány a esetben is fennáll, és könnyen utánaszámolhatunk, hogy az és esetben is igaz. Ekkor viszont az pont az úgynevezett Apollonius-féle körön helyezkedik el. Ezen kör minden pontja a mértani helyhez tartozik, hiszen a kör tetszőleges pontja meghatározza a szöget, és az törésszögű töröttvonal torlódási pontja éppen a körön kiválasztott pont lesz. Tehát a kérdéses mértani hely valóban egy kör (9. ábra). Ha most a töröttvonal egy rögzített szakasza mellett a törésszög állandó és értéke változik, akkor a torlódási pontok mértani helye egy körív a két végpont és a körív ívfelező pontja nélkül, illetve esetben két félegyenes a végpontok nélkül és esetben egy szakasz a végpontok és a szakaszfelezőpont nélkül. Állításunk következik abból, hogy , tehát esetben egy köríven helyezkedik el. (Azért nem két köríven, mert irányított szög.) Ennek a körívnek azok a pontjai nem tartoznak a mértani helyhez, melyekre , , vagy (10. ábra). Ha , akkor az előző esetből egyenesére való tükrözéssel nyerjük a megoldást. , illetve esetben a egyenesen helyezkednek el a torlódási pontok a szakaszon kívül, illetve belül. Csak azok a pontok nem tartoznak a mértani helyhez, melyekre , , vagy (11. ábra).
Ponthalmaz torlódási pontjának olyan pontot nevezünk, mely körül írt tetszőleges sugarú körben ‐ magán a torlódási ponton kívül ‐ a ponthalmaznak legalább egy pontja helyezkedik el. (A torlódási pont nem feltétlenül eleme a ponthalmaznak.) |