# I Radicali (superiori)
## Radici
### Radici quadrate

Ricordiamo che il quadrato di un numero reale $a$ è il numero che si ottiene moltiplicando $a$ per se stesso. Il quadrato di un numero è sempre un numero non negativo; numeri opposti hanno lo stesso quadrato: $(+3)^{2}=9$, $(-2)^{2}=+4$, $(-5)^{2}=(+5)^{2}=+25$.
L’operazione inversa dell’elevamento al quadrato si chiama radice quadrata. La radice quadrata di un numero reale $a$ è allora quel numero che elevato al quadrato, cioè, che moltiplicato per se stesso, dà il numero $a$.
OSSERVAZIONE. Non esiste la radice quadrata di un numero negativo, poiché non esiste un numero che elevato al quadrato possa dare come risultato un numero negativo.
DEFINIZIONE 1. Si dice radice quadrata di un numero reale $a$ positivo o nullo quel numero reale positivo o nullo che elevato al quadrato dà come risultato $a$. In simboli ${\sqrt {a}}=b\Leftrightarrow b^{2}=a$ dove $a$, $b\in \mathbb {R} ^{+}\cup \{0\}$.
Il simbolo ${\sqrt {\quad }}$ è il simbolo della radice quadrata; il numero $a$ è detto radicando, il numero $b$ è detto radice quadrata di $a$.
Dalla definizione ${\sqrt {a^{2}}}=a$ con $a\geq 0$, quindi ${\sqrt {81}}=9$ perché $9^{2}=81$; ${\sqrt {\tfrac {9}{64}}}={\tfrac {3}{8}}$ perché $\left({\tfrac {3}{8}}\right)^{2}={\tfrac {9}{64}}$.
OSSERVAZIONE. ${\sqrt {81}}={\sqrt {(-9)^{2}}}$, ma ${\sqrt {(-9)^{2}}}\neq -9$ perché nella definizione di radice quadrata abbiamo imposto che il risultato dell’operazione di radice quadrata sia sempre un numero positivo o nullo. Questa osservazione ci induce a porre molta attenzione quando il radicando è un’espressione letterale: in questo caso ${\sqrt {a^{2}}}=a$ non è del tutto corretto poiché $a$ può assumere sia valori positivi sia valori negativi. Scriveremo correttamente ${\sqrt {a^{2}}}=\left|{a}\right|$.
ESEMPIO 1. Radici quadrate
* ${\sqrt {4}}=2$ infatti $2^{2}=4$;
* ${\sqrt {\tfrac {9}{16}}}={\tfrac {3}{4}}$ infatti $\left({\tfrac {3}{4}}\right)^{2}={\tfrac {9}{16}}$;
* ${\sqrt {0,01}}={0,1}$ infatti ${0,1}^{2}={0,01}$;
* ${\sqrt {1}}=1$ infatti $1^{2}=1$;
* ${\sqrt {0}}=0$ infatti $0^{2}=0$;
* ${\sqrt {-16}}$ non esiste poiché il radicando è negativo;
* ${\sqrt {11}}$ esiste ma non è un numero intero né razionale, è un numero irrazionale;
* ${\sqrt {x^{2}}}=\left|x\right|$ dobbiamo mettere il valore assoluto al risultato perché non conoscendo il segno di $x$ dobbiamo imporre che il risultato sia sicuramente positivo;
* ${\sqrt {a^{2}-4a+4}}={\sqrt {(a-2)^{2}}}=\left|a-2\right|$ dobbiamo mettere il valore assoluto perché $a-2$ potrebbe essere negativo;
* ${\sqrt {9(x+1)^{2}}}=3\left|x+1\right|$ dobbiamo mettere il valore assoluto perché $x+1$ potrebbe essere negativo.

### Radici cubiche

DEFINIZIONE 2. Si dice radice cubica di un numero reale $a$ quel numero che, elevato al cubo, dà come risultato $a$. In simboli ${\sqrt[{3}]{a}}=b\Leftrightarrow b^{3}=a$ dove $a$, $b\in \mathbb {R}$.
Puoi notare che la radice cubica di un numero reale esiste sempre sia per i numeri positivi o nulli, sia per i numeri negativi.
ESEMPIO 2. Radici cubiche
* ${\sqrt[{3}]{-8}}=-2$ infatti $\left(-2\right)^{3}=-8$;
* ${\sqrt[{3}]{125}}=5$ infatti $5^{3}=125$;
* ${\sqrt[{3}]{1}}=1$ infatti $1^{3}=1$;
* ${\sqrt[{3}]{0}}=0$ infatti $0^{3}=0$;
* ${\sqrt[{3}]{\tfrac {1}{8}}}={\tfrac {1}{2}}$ infatti $\left({\tfrac {1}{2}}\right)^{3}={\tfrac {1}{8}}$;
* ${\sqrt[{3}]{0,125}}={0,5}$ infatti $({0,5})^{3}={0,125}$;
* ${\sqrt[{3}]{-64}}=-4$ infatti $\left(-4\right)^{3}={-64}$;
* ${\sqrt[{3}]{x^{3}}}=x$ (per le radici cubiche non si deve mettere il valore assoluto);
* ${\sqrt[{3}]{x^{3}+3x^{2}+3x+1}}={\sqrt[{3}]{(x+1)^{3}}}=x+1$ (non si deve mettere il valore assoluto).
Osserva che la radice cubica di un numero mantiene sempre lo stesso segno del numero in quanto il cubo di un numero reale conserva sempre il segno della base.

### Radici n-esime

Oltre alle radici quadrate e cubiche si possono considerare radici di indice qualsiasi. Si parla in generale di radice $n$-esima per indicare una radice con un qualsiasi indice $n$.
DEFINIZIONE 3. Si dice radice n-esima di un numero reale a quel numero $b$ che elevato ad $n$ dà come risultato $a$. In simboli ${\sqrt[{n}]{a}}=b\Leftrightarrow b^{n}=a$ con $n\in \mathbb {N}$, $n\geq 2$.
Non si definisce la radice di indice $0$ e la scrittura ${\sqrt[{0}]{a}}$ è priva di significato. Alla scrittura ${\sqrt[{1}]{a}}$ si dà il valore $a$.
Quando si tratta con le radici n-esime di un numero reale, bisogna fare attenzione se l’indice della radice è pari o dispari. Si presentano infatti i seguenti casi:
* se l’indice $n$ è dispari ${\sqrt[{n}]{a}}$ è definita per qualsiasi valore di $a\in \mathbb {R}$, inoltre è negativa se $a<0$, positiva se $a>0$ e nulla se $a=0$;
* se l’indice $n$ è pari ${\sqrt[{n}]{a}}$ è definita solo per i valori di $a\geq 0$ e si ha che ${\sqrt[{n}]{a}}\geq 0$.
ESEMPIO 3. Radici $n$-esime
* ${\sqrt[{4}]{16}}=2$ infatti $2^{4}=16$;
* ${\sqrt[{4}]{-16}}$ non esiste, poiché $(-2)^{4}=+16$;
* ${\sqrt[{5}]{32}}=2$ infatti $2^{5}=32$;
* ${\sqrt[{5}]{-32}}=-2$ infatti $(-2)^{5}=-32$;
* ${\sqrt[{4}]{1}}=1$ infatti $1^{4}=1$;
* ${\sqrt[{n}]{0}}=0$;
* ${\sqrt[{5}]{-1}}=-1$ infatti $(-1)^{5}=-1$;
* ${\sqrt[{4}]{x^{4}}}=\left|x\right|$ va messo il valore assoluto perché l’indice della radice è pari;
* ${\sqrt[{5}]{x^{5}}}=x$ non va messo il valore assoluto perché l’indice della radice è dispari.

## Condizioni di esistenza

