Radice quadrata

Da Wikipedia, l'enciclopedia libera.

La nozione di radice quadrata è importante non solo per i problemi di largo interesse (in particolare geometrici) che consente di risolvere direttamente, ma anche perché, nella sua evoluzione storica, ha contribuito ad ampliare la nozione di numero, ovvero ad estendere strumenti computazionali fondamentali (introduzione dei numeri irrazionali, distinzione dei numeri algebrici, introduzione dei numeri complessi).

Nella matematica di base si definisce radice quadrata di un numero razionale positivo $z\;$ un numero $x\;$ , anch'esso positivo, che soddisfa l'equazione $\,x^2 = z\,$ . La determinazione della radice quadrata, o come spesso si dice, la estrazione della radice quadrata, consente di risolvere il problema di geometria piana della determinazione della lunghezza del lato (x) di un quadrato di data area (z). Da questo problema trae origine l'aggettivo quadrata.

Indice

1 Sviluppo della nozione
2 Proprietà
3 Generalizzazioni
4 Radici quadrate dei primi 20 numeri interi positivi
5 Voci correlate

[modifica] Sviluppo della nozione

Quando si sono definiti i numeri reali si può definire radice quadrata principale di un numero reale positivo $z$ ogni numero reale positivo x tale che

$[*] \qquad \qquad x^2 \,=\, z$ .

Questo numero, del quale si dimostrano l'esistenza e l'unicità, si indica con la scrittura $\sqrt z$ . Si osserva poi che anche l'opposto $- x$ soddisfa la precedente equazione quadratica [*]; inoltre entrambe le soluzioni di tale equazione sono interessanti, in quanto danno i due zeri della parabola di equazione $y = x 2 - z$ . È dunque opportuno definire radice quadrata di un numero reale positivo ogni numero reale che soddisfi la [*]. Tutti i numeri reali positivi posseggono due radici quadrate, una positiva e una negativa. Lo zero reale possiede come radice quadrata solo sé stesso. Emerge però una certa opportunità di affermare che lo zero reale possiede due radici quadrate coincidenti, sia per mettere lo zero sullo stesso piano dei numeri reali positivi, sia per una ragione di continuità: lo zero si può considerare l'unico limite delle due radici quadrate x e -x del numero z al tendere a 0 di questo reale.

Restringendo la ricerca della radice quadrata al dominio dei numeri interi positivi, si trova che solo i numeri che sono quadrati perfetti ammettono per radice quadrata principale un numero dello stesso tipo: ad esempio, 4 ha per radice il numero 2, e 25 ha per radice 5; viceversa tutti gli altri interi positivi, a cominciare da 2 e 3, non ammettono una radice intera.

Se ampliamo il dominio di ricerca ad includere i numeri razionali positivi, si trova che solo i numeri razionali che sono quadrati perfetti, ovvero che sono dati da frazioni con numeratore e denominatore entrambi quadrati perfetti, ammettono per radice principale un numero razionale positivo: 4/9 ammette per radice 2/3, ma 1/2 o 25/39 non ammettono radici razionali.

Si è quindi trovato che l'insieme dei numeri razionali presenta una limitazione operativa e si è sentita la necessità di ampliare il campo dei razionali ad un campo numerico nel quale si possa trovare una radice quadrata per ogni numero positivo.

Questo ha condotto alla introduzione dei numeri reali: se allarghiamo il dominio della ricerca a questi numeri, ogni numero reale positivo (che in questo contesto viene chiamato radicando) possiede una radice quadrata dello stesso genere. È possibile dimostrare che un numero che sia la radice quadrata di un numero che non è un quadrato perfetto o una frazione il cui numeratore e denominatore sono ambedue quadrati perfetti è un numero irrazionale, cioè un numero non esprimibile come frazione ma rappresentabile con una scrittura decimale infinita non periodica. Ad esempio è irrazionale la radice quadrata di 2; di più, l'insieme di tutti gli interi positivi non quadrati perfetti è un sottoinsieme numerabile dei numeri irrazionali.

Si osserva poi che nessun numero reale negativo possiede una radice quadrata reale e questo ha contribuito (v. anche Rafael Bombelli) all'introduzione dei numeri complessi. Quando si estende a queste entità la ricerca di radici quadrate, si trova che ogni numero complesso ammette due radici quadrate complesse, l'una essendo il numero opposto dell'altra. Particolarmente importanti sono le radici quadrate di -1, i detta unità immaginaria e -i. In generale il numero espresso in forma polare come

