Raz cuadrada

Expresin matemtica de "Raz cuadrada de x".

En matemtica, la raz cuadrada de un nmero x, es el nmero y que al ser multiplicado

por s mismo elevarlo al cuadrado resulta en x nuevamente, por tanto y2=x sera una
ecuacin equivalente.1 Es la radicacin de ndice 2 o, equivalentemente,
la potenciacin con exponente 12.
Cualquier nmero real no negativo x tiene una nica raz cuadrada no negativa,

llamada raz cuadrada principal y denotada como donde es el

smbolo raz y x es el radicando.

Todo nmero real positivo tiene dos races cuadradas opuestas, , que es positiva,

y , que es negativa. Suelen denotarse de manera conjunta como . Puesto que

una de las dos se tiene que tomar como principal, la designacin raz cuadrada se refiere a
la raz cuadrada principal.
El concepto de raz cuadrada puede extenderse a cualquier anillo algebraico, as es
posible definir la raz cuadrada de un nmero real negativo o la raz cuadrada de
algunas matrices. En los nmeros cuaterninicos los reales negativos admiten un nmero
infinito de races cuadradas, sin embargo el resto de cuaterniones diferentes de cero
admiten solo dos races cuadradas. En el anillo no conmutativo de las funciones reales de
variable real con la adicin y la composicin de funciones si ff = g, se puede plantear
que f es la "raz cuadrada" de g.2

ndice
[ocultar]

1Historia
2Funcin raz cuadrada
o 2.1Propiedades generales
o 2.2Irracionalidad de las races cuadradas
o 2.3Radicales jerarquizados cuadrados
o 2.4Fracciones continuas
o 2.5Aproximaciones enteras
3Extensin de la funcin raz cuadrada
o 3.1La raz cuadrada de un nmero complejo
3.1.1Raz cuadrada de un nmero imaginario
 3.1.2Raz cuadrada principal de un nmero complejo
3.1.3Frmula algebraica
3.1.4Notas
o 3.2Races cuadradas en los cuaterniones
o 3.3Raz cuadrada de matrices
o 3.4Raz cuadrada en cuerpo finito
4Clculo de races cuadradas
o 4.1Algoritmo
o 4.2Utilizando logaritmos
o 4.3Algoritmos para mquinas
5Construccin geomtrica de la raz cuadrada
o 5.1Pasos a seguir para la construccin geomtrica
o 5.2Demostracin de que OH es igual a la raz cuadrada de OB
6Races cuadradas tiles
o 6.1Raz cuadrada de 2
o 6.2Raz cuadrada de 3
o 6.3Raz cuadrada de 5
7Usos y casos
8Vase tambin
9Referencias
o 9.1Notas
o 9.2Bibliografa
10Enlaces externos

Historia[editar]
Las races cuadradas son expresiones matemticas que surgieron al plantear diversos
problemas geomtricos como la longitud de la diagonal de un cuadrado. El Papiro de
Ahmesdatado hacia 1650 a. C., que copia textos ms antiguos, muestra cmo los egipcios
extraan races cuadradas.3
En la antigua India, el conocimiento de aspectos tericos y aplicados del cuadrado y la raz
cuadrada fue al menos tan antiguo como los Sulba Sutras, fechados entre el 500 y el
300 a. C. Un mtodo para encontrar muy buenas aproximaciones a las races cuadradas
de 2 y 3 es dado en el Baudhayana Sulba Sutra.4 Aryabhata (476-550) en su
tratado Aryabhatiya (seccin 2.4), dio un mtodo para encontrar la raz cuadrada de
nmeros con varios dgitos.
Los babilonios aproximaban races cuadradas haciendo clculos mediante la media
aritmtica reiteradamente. En trminos modernos, se trata de construir una

sucesin dada por:

