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. Először meghatározzuk az pont -től mért távolságát (a távolságok végig előjelesek). Invertáljunk a körre. kör képe egyenes, mert átmegy az ponton; ezen az egyenesen vannak és közös pontjai, így képe az egyenes. képe érinti , ill. képét, tehát az egyenest és a kört; -t képében, -ben érinti ( az és metszéspontja), -t -ben ( képe önmaga), tehát középpontja, az egyenes metszéspontja az -re -ben állított merőlegessel. A kör átmérője, (ha átellenes pontja -n , -n , akkor az új átmérő hossza ). Tehát távolsága -től . távolsága az inverzió miatt -től (ugyanis az -ből -re bocsátott merőleges talppontja a kör -vel átellenes pontjának képe lesz.) | | tehát | | Ezekből látható, hogy ha távolsága -től , akkor távolsága -től Tehát | | Ebből kiszámolhatjuk távolságát -től. középpontosan hasonló -hoz. A hasonlóság középpontja , aránya . A -t -be vivő hasonlóság -t -be, -t -be viszi, tehát és távolsága ez éppen az igazolandó, mert így távolsága -től ( miatt), ami nem más, mint . Ezzel a bizonyítást befejeztük.
|