$z \,=\, |z| e^{i\theta}$

si trova che possiede due radici complesse date da

$x = \pm\sqrt{|z|} e^{i\frac{\theta}2}$ .

Per esprimere questi numeri complessi può essere conveniente estendere agli argomenti complessi la nozione di radice quadrata principale e la relativa notazione

$\sqrt z := \sqrt{|z|} e^{i\frac{\theta}2}$ ,

in modo da poter dire ancora che le radici del numero complesso z sono $\sqrt z ~~\mbox{e}~~ -\sqrt z$ .

Le radici del numero complesso 0 coincidono con lo stesso 0 e a tale radice si attribuisce molteplicità 2.

[modifica] Proprietà

Riveste grande utilità la funzione radice quadrata principale funzione che pone in corrispondenza l'insieme dei numeri reali non negativi $\mathbb{R}_{0,+}$ con sé stesso e che si individua scrivendo $\sqrt{x}$ o anche $x 1 / 2$ . Più precisamente questa endofunzione entro $\mathbb{R}_{0,+}$ è una biiezione crescente e continua.

L'equazione $x = \sqrt{x}$ ha solo due soluzioni, 0 e 1. In altre parole la funzione radice quadrata principale è una permutazione (= endofunzione biiettiva) di $\mathbb{R}_{0,+}$ avente { 0,1 } come insieme dei punti fissi.

Per ogni due numeri reali positivi $x\;$ e $y\;$ si trovano subito le identità

$\sqrt{xy} = \sqrt x \sqrt y \qquad \sqrt{\frac{x}{y}} = \frac{\sqrt{x}}{\sqrt{y}}$

Queste uguaglianze sono in sintonia con il fatto che la funzione radice quadrata fa corrispondere all'area di un quadrato la lunghezza del suo lato. Esse inoltre per y=100 diventano

$\sqrt{\left( 100y \right) } \,=\, 10 \cdot \sqrt y \quad\mbox{e}\quad \sqrt{\frac{x}{100}} = \frac{\sqrt{x}}{10}$ .

Queste uguaglianze implicano che per tabulare nella notazione decimale i valori assunti dalla funzione radice quadrata principale è sufficiente conoscere i suoi valori nell'intervallo [0,100).

Per ogni numero reale x si trova che

$\sqrt{x^2} = \left|x\right|$

Supponiamo che $x$ e $a$ siano reali e che $x^2 = a \,$ , e che si voglia ottenere la $x\;$ . Un errore comune consiste nell'estrarre la radice quadrata e dedurre che $x = \sqrt a$ . Questo non è lecito, in quanto la radice quadrata principale di $x^2\;$ non è $x\;$ , ma il valore assoluto $\left| x \right|$ , come dice l'uguaglianza precedente. Commettendo questo errore si potrebbe concludere che $\left| x \right| = \sqrt a$ , o equivalentemente $x = \pm\sqrt a$ .

L'uguaglianza che segue è utile in molti passi del calcolo infinitesimale, ad esempio per dimostrare che la funzione radice quadrata è continua e differenziabile, o per calcolare certi limiti.

$\sqrt x - \sqrt y = \frac{x-y}{\sqrt x + \sqrt y},$

valida per tutte le coppie di interi non negativi

x

y

che non sono entrambi zero.

La funzione $f(x) = \sqrt x$ ha il seguente grafico (ottenibile da una metà di parabola avente come asse l'asse delle y.

Questa funzione, continua per tutti gli x non negativi, è differenziabile per tutti gli x positivi, ma non è differenziabile per $x = 0$ , poiché la pendenza della tangente nel corrispondente punto è ∞).

La derivata della funzione è data da

$f'(x) = \frac{1}{2\sqrt x}$ .