Puede demostrarse que esta sucesin matemtica converge (como valor

inical puede tomarse con buena aproximacin el entero ms cercano al valor de la

raz cuadrada). Las races cuadradas fueron uno de los primeros desarrollos de las
matemticas, siendo particularmente investigadas durante el periodo pitagrico, cuando el
descubrimiento de que la raz cuadrada de 2 era irracional (inconmensurable) o no
expresable como cociente alguno, lo que supuso un hito en la matemtica de la poca.
Inicialmente mostraron su utilidad para la resolucin de
problemas trigonomtricos y geomtricos, como la diagonal de un cuadrado o el teorema
de Pitgoras. Posteriormente fueron ganando utilidad para operar con polinomios y
resolver ecuaciones de segundo grado o superior, y son en la actualidad una de las
herramientas matemticas ms elementales.
David Eugene Smith, en History of Mathematics, dice acerca de la situacin existente:
"En Europa esos mtodos (para encontrar el cuadrado y la raz cuadrada) no aparecieron antes
de Cataneo (1546). l dio el mtodo de Ariabhata para determinar la raz cuadrada".6

Pietro Antonio Cataldi calcul en 1613 la raz cuadrada aproximando por fracciones
continuas, como aparece en la obra comn Historia de la matemtica de Julio Rey
Pastor y Jos Babini.

El smbolo de la raz cuadrada fue introducido en 1525 por el matemtico Christoph

Rudolff para representar esta operacin,78 que aparece en su libro Coss, el primer tratado
de lgebra escrito en alemn vulgar. El signo no es ms que una forma estilizada de la
letra r minscula para hacerla ms elegante, alargndola con un trazo horizontal, hasta
adoptar el aspecto actual, que representa la palabra latina radix, que significa raz.
Tambin se conjetura que pudiese haber surgido de la evolucin del punto que en
ocasiones se usaba anteriormente para representarlo, donde posteriormente se le habra
aadido un trazo oblicuo en la direccin del radicando.
Posteriormente se fue ampliando la definicin de raz cuadrada. Varios matemticos vieron
la necesidad de idear nmeros que representasen la raz cuadrada de nmeros
realesnegativos para poder resolver todas las ecuaciones de segundo grado, pero no ser
hasta 1777 cuando Euler simbolizara la raz cuadrada de 1 con la letra i. La
generalizacin de la funcin raz cuadrada de stos da lugar al concepto de los nmeros
imaginarios y al cuerpo de los nmeros complejos, algo necesario para que
cualquier polinomio tenga todas sus races (teorema fundamental del lgebra).9
La diagonalizacin de matrices tambin permite el clculo rpido de la raz de una matriz.

Funcin raz cuadrada[editar]

La grfica de la funcin es una semiparbola con directriz vertical.

La raz cuadrada permite definir una funcin real cuyo dominio e imagen es el

conjunto (el conjunto de todos los nmeros reales no negativos). Para cada nmero
real x esta funcin se define como el nico nmero no negativo y que elevado al cuadrado
es igual a x. Consiste en hallar el nmero del que se conoce su cuadrado. La funcin raz
cuadrada de xse expresa de las siguiente manera:

Usualmente la raz cuadrada de un nmero entero no es un nmero racional a menos que

el nmero entero sea un cuadrado perfecto, como por ejemplo:
ya que:

La funcin raz cuadrada, en general, transforma nmeros racionales en nmeros

algebraicos; es racional si y slo si x es un nmero racional que puede escribirse

como fraccin de dos cuadrados perfectos. Si el denominador es , entonces se trata

de un nmero natural. Sin embargo, es irracional.

El descubrimiento de que la raz cuadrada de muchos nmeros era un nmero
irracional se atribuye a los pitagricos. Los babilonios y egipcios ya disponan de medios
de estimar numricamente la raz cuadrada, pero su inters parece haber sido
eminentemente prctico por lo que no parecen existir referencias sobre la naturaleza de la
raz cuadrada y el problema de si esta poda ser expresada como cociente de dos
nmeros enteros.
La interpretacin geomtrica es que la funcin raz cuadrada transforma la superficie de
un cuadrado en la longitud de su lado.
Propiedades generales[editar]

