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. Fel fogjuk használni, hogy egy ponton és az sugarú, középpontú körre vonatkozó inverzén átmenő bármelyik kör merőlegesen metszi -t, és hogy bármely pontjának az inverz képét az őt -val összekötő egyenes metszi ki -ból. (Ha ez az egyenes érintő, akkor a pont a saját inverz képe.) Valóban , tehát bármely pontjára és -nak -gal való második metszéspontjára , s igy és egymás inverz képei; az -ból -hoz húzott érintők hossza pedig , vagyis az érintési pontok és metszéspontjai, a két kör ide húzott sugarai eszerint merőlegesek, vagyis a két kör merőlegesen metszi egymást (1. ábra). 1. ábra Jelöljük a háromszög csúcsait , , -vel. Először megmutatjuk, hogy a keresett pontból származó , , pontok nem eshetnek egy egyenesbe. A pontok definíciója szerint ugyanis az , , , a , , és a , , ponthármas egy-egy egyenesen van, így ha , , egy egyenesen volna, akkor ugyanerre az egyenesre esnék , , is, ami lehetetlen. Létezik tehát a , pontok köré írt kör, jelöljük -val, középpontját -val. A kör a bevezető megjegyzés szerint merőleges a , , körök mindegyikére. Mivel , , sugara egyenlő, azért egyenlő távolságra van az , , pontok mindegyikétől, tehát megegyezik az háromszög centrumával. Ez módot ad a kör megszerkesztésére: mivel a -hoz, ill. -hez metszéspontjukban húzott érintők merőlegesek egymásra és átmennek az , ill. ponton, így az szakasz Thalész-körének és -nek és metszéspontjai rajta vannak -n is. Ezért sugara egyenlő -gyel. Ilyen kör tehát akkor és csak akkor létezik, ha sugara (egyenlőség esetén pontkör). Ez egyben a feladat megoldhatóságának is a feltétele, ezért a továbbiakban feltesszük, hogy . (Az eset triviális, ekkor és képei azonosak -val.) Az, hogy az háromszög szabályos, és hogy a , , körök sugara egyenlő, azt sugallja, hogy a háromszög is szabályos. Keressünk ezért ilyen megoldást. Vegyünk fel egy tetszőleges szabályos háromszöget -ban (körüljárása egyezzék -ével), hosszabbítsuk meg , , oldalát -en, - n, ill. -n túl és jelöljük e félegyeneseknek az háromszög köré írható körrel vett metszéspontjait rendre , , ill. -vel. A -os forgási szimmetria miatt az háromszög szabályos, létezik tehát olyan elforgatás, amely ezt az háromszögbe viszi át. Vigye át ugyanez az elforgatás a háromszöget a háromszögbe. Az így nyert pont egy megoldása feladatunknak, ugyanis , , egy egyenesen vannak (), s így a fenti megjegyzés szerint a pont -re való inverze, hasonlóan a inverze -re, és a pont -ra vonatkozó inverze. Ugyancsak megoldás az a , , ponthármas is, amely a , , hármasnak az az elforgatása, hogy -nek -n túli meghosszabbítása megy át -n (így ), -nek -en túli meghosszabbítása -n és -nak -n túli meghosszabbítása -n. Könnyen látható, hogy ez a két ponthármas ‐ az indexeket nem tekintve ‐ szimmetrikusan helyezkedik el -nak -ból induló átmérőjére nézve. Megmutatjuk, hogy több megoldás nincs, -nak bármely -től és -tól különböző pontjából indulunk is ki; a feladat szerinti három inverzió végrehajtása után mindig -től különböző pontot kapunk. Ennek során -nak a végpontjaival említett ívein mindig a két végpont által meghatározott rövidebb ívet értjük. Ha a íven van, -re vonatkozó inverze is ezen az íven van, átkerül a ívre, és is ezen az íven adódik, tehát nem lehet azonos -rel. Ha a íven van, a ívre kerül, is itt keletkezik, és a íven lesz, ismét nem lehet azonos -rel. Ha a íven van, -et a ív mindenesetre tartalmazza, pedig vagy -re, vagy -re kerül, eszerint vagy vagy -en lesz, és egyik esetben sem lehet -rel azonos. Végül ha a íven van, a ívre, a ívre és vagy -re, vagy -re kerül. Egyik esetben sem kapunk tehát további megoldást.
Reviczky János (Budapest, I. István Gimn., II. o. t.) |
Füredi Zoltán (Budapest, Móricz Zs. Gimn., II. o. t.) | Megjegyzés. Olyan -t keresve, mely -gyel és -vel egy szabályos háromszög csúcsait adja, ez kimetszhető -ból alapján az szakasznak azzal a -os látókörívével is, amely -nek -t tartalmazó oldalán van. 2. ábra |