La serie di Taylor di $\sqrt{x+1}$ in un intorno di $x = 0$ si puo` ottenere servendosi del teorema binomiale:

$\sqrt{x+1}=1 + \sum_{n=1}^\infty { (-1)^{n+1} (2n-2)! \over n! (n-1)! 2^{2n-1} }x^n$

$= 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16} x^3 - \frac{5}{128} x^4 + \dots$

per $\left| x \right| < 1$ .

[modifica] Generalizzazioni

Il problema dell'estrazione della radice quadrata può porsi anche in un generico anello e in altre strutture di genere algebrico nelle quali si definisce un prodotto.

In particolare si definisce radice quadrata di una matrice quadrata Z su un campo ogni matrice X con lo stesso dominio tale che sia $X \cdot X = Z$ . Nel caso delle matrici 2 × 2 la ricerca della matrice radice quadrata si riconduce alla soluzione di un sistema di 4 equazioni di secondo grado in 4 incognite. Infatti l'equazione nelle incognite v, w, x e y

$\begin{pmatrix}v&w\\x&y\end{pmatrix} \times \begin{pmatrix}v&w\\x&y\end{pmatrix} = \begin{pmatrix}a&b\\c&d\end{pmatrix}$

equivale al sistema

$\left\{ \begin{matrix}v^2+wx&=&a \\ vw+wy &=& b \\ xv+xy &=& c \\ wx+y^2 &=& d \end{matrix} \right.$

In particolare una matrice diagonale 2 × 2 a valori reali

$\begin{pmatrix}a&0\\0&d\end{pmatrix}$

con $a$ e $d$ positivi possiede le 4 le radici quadrate date dall'espressione

$\begin{pmatrix}\pm \sqrt a&0\\0&\pm \sqrt d\end{pmatrix}$

Si può definire anche la radice quadrata di un linguaggio formale, in relazione al prodotto di giustapposizione, prodotto non commutativo e associativo. Ad esempio, se a è un carattere, il linguaggio ${a 2 n}$ possiede come unica radice quadrata il linguaggio ${a n}$ e il linguaggio ${a 2, a 4,..., a 2 n,...}$ possiede come unica radice quadrata il linguaggio ${a, a 3,..., a 2 n - 1,...}$ ; ogni linguaggio finito con più di una stringa non possiede invece alcuna radice quadrata.

[modifica] Radici quadrate dei primi 20 numeri interi positivi

$\sqrt {1}$	$=\,$	1
$\sqrt {2}$	$\approx$	1.4142135623 7309504880 1688724209 6980785696 7187537694 8073176679 7379907324 78462
$\sqrt {3}$	$\approx$	1.7320508075 6887729352 7446341505 8723669428 0525381038 0628055806 9794519330 16909
$\sqrt {4}$	$=\,$	2
$\sqrt {5}$	$\approx$	2.2360679774 9978969640 9173668731 2762354406 1835961152 5724270897 2454105209 25638
$\sqrt {6}$	$\approx$	2.4494897427 8317809819 7284074705 8913919659 4748065667 0128432692 5672509603 77457
$\sqrt {7}$	$\approx$	2.6457513110 6459059050 1615753639 2604257102 5918308245 0180368334 4592010688 23230
$\sqrt {8}$	$\approx$	2.8284271247 4619009760 3377448419 3961571393 4375075389 6146353359 4759814649 56924
$\sqrt {9}$	$=\,$	3
$\sqrt {10}$	$\approx$	3.1622776601 6837933199 8893544432 7185337195 5513932521 6826857504 8527925944 38639
$\sqrt {11}$	$\approx$	3.3166247903 5539984911 4932736670 6866839270 8854558935 3597058682 1461164846 42609
$\sqrt {12}$	$\approx$	3.4641016151 3775458705 4892683011 7447338856 1050762076 1256111613 9589038660 33818
$\sqrt {13}$	$\approx$	3.6055512754 6398929311 9221267470 4959462512 9657384524 6212710453 0562271669 48293
$\sqrt {14}$	$\approx$	3.7416573867 7394138558 3748732316 5493017560 1980777872 6946303745 4673200351 56307
$\sqrt {15}$	$\approx$	3.8729833462 0741688517 9265399782 3996108329 2170529159 0826587573 7661134830 91937
$\sqrt {16}$	$=\,$	4
$\sqrt {17}$	$\approx$	4.1231056256 1766054982 1409855974 0770251471 9922537362 0434398633 5730949543 46338
$\sqrt {18}$	$\approx$	4.2426406871 1928514640 5066172629 0942357090 1562613084 4219530039 2139721974 35386
$\sqrt {19}$	$\approx$	4.3588989435 4067355223 6981983859 6156591370 0392523244 4936890344 1381595573 28203
$\sqrt {20}$	$\approx$	4.4721359549 9957939281 8347337462 5524708812 3671922305 1448541794 4908210418 51276