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. Ha egy ismert tétel megfordítását akarjuk bizonyítani, gyakran jelent könnyítést az, hogy a bizonyítandó tétel megfordítása már ismert tétel. Esetünkben pl. a következő út kínálkozik: keressük meg azt a kört a gömbön, amiről várható, hogy a képe az adott kör. Annyit tudunk a már bizonyított tétel szerint, hogy ennek a képe minden esetre kör lesz, tehát a feladat annyira redukálódik, hogy megmutassuk: e képkör valóban azonos az adott körrel. Nem nehéz ennek a tervnek a keresztülvitele. Egyelőre egy gömbön levő kört és a sztereografikus képét figyeljük. Fektessünk a vetítés síkjára merőleges síkot a vetítés központján és a gömbön kijelölt kör középpontján át. Erre a síkra szimmetrikus a gömb is, a kijelölt kör is. Mivel a sík átmegy a vetítés központján is, így szimmetrikus lesz a sztereografikus kép is e síknak és -nak a metszésvonalára. Ez az egyenes tehát a síkon fekvő képkörből átmérőt metsz ki. Legyen most egy kör a síkban. Ennek az észrevételnek birtokában megkereshetjük azt a kört a gömbön, melynek várhatóan képe . Fektessünk -ra merőleges síkot -n és középpontján át. Ez -ból olyan átmérőt metsz ki, mely a gömbön egy -n átmenő főkör egy ívének a képe. Rajzoljunk , mint átmérő fölé kört a gömbön. képe -n kör (vagy egyenes), mely szimmetrikus képére, vagyis melynek átmérője az ív képe, tehát a szakasz. Ez a kör a kör, tehát a megszerkesztett kör sztereografikus képe. A módszer csődöt mond, ha középpontja épp az átellenes pontja. Ez esetben azonban a -t a gömbre visszavetítő egyenesek olyan egyenes körkúpot alkotnak, melynek tengelye a gömb -n átmenő átmérője és ez nyilván kört metsz ki a gömbből. |