Inversione circolare

Nella geometria piana, l'inversione circolare è una particolare trasformazione che "specchia" i punti rispetto ad una data circonferenza. Non si tratta di una trasformazione geometrica piana in senso stretto, perché mappa il centro della circonferenza "all'infinito": si tratta piuttosto di una trasformazione della sfera ottenuta aggiungendo il punto all'infinito al piano tramite proiezione stereografica.

Più in generale, una inversione può essere definita anche in uno spazio tridimensionale (a partire da una sfera, e in questo caso viene detta inversione sferica) o in uno spazio euclideo $\mathbb {R} ^{n}$ .

Definizione

Sia $\gamma$ una circonferenza di centro $O$ e raggio $r$ . L'inversione circolare rispetto a $\gamma$ è la funzione $I$ che associa ad ogni punto $P$ del piano distinto da $O$ il punto $P'$ appartenente alla semiretta uscente da $O$ e passante per $P$ tale che

OP\cdot OP'=r^{2}.

Il punto $P'$ è detto punto inverso di $P$ rispetto alla circonferenza $\gamma$ e $r^{2}$ è detta potenza dell'inversione.

Punto all'infinito

L'inversione non è definita per $P=O$ . Si può definire l'inversione in $O$ aggiungendo al piano un punto, il "punto all'infinito" $\infty$ , e ponendo

I(O)=\infty ,\quad I(\infty )=O.

In altre parole, l'inversione scambia il centro della circonferenza con il punto all'infinito. Tramite proiezione stereografica, il piano arricchito del punto all'infinito può essere identificato con una sfera: l'inversione è quindi in realtà una trasformazione della sfera. La topologia euclidea indotta sul piano si può estendere al caso in cui aggiungiamo il "punto all'infinito" sfruttando la tecnica della compattificazione di Alexandrov. In questo modo una naturale famiglia di intorni aperti per il punto all'infinito risulta quindi l'insieme dei complementari dei cerchi chiusi centrati nell'origine. Si può dimostrare in modo semplice che con questa topologia l'inversione è ancora continua e biunivoca ed è una involuzione.

Costruzione con riga e compasso

L'inverso di un punto può essere costruito con riga e compasso.

Caso 1: Il punto è esterno alla circonferenza

Si traccino le tangenti alla circonferenza $\gamma$ passanti per $P$ . Sia $M$ uno dei suoi due punti di intersezione con $\gamma$ e sia $P'$ la proiezione ortogonale di $M$ su $OP$ . Si consideri il triangolo rettangolo di vertici $O$ , $M$ , $P$ . Per il primo teorema di Euclide:

OP\cdot OP'=OM^{2}=r^{2}.

Il punto $P'$ è, quindi, il trasformato di $P$ mediante l'inversione di centro $O$ e di potenza $r^{2}$ .

Caso 2: Il punto è interno alla circonferenza

Si consideri la retta passante per $O$ e per $P$ . Si tracci la retta passante per $P$ e perpendicolare a tale retta. Troviamo così i punti di intersezione con $\gamma$ , allora per il primo teorema di Euclide, $P'$ è il punto di intersezione delle tangenti a $\gamma$ condotte per tali punti.

Caso 3: Il punto appartiene alla circonferenza

In questo caso $P'$ coincide con $P$ . Tutti i punti di $\gamma$ sono quindi punti fissi, cioè $\gamma$ è un insieme puntualmente invariante rispetto all'azione di $I$ .

Proprietà

Involuzione

