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ä
:OP \cdot OP' = r^2,
missä **r** on inversioympyrän säde. Lukua **r<sup>2</sup>** 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

### 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 ****. 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 
:\Delta O P Q \sim \Delta O Q P'
seuraa
:\frac{O P}{O Q} = \frac{O Q}{O P'} \Leftrightarrow OP \cdot OP' = OQ^2 \Leftrightarrow OP \cdot OP' = r^2.

### Piste sijaitsee ympyrän 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 X \ne O) tasolle (tila-avaruudessa avaruuden pisteistä avaruuteen)
:I: \, X \rightarrow X,
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<sup>-1</sup>*.

Kuvaus on bijektio, jos
:I: \, X \ne O \rightarrow X \ne O. 

Merkitsemällä inversiokeskusta O(x_0,y_0), invertoitavaa pistettä P(x,y) ja invertoitua pistettä P'(x',y'), saadaan
:x' = x_0 + \frac{r^2 (x-x_0)}{(x-x_0)^2 + (y-y_0)^2}
ja
:y' = y_0 + \frac{r^2 (y-y_0)}{(x-x_0)^2 + (y-y_0)^2}. 

## 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ä
:OP' = \tfrac{r^2}{OP}.
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 \measuredangleABC = \measuredangleA'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

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

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

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