Quando il radicando è un’espressione letterale dobbiamo fare molta attenzione a operare su di esso. Le condizioni di esistenza, in breve si può scrivere ${\text{C.E.}}$, di un radicale con radicando letterale, sono le condizioni cui devono soddisfare le variabili che compaiono nel radicando affinché la radice abbia significato.
Supponiamo di avere ${\sqrt[{n}]{A(x)}}$ con $A(x)$ espressione nella variabile $x$, dobbiamo distinguere i seguenti casi:
* se $n$ è pari la radice esiste per tutti i valori di $x$ che rendono non negativo il radicando, cioè ${\text{C.E.}}A(x)\geq 0$;
* se $n$ è dispari la radice esiste per qualsiasi valore della variabile $x$, purché esista il radicando stesso.
ESEMPIO 4. Condizioni di esistenza
* ${\sqrt {x}}$: ${\text{C.E.}}\;x\geq 0$;
* ${\sqrt[{3}]{x}}$: ${\text{C.E.}}\;\forall x\in \mathbb {R}$;
* ${\sqrt {-x}}$: ${\text{C.E.}}\;x\leq 0$;
* ${\sqrt[{3}]{-x}}$: ${\text{C.E.}}\;\forall x\in \mathbb {R}$;
* ${\sqrt {x-1}}$: ${\text{C.E.}}\;x-1\geq 0\Rightarrow x\geq 1$;
* ${\sqrt {a^{2}+1}}$: ${\text{C.E.}}\;\forall a\in \mathbb {R}$, infatti $a^{2}$ è sempre positivo pertanto $a^{2}+1>0$, $\forall a\in \mathbb {R}$;
* ${\sqrt[{3}]{\tfrac {1}{x+1}}}$: la radice cubica è definita per valori sia positivi sia negativi del radicando, tuttavia bisogna comunque porre la condizione che il denominatore della frazione non sia nullo, quindi ${\text{C.E.}}\;x+1\neq 0\Rightarrow x\neq -1$;
* ${\sqrt[{4}]{xy}}$: ${\text{C.E.}}\;xy\geq 0$;
* ${\sqrt[{5}]{a^{2}(a-3)}}$: poiché la radice ha indice dispari non occorre porre alcuna condizione di esistenza.
ESEMPIO 5. Determina le condizioni di esistenza della seguente espressione: ${\sqrt {x}}+{\sqrt {x+1}}$.
${\text{C.E.}}$: ${\sqrt {x}}$ esiste per $x\geq 0$, ${\sqrt {x+1}}$ esiste per $x+1\geq 0\Rightarrow x\geq -1$, quindi per individuare le condizioni di esistenza dell’espressione occorre risolvere il sistema $\left\{{\begin{array}{l}x\geq 0\\x\geq -1\end{array}}\right.$.
In definitiva ${\text{C.E.}}\;x\geq 0$.
ESEMPIO 6. Determina le condizioni di esistenza della radice ${\sqrt[{4}]{\tfrac {x-1}{x+1}}}$.
${\text{C.E.}}\;{\tfrac {x-1}{x+1}}\geq 0$. Il segno della frazione $F$ si ottiene dalla combinazione del segno del numeratore $N$ e del denominatore $D$:
Pertanto ${\text{C.E.}}\;x<-1\vee x\geq 1$.

## Potenze ad esponente razionale

In questo paragrafo ci proponiamo di scrivere la radice $n$-esima di un numero reale $a\geq 0$ sotto forma di potenza di $a$, vogliamo cioè che sia: ${\sqrt[{n}]{a}}=a^{x}$.
Caso con esponente positivo   Elevando ambo i membri dell’uguaglianza alla potenza n otteniamo: $\left({\sqrt[{n}]{a}}\right)^{n}=\left(a^{x}\right)^{n}$ da cui si ottiene $a=a^{n\cdot x}$. Trattandosi di due potenze con base $a{\geq }0$, l’uguaglianza è resa possibile solo se sono uguali gli esponenti. In altre parole, deve essere: $1=n\cdot x\Rightarrow x={\tfrac {1}{n}}$, quindi: ${\sqrt[{n}]{a}}=a^{\tfrac {1}{n}}$.
Vediamo ora di generalizzare la formula. Sia $m$ un numero intero positivo, possiamo scrivere $a^{\tfrac {m}{n}}=\left(a^{\tfrac {1}{n}}\right)^{m}$ e quindi $a^{\tfrac {m}{n}}=\left({\sqrt[{n}]{a}}\right)^{m}$.
ESEMPIO 7. Calcola le seguenti potenze a esponente razionale positivo.
* $27^{\tfrac {2}{3}}$: si ha che $27^{\tfrac {2}{3}}=\left({\sqrt[{3}]{27}}\right)^{2}=3^{2}=9$;
* $25^{\tfrac {3}{2}}$: si ha che $25^{\tfrac {3}{2}}=\left({\sqrt[{2}]{25}}\right)^{3}=5^{3}=125$.
Caso con esponente negativo   Per definire la potenza ad esponente razionale negativo è necessario imporre la restrizione $a\neq 0$, infatti risulta: $a^{-{\tfrac {m}{n}}}={\tfrac {1}{a^{\tfrac {m}{n}}}}=\left({\tfrac {1}{a}}\right)^{\tfrac {m}{n}}$
ESEMPIO 8. Calcola le seguenti potenze a esponente razionale negativo.
* $27^{-{\tfrac {2}{3}}}={\tfrac {1}{\left({\sqrt[{3}]{27}}\right)^{2}}}={\tfrac {1}{3^{2}}}={\tfrac {1}{9}}$;
* $125^{-{\tfrac {2}{3}}}={\sqrt[{3}]{125^{-2}}}={\sqrt[{3}]{(5^{3})^{-2}}}={\sqrt[{3}]{(5^{-2})^{3}}}=5^{-2}={\tfrac {1}{25}}$;
* $\left({\tfrac {1}{8}}\right)^{-{\tfrac {3}{2}}}={\sqrt {\left({\tfrac {1}{8}}\right)^{-3}}}={\sqrt {8^{3}}}={\sqrt {(2^{3})^{3}}}={\sqrt {2^{9}}}$;
* $\left({\tfrac {1}{49}}\right)^{-{\tfrac {1}{2}}}=(49)^{\tfrac {1}{2}}={\sqrt {49}}=7$.
In generale si dà la seguente
DEFINIZIONE 4. Si dice potenza a esponente razionale ${\tfrac {m}{n}}$ di un numero reale positivo $a$ l’espressione: $a^{\tfrac {m}{n}}={\sqrt[{n}]{a^{m}}}=\left({\sqrt[{n}]{a}}\right)^{m}$ con ${\tfrac {m}{n}}\in \mathbb {Q}$.
Perché abbiamo dovuto imporre la condizione che $a$ sia un numero positivo? Partiamo dall’espressione $a^{\tfrac {1}{n}}$ con $n\in \mathbb {N} -\{0\}$, se $n$ è dispari la potenza $a^{\tfrac {1}{n}}$ è sempre definita per ogni valore della base $a$, mentre se è pari $a^{\tfrac {1}{n}}$ è definita solo per $a\geq 0$.
Nel caso generale, quindi, $a^{\tfrac {m}{n}}$ con ${\tfrac {m}{n}}\in \mathbb {Q}$ la formula $a^{\tfrac {m}{n}}=\left({\sqrt[{n}]{a}}\right)^{m}$ è falsa se $a<0$.
Consideriamo il seguente esempio: $(-2)^{\tfrac {6}{6}}=\left[(-2)^{\tfrac {1}{6}}\right]^{6}=\left({\sqrt[{6}]{-2}}\right)^{6}$ non è definita nei numeri reali perché non esiste la radice sesta di un numero negativo. Tuttavia possiamo anche scrivere
$(-2)^{\tfrac {6}{6}}=\left[(-2)^{6}\right]^{\tfrac {1}{6}}=(64)^{\tfrac {1}{6}}={\sqrt[{6}]{64}}=2.$
Arriviamo pertanto a due risultati differenti.
Per estendere la definizione al caso di basi negative sarebbe necessario stabilire un ordine di priorità delle operazioni ma ciò andrebbe contro la proprietà commutativa del prodotto degli esponenti di una potenza di potenza.

## Semplificazione di radici

Proposizione: Il valore di una radice in $\mathbb {R} ^{+}\cup \{0\}$ non cambia se moltiplichiamo l’indice della radice e l’esponente del radicando per uno stesso numero intero positivo. In simboli ${\sqrt[{n}]{a^{m}}}={\sqrt[{nt}]{a^{mt}}}$ con $a\geq 0$ e $m$, $n$, $t\in \mathbb {N} -\{0\}$.
ESEMPIO 9. Radici equivalenti.
* ${\sqrt {2}}={\sqrt[{4}]{2^{2}}}$: abbiamo moltiplicato per $2$ indice della radice ed esponente del radicando;
* ${\sqrt[{3}]{a}}={\sqrt[{9}]{a^{3}}}$: abbiamo moltiplicato per $3$ indice della radice ed esponente del radicando.
Proposizione: Il valore di una radice in $\mathbb {R} ^{+}\cup \{0\}$ non cambia se dividiamo l’indice della radice e l’esponente del radicando per un loro divisore comune. In simboli ${\sqrt[{nt}]{a^{mt}}}={\sqrt[{n}]{a^{m}}}$ con $a\geq 0$ e $m$, $n$, $t\in \mathbb {N} -\{0\}$.
ESEMPIO 10. Semplificazione di radici
* ${\sqrt[{4}]{2^{2}}}={\sqrt {2}}$: abbiamo semplificato per $2$ indice della radice ed esponente del radicando;
* ${\sqrt[{10}]{3^{15}}}={\sqrt {3^{3}}}$: abbiamo semplificato per $5$;
* ${\sqrt[{7}]{3^{9}}}$: non è riducibile perché indice della radice ed esponente non hanno divisori comuni;
* ${\sqrt[{8}]{2^{6}}}=2^{\tfrac {6}{8}}$: semplificando la frazione dell’esponente otteniamo $2^{\tfrac {3}{4}}={\sqrt[{4}]{2^{3}}}$;
* ${\sqrt[{6}]{\left({\tfrac {1}{5}}\right)^{-9}}}={\sqrt[{6}]{5^{9}}}={\sqrt[{2}]{5^{3}}}$;
* ${\sqrt[{4}]{(-3)^{2}}}={\sqrt[{4}]{3^{2}}}={\sqrt {3}}$;
* ${\sqrt {10^{-4}}}$: semplificando per $2$ indice della radice ed esponente del radicando si ottiene $10^{-2}={\tfrac {1}{100}}$;
* ${\sqrt {30\cdot 27\cdot 10}}$: scomponendo in fattori primi otteniamo
${\sqrt {30\cdot 27\cdot 10}}={\sqrt {2\cdot 3\cdot 5\cdot 3^{3}\cdot 2\cdot 5}}={\sqrt {2^{2}\cdot 3^{4}\cdot 5^{2}}}.$
Osserviamo che tutti gli esponenti del radicando e l’indice della radice hanno in comune il divisore 2, quindi ${\sqrt {2^{2}\cdot 3^{4}\cdot 5^{2}}}=2\cdot 3^{2}\cdot 5=90.$
Se il radicando è un’espressione letterale, quindi è possibile che sia positiva che negativa, dobbiamo scrivere
${\sqrt[{nt}]{a^{mt}}}={\begin{cases}{\sqrt[{n}]{a^{m}}}&{\text{ se }}t{\text{ è dispari}}\\{\sqrt[{n}]{\left|a^{m}\right|}}&{\text{ se }}t{\text{ è pari}}\end{cases}}.$
ESEMPIO 11. Semplificazione di radici con espressione letterale come radicando.
* ${\sqrt {4x^{4}y^{2}a^{6}}}={\sqrt {2^{2}x^{4}y^{2}a^{6}}}=2x^{2}\left|ya^{3}\right|$: abbiamo semplificato per $2$ sia l’indice della radice che l’esponente del radicando;
* ${\sqrt[{12}]{a^{2}+2a+1}}={\sqrt[{12}]{(a+1)^{2}}}={\sqrt[{6}]{\left|a+1\right|}}$: dopo aver riconosciuto che il radicando è il quadrato del binomio, abbiamo semplificato per $2$ indice ed esponente;
* ${\sqrt {x^{2}y^{2}}}=\left|{xy}\right|$;
* ${\sqrt {x^{2}+2xy+y^{2}}}={\sqrt {(x+y)^{2}}}=\left|{x+y}\right|$;
* ${\sqrt {x^{2}+y^{2}}}$ non è semplificabile perché il radicando non può essere espresso sotto forma di potenza;
* ${\sqrt[{6}]{(x-1)^{2}}}={\sqrt[{3}]{\left|{x-1}\right|}}$;
La proprietà invariantiva si può applicare per semplificare i radicali se la base del radicando è positiva o nulla, se fosse negativa si potrebbe perdere la concordanza del segno. Per esempio ${\sqrt[{10}]{(-2)^{6}}}\neq {\sqrt[{5}]{(-2)^{3}}}$, infatti il primo radicando è positivo mentre il secondo è negativo.
Invece ${\sqrt[{9}]{(-2)^{3}}}={\sqrt[{3}]{-2}}$ perché in questo caso la concordanza del segno è conservata, infatti pur essendo la base negativa, l’esponente resta dispari, conservando il segno della base.
Se il radicando ha base negativa e nella semplificazione il suo esponente passa da pari a dispari è necessario mettere il radicando in valore assoluto: ${\sqrt[{10}]{(-2)^{6}}}={\sqrt[{5}]{\left|-2^{3}\right|}}$.
Se il radicando è letterale si segue la stessa procedura: ogni volta che studiando il segno del radicando si trova che la base può essere negativa, se l’esponente del radicando passa da pari a dispari, si mette il modulo per garantire la concordanza del segno: ${\sqrt[{10}]{x^{6}}}={\sqrt[{5}]{\left|x^{3}\right|}}$, ${\text{C.E.}}\;\forall x\in \mathbb {R}$.

## Moltiplicazione e divisione di radici

Prima di operare con i radicali letterali, è necessario determinare le condizioni di esistenza: il prodotto di due radicali esiste là dove sono soddisfatte le condizioni di esistenza di tutti i fattori; il quoziente esiste là dove sono soddisfatte le condizioni di esistenza di dividendo e divisore, con il divisore diverso da zero.

### Moltiplicazione e divisione di radici con lo stesso radicando

Per effettuare la moltiplicazione o la divisione tra radici aventi lo stesso radicando si possono trasformare le radici in forma di potenze con esponente razionale e utilizzare le proprietà delle potenze.
ESEMPIO 12. Moltiplicazione e divisione di radici con lo stesso radicando.
* ${\sqrt[{4}]{6}}\cdot {\sqrt[{3}]{6}}=6^{\tfrac {1}{4}}\cdot 6^{\tfrac {1}{3}}=6^{{\tfrac {1}{4}}+{\tfrac {1}{3}}}=6^{\tfrac {7}{12}}={\sqrt[{12}]{6^{7}}}$;
* ${\sqrt[{4}]{6}}:{\sqrt[{3}]{6}}=6^{\tfrac {1}{4}}:6^{\tfrac {1}{3}}=6^{{\tfrac {1}{4}}-{\tfrac {1}{3}}}=6^{-{\tfrac {1}{12}}}={\tfrac {1}{\sqrt[{12}]{6}}}$.

### Moltiplicazione e divisione di radici con lo stesso indice

Il prodotto di due radici che hanno lo stesso indice è una radice che ha per indice lo stesso indice e per radicando il prodotto dei radicandi:
${\sqrt[{n}]{a}}\cdot {\sqrt[{n}]{b}}={\sqrt[{n}]{ab}}.$
Allo stesso modo, il quoziente di due radici che hanno lo stesso indice è una radice che ha per indice lo stesso indice e per radicando il quoziente dei radicandi:
${\sqrt[{n}]{a}}:{\sqrt[{n}]{b}}={\sqrt[{n}]{a:b}}\Rightarrow {\tfrac {\sqrt[{n}]{a}}{\sqrt[{n}]{b}}}={\sqrt[{n}]{\tfrac {a}{b}}}.$
Per rendersi conto di questa proprietà si possono trasformare le radici in potenze ad esponenti razionali e applicare le proprietà delle potenze:
${\sqrt[{n}]{a}}\cdot {\sqrt[{n}]{b}}=a^{\tfrac {1}{n}}\cdot b^{\tfrac {1}{n}}=(ab)^{\tfrac {1}{n}}={\sqrt[{n}]{ab}}{\text{,}}\quad {\sqrt[{n}]{a}}:{\sqrt[{n}]{b}}=a^{\tfrac {1}{n}}:b^{\tfrac {1}{n}}=\left({\tfrac {a}{b}}\right)^{\tfrac {1}{n}}={\sqrt[{n}]{\tfrac {a}{b}}}.$
ESEMPIO 13. Moltiplicazione e divisione di radici con lo stesso indice.
* ${\sqrt {2}}\cdot {\sqrt {3}}={\sqrt {2\cdot 3}}={\sqrt {6}}$;
* ${\tfrac {\sqrt[{3}]{9}}{\sqrt[{3}]{72}}}={\sqrt[{3}]{\tfrac {9}{72}}}={\sqrt[{3}]{\tfrac {1}{8}}}={\tfrac {1}{2}}$;
* ${\sqrt {2a}}\cdot {\sqrt {\tfrac {a}{b}}}:{\sqrt {\tfrac {2b}{9}}}$, ${\text{C.E.}}\;a\geq 0\wedge b>0$ ${\sqrt {2a}}\cdot {\sqrt {\tfrac {a}{b}}}:{\sqrt {\tfrac {2b}{9}}}={\sqrt {2a\cdot {\tfrac {a}{b}}\cdot {\tfrac {9}{2b}}}}={\sqrt {\tfrac {9a^{2}}{b^{2}}}}={\tfrac {3a}{b}}$.

### Moltiplicazione e divisione di radici con indici diversi

Per moltiplicare o dividere radici con indici differenti è necessario prima ridurre le radici allo stesso indice, cioè trasformarle in radici equivalenti con lo stesso indice usando la proprietà invariantiva. Dopo aver ottenuto radici con lo stesso indice si applica la regola precedente.
PROCEDURA 1. Ridurre due o più radici allo stesso indice:
* scomporre in fattori irriducibili tutti i radicandi;
* porre le condizioni di esistenza;
* calcolare il minimo comune multiplo tra gli indici delle radici;
* per ciascuna radice dividere il ${\text{mcm}}$ per l’indice della radice e moltiplicare il quoziente trovato per l’esponente del radicando.
ESEMPIO 14. Moltiplicazione e divisione di radici con indice diverso.
* ${\sqrt {2}}\cdot {\sqrt[{3}]{2}}={\sqrt[{6}]{2^{3}}}\cdot {\sqrt[{6}]{2^{2}}}={\sqrt[{6}]{2^{3}\cdot 2^{2}}}={\sqrt[{6}]{2^{5}}}$. Gli indici delle radici sono $2$ e $3$, il loro ${\text{mcm}}$ è $6$, il primo radicando va elevato a $6:2$ cioè $3$, mentre il secondo radicando va elevato a $6:3$ cioè $2$;
* ${\sqrt[{3}]{\tfrac {3}{2}}}\cdot {\sqrt[{4}]{\tfrac {8}{27}}}:{\sqrt[{6}]{\tfrac {2}{3}}}={\sqrt[{12}]{{\tfrac {3^{4}}{2^{4}}}\cdot {\tfrac {8^{3}}{27^{3}}}:{\tfrac {2^{2}}{3^{2}}}}}={\sqrt[{12}]{{\tfrac {3^{4}}{2^{4}}}\cdot {\tfrac {2^{9}}{3^{9}}}:{\tfrac {2^{2}}{3^{2}}}}}={\sqrt[{12}]{\tfrac {3^{6}\cdot 2^{9}}{3^{9}\cdot 2^{6}}}}={\sqrt[{12}]{\tfrac {2^{3}}{3^{3}}}}={\sqrt[{4}]{\tfrac {2}{3}}}$. Il ${\text{mcm}}$ tra gli indici delle radici è $12$. Il primo radicando va elevato a $12:3=4$, il secondo radicando va elevato a $12:4=3$ e il terzo va elevato a $12:6=2$.
ESEMPIO 15. ${\tfrac {{\sqrt[{3}]{x^{2}y}}\cdot {\sqrt {xy}}}{\sqrt[{6}]{x^{2}y^{3}}}}$, ${\text{C.E.}}\;x>0\wedge y>0$. Il ${\text{mcm}}$ degli indici delle radici è $6$, quindi:
${\tfrac {{\sqrt[{3}]{x^{2}y}}\cdot {\sqrt {\mathit {xy}}}}{\sqrt[{6}]{x^{2}y^{3}}}}={\sqrt[{6}]{\tfrac {\left(x^{2}y\right)^{2}\cdot (xy)^{3}}{x^{2}y^{3}}}}={\sqrt[{6}]{\tfrac {x^{4}y^{2}x^{3}y^{3}}{x^{2}y^{3}}}}={\sqrt[{6}]{\tfrac {x^{7}y^{5}}{x^{2}y^{3}}}}={\sqrt[{6}]{x^{5}y^{2}}}.$
ESEMPIO 16. ${\sqrt[{3}]{\tfrac {ax+a}{x^{2}+2x+1}}}\cdot {\sqrt {\tfrac {x^{2}-2x+1}{ax-a}}}$.
* Scomponiamo in fattori i radicandi ${\sqrt[{3}]{\tfrac {a(x+1)}{(x+1)^{2}}}}\cdot {\sqrt {\tfrac {(x-1)^{2}}{a(x-1)}}}$;
* ${\text{C.E.}}\;x+1\neq 0\wedge a(x-1)>0\Rightarrow x\neq -1\wedge ((a>0\wedge x>1)\vee (a<0\wedge x<1))$;
* Semplifichiamo le frazioni di ciascun radicando ${\sqrt[{3}]{\tfrac {a}{x+1}}}\cdot {\sqrt {\tfrac {x-1}{a}}}$;
* Trasformiamo nello stesso indice: il ${\text{mcm}}$ degli indici è $6$, quindi:
${\sqrt[{6}]{\left({\tfrac {a}{x+1}}\right)^{2}}}\cdot {\sqrt[{6}]{\left({\tfrac {x-1}{a}}\right)^{3}}}={\sqrt[{6}]{{\tfrac {a^{2}}{(x+1)^{2}}}\cdot {\tfrac {(x-1)^{3}}{a^{3}}}}}={\sqrt[{6}]{\tfrac {(x-1)^{3}}{a(x+1)^{2}}}}$
ESEMPIO 17. ${\sqrt[{3}]{\tfrac {x^{2}}{x^{2}-2x+1}}}:{\sqrt[{4}]{\tfrac {x^{4}-2x^{2}+1}{x^{2}-1}}}$.
* Scomponiamo in fattori i radicandi ${\sqrt[{3}]{\tfrac {x^{2}}{(x-1)^{2}}}}:{\sqrt[{4}]{\tfrac {(x-1)^{2}\cdot (x+1)^{2}}{(x+1)(x-1)}}}$;
* ${\text{C.E.}}\;(x-1)(x+1)>0\Rightarrow x<-1\vee x>1$. L’operazione che dobbiamo eseguire è una divisione e dunque il divisore deve essere diverso da zero, quindi $x\neq -1\wedge x\neq 1$, comunque già implicite nelle ${\text{C.E.}}$ trovate; Condizioni di eseistenza di radicali (esempio)
* Semplifichiamo i radicandi ${\sqrt[{3}]{\tfrac {x^{2}}{(x-1)^{2}}}}:{\sqrt[{4}]{(x-1)\cdot (x+1)}}$;
* Riduciamo allo stesso indice: il ${\text{mcm}}$ degli indici è $12$, quindi: ${\sqrt[{12}]{\left[{\tfrac {x^{2}}{(x-1)^{2}}}\right]^{4}}}:{\sqrt[{12}]{(x-1)^{3}(x+1)^{3}}}\Rightarrow {\sqrt[{12}]{{\tfrac {x^{8}}{(x-1)^{8}}}\cdot {\tfrac {1}{(x-1)^{3}(x+1)^{3}}}}}={\sqrt[{12}]{\tfrac {x^{8}}{(x-1)^{11}(x+1)^{3}}}}$.

## Portare un fattore sotto il segno di radice

Per portare un fattore dentro il segno di radice bisogna elevarlo all’indice della radice:
$a{\sqrt[{n}]{b}}={\begin{cases}{\sqrt[{n}]{a^{n}\cdot b}}&{\text{ se }}n{\text{ è pari e }}a\geq 0\\-{\sqrt[{n}]{a^{n}\cdot b}}&{\text{ se }}n{\text{ è pari e }}a<0\\{\sqrt[{n}]{a^{n}\cdot b}}&{\text{ se }}n{\text{ è dispari}}\end{cases}}.$
Ricordando che abbiamo posto ${\sqrt[{1}]{a}}=a$, portare un fattore sotto radice quivale a svolgere la moltiplicazione tra una radice di indice $1$ e una radice di indice $n$ qualsiasi.
ESEMPIO 18. Portare un numero reale dentro il segno di radice.
* $2\cdot {\sqrt[{3}]{7}}={\sqrt[{3}]{2^{3}\cdot 7}}={\sqrt[{3}]{56}}$;
* $3\cdot {\sqrt {\tfrac {2}{21}}}={\sqrt {3^{2}\cdot {\tfrac {2}{21}}}}={\sqrt {9\cdot {\tfrac {2}{21}}}}={\sqrt {\tfrac {6}{7}}}$;
* $-{\tfrac {1}{2}}{\sqrt {3}}$ (lasciamo il segno “$-$” fuori dalla radice) $\Rightarrow -{\tfrac {1}{2}}{\sqrt {3}}=-{\sqrt {\left({\tfrac {1}{2}}\right)^{2}\cdot 3}}=-{\sqrt {\tfrac {3}{4}}}$;
* $-{\tfrac {1}{3}}\cdot {\sqrt {12}}=-{\sqrt {\left({\tfrac {1}{3}}\right)^{2}\cdot 12}}=-{\sqrt {{\tfrac {1}{9}}\cdot 12}}=-{\sqrt {\tfrac {4}{3}}}$;
* $\left(1-{\sqrt {2}}\right)\cdot {\sqrt {3}}=-\left({\sqrt {2}}-1\right)\cdot {\sqrt {3}}=-{\sqrt {({\sqrt {2}}-1)^{2}\cdot 3}}$;
* $-2{\sqrt[{3}]{5}}={\sqrt[{3}]{(-2)^{3}\cdot 5}}={\sqrt[{3}]{-40}}$.
ESEMPIO 19. Portare una espressione letterale dentro il segno di radice.
* $a\cdot {\sqrt[{3}]{b}}={\sqrt[{3}]{a^{3}b}}$ l’indice della radice è dispari pertanto $a$ si porta sotto radice senza alcuna condizione;
* $(x-1)\cdot {\sqrt[{3}]{x}}={\sqrt[{3}]{(x-1)^{3}\cdot x}}$ l’indice della radice è dispari, non sono necessarie condizioni sulla $x$;
* $(x-2){\sqrt {y}}$ osserviamo che il radicale (indice 2, pari) esiste per $y\geq 0$. Per portare dentro il segno di radice il coefficiente $(x-2)$ bisogna fare la distinzione: $(x-2){\sqrt {y}}={\begin{cases}{\sqrt {(x-2)^{2}y}}&{\text{ se }}x\geq 2\\-(2-x){\sqrt {y}}=-{\sqrt {(2-x)^{2}y}}&{\text{ se }}x<2\end{cases}};$
* $(x-1){\sqrt {x-2}}$ il radicale esiste per $x-2\geq 0\ \Rightarrow \ x\geq 2$, per questi valori $(x-1)\geq 0$ e può essere portato dentro la radice: $(x-1){\sqrt {x-2}}={\sqrt {(x-1)^{2}(x-2)}};$
* ${\tfrac {a-1}{a+3}}\cdot {\sqrt {\tfrac {a+2}{(a-1)^{2}}}}$. Determiniamo le condizioni di esistenza del radicale: per l’esistenza della frazione ${\tfrac {a+2}{(a-1)^{2}}}$ deve essere $(a-1)^{2}\neq 0$, ovvero $a\neq 1$. Affinché il radicando sia positivo o nullo, essendo il denominatore sempre positivo (ovviamente per $a\neq 1$) è sufficiente che sia $a+2\geqslant 0$ ovvero $a\geqslant -2$. Pertanto le condizioni di esistenza sono $a\geqslant -2$ e $a\neq 1$. Studiamo ora il segno della frazione algebrica da portare sotto radice: tale frazione è positiva o nulla per $a<-3\vee a\geqslant 1$, è negativa per $-3<a\leqslant 1$. Se $a>1$ si ha ${\tfrac {a-1}{a+3}}\cdot {\sqrt {\tfrac {a+2}{(a-1)^{2}}}}={\sqrt {{\tfrac {(a-1)^{2}}{(a+3)^{2}}}\cdot {\tfrac {a+2}{(a-1)^{2}}}}}={\sqrt {\tfrac {a+2}{(a+3)^{2}}}}$. Se $-2<a<1$ il fattore da portare sotto radice è negativo, quindi: $-\left(-{\tfrac {a-1}{a+3}}\right)\cdot {\sqrt {\tfrac {a+2}{(a-1)^{2}}}}=-{\sqrt {{\tfrac {[-(a-1)]^{2}}{(a+3)^{2}}}\cdot {\tfrac {a+2}{(a-1)^{2}}}}}=-{\sqrt {\tfrac {a+2}{(a+3)^{2}}}}.$ Se $a=-2$ l’espressione vale zero. Il caso $a=1$ è comunque escluso dalla condizione di esistenza.

## Portare un fattore fuori dal segno di radice

È possibile portare fuori dal segno di radice quei fattori aventi come esponente un numero che sia maggiore o uguale all’indice della radice. In generale si inizia scomponendo in fattori irriducibili il radicando, ottenendo un radicale del tipo ${\sqrt[{n}]{a^{m}}}$ con $m\geq n$.
I° modo:  si esegue la divisione intera $m:n$ ottenendo un quoziente $q$ e un resto $r$. Per la proprietà della divisione si ha $\;m=n\cdot q+r\;$ quindi ${\sqrt[{n}]{a^{m}}}={\sqrt[{n}]{a^{n\cdot q+r}}}$ e per le proprietà delle potenze ${\sqrt[{n}]{a^{n\cdot q+r}}}={\sqrt[{n}]{(a^{q})^{n}\cdot a^{r}}}$ e per la regola del prodotto di due radici con medesimo indice si ottiene:
${\sqrt[{n}]{a^{n\cdot q+r}}}={\sqrt[{n}]{(a^{q})^{n}\cdot a^{r}}}={\sqrt[{n}]{(a^{q})^{n}}}\cdot {\sqrt[{n}]{a^{r}}}=a^{q}\cdot {\sqrt[{n}]{a^{r}}}{\text{ con }}r<n.$
Notiamo che il fattore “fuori“ dalla radice ha per esponente il quoziente della divisione intera, mentre il fattore che rimane “dentro“ ha per esponente il resto della divisione stessa.
${\sqrt[{3}]{a^{8}}}=\ldots$ eseguiamo la divisione $8:3$ con $q=2$ e $r=2$, quindi ${\sqrt[{3}]{a^{8}}}=a^{2}\cdot {\sqrt[{3}]{a^{2}}}$.
II° modo:  si può trasformare la potenza del radicando nel prodotto di due potenze con la stessa base; una avente esponente multiplo dell’indice della radice e l’altra avente per esponente la differenza tra l’esponente iniziale e il multiplo trovato. Consideriamo il seguente esempio:
${\sqrt[{3}]{a^{8}}}=\ldots$ il multiplo di $3$ più vicino a $8$ è $6$, quindi
${\sqrt[{3}]{a^{8}}}={\sqrt[{3}]{a^{6}\cdot a^{2}}}={\sqrt[{3}]{a^{6}}}\cdot {\sqrt[{3}]{a^{2}}}=a^{2}\cdot {\sqrt[{3}]{a^{2}}}.$
ESEMPIO 20. Portare un numero reale fuori dal segno di radice.
* ${\sqrt {1\,200}}$ Si scompone in fattori primi il radicando ${1\,200}=2^{4}\cdot 5^{2}\cdot 3$ ne segue allora che ${\sqrt {1\,200}}={\sqrt {2^{4}\cdot 5^{2}\cdot 3}}=2^{2}\cdot 5{\sqrt {3}}=20{\sqrt {3}}$;
* ${\sqrt {75}}={\sqrt {5^{2}\cdot 3}}=5{\sqrt {3}}$;
* ${\sqrt {720}}={\sqrt {2^{4}\cdot 3^{2}\cdot 5}}=2^{2}\cdot 3\cdot {\sqrt {5}}=12{\sqrt {5}}$.
Quando portiamo fuori dalla radice un termine letterale dobbiamo verificare se l’indice della radice è pari o dispari e se il termine che portiamo fuori è positivo o negativo. In particolare:
${\sqrt[{n}]{a^{n}b}}={\begin{cases}a{\sqrt[{n}]{b}}&{\text{ se }}n{\text{ è dispari}}\\|a|{\sqrt[{n}]{b}}&{\text{ se }}n{\text{ è pari}}\end{cases}}.$
ESEMPIO 21. Portare una espressione letterale fuori dal segno di radice.
* ${\sqrt {2a^{2}}}=|a|{\sqrt {2}}$: bisogna mettere $a$ in valore assoluto perché sotto radice poteva essere sia negativo che positivo, la radice (di indice 2, pari) invece deve essere sempre positiva; se $a<0$ la relazione ${\sqrt {2a^{2}}}=a{\sqrt {2}}$ è errata;
* ${\sqrt[{3}]{a^{5}b^{7}cd^{3}}}$ occorre eseguire le divisioni intere tra gli esponenti e l’indice della radice. Cominciamo da $a^{5}$ risulta $5:3=1$ con resto uguale a $2$; per $b^{7}$ si ha $7:3$ con quoziente $2$ e resto $1$; l’esponente di $c$ è minore dell’indice; per $d^{3}$ si ha $3:3$ con quoziente $1$ e resto $0$. In definitiva ${\sqrt[{3}]{a^{5}b^{7}cd^{3}}}={ab}^{2}d{\sqrt[{3}]{a^{2}{bc}}}$, o anche:
${\sqrt[{3}]{a^{5}b^{7}cd^{3}}}={\sqrt[{3}]{(a^{3}a^{2})(b^{6}b)cd^{3}}}={\sqrt[{3}]{a^{3}b^{6}d^{3}}}\cdot {\sqrt[{3}]{a^{2}bc}}=ab^{2}d^{3}{\sqrt[{3}]{a^{2}bc}}.$
In questo caso non c’è da mettere il valore assoluto perché l’indice della radice è dispari;
* ${\sqrt[{3}]{\tfrac {3^{3}x^{3}y}{z^{6}}}}=3{\tfrac {x}{z^{2}}}{\sqrt[{3}]{y}}$, ${\text{C.E.}}z\neq 0$;
* ${\sqrt[{4}]{4x^{4}-4x^{5}}}$ scomponiamo il radicando per poter studiare le condizioni di esistenza del radicale e portare fuori qualche fattore:
${\sqrt[{4}]{4x^{4}-4x^{5}}}={\sqrt[{4}]{4x^{4}(1-x)}}\quad {\text{C.E.}}1-x\geq 0\Rightarrow x\leq 1.$
Pertanto:
${\sqrt[{4}]{4x^{4}-4x^{5}}}={\sqrt[{4}]{4x^{4}(1-x)}}=|x|{\sqrt[{4}]{4(1-x)}}={\begin{cases}x{\sqrt[{4}]{4(1-x)}}&{\text{ se }}0\leq x\leq 1\\-x{\sqrt[{4}]{4(1-x)}}&{\text{ se }}x<0\end{cases}};$
* ${\sqrt {3(a-1)^{2}}}=\left|{a-1}\right|{\sqrt {3}}={\begin{cases}(a-1){\sqrt {3}}&{\text{ se }}a>1\\0&{\text{ se }}a=1\\(1-a){\sqrt {3}}&{\text{ se }}a<1\end{cases}}$.

## Potenza di radice e radice di radice

Per elevare a potenza una radice si eleva a quella potenza il radicando: $\left({\sqrt[{n}]{a}}\right)^{m}={\sqrt[{n}]{a^{m}}}$. Si capisce il perché di questa proprietà trasformando, come negli altri casi, la radice in potenza con esponente frazionario: $\left({\sqrt[{n}]{a}}\right)^{m}=\left(a^{\tfrac {1}{n}}\right)^{m}=a^{\tfrac {m}{n}}={\sqrt[{n}]{a^{m}}}$.
ESEMPIO 22. Potenza di radice.
* $\left({\sqrt {2}}\right)^{2}={\sqrt {2^{2}}}=2$;
* $\left({\sqrt[{3}]{2ab^{2}c^{3}}}\right)^{2}={\sqrt[{3}]{4a^{2}b^{4}c^{6}}}$.
La radice di un'altra radice è uguale a una radice con lo stesso radicando e con indice il prodotto degli indici delle radici: ${\sqrt[{m}]{\sqrt[{n}]{a}}}={\sqrt[{m\cdot n}]{a}}$. Anche questa proprietà si può spiegare con le proprietà delle potenze trasformando la radice in potenza con esponente frazionario:
${\sqrt[{m}]{\sqrt[{n}]{a}}}=\left(a^{\tfrac {1}{n}}\right)^{\tfrac {1}{m}}=a^{\tfrac {1}{mn}}={\sqrt[{m\cdot n}]{a}}$
ESEMPIO 23. Radice di radice.
* ${\sqrt {\sqrt {2}}}={\sqrt[{2\cdot 2}]{2}}={\sqrt[{4}]{2}}$;
* ${\sqrt[{3}]{\sqrt[{4}]{2x}}}={\sqrt[{12}]{2x}}$.
ESEMPIO 24. Data l’espressione ${\sqrt[{5}]{3\cdot {\sqrt {2}}}}$ ridurla ad unico radicale.
In questo caso non possiamo subito applicare la regola annunciata, ma dobbiamo portare il fattore esterno dentro la radice più interna ottenendo ${\sqrt[{5}]{\sqrt {3^{2}\cdot 2}}}={\sqrt[{10}]{18}}$.
Osserviamo che in genere l’espressione ${\sqrt[{n}]{a+{\sqrt {b}}}}$ non si può ridurre ad unico radicale, se non sotto determinate condizioni che analizzeremo in seguito.

## Somma di radicali

DEFINIZIONE 5. Si dice radicale un’espressione del tipo $a{\sqrt[{n}]{b}}$ con $a$ e $b$ numeri reali, $b{\geq }0$ ed $n\in \mathbb {N}$. Il numero $a$ prende il nome di coefficiente del radicale.
Operare con i radicali è simile al modo di operare con i monomi. Infatti è possibile effettuare somme algebriche soltanto se i radicali hanno lo stesso indice e lo stesso radicando, mentre si possono sempre effettuare moltiplicazioni e divisioni dopo averli ridotti allo stesso indice.
DEFINIZIONE 6. Due radicali si dicono simili se hanno lo stesso indice e lo stesso radicando.
È possibile effettuare somme algebriche soltanto se i radicali sono simili, si eseguono le somme allo stesso modo in cui si eseguono le somme algebriche dei monomi.
Attenzione, l’operazione ${\sqrt {2}}+{\sqrt {3}}={\sqrt {5}}$ è errata in quanto i radicali addendi non sono simili poiché hanno lo stesso indice (2) ma non lo stesso radicando.
ESEMPIO 25. Esegui le seguenti somme di radicali.
* ${\sqrt {8}}+{\sqrt {2}}={\sqrt {2^{3}}}+{\sqrt {2}}=2{\sqrt {2}}+{\sqrt {2}}=3{\sqrt {2}}$;
* $2{\sqrt {45}}-{\sqrt {80}}=2{\sqrt {3^{2}\cdot 5}}-{\sqrt {2^{4}\cdot 5}}=2\cdot 3\cdot {\sqrt {5}}-2^{2}{\sqrt {5}}=6{\sqrt {5}}-4{\sqrt {5}}=2{\sqrt {5}}$;
* ${\sqrt {2}}+{\sqrt {3}}$ non si può eseguire perché i radicali non sono simili;
* ${\sqrt[{3}]{2}}+{\sqrt {2}}$ non si può eseguire perché i radicali non sono simili;
* ${\sqrt {3}}+{\sqrt {3}}=2{\sqrt {3}}$;
* $2{\sqrt {5}}-{\sqrt {5}}={\sqrt {5}}$;
* ${\tfrac {1}{2}}{\sqrt {7}}-{\tfrac {4}{3}}{\sqrt {7}}=\left({\tfrac {1}{2}}-{\tfrac {4}{3}}\right){\sqrt {7}}={\tfrac {3-8}{6}}{\sqrt {7}}=-{\tfrac {5}{6}}{\sqrt {7}}$;
* $3{\sqrt {2}}+2{\sqrt {3}}-2{\sqrt {2}}+3{\sqrt {3}}=(3-2){\sqrt {2}}+(2+3){\sqrt {3}}={\sqrt {2}}+5{\sqrt {3}}$ abbiamo sommato i radicali simili;
* $2{\sqrt {a}}+3{\sqrt {a}}=5{\sqrt {a}}$, ${\text{C.E.}}a\geq 0$;
* ${\sqrt[{4}]{a^{5}}}+{\sqrt[{4}]{a^{3}}}\cdot {\sqrt {a}}+{\sqrt[{4}]{a^{6}}}:{\sqrt[{4}]{a}}$. Poniamo le condizioni di esistenza ($a>0$) e svolgiamo i calcoli: ${\sqrt[{4}]{a^{5}}}+{\sqrt[{4}]{a^{3}\cdot a^{2}}}+{\sqrt[{4}]{a^{6}:a}}={\sqrt[{4}]{a^{5}}}+{\sqrt[{4}]{a^{5}}}+{\sqrt[{4}]{a^{5}}}=3{\sqrt[{4}]{a^{5}}}=3{\sqrt[{4}]{a^{4}\cdot a}}=3a{\sqrt[{4}]{a}}$.
Per semplificare le espressioni che seguono, useremo le procedure di calcolo dei polinomi.
ESEMPIO 26. Esegui le seguenti operazioni con i radicali.
* $(1+{\sqrt {2}})(3{\sqrt {2}}-1)=3{\sqrt {2}}-1+3{\sqrt {2^{2}}}-{\sqrt {2}}=3{\sqrt {2}}-1+3\cdot 2-{\sqrt {2}}=2{\sqrt {2}}+5$;
* $({\sqrt {3}}+1)^{2}=({\sqrt {3}})^{2}+(1)^{2}+2\cdot {\sqrt {3}}\cdot 1=3+1+2{\sqrt {3}}=4+2{\sqrt {3}}$;
* $({\sqrt {3}}-{\sqrt {2}})^{2}=({\sqrt {3}})^{2}+({\sqrt {2}})^{2}+2{\sqrt {3}}(-{\sqrt {2}})=3+2-2{\sqrt {6}}=5-2{\sqrt {6}}$;
* $(3+{\sqrt {2}}+{\sqrt {3}})^{2}=(3)^{2}+({\sqrt {2}})^{2}+({\sqrt {3}})^{2}+6{\sqrt {2}}+6{\sqrt {3}}+2{\sqrt {2}}{\sqrt {3}}=14+6{\sqrt {2}}+6{\sqrt {3}}+2{\sqrt {6}}$;
* $({\sqrt {2}}+4)(3-{\sqrt {2}})=3{\sqrt {2}}+{\sqrt {2}}(-{\sqrt {2}})+12+4(-{\sqrt {2}})=3{\sqrt {2}}-2+12-4{\sqrt {2}}=10-{\sqrt {2}}$;
* $({\sqrt {2}}-3)^{3}=({\sqrt {2}})^{3}-9({\sqrt {2}})^{2}+27{\sqrt {2}}+(-3)^{3}=2{\sqrt {2}}-18+27{\sqrt {2}}-27=29{\sqrt {2}}-45$.
Le espressioni con radicali possono essere trasformate in potenze con esponente frazionario per poi applicare le proprietà delle potenze:
ESEMPIO 27. Trasforma i radicali in potenze con esponente frazionario applicando le proprietà delle potenze.
* ${\tfrac {{\sqrt {a}}\cdot {\sqrt[{3}]{a^{2}\cdot b}}}{\sqrt[{6}]{a^{5}\cdot b}}}$.
${\tfrac {{\sqrt {a}}\cdot {\sqrt[{3}]{a^{2}\cdot b}}}{\sqrt[{6}]{a^{5}\cdot b}}}={\tfrac {a^{\tfrac {1}{2}}\cdot a^{\tfrac {2}{3}}\cdot b^{\tfrac {1}{3}}}{a^{\tfrac {5}{6}}\cdot b^{\tfrac {1}{6}}}}=a^{{\tfrac {1}{2}}+{\tfrac {2}{3}}-{\tfrac {5}{6}}}\cdot b^{{\tfrac {1}{3}}-{\tfrac {1}{6}}}=a^{\tfrac {2}{6}}\cdot b^{\tfrac {1}{6}}={\sqrt[{6}]{a^{2}b}}.$
* ${\sqrt {\tfrac {{\sqrt[{3}]{a^{2}}}\cdot {\sqrt {b}}}{\sqrt[{5}]{a^{2}}}}}\cdot {\sqrt[{3}]{\tfrac {\sqrt[{4}]{a^{6}b}}{a{\sqrt[{3}]{b}}}}}$.
${\begin{aligned}{\sqrt {\tfrac {{\sqrt[{3}]{a^{2}}}\cdot {\sqrt {b}}}{\sqrt[{5}]{a^{2}}}}}\cdot {\sqrt[{3}]{\tfrac {\sqrt[{4}]{a^{6}b}}{a{\sqrt[{3}]{b}}}}}&=\left({\tfrac {a^{\tfrac {2}{3}}\cdot b^{\tfrac {1}{2}}}{a^{\tfrac {2}{5}}}}\right)^{\tfrac {1}{2}}\left({\tfrac {a^{\tfrac {3}{2}}\cdot b^{\tfrac {1}{4}}}{ab^{\tfrac {1}{3}}}}\right)^{\tfrac {1}{3}}\\&={\tfrac {a^{\tfrac {1}{3}}\cdot b^{\tfrac {1}{4}}}{a^{\tfrac {1}{5}}}}\cdot {\tfrac {a^{\tfrac {1}{2}}\cdot b^{\tfrac {1}{12}}}{a^{\tfrac {1}{3}}\cdot b^{\tfrac {1}{9}}}}\\&=a^{{\tfrac {1}{3}}-{\tfrac {1}{5}}\;+{\tfrac {1}{2}}-{\tfrac {1}{3}}}\cdot b^{{\tfrac {1}{4}}+{\tfrac {1}{12}}-{\tfrac {1}{9}}}\\&=a^{\tfrac {3}{10}}\cdot b^{\tfrac {2}{9}}\\&={\sqrt[{10}]{a^{3}}}\cdot {\sqrt[{9}]{b^{2}}};\end{aligned}}$
* ${\sqrt[{6}]{\tfrac {x^{3}\cdot {\sqrt[{3}]{xy^{2}}}}{x^{2}-{\sqrt {xy}}}}}$.
${\begin{aligned}{\sqrt[{6}]{\tfrac {x^{3}\cdot {\sqrt[{3}]{xy^{2}}}}{x^{2}-{\sqrt {xy}}}}}&=\left({\tfrac {x^{3}\cdot (xy^{2})^{\tfrac {1}{3}}}{x^{2}-(xy)^{\tfrac {1}{2}}}}\right)^{\tfrac {1}{6}}\\&=\left({\tfrac {x^{3}\cdot x^{\tfrac {1}{3}}\cdot y^{\tfrac {2}{3}}}{x^{2}-x^{\tfrac {1}{2}}\cdot y^{\tfrac {1}{2}}}}\right)^{\tfrac {1}{6}}\\&=\left({\tfrac {x^{\tfrac {10}{3}}\cdot y^{\tfrac {2}{3}}}{x^{\tfrac {1}{2}}\cdot \left(x^{\tfrac {3}{2}}-y^{\tfrac {1}{2}}\right)}}\right)^{\tfrac {1}{6}}\\&=\left[x^{\tfrac {17}{6}}\cdot y^{\tfrac {2}{3}}\cdot \left(x^{\tfrac {3}{2}}-y^{\tfrac {1}{2}}\right)^{-1}\right]^{\tfrac {1}{6}}\\&=x^{\tfrac {17}{36}}\cdot y^{\tfrac {1}{9}}\cdot \left(x^{\tfrac {3}{2}}-y^{\tfrac {1}{2}}\right)^{-{\tfrac {1}{6}}}.\end{aligned}}$

## Razionalizzazione del denominatore di una frazione

Nel calcolo di espressioni che contengono radicali può capitare che al denominatore compaiano dei radicali. Per semplificare l’espressione e migliorare l’approssimazione si cerca di evitare questa situazione e operare affinché non compaiano radicali al denominatore. Questa operazione prende il nome di razionalizzazione del denominatore.
Razionalizzare il denominatore di una frazione vuol dire quindi trasformare una frazione in una frazione equivalente avente per denominatore un’espressione nella quale non compaiano radici.
I° Caso:  la frazione è del tipo ${\tfrac {a}{\sqrt {b}}}$.
Per razionalizzare il denominatore di una frazione di questo tipo basta moltiplicare numeratore e denominatore per ${\sqrt {b}}$, che prende il nome di fattore razionalizzante:
${\tfrac {a}{\sqrt {b}}}={\tfrac {a{\sqrt {b}}}{{\sqrt {b}}\cdot {\sqrt {b}}}}={\tfrac {a{\sqrt {b}}}{b}}.$
ESEMPIO 28. Razionalizza il denominatore delle seguenti espressioni.
* ${\tfrac {1}{\sqrt {2}}}={\tfrac {1\cdot {\sqrt {2}}}{{\sqrt {2}}\cdot {\sqrt {2}}}}={\tfrac {\sqrt {2}}{2}}$;
* ${\tfrac {3}{2{\sqrt {3}}}}={\tfrac {3{\sqrt {3}}}{2{\sqrt {3}}{\sqrt {3}}}}={\tfrac {3{\sqrt {3}}}{2\cdot 3}}={\tfrac {\sqrt {3}}{2}}$;
* ${\tfrac {a^{2}-1}{\sqrt {a-1}}}={\tfrac {(a^{2}-1){\sqrt {a-1}}}{{\sqrt {a-1}}{\sqrt {a-1}}}}={\tfrac {(a^{2}-1){\sqrt {a-1}}}{a-1}}={\tfrac {(a-1)(a+1){\sqrt {a-1}}}{a-1}}=(a+1){\sqrt {a-1}}$.
II° Caso:
la frazione è del tipo ${\tfrac {a}{\sqrt[{n}]{b^{m}}}}$ con $n>m$.
In questo caso il fattore razionalizzante è ${\sqrt[{n}]{b^{n-m}}}$. Infatti si ha:
${\tfrac {a}{\sqrt[{n}]{b^{m}}}}={\tfrac {a{\sqrt[{n}]{b^{n-m}}}}{{\sqrt[{n}]{b^{m}}}\cdot {\sqrt[{n}]{b^{(n-m)}}}}}={\tfrac {a{\sqrt[{n}]{b^{n-m}}}}{\sqrt[{n}]{b^{m}\cdot b^{n-m}}}}={\tfrac {a{\sqrt[{n}]{b^{n-m}}}}{\sqrt[{n}]{b^{n}}}}={\tfrac {a{\sqrt[{n}]{b^{n-m}}}}{b}}$
Nel caso in cui $n<m$, prima di razionalizzare possiamo portare fuori dalla radice parte del radicando.
ESEMPIO 29. Razionalizza il denominatore delle seguenti espressioni.
* ${\tfrac {1}{\sqrt[{3}]{2}}}$: il fattore razionalizzante è ${\sqrt[{3}]{2^{2}}}$, quindi:
${\tfrac {1}{\sqrt[{3}]{2}}}={\tfrac {1\cdot {\sqrt[{3}]{2^{2}}}}{{\sqrt[{3}]{2}}\cdot {\sqrt[{3}]{2^{2}}}}}={\tfrac {\sqrt[{3}]{4}}{\sqrt[{3}]{2^{3}}}}={\tfrac {\sqrt[{3}]{4}}{2}};$
* ${\tfrac {ab}{\sqrt[{4}]{xa^{2}b^{3}}}}$: il fattore razionalizzante è ${\sqrt[{4}]{x^{3}a^{2}b}}$, quindi:
${\tfrac {ab}{\sqrt[{4}]{xa^{2}b^{3}}}}={\tfrac {ab\cdot {\sqrt[{4}]{x^{3}a^{2}b}}}{{\sqrt[{4}]{xa^{2}b^{3}}}\cdot {\sqrt[{4}]{x^{3}a^{2}b}}}}={\tfrac {ab{\sqrt[{4}]{x^{3}a^{2}b}}}{\sqrt[{4}]{x^{4}a^{4}b^{4}}}}={\tfrac {ab{\sqrt[{4}]{x^{3}a^{2}b}}}{xab}}={\tfrac {\sqrt[{4}]{x^{3}a^{2}b}}{x}};$
* ${\tfrac {1}{\sqrt[{3}]{b^{5}}}}={\tfrac {1}{b{\sqrt[{3}]{b^{2}}}}}={\tfrac {1\cdot {\sqrt[{3}]{b}}}{b{\sqrt[{3}]{b^{2}}}\cdot {\sqrt[{3}]{b}}}}={\tfrac {\sqrt[{3}]{b}}{b^{2}}}$.
III° Caso:  la frazione è del tipo ${\tfrac {x}{{\sqrt {a}}+{\sqrt {b}}}}$ oppure ${\tfrac {x}{{\sqrt {a}}-{\sqrt {b}}}}$.
Per questo tipo di frazione occorre sfruttare il prodotto notevole $(u+v)(u-v)=u^{2}-v^{2}$; ponendo ${\sqrt[{3}]{a}}=u$ e ${\sqrt[{3}]{b}}=v$ si moltiplicano numeratore e denominatore per il fattore che ci consente di ottenere al denominatore $u^{2}-v^{2}$ cioè ${\sqrt {a^{2}}}-{\sqrt {b^{2}}}$. Il fattore razionalizzante nel primo caso è quindi ${\sqrt {a}}-{\sqrt {b}}$ e nel secondo è ${\sqrt {a}}+{\sqrt {b}}$. Sviluppiamo solo il primo caso, poiché il secondo è del tutto analogo:
${\tfrac {x}{{\sqrt {a}}+{\sqrt {b}}}}={\tfrac {x\cdot ({\sqrt {a}}-{\sqrt {b}})}{({\sqrt {a}}+{\sqrt {b}})\cdot ({\sqrt {a}}-{\sqrt {b}})}}={\tfrac {x({\sqrt {a}}-{\sqrt {b}})}{{\sqrt {a^{2}}}-{\sqrt {b^{2}}}}}={\tfrac {x({\sqrt {a}}-{\sqrt {b}})}{a-b}}$
ESEMPIO 30. Razionalizza il denominatore delle seguenti espressioni.
* ${\tfrac {2}{{\sqrt {3}}-{\sqrt {5}}}}={\tfrac {2\cdot ({\sqrt {3}}+{\sqrt {5}})}{({\sqrt {3}}-{\sqrt {5}})\cdot ({\sqrt {3}}+{\sqrt {5}})}}={\tfrac {2({\sqrt {3}}+{\sqrt {5}})}{{\sqrt {3^{2}}}-{\sqrt {5^{2}}}}}={\tfrac {2({\sqrt {3}}+{\sqrt {5}})}{-2}}=-({\sqrt {3}}+{\sqrt {5}})$;
* ${\tfrac {\sqrt {2}}{3-{\sqrt {2}}}}={\tfrac {{\sqrt {2}}\cdot (3+{\sqrt {2}})}{(3-{\sqrt {2}})\cdot (3+{\sqrt {2}})}}={\tfrac {{\sqrt {2}}(3+{\sqrt {2}})}{3^{2}-{\sqrt {2^{2}}}}}={\tfrac {{\sqrt {2}}(3+{\sqrt {2}})}{9-2}}={\tfrac {{\sqrt {2}}(3+{\sqrt {2}})}{7}}$;
* ${\tfrac {1+{\sqrt {a}}}{1-{\sqrt {a}}}}={\tfrac {(1+{\sqrt {a}})\cdot (1+{\sqrt {a}})}{(1-{\sqrt {a}})(1+{\sqrt {a}})}}={\tfrac {(1+{\sqrt {a}})^{2}}{1-{\sqrt {a^{2}}}}}={\tfrac {1+2{\sqrt {a}}+a}{1-a}}$ con $a\geq 0\wedge a\neq 1$.
IV° Caso:  la frazione è del tipo ${\tfrac {x}{{\sqrt {a}}+{\sqrt {b}}+{\sqrt {c}}}}$
Anche in questo caso si utilizza il prodotto notevole della differenza di quadrati, solo che l’operazione va ripetuta più volte.
ESEMPIO 31. Razionalizza ${\tfrac {1}{{\sqrt {2}}+{\sqrt {3}}+{\sqrt {5}}}}$.
Il fattore di razionalizzazione è in questo caso ${\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}$, quindi:
${\tfrac {1}{{\sqrt {2}}+{\sqrt {3}}+{\sqrt {5}}}}\cdot {\tfrac {{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}{{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}}={\tfrac {{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}{({\sqrt {2}}+{\sqrt {3}})^{2}-5}}={\tfrac {{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}{2+3+2{\sqrt {6}}-5}}={\tfrac {{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}{2{\sqrt {6}}}};$
il fattore razionalizzante di questa frazione è ${\sqrt {6}}$:
${\tfrac {{\sqrt {2}}+{\sqrt {3}}-{\sqrt {5}}}{2{\sqrt {6}}}}\cdot {\tfrac {\sqrt {6}}{\sqrt {6}}}={\tfrac {{\sqrt {12}}+{\sqrt {18}}-{\sqrt {30}}}{2\cdot 6}}={\tfrac {2{\sqrt {3}}+3{\sqrt {2}}-{\sqrt {30}}}{12}}.$
V° Caso:  la frazione è del tipo ${\tfrac {x}{{\sqrt[{3}]{a}}+{\sqrt[{3}]{b}}}}$ oppure ${\tfrac {x}{{\sqrt[{3}]{a}}-{\sqrt[{3}]{b}}}}$.
In questo caso si utilizza il prodotto notevole $(u+v)(u^{2}-uv+v^{2})=u^{3}+v^{3}$ e quello analogo $(u-v)(u^{2}+uv+v^{2})=u^{3}-v^{3}$; ponendo ${\sqrt[{3}]{a}}=u$ e ${\sqrt[{3}]{b}}=v$ si moltiplicano numeratore e denominatore per il fattore che ci consente di ottenere al denominatore $u^{3}+v^{3}$ o $u^{3}-v^{3}$, cioè ${\sqrt[{3}]{a^{3}}}+{\sqrt[{3}]{b^{3}}}$ o ${\sqrt[{3}]{a^{3}}}-{\sqrt[{3}]{b^{3}}}$. Sviluppiamo soltanto il primo caso:
${\begin{aligned}{\tfrac {x}{{\sqrt[{3}]{a}}+{\sqrt[{3}]{b}}}}={\tfrac {x}{{\sqrt[{3}]{a}}+{\sqrt[{3}]{b}}}}\cdot {\tfrac {{\sqrt[{3}]{a^{2}}}-{\sqrt[{3}]{ab}}+{\sqrt[{3}]{b^{2}}}}{{\sqrt[{3}]{a^{2}}}-{\sqrt[{3}]{ab}}+{\sqrt[{3}]{b^{2}}}}}=&{\tfrac {x\left({\sqrt[{3}]{a^{2}}}-{\sqrt[{3}]{ab}}+{\sqrt[{3}]{b^{2}}}\right)}{({\sqrt[{3}]{a}})^{3}+({\sqrt[{3}]{b}})^{3}}}\\&={\tfrac {x\left({\sqrt[{3}]{a^{2}}}-{\sqrt[{3}]{ab}}+{\sqrt[{3}]{b^{2}}}\right)}{a+b}}.\end{aligned}}$
ESEMPIO 32. Razionalizza ${\tfrac {1}{{\sqrt[{3}]{2}}-{\sqrt[{3}]{3}}}}$.
Il fattore di razionalizzazione è in questo caso ${\sqrt[{3}]{2^{2}}}+{\sqrt[{3}]{2\cdot 3}}+{\sqrt[{3}]{3^{2}}}$, quindi:
${\tfrac {1\cdot \left({\sqrt[{3}]{2^{2}}}+{\sqrt[{3}]{2\cdot 3}}+{\sqrt[{3}]{3^{2}}}\right)}{\left({\sqrt[{3}]{2}}-{\sqrt[{3}]{3}}\right)\cdot \left({\sqrt[{3}]{2^{2}}}+{\sqrt[{3}]{2\cdot 3}}+{\sqrt[{3}]{3^{2}}}\right)}}={\tfrac {{\sqrt[{3}]{2^{2}}}+{\sqrt[{3}]{2\cdot 3}}+{\sqrt[{3}]{3^{2}}}}{2-3}}=-\left({\sqrt[{3}]{4}}+{\sqrt[{3}]{6}}+{\sqrt[{3}]{9}}\right).$

## Radicali doppi

DEFINIZIONE 7. Si dice radicale doppio un’espressione del tipo ${\sqrt {a+{\sqrt {b}}}}$ oppure ${\sqrt {a-{\sqrt {b}}}}$.
Se l’espressione $a^{2}-b$ è un quadrato perfetto, i radicali doppi possono essere trasformati nella somma algebrica di due radicali semplici per mezzo della seguente formula:
${\sqrt {a\pm {\sqrt {b}}}}={\sqrt {\tfrac {a+{\sqrt {a^{2}-b}}}{2}}}\pm {\sqrt {\tfrac {a-{\sqrt {a^{2}-b}}}{2}}}$
ESEMPIO 33. Trasforma, se possibile, i seguenti radicali doppi in radicali semplici.
* ${\sqrt {7-{\sqrt {40}}}}={\sqrt {\tfrac {7+{\sqrt {49-40}}}{2}}}-{\sqrt {\tfrac {7-{\sqrt {49-40}}}{2}}}={\sqrt {\tfrac {7+3}{2}}}-{\sqrt {\tfrac {7-3}{2}}}={\sqrt {5}}-{\sqrt {2}}$;
* ${\sqrt {2-{\sqrt {3}}}}={\sqrt {\tfrac {2+{\sqrt {2^{2}-3}}}{2}}}-{\sqrt {\tfrac {2-{\sqrt {2^{2}-3}}}{2}}}={\sqrt {\tfrac {3}{2}}}-{\sqrt {\tfrac {1}{2}}}={\tfrac {{\sqrt {3}}-{\sqrt {2}}}{\sqrt {2}}}$, razionalizzando il denominatore si ottiene: ${\tfrac {{\sqrt {3}}-{\sqrt {2}}}{\sqrt {2}}}={\tfrac {({\sqrt {3}}-{\sqrt {2}})\cdot {\sqrt {2}}}{{\sqrt {2}}\cdot {\sqrt {2}}}}={\tfrac {{\sqrt {6}}-2}{2}}$;
* ${\sqrt {7+2{\sqrt {6}}}}={\sqrt {7+{\sqrt {24}}}}$ per applicare la formula abbiamo portato il fattore $2$ dentro la radice: ${\sqrt {7+{\sqrt {24}}}}={\sqrt {\tfrac {7-{\sqrt {49-24}}}{2}}}+{\sqrt {\tfrac {7-{\sqrt {49-24}}}{2}}}={\sqrt {\tfrac {7+5}{2}}}+{\sqrt {\tfrac {7-5}{2}}}={\sqrt {6}}+1$;
* ${\sqrt {5+{\sqrt {3}}}}={\sqrt {\tfrac {5+{\sqrt {25-3}}}{2}}}+{\sqrt {\tfrac {5-{\sqrt {25-3}}}{2}}}={\sqrt {\tfrac {5+{\sqrt {22}}}{2}}}+{\sqrt {\tfrac {5-{\sqrt {22}}}{2}}}$ la formula non è stata di alcuna utilità in quanto il radicale doppio non è stato eliminato: in questo caso infatti $5^{2}-3=25-3=22$ non è un quadrato perfetto.

## Equazioni, disequazioni e sistemi a coefficienti irrazionali

Avendo imparato come operare con i radicali puoi risolvere equazioni, sistemi e disequazioni con coefficienti irrazionali.

### Equazioni di primo grado

ESEMPIO 34. Risolvi le seguenti equazioni.
* ${\sqrt {3}}x=9\Rightarrow x={\tfrac {9}{\sqrt {3}}}={\tfrac {9}{\sqrt {3}}}\cdot {\tfrac {\sqrt {3}}{\sqrt {3}}}={\tfrac {9{\sqrt {3}}}{3}}=3{\sqrt {3}}$;
* $({\sqrt {3}}-1)x-{\sqrt {6}}=2x-{\sqrt {2}}(3{\sqrt {2}}+1)+1$.
${\begin{aligned}&({\sqrt {3}}-1)x-{\sqrt {6}}=2x-{\sqrt {2}}(3{\sqrt {2}}+1)+1\\\Rightarrow &{\sqrt {3}}x-x-{\sqrt {6}}=2x-3\cdot 2-{\sqrt {2}}+1\\\Rightarrow &{\sqrt {3}}x-3x={\sqrt {6}}-{\sqrt {2}}-5\\\Rightarrow &x({\sqrt {3}}-3)={\sqrt {6}}-{\sqrt {2}}-5\\\Rightarrow &x={\tfrac {{\sqrt {6}}-{\sqrt {2}}-5}{{\sqrt {3}}-3}}.\end{aligned}}$
Razionalizziamo ora il denominatore:
$x={\tfrac {{\sqrt {6}}-{\sqrt {2}}-5}{{\sqrt {3}}-3}}\cdot {\tfrac {{\sqrt {3}}+3}{{\sqrt {3}}+3}}={\tfrac {3{\sqrt {2}}+3{\sqrt {6}}-{\sqrt {6}}-5{\sqrt {3}}-15}{3-9}}=\%{\tfrac {2{\sqrt {6}}-5{\sqrt {3}}-15}{-6}}=-{\tfrac {\sqrt {6}}{3}}+{\tfrac {5{\sqrt {3}}}{6}}+{\tfrac {5}{2}}.$

### Disequazioni di primo grado

ESEMPIO 35. Risolvi le seguenti disequazioni.
* $({\sqrt {3}}-1)x\leq {\sqrt {3}}$. Il coefficiente dell’incognita è positivo, quindi $x\leq {\tfrac {\sqrt {3}}{{\sqrt {3}}-1}}$ e razionalizzando si ha $x\leq {\tfrac {3+{\sqrt {3}}}{2}}$;
* $2x(1-{\sqrt {2}})\geq -3{\sqrt {2}}$. Il coefficiente dell’incognita è negativo, quindi $x\leq {\tfrac {-3{\sqrt {2}}}{2(1-{\sqrt {2}})}}$ e razionalizzando si ha $x\leq 3+{\tfrac {3}{2}}{\sqrt {2}}$.

### Sistemi di primo grado

ESEMPIO 36. Risolvi $\left\{{\begin{array}{l}{x(2+{\sqrt {2}})+y={\sqrt {2}}(2+x)}\\{x-({\sqrt {2}}+1)y=-{\tfrac {\sqrt {2}}{2}}(1+2y)}\end{array}}\right..$
Eseguiamo i calcoli per ottenere la forma canonica:
$\left\{{\begin{array}{l}{2x+x{\sqrt {2}}+y=2{\sqrt {2}}+x{\sqrt {2}}}\\{x-y{\sqrt {2}}-y=-{\tfrac {\sqrt {2}}{2}}-y{\sqrt {2}}}\end{array}}\right.\Rightarrow \left\{{\begin{array}{l}{2x+y=2{\sqrt {2}}}\\{x-y=-{\tfrac {\sqrt {2}}{2}}}\end{array}}\right.$
e con il metodo di riduzione, sommando le due equazioni otteniamo:
$\left\{{\begin{array}{l}{3x=2{\sqrt {2}}-{\tfrac {\sqrt {2}}{2}}}\\{y=2{\sqrt {2}}-2x}\end{array}}\right.\Rightarrow \left\{{\begin{array}{l}{x={\tfrac {\sqrt {2}}{2}}}\\{y=2{\sqrt {2}}-2{\tfrac {\sqrt {2}}{2}}}\end{array}}\right.\Rightarrow \left\{{\begin{array}{l}{x={\tfrac {\sqrt {2}}{2}}}\\{y={\sqrt {2}}}\end{array}}\right..$
* ↑ la divisione per un numero irrazionale comporta un calcolo laborioso e potenzialmente più soggetto ad errori di approssimazione.