L'inversione è una involuzione: se $P'=I(P)$ tramite una inversione $I$ , allora $P=I(P')$ . In altre parole, componendo $I$ con sé stessa si ottiene la funzione identità. Quindi l'inversione $I$ è una corrispondenza biunivoca della sfera $S$ (ottenuta aggiungendo al piano il punto all'infinito)

I\colon S\to S

e coincide con la sua funzione inversa $I^{-1}$ .

Composizione

La composizione di inversioni non è mai una inversione. La composizione di due inversioni aventi lo stesso centro e potenze (cioè il quadrato del raggio del cerchio di inversione) $a$ e $b$ è una omotetia con quello stesso centro e potenza il rapporto $a/b$ . Come visto in precedenza se le potenze delle inversioni sono uguali la composizione è l'identità cioè un'omotetia di rapporto 1.

Rette e circonferenze

Una inversione manda rette e circonferenze in rette e circonferenze. Valgono infatti i fatti seguenti:

Ogni retta passante per il centro $O$ d'inversione viene trasformata in sé stessa. Una retta che non passa per $O$ viene invece trasformata in una circonferenza passante per $O$ .
Ogni circonferenza passante per $O$ viene trasformata in una retta non passante per $O$ , e ogni circonferenza non passante per $O$ viene trasformata in una circonferenza non passante per $O$ .

Due punti qualunque e i loro inversi appartengono ad una stessa circonferenza, oppure sono allineati con il centro d'inversione. Si può osservare che se chiamiamo $C$ l'insieme che contiene tutte le rette e le circonferenze del piano allora $C$ è un insieme globalmente invariante rispetto l'inversione circolare per quanto appena detto. Cioè dato $r\in C$ allora $I(r)\in C$ .

Mappa conforme

L'inversione è una mappa conforme. Si tratta cioè di una funzione che preserva gli angoli fra curve piane. Ad esempio, le circonferenze ortogonali a $\gamma$ sono insiemi globalmente invarianti (o figure unite) per l'inversione: vengono cioè trasformati in sé stessi. Un'altra conseguenza di questa proprietà è che data una curva $f$ nel piano e il suo cerchio osculatore $S$ in un punto $f(p)$ allora l'immagine di questo cerchio $I(S)$ è il cerchio osculatore della curva immagine nell'immagine del punto $I(f(p))$ .

Orientazione

Come la riflessione, l'inversione cambia l'orientazione del piano (o della sfera).

Nel piano cartesiano

Introducendo un sistema di riferimento cartesiano ortogonale $xOy$ la cui origine coincida con il centro dell'inversione, è possibile esprimere l'inversione $I$ come la trasformazione che trasforma il punto $P(x;y)$ nel punto $P'(x';y')$ tramite le equazioni:

I:{\begin{cases}x'={\frac {r^{2}x}{x^{2}+y^{2}}}\\y'={\frac {r^{2}y}{x^{2}+y^{2}}}\end{cases}}

Esempio

Analizziamo l'effetto di una inversione con raggio $r=2$ sulle curve seguenti:

r:y=-2x;

\gamma :x^{2}+y^{2}=1.

Queste sono rispettivamente una retta passante per l'origine ed una circonferenza centrata nell'origine, di raggio unitario. La trasformazione inversa ha lo stesso aspetto di quella originaria (perché l'inversione è una involuzione), e cioè

I:{\begin{cases}x={\frac {4x'}{x'^{2}+y'^{2}}}\\y={\frac {4y'}{x'^{2}+y'^{2}}}\end{cases}}

Sostituendo si ottiene quindi

r':{\frac {4y'}{x'^{2}+y'^{2}}}=-2{\frac {4x'}{x'^{2}+y'^{2}}},

da cui si ottiene

r':y'=-2x'.

La retta trasformata coincide quindi con quella di partenza.

Per la seconda curva, vale

\gamma ':\left({\frac {4x'}{x'^{2}+y'^{2}}}\right)^{2}+\left({\frac {4y'}{x'^{2}+y'^{2}}}\right)^{2}=1

da cui si ottiene

\gamma ':x'^{2}+y'^{2}=16.

La trasformata è quindi una circonferenza di raggio più grande, pari a $4$ .

Nel piano complesso

Una inversione nel piano complesso può essere descritta in modo più stringato. Ad esempio, l'inversione di centro l'origine e raggio $r$ è descritta nel modo seguente:

I(z)={\frac {r^{2}}{|z|^{2}}}z.

Si può osservare che nel caso in cui il raggio considerato sia unitario allora l'inversione circolare di $z$ coincide con l'inverso complesso del coniugato di $z$ . Cioè se $r=1$ , allora accade che $I(z)={\frac {1}{\bar {z}}}.$

Funzioni olomorfe e antiolomorfe

L'inversione è una funzione antiolomorfa. Non è una funzione olomorfa perché cambia l'orientazione del piano.

La composizione di due inversioni è però sempre una funzione olomorfa: si tratta di un biolomorfismo dalla sfera di Riemann in sé. Una tale trasformazione è detta trasformazione di Möbius.

In dimensione più alta

L'inversione può essere definita analogamente in dimensione 3 o superiore. In questo caso, l'inversione è effettuata rispetto ad una sfera, o ad una ipersfera. Molte delle proprietà elencate per il piano vengono generalizzate.

Definizione

L'inversione di centro $x_{0}$ e raggio $r$ in $\mathbb {R} ^{n}$ è la mappa

I(x)=r^{2}\cdot {\frac {x-x_{0}}{\|x-x_{0}\|^{2}}}+x_{0}.

Qui $x_{0}$ è un punto di $\mathbb {R} ^{n}$ , centro dell'inversione. L'inversione è definita su tutto $\mathbb {R} ^{n}$ , tranne che in $x_{0}$ . Però si estende a tutta la sfera

S^{n}=\mathbb {R} ^{n}\cup \{\infty \}

ponendo

I(x_{0})=\infty ,\quad I(\infty )=x_{0}.

L'estensione è una funzione continua e biunivoca della sfera in sé

I\colon S^{n}\to S^{n}.

Proprietà

Involuzione

L'inversione è una involuzione, cioè $I^{2}$ è la funzione identità. In particolare, è un omeomorfismo della sfera in sé.

Piani e sfere

Fissato $0<k<n$ , una inversione manda piani affini e sfere $k$ -dimensionali in sé (una sfera $k$ -dimensionale è una sfera contenuta in uno spazio affine di dimensione $k+1$ ). Piani contenenti il centro vengono lasciati invarianti, sfere non contenenti il centro vengono trasformate in altre sfere non contenenti il centro, mentre piani non contenenti il centro vengono trasformati in sfere contenenti il centro (e viceversa).

Mappa conforme

L'inversione è una mappa conforme (sia se considerata sullo spazio, che sulla sfera). Per verificarlo basta notare che l'inversione può essere scritta come composizione di mappe olomorfe. Altrimenti si può calcolare esplicitamente la derivata nello spazio euclideo e notare che si tratta di una similitudine, in quanto la derivata è formata da una omotetia e da una riflessione, questo basta per implicare la conformità della primitiva. La derivata, nel caso in cui il centro dell'inversione sia l'origine, assume la seguente forma:

I'(x)(y)={\frac {r^{2}}{\|x\|^{2}}}\cdot \left(y-{\frac {2\langle x,y\rangle }{\|x\|^{2}}}\cdot x\right).

Si nota che la parte a sinistra è uno scalare e quindi realizza un omotetia di centro l'origine. La parte destra invece è la riflessione rispetto all'iperpiano perpendicolare al vettore $x$ , che in particolare è una isometria.

Bibliografia

(EN) Marcel Berger, Geometry I, Springer, 1987, ISBN 978-3-540-11658-5.
Maria Dedò, Trasformazioni geometriche. Con una introduzione al modello di Poincaré, Zanichelli, 1996, ISBN 978-8808162601.
(EN) Harold Coxeter, Introduction to Geometry, John Wiley & Sons, 1961.
(EN) Roger A. Johnson, Advanced Euclidean Geometry, Dover Publication, 2007, ISBN 9780486462370.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file su inversione circolare

Controllo di autorità	Thesaurus BNCF 27893

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica