# Rotazione nel piano complesso

Per studiare la rotazione nel piano complesso si possono distinguere due casi, dipendentemente dal fatto che il centro di tale rotazione sia rappresentato dall'origine del sistema di riferimento o da un qualsiasi altro punto.

## Rotazione di centro l'origine e angolo dato
### Definizione

Sia $a$ un numero complesso di modulo unitario:
    $a=\cos \vartheta +i\sin \vartheta =e^{i\vartheta }$
e sia $z$ un qualsiasi numero complesso
    $z=\rho (\cos \varphi +i\sin \varphi ).$
La rotazione di centro l'origine degli assi $O$ e di ampiezza $\vartheta$, $\vartheta \in \mathbb {R}$, è la trasformazione:
    ${\begin{aligned}\rho _{O,\vartheta }\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=az=e^{i\vartheta }z\end{aligned}}$
che associa al punto $P(z)$, corrispondente di $z$, il punto $P'(z')$, corrispondente del numero complesso $z'=az$, di modulo uguale al modulo di $z$, $\rho$, e di argomento $\varphi +\vartheta$.
Si osservi che, nella definizione appena data, $\vartheta$ può assumere qualsiasi valore reale, incluso lo $0$ e i valori negativi.

## Gruppo circolare

Dalla definizione, data, segue che le rotazioni del piano complesso formano un gruppo abeliano rispetto alla composizione.
I numeri complessi di modulo unitario formano un gruppo moltiplicativo, chiamato gruppo circolare. È facile dedurre che esso è algebricamente isomorfo al gruppo delle rotazioni nel piano complesso: basta associare a ogni complesso unitario $a$ del gruppo circolare, la rotazione complessa definita da $z\mapsto az$.

### Proprietà

Infatti:
    $z'=az=\rho (\cos \varphi +i\sin \varphi )(\cos \vartheta +i\sin \vartheta )=\rho [\cos(\varphi +\vartheta )+i\sin(\varphi +\vartheta )]=\rho e^{i(\varphi +\vartheta )}.$
Passando in coordinate cartesiane e ricordando la forma delle equazioni che determinano la rotazione di centro l'origine degli assi cartesiani e angolo $\vartheta$:
    $\rho _{O,\vartheta }:{\begin{cases}x'=x\cos \vartheta -y\sin \vartheta \\y'=x\sin \vartheta +y\cos \vartheta .\end{cases}}$
Si ha che:
moltiplicare il numero complesso $z$ per un numero complesso $a$ di modulo unitario, equivale ad applicare nel piano al punto $P(z)$ una rotazione avente come centro l'origine degli assi e angolo $\vartheta$, con $\vartheta \in \mathbb {R}$.
Notiamo che:
* Se l'angolo di rotazione è pari a $0$, o a un multiplo di $2\pi$, la relativa rotazione lascia invariato ogni punto del piano complesso: si tratta della trasformazione identica.
* La rotazione corrispondente a $\vartheta +\varrho$ equivale alla composizione delle due rotazioni individuate da $\vartheta$ e $\varrho .$
* La rotazione corrispondente a $-\vartheta$, è l'inversa della trasformazione corrispondente a $\vartheta$: la loro composizione dà infatti la trasformazione identica.
Le tre proprietà elencate permettono di dedurre che l'associazione di un numero reale ad una rotazione, definisce un'applicazione lineare tra il gruppo abeliano dei numeri reali (con l'usuale operazione di somma) e il gruppo delle rotazioni del piano complesso (dotato dell'operazione di composizione tra funzioni). L'applicazione lineare così definita non è un omomorfismo, difettando infatti della non biunivocità.

### Esempio

La trasformazione che ammette come scrittura complessa
    $z'=\left(-{{\sqrt {2}} \over 2}+i{{\sqrt {2}} \over 2}\right)z$
è una rotazione attorno all'origine degli assi di angolo $\vartheta ={3 \over 4}\pi$.
Infatti:
    $-{{\sqrt {2}} \over 2}+i{{\sqrt {2}} \over 2}=\cos \left({3 \over 4}\pi \right)+i\sin \left({3 \over 4}\pi \right)=e^{i{3 \over 4}\pi },$
quindi
    $z'=\left(-{{\sqrt {2}} \over 2}+i{{\sqrt {2}} \over 2}\right)z=e^{i{3 \over 4}\pi }z$
è una rotazione attorno all'origine degli assi cartesiani di angolo $\vartheta ={3 \over 4}\pi$.

### Casi particolari

