In matematica, la radice
-esima o radicale
-esimo, con
, di un numero reale
, scritto come
, è un numero reale
tale che
. Il numero reale
è detto radicando, il numero
è detto indice e il numero
è detto radice
-esima di
[1].
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[1].
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[2].
La funzione radice
-esima è una funzione definita da
, perciò
resta definita
Per esempio, i seguenti radicali esprimono numeri reali:
![{\displaystyle {\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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3131e4d074026bd66d92bdc02bf2b3cb2aaccf5a)
Si può ottenere un risultato analogo alla radice ennesima attraverso l'elevamento a potenza con esponente frazionario:
![{\displaystyle a^{\frac {1}{n}}=b\Longleftrightarrow \left(a^{\frac {1}{n}}\right)^{n}=b^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbf54dab6e79f7e3f8e63d03d67f116697231b45)
Tuttavia la funzione potenza è definita da
, perciò essa permette di definire due sottocasi:
- se
![{\displaystyle a\geq 0\implies a^{\frac {1}{n}}\equiv {\sqrt[{n}]{a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc5d6158a88f896e5714ae46fbf422f937878962)
- se
è dispari
Ciò implica che equazioni del tipo
, con
pari e
non hanno soluzioni reali, esse infatti appartengono all'insieme dei numeri immaginari, sottoinsieme dell'insieme dei numeri complessi, indicato con
, che vengono espressi come somma di un numero reale e un numero immaginario.
Ad esempio, l'equazione
avrà per soluzioni
e
, dove
rappresenta l'unità immaginaria.
Quanto visto finora ci permette d'individuare che, ad esempio, la condizione di esistenza del radicale
è
, dato che il radicando deve essere sempre positivo.
Ecco altri esempi di condizioni di esistenza:
ha come condizioni di esistenza
: infatti, si deve risolvere la disequazione
, la cui soluzione è proprio
.
, invece, esiste
.
ha come condizioni di esistenza
, poiché è necessario risolvere la disequazione fratta
. - Un ultimo esempio: per trovare le condizioni di esistenza del radicale
è necessario risolvere la disequazione
, che ha come soluzione
, ricordando che i fattori
ed
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:
, con
se
pari,
se
dispari,
.
Prodotto di radicali
, con
,
, ![{\displaystyle n\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0055197414c7cf4bfa79fd73e0c943d14251877)
Dimostrazione
Si elevino all'ennesima potenza entrambi i membri dell'uguaglianza:
(per la prima proprietà fondamentale dei radicali)
(per la prima proprietà fondamentale dei radicali)
Poiché le
-esime potenze dei due membri sono uguali (
), sono uguali anche le basi.
Esempi
Applicando la proprietà:
![{\displaystyle {\sqrt {5}}{\sqrt {10}}{\sqrt {40}}={\sqrt {5\cdot 10\cdot 40}}={\sqrt {2000}}=20{\sqrt {5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd4b9cf5fc315066afc3fc871d1386e29507e62a)
Allo stesso modo, con
:
![{\displaystyle {\sqrt {x-1}}{\sqrt {x}}{\sqrt {\frac {1}{x-1}}}={\sqrt {\frac {x(x-1)}{x-1}}}={\sqrt {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1ea4f656c9620b22255810d68e4cbb7a1c8c938)
Quoziente di radicali
, con
,
, ![{\displaystyle n\in \mathbb {N} -\{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7043cdf1b0e3a0b283cfa4635ae31cf5e486fed)
Dimostrazione
Si elevino all'ennesima potenza entrambi i membri dell'uguaglianza:
(per la prima proprietà fondamentale dei radicali)
(per la prima proprietà fondamentale dei radicali)
Poiché le
-esime potenze dei due membri sono uguali
, sono uguali anche le basi.
Esempi
Applicando la proprietà:
![{\displaystyle {\frac {\sqrt {50}}{\sqrt {25}}}={\sqrt {\frac {50}{25}}}={\sqrt {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c6cbebeeb9869bbb96068e4ec19b7aaf4411930)
Allo stesso modo, con
:
![{\displaystyle {\frac {\sqrt {x+2}}{\sqrt {(x+2)(x+3)}}}={\sqrt {\frac {x+2}{(x+2)(x+3)}}}={\sqrt {\frac {1}{x+3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88ec33aba4f71224306755a3d73c10188b7b956d)
Potenze di radicali
, con
, ![{\displaystyle n,m\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05a735008454edd572c0ebc42f0dfc925bf7a902)
Non è necessario dimostrare questa proprietà in quanto è una diretta conseguenza della seconda proprietà dei radicali con il radicando sempre positivo.
Esempi
Applicando la proprietà:
![{\displaystyle \left({\sqrt {5}}\right)^{4}={\sqrt {5^{4}}}=25}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ff5b94694656ac324320a531ceeb1878eca94e7)
Allo stesso modo, con
![{\displaystyle \left({\sqrt {x+1}}\right)^{4}={\sqrt {(x+1)^{4}}}=(x+1)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38d3fde0854cb9821c80cc1a01b4b444d8c0d240)
Radice di un radicale
, con
, ![{\displaystyle n,m\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05a735008454edd572c0ebc42f0dfc925bf7a902)
Dimostrazione
Si elevino all'
-esima potenza entrambi i membri dell'uguaglianza:
(per la prima proprietà fondamentale dei radicali)
(per la prima proprietà fondamentale dei radicali)
Poiché le
-esime potenze dei due membri sono uguali (
), sono uguali anche le basi.
Esempi
Applicando la proprietà:
![{\displaystyle {\sqrt {\sqrt[{3}]{3}}}={\sqrt[{2\cdot 3}]{3}}={\sqrt[{6}]{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fbc7f750229407bc659f311b0078c6e6a3d8bb7)
Allo stesso modo, con
,
![{\displaystyle {\sqrt[{n}]{\sqrt[{n-1}]{x}}}={\sqrt[{n(n-1)}]{x}}={\sqrt[{n^{2}-n}]{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26ba2b8f5a5cc766bc266d41135fd47e50070523)
Portar fuori
, con
,
, ![{\displaystyle n\in \mathbb {N} -\{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7043cdf1b0e3a0b283cfa4635ae31cf5e486fed)
Dimostrazione
Per il teorema del prodotto si ottiene:
![{\displaystyle {\sqrt[{n}]{a^{n}b}}={\sqrt[{n}]{a^{n}}}{\sqrt[{n}]{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1416dfb1d9a29e15560180bd48ff39d17e848db9)
Ma, per la seconda proprietà fondamentale dei radicale è
, perciò:
![{\displaystyle {\sqrt[{n}]{a^{n}b}}={\sqrt[{n}]{a^{n}}}{\sqrt[{n}]{b}}=a{\sqrt[{n}]{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abe2fa77adb96e5b6a96aa2722df603db115c1b3)
Esempi
Applicando la proprietà:
![{\displaystyle {\sqrt {500}}={\sqrt {100\cdot 5}}=10{\sqrt {5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb076fd0cf460cdca0011aa1083159ed0d74af6e)
Allo stesso modo, con
:
![{\displaystyle {\sqrt {x(x+1)^{2}}}=(x+1){\sqrt {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f3afd719570761ed84912614cfa3820ac80d768)
Varianti
Il teorema presenta le seguenti varianti, facilmente verificabili:
, con
,
, ![{\displaystyle n,x\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3b5252dcfa5625a52a4d017fad96d2c3a0d2133)
, con
, ![{\displaystyle n,k\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d08a2925bc647138c39867f8a5a8e4e78ffcc11b)
Portar dentro
, con
,
, ![{\displaystyle n\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0055197414c7cf4bfa79fd73e0c943d14251877)
Dimostrazione
Elevando tutto alla
-esima potenza si ottiene:
![{\displaystyle a{\sqrt[{n}]{b}}=a^{n}b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b82043a6f60e173cee488b3cdd5cd459c2774e20)
Radicando ora il tutto sotto radice di indice
risulta:
![{\displaystyle a^{n}b={\sqrt[{n}]{a^{n}b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00ff32296693858b711dcb76972e1d32bb880194)
Quindi:
![{\displaystyle a{\sqrt[{n}]{b}}={\sqrt[{n}]{a^{n}b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c6c7fdd1da477db90eb844788c7f56b7a9e4231)
Esempi
Applicando la proprietà:
![{\displaystyle 10{\sqrt {3}}={\sqrt {10^{2}\cdot 3}}={\sqrt {300}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd8bcb245d0d8fde342390bafd468ab483299dc)
Allo stesso modo:
per ![{\displaystyle x\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2608e2b392b079f5b763f27bf52883dbee3b64a)
per ![{\displaystyle x<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a4dbbf970b2d2863dcab589eafe006f08e727d7)
Varianti
Il teorema presenta le seguenti varianti, facilmente verificabili:
, con
,
, ![{\displaystyle n,x\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3b5252dcfa5625a52a4d017fad96d2c3a0d2133)
, con
, ![{\displaystyle n,x\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3b5252dcfa5625a52a4d017fad96d2c3a0d2133)
Potenze ad esponente razionale
Tenendo conto di quanto detto finora, si ha che per
![{\displaystyle a^{\frac {m}{n}}\equiv {\sqrt[{n}]{a^{m}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/375a18619c5499c97a48d901e3e2d114d5f7d23b)
![{\displaystyle a^{-{\frac {m}{n}}}\equiv {\frac {1}{\sqrt[{n}]{a^{m}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65b3b3c53855741f492028449be4c9f221fec651)
Il primo enunciato si ottiene direttamente dalla definizione di radicale, il secondo applicando il teorema delle potenze ad esponente negativo.
Radicali quadratici doppi
![{\displaystyle {\sqrt {a\pm {\sqrt {b}}}}={\sqrt {\frac {a+{\sqrt {a^{2}-b}}}{2}}}\pm {\sqrt {\frac {a-{\sqrt {a^{2}-b}}}{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148391aa9169a090487216dc6ea59607ec499b1e)
dove
,
e
.
Per ogni numero complesso
, ci sono
diversi numeri complessi
tali che
, quindi il simbolo
non può essere usato univocamente. Se
, parliamo di radici n-esime dell'unità.
Somme di radicali
È importante ricordare che, in generale, è sempre (per
,
):
![{\displaystyle {\sqrt {a}}+{\sqrt {b}}\geq {\sqrt {a+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ec07674e81396220fba24249b0020a1f30c0779)
tenendo presente che l'uguaglianza si ha se e solo se almeno uno tra
e
è
.
Quindi, affermare che
sarebbe un gravissimo errore.
Dimostrazione
Partendo dalla disequazione:
![{\displaystyle {\sqrt {a}}+{\sqrt {b}}\geq {\sqrt {a+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ec07674e81396220fba24249b0020a1f30c0779)
Elevando al quadrato si ottiene:
![{\displaystyle \left({\sqrt {a}}+{\sqrt {b}}\right)^{2}\geq \left({\sqrt {a+b}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e3b8886634cf5a9327d4dae2f31e423b4db7d02)
![{\displaystyle a+b+2{\sqrt {ab}}\geq a+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeb7ab7538e9ad7e9e53f9fd6575551cd3fb18dd)
![{\displaystyle 2{\sqrt {ab}}\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a62d2fefe1f139e4d0c47812486b1019908a51b)
Poiché è
e
per ipotesi, è anche
, quindi la tesi è vera.
Generalizzazione
Il teorema è facilmente estendibile alle radici di indice
-esimo:
, con
,
, ![{\displaystyle n\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0055197414c7cf4bfa79fd73e0c943d14251877)
Casi in cui la somma è possibile
La somma di radicali è possibile solo se sono presenti radicali simili, cioè nel caso in cui:
, con ![{\displaystyle k>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27b3af208b148139eefc03f0f80fa94c38c5af45)
Ad esempio:
![{\displaystyle 10{\sqrt {2}}+5{\sqrt {2}}=(10+5){\sqrt {2}}=15{\sqrt {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ff69f3d9004288c029dbbacf12727f948b2755d)
![{\displaystyle 5+3{\sqrt {5}}={\sqrt {5}}{\sqrt {5}}+3{\sqrt {5}}=\left({\sqrt {5}}+3\right){\sqrt {5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4de904b57b873eba90d95a39236230afa9c7159)
Nel secondo esempio si tenga presente che vale
.
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:
, con
, ![{\displaystyle n,p\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc1a2bc4eda075b2ad99eb559b696ca69e92483f)
Dimostrazione
Si elevi alla
potenza ciascuno dei due membri:
(per la prima proprietà fondamentale dei radicali)
(per la prima proprietà fondamentale dei radicali)
Si ottiene
, e, poiché le
-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:
![{\displaystyle {\sqrt[{10}]{3^{5}}}={\sqrt[{\frac {10}{5}}]{3^{\frac {5}{5}}}}={\sqrt {3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/048f99eca615e98903f9e651e9f8e20557f1bb96)
Allo stesso modo:
![{\displaystyle {\sqrt[{20}]{(x+1)^{10}}}={\sqrt {|x+1|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3da6590c81521870a9b4f394d39fd222b72a7d)
Si noti che nell'espressione è stato inserito il valore assoluto: questo perché, mentre il primo radicale
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
-esima di
vale sempre
, escludendo il caso in cui è
, poiché la radice di indice
ha significato solo se il radicando è uguale ad
, ossia nel caso:
, poiché l'operazione inversa,
, con
, dà sempre come risultato il valore
, quindi qualsiasi valore, anche complesso, di
è accettabile.
Inoltre, è sempre:
![{\displaystyle {\sqrt[{n}]{1}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d7e50a4ff445cd0d4274408adbdb7398d7c67b1)
![{\displaystyle {\sqrt[{1}]{n}}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bd6e3cc79c5fe0027325432bfc7dd9a832a513f)
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
e
sono due numeri positivi distinti:
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c8bb91fde946e71afd236eeefcc66ccedcbd8a)
![{\displaystyle ({\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcb9f4994c1b45ef570bbf8314439adb3c58dcac)
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:
![{\displaystyle {\sqrt[{n}]{\frac {x+3}{x^{3}-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17191627ef68f0637976f69b230eea47bdeae812)
Le condizioni di esistenza si ricavano nel seguente modo:
- Per l'indice, è semplicemente
, poiché è l'unico numero naturale per cui perde di significato; - Se l'indice è pari, per il radicando è necessario risolvere la disequazione frazionaria
, la cui soluzione è:
. - Se l'indice è dispari, per il radicando basta imporre le condizioni di esistenza sul denominatore, ossia
.
Pertanto il campo di esistenza del radicale è:
.
Note
- ^ a b Carboncini et al., pp. 15-16.
- ^ Carboncini et al., pp. 17-18.
Bibliografia
Andrea Minini, I radicali spiegati in modo semplice, su Il non-senso della vita 3.0. URL consultato il 20 febbraio 2023.
Voci correlate
Collegamenti esterni
- (EN) root, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
- (EN) Eric W. Weisstein, Radicale / Radicale (altra versione), su MathWorld, Wolfram Research.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica