I NUMERI COMPLESSI  prima parte    

  Numeri complessi: definizioni e operazioni fondamentali

Discipline: Matematica





1.1.0 - Introduzione e cenni storici

La prima fugace comparsa dei numeri complessi  avviene nella prima metà del XVI secolo, in Italia. Gerolamo Cardano (1501-1576), poliedrico medico e matematico, trattando del metodo della falsa posizione, propone questo problema, manifestamente impossibile ( Ars Magna o Artis Magnae, 1545 ):
"Dividi 10 in due parti che moltiplicate tra loro diano 40 ",
che possiamo anche enunciare così:
"trovare due numeri \(x\) e \(y\), tali che \(x+y=10\) e \(x \cdot y=40\).

Seguiamo per un momento il ragionamento di Cardano.
Immaginiamo che il segmento ab sia lungo 10 (non importa l'unità di misura).  Il quadruplo di ab, che potremmo rappresentare con il rettangolo tratteggiato, vale 40.
Il punto c divide ab in due parti \(x\) e \(y\), il cui prodotto deve dare 40. Inizialmente (falsa posizione) Cardano fa coincidere c con il punto medio di ab e quindi \(x = y= x_0 = 5\). L'area del rettangolo ad (così lo identifica), che in questo caso è un quadrato, è pari a \(xy = x_0^2 =25\), ovviamente diverso da 40.
La soluzione, se esiste, si può ottenere solo spostando c (prova sulla figura) di una quantità \(r\) dalla posizione iniziale, ma è chiaro che se, ad esempio,  \(x\) diminuisce di \(r\), allora \(y\) dovrà aumentare della stessa quantità, cioè se \(x = x_0-r\) allora \(y = x_0+r\).  Questo  perchè la somma \(x+y\) deve essere uguale alla lunghezza di ab (10).
Se \(x = x_0-r\) e \(y = x_0+r\) sono la suddivisione cercata, dovrà essere vero che \((x_0-r)(x_0+r)=40\), nel caso specifico \((5-r)(5+r)=40\).
Svolgendo il prodotto notevole (somma per differenza), si ha \(25 - r^2 = 40\), il che implica che \(r^2\) sia negativo: \(r^2=-15\).
A questo punto Cardano introduce la quantità \(\sqrt{-15}\) ( "ideo immaginaberis R. m. 15.", nel testo e con la notazione di allora), da sottrarre e aggiungere a 5 per avere la soluzione cercata:   5.  p.  R.  m. 15.  e   5. m.  R.  m. 15. che significa: \(5 + \sqrt{-15}\) e \(5 - \sqrt{-15}\).
Quindi dimostra che effettivamente queste entità costituiscono una soluzione del problema, dato che:

\(5 + \sqrt{-15} + 5 -\sqrt{-15}= 10\)
e
\((5 + \sqrt{-15}\;) \cdot (5 -\sqrt{-15}\;)= 5^2 - (\sqrt{-15}\;)^2 = 25 -(-15)= 40\)

Ma Cardano, non riesce a trovare una giustificazione per queste strane quantità. Ne attribuisce la comparsa alla diversa natura di ad (il quadrato), che non è la stessa di 40 (che considera una linea), "essendo una superficie più lontana dal numero e una linea più vicina ad esso". Alla fine, non riconoscendo il "tesoro matematico" che aveva a portata di mano, ritiene questi ragionamenti essere capziosi (sofistici) e  tanto sottili quanto inutili.

Radici quadrate negative comparivano anche nelle formule risolutive  di alcune equazioni di terzo grado: ad esempio \(x^3 - 15 x = 4\),
di cui si conosceva, per sostituzione diretta, la radice reale \(x = 4\).
La formula risolutiva di Dal Ferro dava: \(x=\sqrt [3]{2+\sqrt{-121}}+ \sqrt [3]{2-\sqrt{-121}}\).

Raffaele Bombelli (1526-1573) cercò di dare alle radici cubiche della formula precedente un'espressione formalmente simile a quella dei radicandi, quindi del tipo \(a \pm \sqrt{-b}\). Secondo la notazione moderna deve essere allora: \((a + \sqrt{-b})^3=2+\sqrt{-121}\) e \((a - \sqrt{-b})^3=2-\sqrt{-121}\) Sapendo che si deve avere  x = 4, si può facimente dimostrare che \(x=2+\sqrt{-1}+ 2-\sqrt{-1}\).

Descartes (Cartesio, 1596-1650) per primo chiamò numeri immaginari entità quali \(\sqrt{-121}\) o \( \sqrt{-1}\) ed Eulero (1707-1783) nel 1777 introdusse il simbolo \(i\) per designare la radice quadrata di −1, \(i=\sqrt{-1}\).


Ciò che sembrava quasi un incidente matematico, qualcosa in cui non credere veramente (numeri immaginari in contrapposizione con i numeri reali), si è poi rivelata una delle più feconde scoperte della Matematica. Accade spesso così.
I numeri complessi, le strutture e i concetti matematici che da essi derivano sono ora uno strumento irrinunciabile per la conoscenza scientifica e per la stessa Matematica.


1.1.1 - Numeri immaginari

Se, nel campo⁽¹⁾ dei numeri reali, tentiamo di risolvere  equazioni come: \(x^2 + 1 = 0\) andiamo incontro ad una difficoltà insormontabile. L'equazione infatti può essere scritta come \(x^2 = - 1 \), ma sappiamo che non esiste alcun numero reale il cui quadrato sia negativo.
Non siamo in grado di eseguire l'operazione di estrazione di radice quadrata di numeri negativi in campo reale, per cui una soluzione come \(x = \sqrt{-1}\) viene considerata priva di senso. Per molto tempo si è evitato il problema semplicemente ammettendo che l'equazione \(x^2 + 1 = 0\) non possieda soluzioni in campo reale.
Il problema viene risolto introducendo la quantità \(i = \sqrt{-1}\)  ⁽²⁾, detta unità immaginaria .
Una prima evidente proprietà dell'unità immaginaria è la seguente:

\(i^2 = i \cdot i = (\sqrt{-1})^2=- 1\).

Conseguentemente abbiamo anche:

\(i^3 = i \cdot i \cdot i = - i\)     e     \(i^4 = i \cdot i \cdot i \cdot i = 1\)

Daremo più avanti una interpretazione geometrica di questi risultati.
Le soluzioni della precedente equazione \(x^2 + 1 = 0\) sarebbero allora \(x_1 = +i \)   e    \(x_2 = -i \).
\(x^2 + 4 = 0\), ad esempio, darebbe come soluzioni \(x_1 = +2i \)   e    \(x_2 = -2i \).
Oggetti di questo tipo prendono il nome di numeri immaginari  e sono formati dal 'prodotto' di un numero reale per l'unità immaginaria stessa.  
In realtà per affermare che si tratta di numeri bisogna provarlo, cioè si deve verificare che siano soddisfatte le proprietà tipiche dei numeri. In particolare deve essere possibile definire le operazioni che si possono eseguire tra numeri, tra cui, ovviamente somma e prodotto. Possiamo creare nuovi numeri immaginari sommando (o sottraendo) ripetutamente \(i\) a se stessa: \(i+i+i = 3\;i\), o moltiplicando \(i\) per un numero reale: \(2,718 \; i\), \(- \frac{5}{3} \; i\), \(- \sqrt{2} \; i\), ecc.
In generale sarà possibile sommare due numeri immaginari applicando le regole algebriche⁽³⁾ per i monomi, così: 2i + 3i = 5i. Analogo discorso per la moltiplicazione, tenendo presente la proprietà di i prima enunciata:  2i x 3i = 6i² =  6(−1) = −6. Dunque il prodotto di due numeri immaginari è sempre un numero reale, ciò significa che l'insieme dei numeri immaginari non è chiuso rispetto alla moltiplicazione (il risultato non è più un numero immaginario). Questa situazione rende necessaria la generalizzazione che porta alla definizione di numero complesso.


1.1.2 - Somma, differenza e prodotto

Possiamo sommare numeri reali a numeri immaginari, ottenendo oggetti del tipo \(a+ib \) (oppure \(a+jb \)). Per queste entit definiamo somma, prodotto e differenza sulla scorta di quanto fatto in algebra per i binomi⁽³⁾, ricordando la proprietà di i prima enunciata.

Somma:        \((a+ib)+(c+id)=(a+c)+i(b+d) \)
Differenza:   \((a+ib)-(c+id)=(a-c)+i(b-d) \)
Prodotto:     \((a+ib) \cdot (c+id)=(ac-bd)+i(ad+bc) \)

Con queste definizioni è possibile dimostrare che oggetti matematici come \(a+ib \) godono effettivamente di tutte le proprietà caratteristiche dei numeri e quindi sono da considerarsi numeri a tutti gli effetti. Essi prendono il nome di numeri complessi.
Il numero a ( oppure c) è detto parte reale del numero complesso, mentre b (oppure d) è la parte immaginaria. Se \( \textbf{z}=a+ib \), allora \( Re(\textbf{z})=a \), parte reale di \( \textbf{z}\) e \( Im(\textbf{z})=b \), parte immaginaria di \( \textbf{z}\).
Notiamo che per indicare un numero complesso usiamo un carattere tipografico in grassetto, oppure \(\dot{z}\), carattere puntato

Esiste un numero complesso che sommato a qualsiasi altro numero complesso \( \dot{z}=a+ib \),  dia il numero \( \dot{z} \) stesso?
Sì,  è \( \dot{0}=0+i0 \) , infatti :

        \((a+ib)+(0+i0)=(a+0)+i(b+0)=a + ib \)

Questo numero è l'elemento neutro per la somma di numeri complessi.

Esiste un numero complesso che moltiplicato per qualsiasi altro numero complesso \( \dot{z}=a+ib \),  dia il numero \( \dot{z} \) stesso?
Anche in questo caso la risposta è affermativa: questo numero è \( \dot{1}=1+i0 \), infatti:

\((a+ib)\cdot (1+i0)=(a \cdot 1-b \cdot 0)+i(a \cdot 0 + b \cdot 1)= a + ib \)

\( \dot{1}=1+i0 \) è l'elemento neutro per il prodotto di numeri complessi.



1.1.3 - Numeri complessi coniugati
   
Abbiamo visto prima che \(i^2 = i \cdot i = -1\) e di conseguenza \(i \cdot (-i) = 1\): il risultato è un numero reale positivo. Ciò si verifica per qualsiasi prodotto di numeri immaginari. Ad esempio: \(i7 \cdot (-i7) = -i^2 49=49\).
Numeri di questo tipo si dicono numeri immaginari coniugati. Differiscono solo per il segno e moltiplicati tra loro danno sempre un numero reale positivo, che è il quadrato della parte immaginaria del numero immaginario stesso: \(ib \cdot (-ib) = b^2\).
Generalizzando: \(a+ib\) e \(a-ib\) sono numeri complessi coniugati. Essi differiscono solo per il segno della parte immaginaria.
Se moltiplichiamo due numeri complessi coniugati tra loro otteniamo:

\((a+ib)(a-ib)=a^2 +iba-iab -i^2 b^2= a^2 + b^2\).

Dove si è usata la proprietà commutativa: ba = ab.
La radice quadrata di questa grandezza, che è un numero reale sempre positivo, \(\sqrt{ a^2 + b^2}\) è detta modulo del numero complesso:
\[ \left |a+ib \right| =\sqrt{ a^2 + b^2}\]
Se \(\dot z = a+ib\), indichiamo il suo complesso coniugato con \(\dot z^* = a-ib\). Avremo quindi:
\[z= \left |\dot z \right| =\sqrt{ \dot z \cdot \dot z^* }= \sqrt{a^2+b^2}\]
A volte il modulo è indicato con la lettera r: \( \left| \dot z \right|= r =\sqrt{ a^2 + b^2}\).



 1.1.4 - Divisione

Leggermente più laboriosa è la procedura per la divisione tra numeri complessi:
Dovendo eseguire ad esempio l'operazione:
\[ \frac{a+ib}{c+id}\] per evitare la complicazione di un denominatore complesso, si sfrutta la proprietà dei complessi coniugati e si assume che una frazione complessa (come una frazione algebrica) non vari moltiplicando numeratore e denominatore per lo stesso numero (complesso).
In questo caso moltiplicheremo numeratore e denominatore per il complesso coniugato del denominatore:
\[\frac{a+ib}{c+id}= \frac{(a+ib)(c-id)}{(c+id)(c-id)}= \frac{(ac+bd)+i(bc-ad)}{c^2+d^2}=\frac{ac+bd}{c^2+d^2}+i\frac{bc-ad}{c^2+d^2} \] ottenendo così un denominatore reale, che sappiamo facilmente trattare.
In seguito  dimostreremo  che è possibile elevare a potenza e estrarre radice dei numeri complessi e che valgono tutte quelle proprietà (commutativa, associativa, distributiva) che ci assicurano che i numeri complessi sono numeri a tutti gli effetti.


1.1.5 - Definizione formale di numero complesso

Vediamo ora una definizione formale di numero complesso.

Definizione: I numeri complessi sono costituiti da coppie ordinate di numeri reali.

Tra tali coppie è definita un'operazione somma:
\[ (a,b)+(c,d) = (a+c, b+d)\]
e  un'operazione  prodotto:
\[ (a,b) \cdot (c,d) = (ac-bd,ad+bc)\]
Date queste definizioni si può facilmente dimostrare che:

L'elemento neutro per la somma è (0, 0);
\[ (a,b)+(0,0) = (a+0, b+0)=(a,b)\] L'elemento opposto di (a,b) è (−a, −b) \[ (a,b)+(-a,-b) = (a-a, b-b)=(0,0)\] L'elemento neutro per la moltiplicazione è (1, 0)
\[ (a,b) \cdot (1,0) = (a \cdot 1-b \cdot 0,a \cdot 0+b \cdot 1)= (a,b)\] Il reciproco di un numero complesso (a,b), indichiamolo con \( \frac{1}{(a,b)}\),  è:
\[ \left( \frac{a}{a^2+b^2},\frac{-b}{a^2+b^2} \right) \] Infatti, detto (a, b) un numero complesso qualsiasi, e (r, s) il suo reciproco,  si deve avere \( (a,b)(r,s)=(1,0)\) cioè \( (ar-bs,as+br)=(1,0)\). Per determinare r ed s basta allora risolvere il sistema: \[\begin{cases} ar-bs = 1 \\ as+br = 0 \end{cases}\] che dà appunto: \[ r= \frac{a}{a^2+b^2} \qquad s=\frac{-b}{a^2+b^2} \] Possiamo quindi definire l'operazione divisione \( \frac{(a,b)}{(c,d)}\) come prodotto \( (a,b) \cdot \frac{1}{(c,d)}\)

I numeri reali sono tutte le coppie del tipo \((a,0)\) con parte immaginaria nulla.
Tutte le coppie del tipo \((0,b)\), cioè con parte reale nulla, rappresentano i numeri immaginari.

Applicando le definizioni:
\[i^2=(0,1) \cdot (0,1) = (0 \cdot 0-1 \cdot 1, 0 \cdot 1+ 1 \cdot 0)= (-1,0)=-1\] il prodotto di due  numeri reali è un numero reale:
\[(a,0) \cdot (c,0) = (a \cdot c -0 \cdot 0, a \cdot 0 + 0 \cdot c)= (ac,0)=ac\] Il prodotto di due numeri immaginari è un numero reale:
\[(0,b) \cdot (0,d) = (0 \cdot 0 - b \cdot d, 0 \cdot d + b \cdot 0)= (-bd,0)=-bd\]

1.2 - La geometria dei numeri complessi

Abbiamo visto come si eseguono le operazioni fondamentali con i numeri complessi, ma questo non ci fa ancora comprendere quale sia la loro vera potenza. Perciò è opportuno ricorrere ad una loro rappresentazione geometrica.


1.2.1 - Il piano di Argand - Gauss

I numeri reali vengono normalmente rappresentati come punti di una retta, una volta fissata la posizione dello zero e determinato il verso positivo.


Figura 1. La retta reale: ogni numero reale corrisponde ad un suo punto


Questa retta viene spesso chiamata retta reale. Ad ogni suo punto (i punti sono infiniti) viene associato, senza possibilità di ambiguità, uno ed un solo numero reale. Si dice cioè che esiste una corrispondenza biunivoca tra i numeri reali e i punti della retta.
Nella figura 1 si sono rappresentati  numeri razionali (3/4 e -3/4) e alcuni  numeri reali, con i loro simmetrici rispetto all'origine.

È possibile una rappresentazione analoga per  i numeri complessi?

Sorge subito la difficoltà di rappresentare \(i=\sqrt{-1}\).
Semplicemente non esiste alcun punto della retta a cui associare l'unità immaginaria \( i\), dal momento che \( i\) non è un numero reale.
Se moltiplichiamo 1 per \( i^2\) otteniamo −1, che è reale ed è rappresentato da un punto sulla retta. Potremmo quindi pensare che \( i^2\) trasformi 1 nel suo opposto −1, che corrsiponde geometricamente ad una rotazione di 180° del segmento [0,1]. Ma allora moltiplicare 1 per \( i \) non potrebbe significare ruotare il segmento [0,1] di 90° e che quindi \(i=\sqrt{-1}\) sia rappresentabile da un punto su una retta perpendicolare all'asse reale?
Caspar Wessel (1798), Argand (1806) e infine Gauss (1831) ebbero appunto la geniale idea di rappresentare i, e tutti gli altri numeri immaginari, su di un'altra retta perpendicolare alla retta reale.



Figura 2. Piano di Argand-Gauss. L'asse reale e l'asse immaginario sono perpendicolari

Questa retta prende il nome di retta immaginaria o asse immaginario.
Nel piano di Gauss (d'ora in poi lo chiameremo così) ogni numero complesso \( \dot z = a+ib\) è rappresentato da un punto, identificato da una coppia ordinata di numeri:
\(\dot z = (a,b) \) in cui il primo elemento della coppia è la parte reale ed il secondo la parte immaginaria di \(\dot z\).

I numeri reali sono rappresentati da tutte le coppie del tipo \((a,0)\), i numeri immaginari da tutte le coppie \((0,b)\).
In particolare l'unità immaginaria \( i\) è rappresentata dalla coppia \((0,1)\) e quindi \(\sqrt{-1}= (0,1)\).

Carica la lavagna interattiva che rappresenta il piano di Gauss. Puoi trascinare il punto z ed osservare, in alto a sinistra, come variano la parte reale ed immaginaria del numero complesso rappresentato dal punto z.


1.2.2 - Numeri complessi e vettori

Abbiamo già evidenziato che il prodotto di un numero complesso per il suo coniugato fornisce una grandezza reale, sempre positiva: \(\dot z \cdot \dot z^*=a^2+b^2\) la cui radice quadrata \(r = \left | z \right | = \sqrt{a^2+b^2}\) abbiamo chiamato modulo del numero complesso.
Nel piano di Gauss, \(\left | z \right |\) rappresenta la distanza (euclidea) del punto \(\dot z \) dall'origine. Questo conduce a pensare al numero complesso, non solamente come un punto nel piano di Gauss, ma come un vettore di modulo \(\left | z \right |\) che rappresenta la  posizione del punto \(\dot z \) rispetto all'origine degli assi.

Figura 3. Vettore rappresentativo del numero complesso z

Anche qui però dobbiamo porre attenzione al fatto che non basta semplicemente dare un nome ad una grandezza: se affermiamo che \(\dot z \) è un vettore dobbiamo provare che si comporta effettivamente come un vettore.
Per esempio dovremmo verificare che i vettori rappresentativi di numeri complessi si sommano secondo la regola del parallelogrammo. Questo in effetti lo si può vedere facilmente sulla lavagna di sinistra.
Dato allora un numero \(\dot z \) e un numero \(\dot w \), visualizziamo il numero  \(\dot s = \dot z + \dot w \) ed i  vettori corrispondenti
Anche la differenza \(\dot d = \dot z - \dot w \) ha il suo corrispondente nella differenza tra vettori. Il vettore differenza \(\dot d \) è semplicemente il vettore differenza (tratteggiato) trasposto ed applicato all'origine.
Prodotto e divisione rappresentati sul piano di Gauss come vettori meritano un discorso a parte, che riprenderemo dopo aver introdotto un altro tipo di rappresentazione dei numeri complessi: la forma polare.


1.2.3 - Interpretazione geometrica del prodotto e della divisione di numeri complessi

Per il momento visualizziamo il prodotto  \(\dot p = \dot z \cdot \dot w \)   (prendiamo \(\dot z \) e \(\dot w \) in modo che \(\dot p \) sia all'interno del campo di visualizzazione, ad esempio \(\dot z = 2+i2 \) e \(\dot w=3+i1 \)
Ora teniamo fisso \(\dot z \) e facciamo variare il punto \(\dot w \).
Osserviamo un fatto interessante: il vettore \(\dot p \), oltre a subire una variazione del modulo viene ruotato di un certo angolo.

Possiamo evidenziare meglio questo fatto immaginando di vincolare il punto \(\dot z \) a muoversi lungo una circonferenza.  Consideriamo un secondo numero \(\dot w \) e supponiamo che il suo punto rappresentativo a sua volta si  muova lungo una  circonferenza. Ciò equivale a far variare \(\dot z \) e \(\dot w \) mantenendo costante il loro modulo. Osserviamo il comportamento del prodotto  \(\dot p = \dot z \cdot \dot w \). Portiamo \(\dot w \) sull'asse reale (\(\dot w =2 + i 0\)) e notiamo che il vettore prodotto \(\dot p = \dot z \cdot \dot w\) è parallelo a \(\dot z \), giace cioè sulla stessa retta e forma quindi con l'asse reale un angolo uguale a quello formato da \(\dot z \). Ora  ruotiamo \(\dot w \), ad esempio in senso antiorario. Il vettore prodotto ruota anch'esso mantenendo costante il modulo. Cerchiamo di apprezzare l'angolo tra \(\dot p \) e \(\dot z \).  Confrontiamolo con l'angolo che  \(\dot w \) forma con l'asse reale. Questi due angoli sono evidentemente uguali.
L'angolo che il vettore rappresentativo di un numero complesso forma con l'asse reale è detto argomento del numero complesso.
L'argomento θ  di \(\dot p \) allora è la somma tra  α, argomento di \(\dot z \) , e β, argomento di \(\dot w \): θ = α + β.  Se spostiamo \(\dot w \) nel IV quadrante (parte reale positiva; parte reale negativa) questa relazione è ancora vera? Sembrerebbe ora di dover eseguire una differenza tra angoli, questo perchè  l'angolo β in questo caso è negativo. La relazione θ = α + β è quindi ancora valida e lo è anche per gli altri quadranti.
Cosa possiamo dire della divisione \(\dot q =\dot z/ \dot w \) ?
Anche qui poniamo \(\dot w \) sull'asse reale. Ruotiamo \(\dot w \) in senso antiorario. Ora sembra chiaro che l'angolo δ argomento di \(\dot q \)  corrisponde alla differenza:  δ = α − β.
Potremo dimostrare questi fatti dopo aver introdotto la forma trigonometrica dei numeri complessi.


1.2.4 - L' unità immaginaria come operatore di rotazione

Particolarmente importante e interessante è il ruolo geometrico che riveste l'unità immaginaria \( i \), la quale è a sua volta rapresentata da un vettore di modulo unitario.
Dopo aver caricato la lavagna, osserviamo cosa accade quando moltiplichiamo un numero complesso qualsiasi per \( i \).
Supponiamo, ad esempio, di moltiplicare per \( i \) il numero \(\dot z = 3 + i\; 2 \), applicando la definizione di prodotto e la proprietà dell'unità immaginaria \( i^2 = -1 \):
\[ (3+i \; 2) \cdot i = 3 \; i + i^2 \; 2 = -2 + 3 \; i \] Notiamo che il modulo resta invariato (la parte reale e la parte immaginaria si scambiano di ruolo), ma il vettore \(\dot z \cdot i \) è ruotato di 90° (\(\pi/2 \) radianti) in senso antiorario rispetto a \( \dot z \).
Cosa succede se dividiamo \( \dot z \) per \( i \)?
\[\frac {3 + i \; 2}{i} = \frac {(3 + i \; 2) \cdot (-i)}{i \cdot (-i)}= \frac {-3 \; i -i^2 \; 2}{-i^2}= \frac {-3 \; i +2}{1} \] Qui abbiamo moltiplicato numeratore e denominatore per \( -i \) (il complesso coniugato di \( i \) per avere 1 al denominatore, quindi:
\[ \frac {3+i \; 2}{i} = 2 - 3 \; i \] In questo caso il vettore \( \dot z \ i \) ha ancora lo stesso modulo di \( \dot z \), ma viene ruotato di 90° in senso orario ( rotazione di −90°, \(-\pi/2 \) radianti).
Da ciò possiamo anche comprendere che dividere per \( i \) equivale a moltiplicare per \( -i \):
\[ \frac {1}{i} = \frac {1 \cdot (-i)}{i \cdot (-i)} = \frac {-i}{-i^2}= \frac {-i}{1} = -i \] In conclusione, dal punto di vista geometrico l'unità immaginaria \( i \) si comporta a tutti gli effetti come un operatore di rotazione di 90° o \( \pi /2 \) radianti:

\( \dot z \cdot i \)      ⇒    ruota \( \dot z \) di   +90° (rotazione di 90° in senso antiorario)

\( \dot z \cdot (-i) = \dot z /i \)      ⇒   ruota \( \dot z \) di  −90° (rotazione di 90° in senso orario)

Possiamo moltiplicare ripetutamente per \( i \). Moltiplicando 2 volte:
\[ \dot z \cdot i \cdot i = \dot z \cdot i^2 = \dot z \cdot (-1) = - \dot z \] che equivale ad una rotazione di 180°. Infatti cambiare il segno di un numero complesso comporta un rotazione di 180° del vettore rappresentativo (vettore opposto).
Esempio: \[ (3+i\;2) \cdot i^2 = (3+i\;2) \cdot (-1)= -3 - i\;2\] che rappresenta l'opposto del vettore \( \dot z \).

Così: \[ i \cdot i \cdot i = i^3 = i^2 \cdot i = (-1) \cdot i = -i \] equivale ad una rotazione di −90° che sappiamo corrispondere a 270° (3 rotazioni consecutive di 90°).
Esempio: \[ (3+i\;2) \cdot i^3 = (3+i\;2) \cdot (-i)= -3 \;i - i^2\;2= 2 - i \; 3\] che può essere verificata modificando opportunamente il vettore \( \dot w \).
Infine: \[ i \cdot i \cdot i \cdot i = i^4 = i^2 \cdot i^2 =(-1) \cdot (-1) = 1 \] che significa lasciare inalterato il vettore (lo si moltiplica per 1). Tuttavia la rotazione nulla è indistinguibile dalla rotazione di 360° e ciò è coerente con l'interpretazione geometrica attribuita alla moltiplicazione per \( i \).

Riassumendo:

moltiplicazione per	rotazione
\( i \)	90°
\( i^2 \)	180°
\( i^3 \)	270°
\( i^4 \)	360°

1.3 - Forma trigonometrica e polare dei numeri complessi

Oltre alla forma algebrica a +ib di un numero complesso, sono possibili altre due importanti forme  rappresentative dei numeri complessi: la forma trigonometrica e la forma polare. 


1.3.1 - La forma trigonometrica dei numeri complessi

Dato il numero complesso \( \dot z = a + i\;b \), la grandezza \( r_z= \sqrt {a^2+b^2} \) rappresenta sia il modulo del numero complesso, che il modulo del vettore corrispondente nel piano di Gauss.
Il modulo \( r_z \) coincide con il raggio della circonferenza su cui muoviamo il punto \( \dot z \).
Ora immaginiamo di proiettare il vettore \( \dot z \) sull'asse reale.
Il vettore forma l'angolo α con l'asse reale, l'angolo α è detto argomento del numero complesso \( \dot z \), si indica con Arg(z) e a volte è  anche chiamato angolo di fase o semplicemente fase.
La proiezione, grazie alle note relazioni trigonometriche tra i lati di un triangolo rettangolo è data da \( r_z \cdot cos (\alpha) \).
Allo stesso modo proiettiamo \( \dot z \) sull'asse immaginario. Questa proiezione è data da \( r_z \cdot sin (\alpha) \).
Evidentemente \( r_z \cdot cos (\alpha)= a \) costituisce la parte reale del numero comnplesso, mentre \( r_z \cdot sin (\alpha)= b \) ne è la parte immaginaria.
Si ha quindi: \( \dot z = a + i\;b = r_z \cdot cos (\alpha) + i\;r_z \cdot sin (\alpha)= r_z \cdot [cos (\alpha) + i\; sin (\alpha)] \) La forma trigonometrica del numero complesso \( \dot z \) è allora:
\[ \dot z = r_z \cdot [cos (\alpha) + i\; sin (\alpha)] \] La rappresentazione in forma trigonometrica dei numeri complessi non è univoca, infatti, a causa della periodicità delle funzioni seno e coseno, si ha anche:

\[ \dot z = r_z \cdot [cos (\alpha+ 2 k \pi) + i\; sin (\alpha + 2 k \pi)] \hspace{1 cm} ( k = 0, 1, 2, ... ) \]
Se si vuole evitare questa ambiguità  si può considerare \( -\pi < \alpha < \pi \), nel qual caso \( \alpha \) prende il nome di determinazione principale di Arg(\( \dot z\)) e talvolta si indica con arg(\( \dot z\)) (vedere anche il paragrafo 1.3.5 per uleriori considerazioni sull'argomento ).

Il complesso coniugato di \( \dot z\) è:
\[ \dot z^* = r_z \cdot [cos (\alpha) - i\; sin (\alpha)] \]
Possiamo ora dimostrare quanto visto nel paragrafo precedente relativamente a prodotto e divisione.
La forma trigonometrica per il numero \( \dot w\) di modulo \( w = r_w \) e argomento \( \beta \) è:
\[ \dot w = r_w \cdot [cos (\beta) + i\; sin (\beta)] \]

1.3.2 - Prodotto di numeri complessi in forma trigonometrica

Il prodotto \( \dot z \cdot \dot w = r_z\;r_w \cdot [cos (\alpha) + i\; sin (\alpha)] \cdot [cos (\beta) + i\; sin (\beta)]\) si ottiene applicando le definizioni viste precedentemente:
\[ \dot z \cdot \dot w = r_z \; r_w \{[cos(\alpha) cos(\beta) - sin(\alpha) sin(\beta)] + i\;[ sin (\alpha)cos(\beta)+cos(\alpha) sin(\beta)] \} \] Osserviamo che tra parentesi quadre abbiamo le formule di addizione di coseno e seno, per cui:

\[ \dot z \cdot \dot w = r_z \; r_w [cos(\alpha +\beta) + i\; sin(\alpha +\beta)] \]

Concludiamo che il prodotto di due numeri complessi è rappresentato da un vettore che ha come modulo il prodotto dei moduli e come argomento la somma degli argomenti, come evidenziato nel paragrafo precedente.


1.3.3 - Divisione di numeri complessi in forma trigonometrica

Per eseguire il quoziente \[ \frac{\dot z } { \dot w\ } = \frac {r_z\;[cos (\alpha) + i\; sin (\alpha)] }{ r_w \;[cos (\beta) + i\; sin (\beta)]} \] moltiplchiamo numeratore e denominatore per \( cos (\beta) - i\; sin (\beta)\) che è il complesso coniugato del denominatore a meno del modulo.
Al denominatore si ottiene:
\( r_w\;[cos (\beta) + i\; sin (\beta)]\cdot [cos (\beta) - i\; sin (\beta)]= r_w\;[cos^2 (\beta) + sin^2 (\beta)]=r_w\) valendo 1 l'espressione in parentesi per l'dentità fondamentale della trigonometria.

Così avremo:
\[ \frac{\dot z } { \dot w\ } = \frac {r_z\;[cos (\alpha) + i\; sin (\alpha)] \cdot [cos (\beta) - i\; sin (\beta)] }{ r_w } \] eseguendo il prodotto:

\[ \frac{\dot z } { \dot w\ } = \frac {r_z}{ r_w } \; \{ [cos (\alpha) cos (\beta) + sin (\alpha) sin (\beta)]+ i \; [sin (\alpha) cos (\beta) - cos (\alpha) sin (\beta) ] \} \]
Nelle parentesi quadre individuiamo le formule di sottrazione del coseno e del seno, e quindi il quoziente dei due numeri complessi è dato da::

\[ \frac{\dot z } { \dot w\ } = \frac {r_z}{ r_w } \; [cos (\alpha -\beta) + i \; sin (\alpha -\beta) ] \]

Il quoziente di due numeri complessi è rappresentato da un vettore che ha come modulo il quoziente dei moduli e come argomento la differenza degli argomenti.


1.3.4 - Forma polare dei numeri complessi

Le considerazioni svolte nel paragrafo precedente ci consentono di individuare un'altra modalità di rappresentazione dei numeri complessi: la cosiddetta forma polare, in cui viene messo in evidenza il  modulo e l'argomento secondo la notazione: \( modulo \angle argomento\) in cui il primo numero rappresenta il modulo del vettore, il secondo l'angolo con l'asse reale (in gradi o radianti: nella pratica tecnica il grado è preferito), separati dal simbolo \( \angle \) con cui si indica che il numero che lo segue rappresenta appunto la misura di un angolo.


1.3.5 - Dalla forma algebrica alla forma polare e viceversa

Se il numero complesso è espresso in forma algebrica, come ad esempio il numero \( \dot z = 4+i\;3 \), bisogna calcolare il modulo \( r_z= \sqrt {4^2+3^2}= \sqrt 25 =5\), e successivamente l'argomento. Per questa operazione notiamo che la tangente dell'argomento \( \alpha \) è data dal rapporto tra parte immaginaria e parte reale del numero complesso, nel nostro caso \( tan(\alpha) = \frac {3}{4}= 0,75 \) quindi \( \alpha = arctan(0,75)=36,87°\) ovvero \( 0,64\) radianti.
In forma polare avremo: \( \dot z = 5 \;\angle \;36,87°\) oppure \( \dot z = 5\; \angle \;0,64\)

Quindi per  passare dalla forma algebrica alla forma polare:

\( a+ i\;b \; \rightarrow\; \sqrt {a^2+b^2}\; \angle\;arctan(b/a)\)

Riguardo all'argomento \( \alpha =arctan(b/a)\) è opportuna una considerazione.

Come si vede nella figura, il codominio della funzione arco tangente è l'intervallo aperto \( ]- \frac{\pi}{2}, +\frac{\pi}{2}[ \).
Non vi è alcun problema nel calcolo dell'angolo se il numero complesso si trova nel primo (a>0, b>0) o nel quarto (a>0, b<0)) quadrante.
Se il vettore si trova nel terzo quadrante (a<0, b≥0) il risultato di arctan(b/a) sarà un valore negativo (es. −2+i3 , arctan(3/(-2)) = −0.983  (−56.31°), chiaramente non corretto. In tal caso è necessario aggiungere π  all'angolo trovato : −0.983 + π = 2.159 rad ( −56.31° + 180° = 123.7°).
Analogamente, se ci troviamo nel 3° quadrante (es. −2−i3, arctan((-3)/(-2)) = +0.983  (+56.31°). In questo caso aggiungeremo π se vogliamo l'angolo convesso (angolo positivo): 0.983 + π = 4.125  rad ( +56.31° + 180° = 236.31°) oppure toglieremo π se desideriamo la rappresentazione con angolo concavo (angolo negativo) : 0.983 − π = −2.159  rad ( +56.31° − 180° = −123.69°).
Se la parte reale è nulla (es. 0+i3), non è evidentemente possibile il calcolo dell'angolo con arctan(b/0), ma è chiaro che in questo caso l'argomento sarà ± π/2 (±90°), a seconda del segno della parte immaginaria.

Riassumendo:
se \( \dot z = a + i\;b = r_z \cdot [cos (\alpha) + i\; sin (\alpha)] \), la sua forma polare è:

\( \dot z = r_z \; \angle\;\alpha\)

la forma polare del suo complesso coniugato \( \dot z^* = r_z \cdot [cos (\alpha) - i\; sin (\alpha)]\), poiché è anche: \( \dot z^* = r_z \cdot [cos (-\alpha) + i\; sin (-\alpha)] \) è data da:

\( \dot z^* = r_z \; \angle\;-\alpha\)

\( -\pi < \alpha < +\pi \) è la determinazione principale di Arg(\( \dot z \)).
Spesso, soprattutto nell'uso tecnico, l'argomento è espresso in gradi e allora: \( -180° < \alpha < +180° \)

Per la trasformazione inversa, da forma polare ad algebrica si usa la forma trigonometrica:

\( r_z \;\angle \alpha \; \rightarrow \; r_z \; [cos (\alpha) + i\; sin (\alpha)] \)

1.3.6 -  Moltiplicazione e divisione in forma polare

Grazie alla forma trigonometrica abbiamo già messo in evidenza (1.3.1 e 1.3.2) che il prodotto di due numeri complessi è un mumero complesso che ha come modulo il prodotto dei moduli e come argomento, la somma degli argomenti. Questo si traduce direttamente nella regola per il prodotto in forma polare:

\( r_z\;\angle\;\alpha \cdot r_w \;\angle\;\beta= r_z \; r_w \;\angle\;\alpha+\beta \)

Analoghe considerazioni per  la divisione:

\[ \frac{r_z\;\angle\;\alpha}{ r_w \;\angle\;\beta} = \frac{r_z}{r_w} \;\angle\;\alpha-\beta \]

che è data da un numero che  ha come modulo il quoziente dei moduli e come argomento la differenza degli argomenti.
Dal punto di vista dell'esecuzione dei calcoli  è conveniente moltiplicare e dividere numeri in forma polare, ma somma e sottrazione possono essere eseguiti solamente in forma algebrica.

Esempio: Moltiplicare i numeri \( \dot z = \)\( -2 + i\;3\) e \( \dot w = \)\( 2 + i\;1\) utilizzando la regola per la moltiplicazione in forma polare.

Trasformiamo in forma polare:

\( r_z = \sqrt{2^2+3^2}=\sqrt{13}=3,606 \hspace{0.5cm} \alpha= arctan(3/-2)+180°= -56,31° +180°=123,69°\)
\( r_w = \sqrt{2^2+1^2}=\sqrt{5}=2,237 \hspace{0.5cm} \beta= arctan(1/2)=26,57°\)

quindi \(\hspace{1cm} \dot z = 3,606 \;\angle\;123,69° \) e \( \dot w = 2,237 \;\angle\;26,57° \)

Prodotto e quoziente danno:

\(\dot z \cdot \dot w\) \( = 3,606 \;\angle\;123,69° \cdot 2,237 \;\angle\;26,57° = 8,06\;\angle\;150,26° \)

\(\frac{\dot z}{ \dot w}\) \(=\) \( \frac{3,606 \;\angle\;123,69°}{ 2,237 \;\angle\;26,57°}\) \(= 1,612 \;\angle\;97,12°\)

Trasformiamo i risultati in forma algebrica:

\(\dot z \cdot \dot w\) \( = 8,06\;\angle\;150,26° = 8,06 [cos(150,26°)+ i\;sin(150,26°)]=\\ = 8,06 [-0,868+i\;0,496]=-7+ i\;4\)

\(\frac{\dot z}{ \dot w}\) \(= 1,612 \;\angle\;97,12° = 1,612 [cos(97,12°)+ i\;sin(97,12°)]=\\=1,612 [-0,124+ i\;0,992]= -0.2+i\;1,6\)

dove, per comodità, abbiamo commesso l'imprecisione formale di scrivere in gradi, anzichè in radianti come si dovrebbe, gli argomenti di seno e coseno.


1.4 - Elevamento a potenza di numeri complessi. Formula di De Moivre.

Dopo aver preso in considerazione  le operazioni fondamentali tra numeri complessi ci chiediamo ovviamente se e in che modo sia applicabile ad essi il concetto di elevamento a potenza.

 
1.4.1 - Potenza con esponente intero di un numero complesso

Elevare  un numero reale a alla potenza n significa come sappiamo moltiplicare a per se stesso n volte: aⁿ = a⋅a⋅a...⋅a      (n volte).
Estendiamo questa definizione ai numeri complessi:

        (a +ib)ⁿ = (a +ib)⋅(a +ib)⋅(a +ib)...⋅(a +ib)     (n volte)

e supponiamo valide  le note proprietà delle potenze:

1. z ⁿ⋅z ^m = z ^n+m 
2. z ⁿ / z ^m = z ^n−m 
3. (z ⁿ )^m = z ^n⋅m
4. z ^1/n=  ⁿ√z
5. z ⁿ⋅w ⁿ =  (z⋅w)ⁿ

Tutto ciò diventa particolarmente interessante se il numero complesso è espresso in forma trigonometrica ⁽⁴⁾:

\[ \dot z^n = r_z^n \; [cos (\alpha) + i\; sin (\alpha)]^n \]
dove abbiamo applicato la  propietà V delle potenze: la potenza di un prodotto è uguale al prodotto delle potenze.


1.4.2 - Una interessante proprietà del numero \(cos \; \alpha + i\; sin\; \alpha\)

Il numero \(cos \; \alpha + i\; sin\; \alpha\), che chiameremo \(\dot u_\alpha\) ( u per unità) gode di alcune proprietà interessanti sulle quali  vale la pena di soffermarsi. Intanto esso rappresenta, al variare di α, qualsiasi numero complesso di modulo unitario, infatti \(cos^2 \; \alpha + sin^2\; \alpha =1\) . Per tale motivo, se moltiplicato per un altro numero, va a modificare solamente l'argomento e quindi agisce come un vero e proprio operatore di rotazione di α radianti.
Verifichiamolo con un esempio.
Sia \(\alpha = \pi/3\) (60°), quindi: \[cos \; \alpha + i\; sin\; \alpha=cos \;\frac{\pi}{3} + i \: sin \;\frac{\pi}{3} =\frac{1}{2}+ i\; \frac{\sqrt{3}}{2}\] Moltiplichiamo ora un qualsiasi altro numero complesso \(\dot w\), ad esempio \(3 + i\; 2\), per questo numero:
\[(3 + i\; 2) \cdot \left ( \frac{1}{2}+ i\; \frac{\sqrt{3}}{2} \right )= \frac{3}{2}+ i\;\frac{3\;\sqrt{3}}{2}+ i+i^2\;\sqrt{3}=\frac{3}{2}-\sqrt{3}+i\;\frac{3\;\sqrt{3}+2}{2}=-0,232 +i \;3,6\] in forma polare: \(-0,232 +i \;3,6 \rightarrow 3,61 \angle 93,69°\) (attenzione alla parte reale negativa)

Se calcoliamo la forma polare di \(\dot w\) otteniamo: \(3 +i \;2 \rightarrow 3,61 \angle 33,69°\). Osserviamo che 93.69° − 33.69° = 60°, mentre ovviamente il modulo non è variato.
La moltiplicazione per \(cos \;\frac{\pi}{3} + i \: sin \;\frac{\pi}{3}\) ha quindi provocato la rotazione di \(\pi/3\) radianti del vettore \(3+ i\;2\) in senso antiorario.
L'operazione inversa, cioè la divisione per \(cos \;\frac{\pi}{3} + i \: sin \;\frac{\pi}{3}\) ha invece l'effetto di provocare una rotazione di \(\pi/3\) radianti in senso orario, come è facile verificare. In quest'ultimo caso, assunto - come di norma - il verso antioorario come positivo per gli angoli, si può dire che la divisione provoca un rotazione di \(-\pi/3\) radianti.
La cosa è del tutto generale: il prodotto di \(cos \; \alpha + i\; sin\; \alpha\) , (in forma polare \(1 \angle \alpha\)) per un qualsiasi vettore, ne provoca la rotazione di \(\alpha\) radianti in senso antiorario se \(\alpha\) è positivo, altrimenti in senso orario.
La divisione di un vettore qualsiasi per \(cos \; \alpha + i\; sin\; \alpha\) ne provoca la rotazione in senso orario per \(\alpha> 0\), altrimenti in senso antiorario. Dimostreremo infatti in un secondo tempo che: \[\frac {1}{cos \; \alpha + i\; sin\; \alpha} = cos \; (-\alpha) + i\; sin\; (-\alpha)\]
Avvicina o allontana l'inquadratura:

     x ∈ ]-5,5[ ,       x ∈ ]-4,4[ ,     x ∈ ]-3.5,3.5[,     x ∈ ]-2,2[,     reset

1.4.3 - La formula di De Moivre

La formula di De Moivre afferma che, dato un intero n:
\[(cos \; \alpha + i\; sin\; \alpha)^n = cos \; n\alpha + i\; sin\; n\alpha\] Consideriamo ancora il vettore \(\dot u_{\alpha}= cos \; \alpha + i\; sin\; \alpha\) e proviamo per ora a calcolare \((cos \; \alpha + i\; sin\; \alpha)^2\):
\((cos \; \alpha + i\; sin\; \alpha)^2 =(cos \; \alpha + i\; sin\; \alpha) \cdot (cos \; \alpha + i\; sin\; \alpha)=cos^2 \alpha - sin^2 \alpha + i \;2 sin\;\alpha \; cos\;\alpha \)
Dalla trigonometria sappiamo che \(cos^2 \; \alpha - sin^2 \; \alpha = cos\; 2\alpha \) e \( 2\;sin \alpha \; cos \alpha = sin \; 2\alpha \) sono le cosiddette formule di duplicazione. Mettendo in evidenza l'argomento di \((cos \; \alpha + i\; sin\; \alpha)^2\) si nota subito che esso è il doppio di \(\alpha\).
Così abbiamo dimostrato la formula di De Moivre almeno per il caso n = 2 e cioé:
\[(cos \; \alpha + i\; sin\; \alpha)^2 = cos \; 2\alpha + i\; sin\; 2\alpha\] È relativamente semplice dimostrarne la validità anche per n = 3,4,..., tuttavia poichè non possiamo procedere indefinitamente con queste verifiche ( n → ∞) dobbiamo cercare una dimostrazione generale della formula.

 
1.4.4 - Dimostrazione per induzione della formula di De Moivre

Esiste una tecnica di dimostrazione matematica molto potente: la dimostrazione per induzione.
Si procede così:

1. Si dimostra l'affermazione per un caso particolare, ad esempio n = 1 (base dell'induzione);
2. Si dimostra che se l'affemazione vale per un caso generico n, allora sarà valida anche per n+1 (passo induttivo);
3. Si conclude che, potendo essere n qualsiasi, l'affermazione è vera in generale e con ciò essa risulta dimostrata (conclusione).

Applichiamo la procedura al nostro caso.

Dobbiamo dimostrare che: \((cos \; \alpha + i\; sin\; \alpha)^n = cos \; n \alpha + i\; sin\; n \alpha\)

1. BASE;
   per n=1, \((cos \; \alpha + i\; sin\; \alpha)^1 = cos \; 1 \alpha + i\; sin\; 1 \alpha\) è banalmente vera;


2. supponiamo ora che \((cos \; \alpha + i\; sin\; \alpha)^n = cos \; n \alpha + i\; sin\; n \alpha\) sia vera per un n qualsiasi, dimostriamo che allora lo è anche per n+1, cioè:
   
   PASSO INDUTTIVO:
   se è vera: \((cos \; \alpha + i\; sin\; \alpha)^n = cos \; n \alpha + i\; sin\; n \alpha\)
   allora è vera: \( (cos \; \alpha + i\; sin\; \alpha)^{n+1} = cos \; (n+1) \alpha + i\; sin\; (n+1) \alpha\)
   
   Per la proprietà I delle potenze (par. 1.4.1):
   
   \((cos \; \alpha + i\; sin\; \alpha)^{n+1} = (cos \; \alpha + i\; sin\; \alpha)^n\cdot (cos \; \alpha + i\; sin\; \alpha)\)
   
   ma abbiamo ipotizzato che \((cos \; \alpha + i\; sin\; \alpha)^n = cos \; n \alpha + i\; sin\; n \alpha\) quindi:
   
   \((cos \; \alpha + i\; sin\; \alpha)^{n+1} = (cos \;n \alpha + i\; sin\; n\alpha)\cdot (cos \; \alpha + i\; sin\; \alpha)\)
   
   Posto per comodità \(n \alpha =\beta\) e quindi \((cos \;n \alpha + i\; sin\; n\alpha) = (cos \; \beta + i\; sin\; \beta)\) eseguiamo il prodotto:
   
   \((cos \; \beta + i\; sin\; \beta)\cdot (cos \; \alpha + i\; sin\; \alpha)=\\ = cos\, \beta\;cos\;\alpha +i^2 sin\;\beta\;sin\;\alpha+ i\;(sin\;\beta\;cos\;\alpha+sin\:\alpha\;cos\;\beta)=\\ = cos\, \beta\;cos\;\alpha - sin\;\beta\;sin\;\alpha+ i\;(sin\;\beta\;cos\;\alpha+sin\:\alpha\;cos\;\beta)=\\ = cos\;(\beta+\alpha)+i\;sin\;(\beta+\alpha)= cos\;(n \alpha+\alpha)+i\;sin\;(n \alpha+\alpha)=\\ =cos\;(n+1) \alpha+i\;sin\;(n+1)\alpha\)
   
   Con ciò abbiamo dimostrato che:
   \[ (cos \; \alpha + i\; sin\; \alpha)^{n+1} = cos \; (n+1) \alpha + i\; sin\; (n+1) \alpha\]
3. Poichè non abbiamo posto alcuna restrizione su n, esso può assumere qualsiasi valore (da 1 a ∞) e quindi la formula di De Moivre:
   \[(cos \; \alpha + i\; sin\; \alpha)^n = cos \; n\alpha + i\; sin\; n\alpha\] è dimostrata.

In generale allora la potenza  n-sima, con n intero, di un numero complessso potrà essere espressa come:
\[[r_z\;(cos \; \alpha + i\; sin\; \alpha)]^n = r_z^n \;(cos \; n\alpha + i\; sin\; n\alpha)\]
1.5 - Radici di un numero complesso

L'operazione inversa dell'elevamento a potenza è l'estrazione di radice.
Il numero \(\dot w\) è la radice n-sima di \(\dot z\) se \(\dot w^n = \dot z\), con n intero.
Com'è noto l'operazione estrazione della radice n-sima equivale all'elevamento a potenza con esponente 1/n:
\[ (\dot w^n)^{\frac{1} {n}} = \dot z^{\frac {1}{n}} \Rightarrow \dot w ^{\frac{n}{n}} = \dot z^{\frac {1}{n}} \Rightarrow \dot w = \dot z^{\frac {1}{n}} \Rightarrow \dot w = \sqrt[n] {\dot z}\]

1.5.1 - Radice quadrata di un numero complesso in forma algebrica

Se \(\hspace {0.3cm} \dot w = a+i\;b \hspace{0.3cm}\) e \(\hspace {0.3cm} \dot z = u+i\;v \hspace {0.3cm}\) dalle relazioni precedenti abbiamo:
\[ (a+i\;b)^2 = u+i\;v \] cioè:
\[ a^2 - b^2 + i\;2ab = u + i\;v \]
Due numeri complessi sono uguali se sono rispettivamente uguali la parte reale e la parte immaginaria, dunque:

\[\begin{cases} a^2-b^2 = u \\ 2ab = v \end{cases}\]
la soluzione del sistema dà:

\[ \sqrt{\dot z}= \pm \sqrt { \frac {u+\sqrt{u^2+v^2}}{2} } \pm i\;\sqrt { \frac {-u+\sqrt{u^2+v^2}}{2} } = a + i\;b \]
È istruttivo calcolare la radice quadrata per alcuni particolari numeri.
Per \(\dot z =\) \(4 + i\;0\)  ( u=4, v=0), sostituendo nella formula precedente abbiamo la radice quadrata:

\( \hspace{1cm} \sqrt{\dot z} \) \( = a+i\;b = \pm (\sqrt{8/2}+ i\; \sqrt{0}= \pm 2\), come ci aspettiamo.

Proviamo ora con \(\dot z =\) = \(0 + i\;4\) (u=0, v=4):

\( \sqrt{\dot z} \) \( = a+i\;b = \pm (\sqrt{4/2}+ i\; \sqrt{4/2}= \pm (\sqrt{2}+ i\: \sqrt{2})\)

Fatto interessante : la radice quadrata del numero immaginario \( i\;4\) non è data da un numero immaginario puro (ad esempio \( i\;2\)) ma dal numero complesso \(\pm (\sqrt{2}+ i\: \sqrt{2})\):
\[ \sqrt{i\;4} = \pm (\sqrt{2}+ i\: \sqrt{2})\] La forma polare della radice positiva ci indica chiaramente che l'argomento è dimezzato rispetto a quello del radicando \( \sqrt{2}+ i\: \sqrt{2} \rightarrow 2 \angle\; 45° \)

La molteplicità delle radici, come ci aspettavamo è 2.


1.5.2 - Esempio di radice cubica (n=3) di un numero complesso

Supponiamo di voler trovare la radice cubica di 8. Nel campo reale abbiamo un'unica soluzione: \( \sqrt[3]{8}=2\).
Tuttavia ora sappiamo che un numero reale altro non è se non un numero complesso con parte immaginaria nulla: \( 8 = \)\(\; 8+ i\: 0\; \).
Cosa succede se estraiamo la radice cubica di questo numero, \( \sqrt[3]{8 +i\;0}\; \)? Avremo ancora un'unica soluzione?

Seguendo la linea di ragionamento del paragrafo precedente, se il numero \( a + i\;b\) è la radice cubica cercata allora:
\[ (a + i\;b)^3 = u + i\; v \] cioè ⁽⁵⁾:
\[ a^3 + (i\;b)^3 + i\;3a^2b + i^2 3ab^2 = u + i\; v \] Ora ricordando che \( i^2 = -1\), \( i^3 = -i\) e che quindi \( (i\;b)^3 = -i\;b^3\):
\[ (a^3 - 3ab^2) +i\;(3a^2b -b^3) = u + i\; v \] Nel nostro caso particolare:
\[ (a^3 - 3ab^2) +i\;(3a^2b -b^3) = 8 + i\; 0 \] Dobbiamo allora eguagliare le parti reali e le parti immaginarie:
\[\begin{cases} a^3-3ab^2=8 \\ 3a^2b-b^3 = 0 \end{cases}\] La seconda equazione \(3a^2b-b^3 = 0 \), raccolto il fattore comune: \( b(3a^2-b^2)=0 \) e risolta fornisce le tre soluzioni: \(b = 0;\; b = a\sqrt{3};\; b= -a\sqrt{3} \).

1) Per \(b = 0\) la seconda equazione degenera nell'identità 0 = 0 e ciò vale anche per gli altri due casi:
\[\begin{cases} a^3-3ab^2=8 \\ 3a^2b-b^3 = 0 \end{cases} \hspace{1cm} \begin{cases} a^3 = 8 \\ 0 = 0 \end{cases} \hspace{0.5cm} \Rightarrow \hspace{0.5cm} \begin{cases} a = 2 \\ b = 0 \end{cases} \]
e abbiamo quindi la soluzione \(2 + i\;0\)

2) Per \(b = a\sqrt{3}\):

\[\begin{cases} a^3-3a(a\sqrt{3})^2=8 \\ 3a^2a\sqrt{3}-(a\sqrt{3})^3 = 0 \end{cases} \hspace{1cm} \begin{cases} a^3-9a^3=8 \\ 0 = 0 \end{cases} \hspace{1cm} \begin{cases} a^3=-1 \\ 0 = 0 \end{cases} \hspace{0.5cm} \Rightarrow \hspace{0.5cm} \begin{cases} a=-1 \\ b= -\sqrt{3} \end{cases}\]
che fornisce la soluzione   \(-1 - i\;\sqrt{3}\)

3) Per \( b= -a\sqrt{3} \)

\[\begin{cases} a^3-3a(-a\sqrt{3})^2=8 \\ 3a^2(-a\sqrt{3})-(-a\sqrt{3})^3 = 0 \end{cases} \hspace{0.6cm} \begin{cases} a^3-9a^3=8 \\ 0 = 0 \end{cases} \hspace{0.6cm} \begin{cases} a^3=-1 \\ 0 = 0 \end{cases} \hspace{0.5cm} \Rightarrow \hspace{0.5cm} \begin{cases} a=-1 \\ b= +\sqrt{3} \end{cases}\] che fornisce la soluzione   \(-1 + i\;\sqrt{3}\)

La radice \( \sqrt[3]{8 +i\;0}\; \) ha allora tre soluzioni in campo complesso:

\( 2 + i\;0; \;-1 - i\;\sqrt{3};\;-1 + i\;\sqrt{3}\)


1.5.3 - Radici ed equazioni algebriche

È interessante notare che, nel campo dei complessi, il numero di radici (dall'esempio almeno fino a n = 3) sembra essere uguale all'indice della radice stessa. Cioè, data la \( \sqrt[n]{x}\), con x complesso e n intero, avremmo per n = 2 due radici, per n = 3 tre radici.
Se così fosse e se questa congettura fosse vera per ogni n, la situazione sarebbe più soddisfacente rispetto a quanto accade in campo reale, in cui \( \sqrt[n]{x}\) non ha soluzioni se n è pari e x < 0, oppure ha 1 soluzione se n è dispari e due se n è pari e x > 0.
D'altra parte l'estrazione di radice di indice n è in qualche modo correlata all'esistenza di soluzioni (che non a caso chiamiamo radici) di equazioni algebriche di grado n, come \( a_n x^n + a_{n-1}x^{n-1} + a_{n-2}x^{n-2} + ... + a_2 x^2 + a_1 x^1 + a_0 = 0\) dove i coefficienti a_i e la variabile x sono, nel caso più generale, numeri complessi.
Ad esempio, \( \sqrt{4096}\) , equivale a risolvere l'equazione di secondo grado \(x^2= 4096 \) da cui si ottengono le due soluzioni reali  x = 64 e  x = −64
Estrarre la radice cubica di 4096, \( \sqrt[3]{4096}\) , significa risolvere l'equazione di terzo grado \( x^3 = 4096\), con l'unica soluzione reale x = 16.
L'estrazione della radice quarta, \( \sqrt[4]{4096}\) equivale a risolvere l'equazione di quarto grado \( x^4 = 4096\).
Quest'ultima è un'equazione bi-quadratica che può essere risolta con la nota tecnica della sostituzione di variabile:
se poniamo \( t = x^2\) l'equazione diviene: \( t^2 = 4096\), che, come prima, dà le soluzioni reali: t = 64 e  t = −64.
L'equazione di quarto grado equivale allora alle due equazioni di secondo grado :

1. \( x^2 = 64\)
2. \( x^2 = -64\)

la prima delle quali ha le due soluzioni reali x = 8 e  x = −8.
La seconda equazione invece non ha soluzioni  nel campo dei numeri reali.


1.5.4 - La chiusura algebrica, ovvero quanti tipi di numeri ci vogliono?

Il fatto che esistano equazioni non risolubili , o operazioni non eseguibili all'interno di una certa struttura algebrica (si direbbe in linguaggio tecnico che la struttura  non è algebricamente chiusa) costituisce una forte motivazione per  l'introduzione di nuovi tipi di numeri. Il campo dei reali non è chiuso per l'estrazione di radice quadrata perchè questa operazione non è eseguibile per numeri reali negativi. Il campo complesso è invece chiuso per questa operazione. 
Nuovi tipi di numero sono stati introdotti nel tempo per risolvere problemi di chiusura algebrica:
i numeri interi relativi  ℤ risolvono il problema di sottrazioni tipo 3− 5, impossibile all'interno dei numeri interi naturali;
i razionali ℚ permettono la divisione tra interi non divisibili, es. 3 : 5;
con i reali ℝ si affrontano questioni più delicate quali l'esistenza di  numeri irrazionali (come √2)  e di numeri trascendenti  come e, numero di nepero, o π, pi greco, rapporto tra circonferenza e raggio;
i numeri complessi ℂ sono la chiusura algebrica dei numeri reali. Un teorema la cui dimostrazione esula dallo scopo di questa lezione, detto teorema fondamentale dell'Algebra, assicura che tutte le operazioni e tutte le equazioni algebriche sono risolubili in campo complesso e quindi non è e non sarà più necessario ricorrere a nuovi tipi di  numeri. 


1.5.5 - Radice n-sima di un numero complesso

Cerchiamo ora di dimostrare che è possibile estrarre la radice di indice n intero di un numero complesso con n qualsiasi e che il numero di queste radici coincide con l'indice n. Per questo è utile ricorrere alla rappresentazione trigonometrica dei numeri complessi.
Nel precedente paragrafo  1.4.4 abbiamo dimostrato la validità dell'importante formula di De Moivre:
\[(cos \; \alpha + i\; sin\; \alpha)^n = cos \; n\alpha + i\; sin\; n\alpha\]
grazie ad essa è possibile esprimere la potenza n-ma intera di un numero complesso come:
\[[z\;(cos \; \alpha + i\; sin\; \alpha)]^n = z^n \;(cos \; n\alpha + i\; sin\; n\alpha)\]
in cui z ( z= r_z) è il modulo del numero complesso ed è sempre positivo.
Immaginiamo ora di calcolare la radice n-sima di \(\dot w = w\; (cos \; \beta + i\; sin\; \beta)\) e che questa radice sia \(\dot z \): \(\sqrt{\dot w} = \dot w^{\frac {1}{n}} = \dot z \). Allora  \(\dot z^n = \dot w \) e cioè:

\[ z^n \;(cos \; n\alpha + i\; sin\; n\alpha)= w\; (cos \; \beta + i\; sin\; \beta)\]
Perchè questa uguaglianza sia verificata è necessario che: \[\begin{cases} z^n = w \\ cos\; n\alpha = cos \; \beta \\ sin \;n\alpha = sin \;\beta \end{cases}\]
Tuttavia sappiamo che le funzioni trigonometriche seno e coseno sono periodiche con periodo \(2 \pi \) per cui dovremo avere:
\[n \alpha= \beta + 2 k \pi \hspace{1cm} k = 0, \pm 1, \pm 2, \pm 3, ... \]
Da questa equazione ricaviamo:
\[\alpha= \frac{ \beta}{n} + \frac{2 k \pi}{n} \hspace{1cm} k = 0, \pm 1, \pm 2, \pm 3, ... \] Se k ∈ ℤ, avremo valori di α che si ripetono, e quindi radici non distinte.
Se, ad esempio, diamo a k il valore n, abbiamo \(\alpha= \frac{ \beta}{n} + \frac{2 n \pi}{n}\) e quindi \(\alpha= \frac{ \beta}{n} + 2 \pi \) che è ancora uguale a \( \frac{ \beta}{n}\).
Allora per avere radici distinte il valore massimo di k sarà n −1, dato che  per k = n avremmo una radice già trovata con k = 0.
Se consideriamo i valori negativi, ad esempio k= −1, avremo \(\alpha= \frac{ \beta}{n} - \frac {2 \pi}{n}\), che però è uguale a \(\alpha= (\frac{ \beta}{n} - \frac {2 \pi}{n})+ 2\pi = \frac{ \beta}{n} +2 \pi \frac{n-1}{n} \), valore che otterremmo anche con k = n −1.
Proseguendo si può facilmente verificare che il valore di α per k = −2 si può ottenere anche per k = n −2. Quindi possiamo limitarci ai valori positivi di k.
Ogni numero complesso possiede allora n radici distinte, così espresse:

\[\sqrt[n]{\dot w} = w^{\frac{1}{n}} \left( cos \frac{ \beta +2 k \pi}{n} + i\;sin \frac{ \beta +2 k \pi}{n} \right) \hspace{1cm} k = 0, 1, 2, ..., n-1 \]

1.5.6 - Le radici dell'unità

Come abbiamo visto, l'unità in campo complesso è il numero \(\dot 1 = 1 + i\;0\), oppure la coppia (1,0).
Se: zⁿ = 1,  allora z rappresenta le radici n-sime dell'unità
La formula precedente dà in questo caso (β = 0 ):
\[\sqrt[n]{1 + i\;0} = \left( cos \frac{ 2 k \pi}{n} + i\;sin \frac{ 2 k \pi}{n} \right) \hspace{1cm} k = 0, 1, 2, ..., n-1 \]

  Numeri complessi: 2° parte

Testi dell'autore

   Correnti Alternate

    Sistemi Trifase

   Esercizi di Macchine Elettriche Libreriauniversitaria.it

Rev. 23/08/2017

---

⁽¹⁾  Il termine campo non è usato casualmente. In Algebra campo indica una particolare struttura dotata delle proprietà di un anello commutativo (un insieme su cui sono definite somma e moltiplicazione, e sono valide la legge associativa e commutativa) oltre alla esistenza del reciproco di ogni elemento diverso da zero. 
⁽²⁾  In alcuni casi, per esempio Elettrotecnica ed Elettronica, per evitare confusioni con il simbolo dell'intensità di corrente, si preferisce usare  j = √−1  anzichè i, come simbolo per l'unità immaginaria. 
⁽³⁾ Ovviamente, nel caso di generalizzazioni, si cerca di applicare regole e definizioni già utilizzate per altri tipi di numeri.   
⁽⁴⁾ Usiamo qui una notazione semplificata per le funzioni trigonometriche: cos(α) → cos α,  sin(α) → sin α.
⁽⁵⁾ Si confronti con il cubo del binomio (a+b)³ = a³ + b³ + 3a²b + 3ab².