* Se l'angolo di rotazione è uguale a $\pi /2$, allora
       $a=e^{i{\pi \over 2}}=\cos \left({\pi \over 2}\right)+i\sin \left({\pi \over 2}\right)=i.$
    Quindi: la rotazione di centro l'origine degli assi $O$ e di ampiezza $\pi /2$ coincide con la moltiplicazione per l'unità immaginaria $i$:
       ${\begin{aligned}\rho _{O,{\pi \over 2}}\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=e^{i{\pi \over 2}}z=iz.\end{aligned}}$
Infatti, indicando con
       $z=\rho (\cos \varphi +i\sin \varphi )$
si ha che:
       $z'=iz=\rho \left[\cos \left(\varphi +{\pi \over 2}\right)+i\sin \left(\varphi +{\pi \over 2}\right)\right]=\rho e^{i\left(\varphi +{\pi \over 2}\right)}.$
* Se l'angolo di rotazione è pari a $\pi$, allora
       $a=e^{i\pi }=\cos \left(\pi \right)+i\sin \left(\pi \right)=-1.$
    Quindi la rotazione di centro l'origine degli assi $O$ e di ampiezza $\pi$ è data da:
       ${\begin{aligned}\rho _{O,{\pi }}\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=e^{i\pi }z=-z.\end{aligned}}$
    Infatti, indicando con
       $z=\rho (\cos \varphi +i\sin \varphi ),$
    si ha che:
       $z'=-z=\rho \left[\cos \left(\varphi +\pi \right)+i\sin \left(\varphi +\pi \right)\right]=\rho e^{i\left(\varphi +{\pi }\right)}.$
    Quindi la rotazione di centro l'origine degli assi $O$ e di ampiezza $\pi$ equivale alla simmetria rispetto all'origine.
* Se l'angolo di rotazione è uguale a ${3 \over 2}\pi$, allora
       $a=e^{i{3 \over 2}\pi }=\cos \left({3 \over 2}\pi \right)+i\sin \left({3 \over 2}\pi \right)=-i.$
    Quindi la rotazione di centro l'origine degli assi $O$ e di ampiezza ${3 \over 2}\pi$ è:
       ${\begin{aligned}\rho _{O,{3 \over 2}\pi }\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=e^{i{3 \over 2}\pi }z=-iz.\end{aligned}}$
    Infatti, indicando con
       $z=\rho (\cos \varphi +i\sin \varphi ),$
    si ha che:
       $z'=-iz=\rho \left[\cos \left(\varphi +{3 \over 2}\pi \right)+i\sin \left(\varphi +{3 \over 2}\pi \right)\right]=\rho e^{i\left(\varphi +{3 \over 2}\pi \right)}.$

## Rotazione (caso generale)

Sia $C_{0}=P(z_{0})$ il punto corrispondente al numero complesso $z_{0}=x_{0}+iy_{0}$, e sia $a$ un numero complesso di modulo unitario.
La rotazione di centro $C_{0}(x_{0};y_{0})$ e angolo $\vartheta$, $\vartheta \in \mathbb {R}$ è data da:
    ${\begin{aligned}\rho _{C_{0},{\vartheta }}\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=az+b=e^{i\vartheta }z+b,\end{aligned}}$
con $b=(1-a)z_{0}$.
Infatti se moltiplicare il numero complesso $z$ per un numero complesso $a$ di modulo unitario, equivale ad applicare al punto $P(z)$ una rotazione di centro l'origine degli assi e angolo $\vartheta$, $\vartheta \in \mathbb {R}$, considerando il punto $C_{0}$ come nuova origine degli assi, si ha che $z'-z_{0}=a(z-z_{0})$, quindi $z'=az+(1-a)z_{0}$.
Ponendo $b=(1-a)z_{0}$ si ottiene il caso generale della rotazione.

### Esempio

Per determinare la scrittura complessa della rotazione di centro $C_{0}(-2-i)$ e angolo $\vartheta ={\pi \over 2}$ si osservi che il centro della rotazione $C_{0}(-2-i)$ è il punto associato al numero complesso $z=-2-i$.
Quindi, ricordando che $b=(1-a)z_{0}$, si ha che
    $z'=e^{i\vartheta }z+b=e^{i{\pi \over 2}}z+(1-i)(-2-i)=iz+(-2-i+2i-1)=iz+(-3+i),$
cioè la trasformazione data da:
    ${\begin{aligned}\rho _{(-2-i),{\pi \over 2}}\colon \mathbb {C} &\longrightarrow \mathbb {C} \\z&\longmapsto z'=iz+(-3+i).\end{aligned}}$