Inversio ympyrän suhteen

Inversio ympyrän suhteen on geometriassa kuvaus, jossa tason pisteet kuvautuvat ympyrään nähden erityisen säännön mukaisesti. Inversioon osallistuvaa ympyrää kutsutaan inversioympyräksi, keskipistettä O inversiokeskukseksi ja sen sädettä inversiosäteeksi. Inversioympyrän sisäpuoliset pisteet kuvautuvat ympyrän ulkopuolelle ja päinvastoin. Merkitään jatkossa kuvattavaa pistettä P ja inversiopistettä P'. Molemmat pisteet sijaitsevat aina samalla inversioympyrän keskipisteestä O lähtevällä säteellä siten, että

missä r on inversioympyrän säde. Lukua r2 kutsutaan myös pisteen potenssiksi.

Tila-avaruudessa inversiokuvaus suoritetaan pallopinnan suhteen vastaavalla tavalla niin, että pallon keskipisteestä lähtevällä ja pisteen P kautta kulkevalla säteellä suoritetaan kertolasku samalla tavalla.

 Inversion geometrinen määritys 
pienoiskuva|Pisteen P inversio geometrisesti: Keskipisteen M ja pisteen P kautta piirretään säde, jonka normaali pisteeseen P leikkaa ympyrää kahdessa kohtaa. Näissä kohdissa olevat tangentit leikkaavat sädettä inversiopisteessä P'.
 Piste sijaitsee ympyrän sisäpuolella 
Jos piste P sijaitsee ympyrän sisällä, piirretään puolisuoralle MP normaali pisteeseen P. Normaali leikkaa ympyrän kahdessa pisteessä Q ja Q'. Koska Q on kehäpiste, voidaan siihen piirtää ympyrän säteet MQ ja MQ'. Säteen normaali on ympyrän kehällä sen tangentti. Tangentit leikkaavat toisensa janan MP jatkella, missä sijaitsee inversiopiste P'. Se, että kyseessä on juuri inversiopiste, nähdään yhdenmuotoisista kolmioista 

seuraa

 Piste sijaitsee ympyrän ulkopuolella 
pienoiskuva|Inversiopisteen P' määrittäminen geometrisesti, kun piste P on inversioympyrän (punainen) ulkopuolella.
Jos piste sijaitsee inversioympyrän ulkopuolella, suoritetaan kuvion piirtäminen käänteisessä järjestyksessä. Aloitetaan etsimällä tangenttipiste ympyrältä. Sitä varten piirretään apuympyrä, jonka halkaisija on inversioympyrän keskipiste ja piste P. Thaleen lauseen nojalla apuympyrän kehällä olevan pisteen halkaisijaa vastaan oleva kehäkulma on suora. Halkaisijan toinen pää alkoi inversioympyrän keskipisteestä, josta piirretty jana on sen säde kun se päättyy inversioympyrän kehälle. Näin tapahtuukin ympyröiden leikkauspisteessä N. Siinä pisteessä kehäkulman toinen kylki on säde ja toinen jana, joka päättyy pisteeseen P. Thaleen lauseen mukaan säteen ja janan välinen kulma on suora ja jana on siten inversioympyrän tangentti. Samalla tavalla voidaan muodostaa inversioympyrän toiselle puolelle toinen tangentti pisteeseen N'. Piirretään pisteiden N ja N' välille suora. Se leikkaa pisteen P ja keskipisteen O yhdistävällä suoralla olevassa pisteessä P'.

 Inversio kuvauksena 
Inversio I on kuvaus tason pisteistä X (usein ) tasolle (tila-avaruudessa avaruuden pisteistä avaruuteen)