Grfica de la ecuacin: o tambin (como funcin multivaluada).

Las siguientes propiedades de la raz cuadrada son vlidas para todos los nmeros
reales no negativos x, y:

y tambin

Contrariamente a la creencia popular, no necesariamente es igual a x. La

igualdad se mantiene slo para los nmeros no negativos x, pero

cuando x<0, es un nmero positivo, y entonces . Por lo tanto,

para todos los nmeros reales x (vase valor absoluto).

Suponga que x y a son nmeros reales, y que x2 = a, y se desea encontrar x.

Un error muy comn es tomar la raz cuadrada y deducir que . Esto es

incorrecto, porque la raz cuadrada de x2 no es x, sino el valor absoluto |x|,
una de las reglas descritas anteriormente. Luego entonces, todo lo que se

puede concluir es que , o equivalentemente (vase funcin

multivaluada).

La funcin es continua para todos los nmeros no

negativos x y derivable para todos los nmeros positivos x (no es derivable
para x=0 ya que la pendiente de la tangente ah es infinita). Su derivada est
dada por

La serie de Taylor de en torno a x = 0 y convergente para |x| 1 se

puede encontrar usando el teorema del binomio:

En clculo, cuando se prueba que la funcin raz cuadrada

es continua o derivable, o cuando se calculan ciertos lmites, la
siguiente igualdad es muy til (consiste en multiplicar y dividir por el
conjugado, vase binomio conjugado):

y es vlida para todos los nmeros no negativos x e y que no

sean ambos cero.
Irracionalidad de las races cuadradas[editar]
Una propiedad importante de la raz cuadrada de los nmeros
enteros es que, si estos no son cuadrados perfectos, sus races
son siempre nmeros irracionales, que son nmeros no
expresables como el cociente de dos nmeros enteros. Es decir,
la raz cuadrada de un nmero entero siempre ser entero o
irracional, nunca un nmero racional no entero.
Cualquier nmero entero puede ser expresado como el producto
de una serie de factores primos elevados a diversos exponentes.
De ser todos pares, las propiedades de la potenciacin permiten
reducir la raz a un nmero natural. Slo si uno o ms de los
factores tiene un exponente impar la raz no es natural.

Si fuera racional se debera poder expresar

como con p, q enteros y primos entre s. Elevando al

cuadrado ambas partes se obtiene que , lo que es absurdo,

pues a un lado queda al menos un factor primo con exponente
impar mientras que, al otro lado de la igualdad,
tanto como se expresan en funcin de producto de
primos elevados a exponentes necesariamente pares.
Por una reduccin al absurdo llegaron los pitagricos a la
demostracin de la irracionalidad de la raz cuadrada de 2,
atribuida a Hipaso de Metaponto, un discpulo de Pitgoras. La
idea, contraria a lo esperado en la matemtica de entonces,
supuso la denominada crisis de los inconmensurables de
la filosofa pitagrica.
No obstante, es exactamente la longitud de la diagonal de
un cuadrado cuyo lado mide 1, siendo fcil la construccin grfica
de la raz. Por ello buena parte de la matemtica helnica se
centr en la geometra aplicada como forma de calcular
grficamente valores como se. Teodoro de Cirene lleg a
la espiral que lleva su nombre, que permite representar
grficamente cualquier raz, y posteriormente Euclides lleg a un
mtodo ms general.
Radicales jerarquizados cuadrados[editar]
Artculo principal: Radical jerarquizado

En diferentes contextos se utilizan radicales de la forma

que en algunos casos puede ser escritos en la forma

lo que es factible si slo si x + y = A, xy = B .1011 Las

expresiones anteriores se denominan radicales
jerarquizados.

La identidad implica que , y por repeticiones

sucesivas:

Por razones anlogas se obtiene:

;
o que