title: Radicale (matematica)
text: # Radicale (matematica)
  
  In matematica, la radice $n$-esima o radicale $n$-esimo, con $n\in \mathbb {N} \setminus \{0\}$, di un numero reale $a\geq 0$, scritto come ${\sqrt[{n}]{a}}$, è un numero reale $b\geq 0$ tale che $b^{n}=a$. Il numero reale $a$ è detto radicando, il numero $n$ è detto indice e il numero $b$ è detto radice $n$-esima di $a$.
  
  Una radice con indice 2 è indicata con il nome di radice quadrata e una radice con indice 3 con il nome di radice cubica o radice terza, ma esistono radici con qualsiasi indice.
  
  ## Le condizioni di esistenza
  
  Le condizioni di esistenza sono quell'insieme dei valori delle variabili contenute nel radicale per i quali esso esiste nel campo dei numeri reali.
  
  La funzione radice $n$-esima è una funzione definita da $\mathbb {R} ^{+}\cup \{0\}\to \mathbb {R}$, perciò ${\sqrt[{n}]{a}}$ resta definita $\iff a\geq 0$
  
  Per esempio, i seguenti radicali esprimono numeri reali:
  
      ${\sqrt {9}}=3;\quad -{\sqrt {25}}=-5;\quad {\sqrt[{3}]{8}}=2;\quad -{\sqrt[{3}]{27}}=-3;\quad {\sqrt {2}}=1,4142\dots \,,\quad -{\sqrt {\pi }}=-1,7724\dots$
  
  Si può ottenere un risultato analogo alla radice ennesima attraverso l'elevamento a potenza con esponente frazionario:
  
      $a^{\frac {1}{n}}=b\Longleftrightarrow \left(a^{\frac {1}{n}}\right)^{n}=b^{n}$
  
  Tuttavia la funzione potenza è definita da $\mathbb {R} \to \mathbb {R}$, perciò essa permette di definire due sottocasi:
  
  * se $a\geq 0\implies a^{\frac {1}{n}}\equiv {\sqrt[{n}]{a}}$
  * se $a<0\implies \exists \,a^{\frac {1}{n}}\in \mathbb {R} \iff n$ è dispari
  
  Ciò implica che equazioni del tipo $x^{n}+a=0$, con $n$ pari e $a>0$ non hanno soluzioni reali, esse infatti appartengono all'insieme dei numeri immaginari, sottoinsieme dell'insieme dei numeri complessi, indicato con $\mathbb {C}$, che vengono espressi come somma di un numero reale e un numero immaginario.
  
  Ad esempio, l'equazione $x^{2}+4=0$ avrà per soluzioni $2i$ e $-2i$, dove $i$ rappresenta l'unità immaginaria.
  
  Quanto visto finora ci permette d'individuare che, ad esempio, la condizione di esistenza del radicale ${\sqrt {x}}$ è $C.E.:x\geq 0$, dato che il radicando deve essere sempre positivo.
  
  Ecco altri esempi di condizioni di esistenza:
  
  * ${\sqrt[{2}]{x-1}}$ ha come condizioni di esistenza $x\geq 1$: infatti, si deve risolvere la disequazione $x-1\geq 0$, la cui soluzione è proprio $x\geq 1$.
  * $(x-1)^{\frac {1}{3}}$, invece, esiste $\forall x\in \mathbb {R}$.
  * ${\sqrt {\frac {x+1}{x-2}}}$ ha come condizioni di esistenza $x\leq -1\ \lor \ x>2$, poiché è necessario risolvere la disequazione fratta ${\frac {x+1}{x-2}}\geq 0$.
  * Un ultimo esempio: per trovare le condizioni di esistenza del radicale ${\sqrt {\frac {x^{2}(x+1)^{2}}{x+2}}}$ è necessario risolvere la disequazione ${\frac {x^{2}(x+1)^{2}}{x+2}}\geq 0$, che ha come soluzione $x>-2$, ricordando che i fattori $x$ ed $x+1$ sono sempre positivi o nulli, in quanto quadrati.
  
  ## Operazioni fondamentali
  
  Esistono delle proprietà fondamentali delle radici che vengono elencate di seguito:
  
  ### Prima proprietà fondamentale dei radicali
  
  Dalla definizione di radicale segue che:
  
      $\left({\sqrt[{n}]{a}}\right)^{n}=a$, con $a\geq 0$ se $n$ pari, $a\in \mathbb {R}$ se $n$ dispari, $n\in \mathbb {N} \setminus \{0\}$.
  
  ### Prodotto di radicali
  
      ${\sqrt[{n}]{a}}{\sqrt[{n}]{b}}={\sqrt[{n}]{ab}}$, con $a\geq 0$, $b\geq 0$, $n\in \mathbb {N} \setminus \{0\}$
  
  **Dimostrazione**
  
  Si elevino all'ennesima potenza entrambi i membri dell'uguaglianza:
  
      $\left({\sqrt[{n}]{a}}{\sqrt[{n}]{b}}\right)^{n}=\left({\sqrt[{n}]{a}}\right)^{n}\left({\sqrt[{n}]{b}}\right)^{n}=ab$ (per la prima proprietà fondamentale dei radicali)
      $\left({\sqrt[{n}]{ab}}\right)^{n}=ab$ (per la prima proprietà fondamentale dei radicali)
  
  Poiché le $n$-esime potenze dei due membri sono uguali ($ab=ab$), sono uguali anche le basi.
  
  **Esempi**
  
  Applicando la proprietà:
  
      ${\sqrt {5}}{\sqrt {10}}{\sqrt {40}}={\sqrt {5\cdot 10\cdot 40}}={\sqrt {2000}}=20{\sqrt {5}}$
  
  Allo stesso modo, con $C.E:\ x>1$:
  
      ${\sqrt {x-1}}{\sqrt {x}}{\sqrt {\frac {1}{x-1}}}={\sqrt {\frac {x(x-1)}{x-1}}}={\sqrt {x}}$
  
  ### Quoziente di radicali
  
      ${\frac {\sqrt[{n}]{a}}{\sqrt[{n}]{b}}}={\sqrt[{n}]{\frac {a}{b}}}$, con $a\geq 0$, $b>0$, $n\in \mathbb {N} -\{0\}$
  
  **Dimostrazione**
  
  Si elevino all'ennesima potenza entrambi i membri dell'uguaglianza:
  
      $\left({\frac {\sqrt[{n}]{a}}{\sqrt[{n}]{b}}}\right)^{n}={\frac {\left({\sqrt[{n}]{a}}\right)^{n}}{\left({\sqrt[{n}]{b}}\right)^{n}}}={\frac {a}{b}}$ (per la prima proprietà fondamentale dei radicali)
      $\left({\sqrt[{n}]{\frac {a}{b}}}\right)^{n}={\frac {a}{b}}$ (per la prima proprietà fondamentale dei radicali)
  
  Poiché le $n$-esime potenze dei due membri sono uguali $\left({\frac {a}{b}}={\frac {a}{b}}\right)$, sono uguali anche le basi.
  
  **Esempi**
  
  Applicando la proprietà:
  
      ${\frac {\sqrt {50}}{\sqrt {25}}}={\sqrt {\frac {50}{25}}}={\sqrt {2}}$
  
  Allo stesso modo, con $C.E:\ x>-2$:
  
      ${\frac {\sqrt {x+2}}{\sqrt {(x+2)(x+3)}}}={\sqrt {\frac {x+2}{(x+2)(x+3)}}}={\sqrt {\frac {1}{x+3}}}$
  
  ### Potenze di radicali
  
      $({\sqrt[{n}]{a}})^{m}={\sqrt[{n}]{a^{m}}}$, con $a\geq 0$, $n,m\in \mathbb {N} \setminus \{0\}$
  
  Non è necessario dimostrare questa proprietà in quanto è una diretta conseguenza della seconda proprietà dei radicali con il radicando sempre positivo.
  
  **Esempi**
  
  Applicando la proprietà:
  
      $\left({\sqrt {5}}\right)^{4}={\sqrt {5^{4}}}=25$
  
  Allo stesso modo, con $C.E:\ x\geq -1$
  
      $\left({\sqrt {x+1}}\right)^{4}={\sqrt {(x+1)^{4}}}=(x+1)^{2}$
  
  ### Radice di un radicale
  
      ${\sqrt[{n}]{\sqrt[{m}]{a}}}={\sqrt[{mn}]{a}}$, con $a\geq 0$, $n,m\in \mathbb {N} \setminus \{0\}$
  
  **Dimostrazione**
  
  Si elevino all'$nm$-esima potenza entrambi i membri dell'uguaglianza:
  
      $\left({\sqrt[{n}]{\sqrt[{m}]{a}}}\right)^{nm}=\left(\left({\sqrt[{n}]{\sqrt[{m}]{a}}}\right)^{n}\right)^{m}=\left({\sqrt[{m}]{a}}\right)^{m}=a$ (per la prima proprietà fondamentale dei radicali)
      $\left({\sqrt[{mn}]{a}}\right)^{mn}=a$ (per la prima proprietà fondamentale dei radicali)
  
  Poiché le $nm$-esime potenze dei due membri sono uguali ($a=a$), sono uguali anche le basi.
  
  **Esempi**
  
  Applicando la proprietà:
  
      ${\sqrt {\sqrt[{3}]{3}}}={\sqrt[{2\cdot 3}]{3}}={\sqrt[{6}]{3}}$
  
  Allo stesso modo, con $C.E:x\geq 0$, $n\neq 0\ \land \ n\neq 1$
  
      ${\sqrt[{n}]{\sqrt[{n-1}]{x}}}={\sqrt[{n(n-1)}]{x}}={\sqrt[{n^{2}-n}]{x}}$
  
  ### Portar fuori
  
      ${\sqrt[{n}]{a^{n}b}}=a{\sqrt[{n}]{b}}$, con $a\geq 0$, $b>0$, $n\in \mathbb {N} -\{0\}$
  
  **Dimostrazione**
  
  Per il teorema del prodotto si ottiene:
  
      ${\sqrt[{n}]{a^{n}b}}={\sqrt[{n}]{a^{n}}}{\sqrt[{n}]{b}}$
  
  Ma, per la seconda proprietà fondamentale dei radicale è ${\sqrt[{n}]{a^{n}}}=a$, perciò:
  
      ${\sqrt[{n}]{a^{n}b}}={\sqrt[{n}]{a^{n}}}{\sqrt[{n}]{b}}=a{\sqrt[{n}]{b}}$
  
  **Esempi**
  
  Applicando la proprietà:
  
      ${\sqrt {500}}={\sqrt {100\cdot 5}}=10{\sqrt {5}}$
  
  Allo stesso modo, con $C.E:\ x\geq 0$:
  
      ${\sqrt {x(x+1)^{2}}}=(x+1){\sqrt {x}}$
  
  **Varianti**
  
  Il teorema presenta le seguenti varianti, facilmente verificabili:
  
      ${\sqrt[{n}]{a^{nx}b}}=a^{x}{\sqrt[{n}]{b}}$, con $a\geq 0$, $b>0$, $n,x\in \mathbb {N} \setminus \{0\}$
      ${\sqrt[{n}]{a^{nx+k}}}=a^{x}{\sqrt[{n}]{a^{k}}}$, con $a\geq 0$, $n,k\in \mathbb {N} \setminus \{0\}$
  
  ### Portar dentro
  
      $a{\sqrt[{n}]{b}}={\sqrt[{n}]{a^{n}b}}$, con $a\geq 0$, $b>0$, $n\in \mathbb {N} \setminus \{0\}$
  
  **Dimostrazione**
  
  Elevando tutto alla $n$-esima potenza si ottiene:
  
      $a{\sqrt[{n}]{b}}=a^{n}b$
  
  Radicando ora il tutto sotto radice di indice $n$ risulta:
  
      $a^{n}b={\sqrt[{n}]{a^{n}b}}$
  
  Quindi:
  
      $a{\sqrt[{n}]{b}}={\sqrt[{n}]{a^{n}b}}$
  
  **Esempi**
  
  Applicando la proprietà:
  
      $10{\sqrt {3}}={\sqrt {10^{2}\cdot 3}}={\sqrt {300}}$
  
  Allo stesso modo:
  
      $x{\sqrt {3}}={\sqrt {3x^{2}}}$ per $x\geq 0$
      $-{\sqrt {3x^{2}}}$ per $x<0$
  
  **Varianti**
  
  Il teorema presenta le seguenti varianti, facilmente verificabili:
  
      $a^{x}{\sqrt[{n}]{b}}={\sqrt[{n}]{a^{nx}b}}$, con $a\geq 0$, $b>0$, $n,x\in \mathbb {N} \setminus \{0\}$
      $a^{x}{\sqrt[{n}]{a^{k}}}={\sqrt[{n}]{a^{nx+k}}}$, con $a\geq 0$, $n,x\in \mathbb {N} \setminus \{0\}$
  
  ### Potenze ad esponente razionale
  
  Tenendo conto di quanto detto finora, si ha che per $a\geq 0$
  
  * $a^{\frac {m}{n}}\equiv {\sqrt[{n}]{a^{m}}}$
  * $a^{-{\frac {m}{n}}}\equiv {\frac {1}{\sqrt[{n}]{a^{m}}}}$
  
  Il primo enunciato si ottiene direttamente dalla definizione di radicale, il secondo applicando il teorema delle potenze ad esponente negativo.
  
  ### Radicali quadratici doppi
  
      ${\sqrt {a\pm {\sqrt {b}}}}={\sqrt {\frac {a+{\sqrt {a^{2}-b}}}{2}}}\pm {\sqrt {\frac {a-{\sqrt {a^{2}-b}}}{2}}}$
  
  dove $a>0$, $b>0$e $a^{2}>b$.
  
  Per ogni numero complesso $a\neq 0$, ci sono $n$ diversi numeri complessi $b$ tali che $b^{n}=a$, quindi il simbolo ${\sqrt[{n}]{a}}$ non può essere usato univocamente. Se $a=1$, parliamo di radici n-esime dell'unità.
  
  ## Somme di radicali
  
  È importante ricordare che, in generale, è sempre (per $a\geq 0$, $b\geq 0$):
  
      ${\sqrt {a}}+{\sqrt {b}}\geq {\sqrt {a+b}}$
  
  tenendo presente che l'uguaglianza si ha se e solo se almeno uno tra $a$ e $b$ è $0$.
  
  Quindi, affermare che ${\sqrt {2}}+{\sqrt {3}}={\sqrt {5}}$ sarebbe un gravissimo errore.
  
  ### Dimostrazione
  
  Partendo dalla disequazione:
  
      ${\sqrt {a}}+{\sqrt {b}}\geq {\sqrt {a+b}}$
  
  Elevando al quadrato si ottiene:
  
      $\left({\sqrt {a}}+{\sqrt {b}}\right)^{2}\geq \left({\sqrt {a+b}}\right)^{2}$
      $a+b+2{\sqrt {ab}}\geq a+b$
      $2{\sqrt {ab}}\geq 0$
  
  Poiché è $a\geq 0$ e $b\geq 0$ per ipotesi, è anche ${\sqrt {ab}}\geq 0$, quindi la tesi è vera.
  
  ### Generalizzazione
  
  Il teorema è facilmente estendibile alle radici di indice $n$-esimo:
  
      ${\sqrt[{n}]{a}}+{\sqrt[{n}]{b}}\geq {\sqrt[{n}]{a+b}}$, con $a\geq 0$, $b\geq 0$, $n\in \mathbb {N} \setminus \{0\}$
  
  ### Casi in cui la somma è possibile
  
  La somma di radicali è possibile solo se sono presenti radicali simili, cioè nel caso in cui:
  
      $a{\sqrt[{n}]{k}}+b{\sqrt[{n}]{k}}=\left(a+b\right){\sqrt[{n}]{k}}$, con $k>0$
  
  Ad esempio:
  
      $10{\sqrt {2}}+5{\sqrt {2}}=(10+5){\sqrt {2}}=15{\sqrt {2}}$
      $5+3{\sqrt {5}}={\sqrt {5}}{\sqrt {5}}+3{\sqrt {5}}=\left({\sqrt {5}}+3\right){\sqrt {5}}$
  
  Nel secondo esempio si tenga presente che vale $n={\sqrt {n}}{\sqrt {n}}$.
  
  ## Proprietà invariantiva dei radicali
  
  La proprietà invariantiva dei radicali afferma che:
  
  "Moltiplicando o dividendo sia l'indice di un radicale che l'esponente del suo radicando per un numero naturale diverso da 0, si ottiene un radicale equivalente a quello dato."
  
  In simboli:
  
      ${\sqrt[{n}]{x}}={\sqrt[{np}]{x^{p}}}$, con $x\geq 0$, $n,p\in \mathbb {N} \setminus \{0\}$
  
  ### Dimostrazione
  
  Si elevi alla $np$ potenza ciascuno dei due membri:
  
      $\left({\sqrt[{n}]{x}}\right)^{np}=\left(\left({\sqrt[{n}]{x}}\right)^{n}\right)^{p}=x^{p}$ (per la prima proprietà fondamentale dei radicali)
      $\left({\sqrt[{np}]{x^{p}}}\right)^{np}=x^{p}$ (per la prima proprietà fondamentale dei radicali)
  
  Si ottiene $x^{p}=x^{p}$, e, poiché le $np$-esime potenze dei due membri sono uguali, sono uguali anche le basi.
  
  ### Esempi
  
  Utilizzando la proprietà invariantiva è possibile semplificare i radicali, dividendo sia indice che esponente del radicando per uno stesso numero:
  
      ${\sqrt[{10}]{3^{5}}}={\sqrt[{\frac {10}{5}}]{3^{\frac {5}{5}}}}={\sqrt {3}}$
  
  Allo stesso modo:
  
      ${\sqrt[{20}]{(x+1)^{10}}}={\sqrt {|x+1|}}$
  
  Si noti che nell'espressione è stato inserito il valore assoluto: questo perché, mentre il primo radicale ${\sqrt[{20}]{(x+1)^{10}}}$ esiste sempre, dato che ha il radicando elevato ad un indice pari, successivamente viene semplificato ed il suo radicando non è più elevato ad un esponente pari. Quindi è necessario inserire il valore assoluto, per fare in modo che l'uguaglianza si mantenga valida.
  
  ## Casi particolari
  
  La radice $n$-esima di $0$ vale sempre $0$, escludendo il caso in cui è $n=0$, poiché la radice di indice $0$ ha significato solo se il radicando è uguale ad $1$, ossia nel caso:
  
      ${\sqrt[{0}]{1}}=\mathbb {C} \setminus \{0\}$, poiché l'operazione inversa, $n^{0}$, con $n\neq 0$, dà sempre come risultato il valore $1$, quindi qualsiasi valore, anche complesso, di $n$ è accettabile.
  
  Inoltre, è sempre:
  
      ${\sqrt[{n}]{1}}=1$
      ${\sqrt[{1}]{n}}=n$
  
  ## Razionalizzazione
  
  Nelle elaborazioni di espressioni e formule algebriche, è spesso utile manipolare i radicali usando le relazioni scritte sopra, senza tentare di calcolare il valore di ogni singolo elemento. Ad esempio, se $a$ e $b$ sono due numeri positivi distinti:
  
      ${\begin{aligned}({\sqrt {a}}+{\sqrt {b}})({\sqrt {a}}-{\sqrt {b}})&={\sqrt {a}}{\sqrt {a}}-{\sqrt {a}}{\sqrt {b}}+{\sqrt {b}}{\sqrt {a}}-{\sqrt {b}}{\sqrt {b}}\\&=a-b\end{aligned}}$
      $({\sqrt {a}}+{\sqrt {b}})^{-1}={\frac {1}{({\sqrt {a}}+{\sqrt {b}})}}={\frac {1}{{\sqrt {a}}+{\sqrt {b}}}}\cdot {\frac {{\sqrt {a}}-{\sqrt {b}}}{{\sqrt {a}}-{\sqrt {b}}}}={\frac {{\sqrt {a}}-{\sqrt {b}}}{a-b}}$
  
  L'ultima relazione può servire per razionalizzare il denominatore di un'espressione o di un'equazione.
  
  ## Radicali letterali
  
  Può capitare, spesso in analisi, di trovare radicali letterali, ossia radici quadrate con radicando letterale. In questo caso, dapprima bisogna trovare la condizione di esistenza (chiamata anche C.A. Condizione di accettabilità, o C.R.R. Condizione di Realtà del Radicando), nel caso si lavori solo tra i numeri reali, per poi considerare sempre quando le lettere indicano numeri positivi o numeri negativi.
  
  Un esempio di radicale letterale:
  
      ${\sqrt[{n}]{\frac {x+3}{x^{3}-1}}}$
  
  Le condizioni di esistenza si ricavano nel seguente modo:
  
  * Per l'indice, è semplicemente $n\in \mathbb {N} \setminus \{0\}$, poiché è l'unico numero naturale per cui perde di significato;
  * Se l'indice è pari, per il radicando è necessario risolvere la disequazione frazionaria ${\frac {x+3}{x^{3}-1}}\geq 0$, la cui soluzione è: $x>1\ \ \lor \ \ x\leq -3$.
  * Se l'indice è dispari, per il radicando basta imporre le condizioni di esistenza sul denominatore, ossia $x^{3}-1\neq 0\Longleftrightarrow x\neq 1$.
  
  Pertanto il campo di esistenza del radicale è: $C.E:\ \ \left(x>1\ \lor \ x\leq -3\right)\ \land \ \left(n\neq 0\right)$.
  
  