jolloin merkintä I(P) = P. Voidaan osoittaa, että jokainen piste P kuvautuu toiseksi pisteeksi I(P)''' ja että se on myös yksikäsitteinen. Kuvaus I on siten hyvin määritelty. Myös I(I(P)) = P, joten I on itsensä käänteiskuvaus I = I-1''.

Kuvaus on bijektio, jos


Merkitsemällä inversiokeskusta , invertoitavaa pistettä  ja invertoitua pistettä  saadaan

ja


 Esimerkkejä inversion kuvauksista 
 Pisteet ja kulmat 
Kukin piste P kuvautuu inversioympyrän toiselle puolelle pisteeksi P' linjaan inversiokeskuksen O ja pisteen P kautta kulkevalle puolisuoralle. Pisteen P' etäisyys inversiokeskuksesta O on säteen neliön ja välimatkan OP osamäärä

Jos piste P osuu inversioympyrän kehälle, kuvautuu se itseensä. Jos piste P osuu inversiokeskukseen O, kuvautuu se "äärettömän kauaksi" ja sellainen kuvaus on jätetty määritelmästä ongelmallisena pois.

Piirretään kolme pistettä A, B ja C. Nämä kuvautuvat pisteiksi A', B' ja C'. Kulmat ovat ABC = A'B'C' yhtäsuuret kaikissa tapauksissa, jossa mikään piste ei sijaitse inversiokeskuksessa O. Voidaan sanoa, että inversiokuvaus säilyttää kuvion kulman suuruuden. Inversion peilaavasta luonteesta seuraa kuitenkin käänteisyys. Jos kulma aukeaa inversioympyrää kohti, tekee kuvauksen kulma samoin, ja päinvastoin.

 Suora inversiokeskuksen O kautta 
pienoiskuva|Pisteen P inversio kuvautuu pisteeksi P', joka sijaitsee janan OP jatkeella.
Piirretään suora, joka kulkee inversiokeskuksen O kautta. Määritelmän johdosta kaikki pisteet P kuvautuvat O:n ja P:n kautta kulkevalle puolisuoralle. Silloin O:n kautta piirretyn suoran kuvapisteet kuvautuvat kukin takaisin omalle suoralle samalle puolelle pistettä O, missä itse P on.

 Suora inversiokeskuksen ohi 
pienoiskuva|
Piirretään suora kulkemaan inversioympyrän ohi ja suoritetaan sen pisteille inversiokuvaus. Kuvauksen kuvapisteet asettuvat ympyrälle, joka kulkee inversiokeskuksen O kautta. Suoran kulkiessa koko ajan inversioympyrän ulkopuolella, sijaitsee kuvausympyrä inversioympyrän sisällä. Jos suora leikkaa inversioympyrää, sijaitsee kuvaympyrä osittain inversioympyrän ulkopuolella. Sekä suora että kuvausympyrä leikkaavat toisensa inversioympyrän kanssa kahdessa yhteisessä pisteessä. Inversiokuvaus on täysin käänteinen. Ympyrä, joka kulkee inversiokeskuksen kautta, kuvautuu kuvasuoraksi edellä esitetyllä tavalla.

 Ympyrä inversiokeskuksen ohi 
pienoiskuva|
Piirretään ympyrä, jonka kehä ei kulje inversiokeskuksen kautta (vertaa edelliseen tapaukseen). Kuvauksen pisteet asettuvat kuvaympyrälle, joka on eri ympyrä kuin piirretty ympyrä. Jos ympyrä piirretään inversioympyrän ulkopuolelle, kuvautuu kuvaympyrä inversioympyrän sisäpuolelle. Kun ympyrä piirretään inversioympyrän sisäpuolelle, piirtyy kuvaympyrä inversioympyrän ulkopuolelle. Jos ympyrä piirretään leikkaamaan inversioympyää, kulkee myös kuvaympyrä piirretyn ympyrän ja inversioympyän leikkauspisteiden kautta. Inversiokuvaus on tässäkin täysin käänteinen. Kuvaympyrä kuvautuu takaisin piirretyksi ympyräksi.

 Ortogonaalinen ympyrä 
Ortogonaalisten ympyröiden kehät leikkaavat toisensa kohtisuorasti, mikä nähdään ympyröiden säteistä, jotka ovat leikkauspisteissä kohtisuorassa toisiinsa nähden. Kun piirretään ympyrä, joka on ortogonaalinen inversioympyrän kanssa, kuvautuu se kuvaympyräksi. Kuvaympyrä on identtinen piirretyn ympyrän kanssa. Sanotaan, että piirretty ympyrä kuvautuu itseensä.

 Lähteet 




 Viitteet 

 Aiheesta muualla 

 http://www-math.ucdenver.edu/~wcherowi/courses/m3210/lecchap6.pdf 
 http://web.cortland.edu/jubrani/375ch7.pdf
 http://geometer.org/mathcircles/inversion.pdf
 http://www.ntg.nl/maps/40/03.pdf
 http://www.math.ualberta.ca/~tlewis/343_10/01sec.pdf  (piirtäminen)
 http://mathcircle.berkeley.edu/BMC6/ps0405/inversionSJ04.pdf 

Luokka:Geometria