sljdflsnldnadkanmn akdnakx akda a,kdan alakda dakkar´hyflgkdsr8qam dayg
En [[matemática]], se llama '''raíz cuadrada''' (√) de un [[número]] a aquel otro que, elevado al [[Cuadrado#Cuadrado algebraico|cuadrado]], es igual al primero.
[[Archivo:Racine carrée bleue.svg|thumb|150px|Representación de "raíz cuadrada de ''x''".]]
La raíz cuadrada de '''x''' se expresa:
:<math>\sqrt x</math>
o bien
:<math> x^{\frac{1}{2}}</math>.
Por ejemplo:
:<math>\sqrt{16} = 4</math>, ya que <math>4^2 = 4\times 4 = 16</math>
:<math>\sqrt 2 = 1,4142135623730950488...</math>, ya que <math>1,41421356237309504880...^2 = 1,4142135623730950488...\times 1,4142135623730950488... = 2</math>
Las raíces cuadradas fueron uno de los primeros desarrollos de las matemática, siendo particularmente investigadas durante el periodo pitagórico, cuando el descubrimiento de que la [[raíz de 2]] era [[irracional]] ([[inconmensurable]]) o no expresable como cociente alguno supuso un hito en la matemática de la época.
Posteriormente se fue ampliando la definición de raíz cuadrada. Para los números reales negativos, la generalización de la función raíz cuadrada de éstos da lugar al concepto de los [[número imaginario|números imaginarios]] y al [[cuerpo (matemática)|cuerpo]] de los [[número complejo|números complejos]], algo necesario para que cualquier polinomio tenga todas sus raíces ([[teorema fundamental del álgebra]]). La [[diagonalización]] de [[matrices]] también permite el cálculo rápido de la raíz de una matriz.
Inicialmente mostraron su utilidad para la resolución de problemas trigonométricos y geométricos, como la diagonal de un cuadrado o el [[teorema de Pitágoras]]. Posteriormente fueron ganando utilidad para operar con polinomios y resolver ecuaciones de [[ecuación cuadrática|segundo grado]] o superior, siendo una de las herramientas matemáticas más elementales hoy en día.
== Historia ==
El [[Papiro de Ajmeed]] datado en 1650 a. C., que copia textos más antiguos, muestra cómo los egipcios extraían raíces cuadradas.<ref>Anglin, W.S. (1994). ''Mathematics: A Concise History and Philosophy''. New York: Springer-Verlag.</ref>
En la [[Historia de la India|antigua India]], el conocimiento de aspectos teóricos y aplicados del cuadrado y la raíz cuadrada fue al menos tan antiguo como los [[Sulba Sutras]], fechados alrededor del 800-500 a. C. (posiblemente mucho antes). Un método para encontrar muy buenas aproximaciones a las raíces cuadradas de 2 y 3 es dado en el [[Baudhayana Sulba Sutra]].<ref>Joseph, G.G., cap. 8.</ref> [[Aryabhata]] en su tratado [[Aryabhatiya]] (sección 2.4), dio un método para encontrar la raíz cuadrada de números con varios dígitos.
David Eugene Smith, en ''History of Mathematics'', dice, acerca de la situación existente: "En Europa esos métodos (para encontrar el cuadrado y la raíz cuadrada) no aparecieron antes de [[Cataneo]] (1546). Él dio el método de [[Aryabhata]] para determinar la raíz cuadrada".<ref>Smith, D.E., pag. 148.</ref>
El [[símbolo]] de la raíz cuadrada <math>(\sqrt{\ })</math> fue introducido en [[1525]] por el matemático [[Christoph Rudolff]] para representar esta operación<ref>Boyer, Carl Benjamin. Historia de la matemática, trad:Mariano Martínez Pérez, Alianza Editorial, 1992, Pág 360, ISBN 84-206-8094-X e ISBN 84-206-8186-5.</ref><ref> Ifrah, Georges. Historia universal de las cifras, Espasa-Calpe, 1997, Pág 1452, ISBN 978-84-239-9730-5 e ISBN 84-239-9730-8.</ref> que aparece en su libro ''Coss'', siendo el primer tratado de álgebra escrito en alemán vulgar. El signo no es más que una forma estilizada de la letra ''[[r]]'' [[minúscula]] para hacerla más elegante, alargándola con un trazo horizontal, hasta adoptar el aspecto actual, que representa la palabra [[latín|latina]] ''radix'', que significa [[raíz (matemática)|raíz]]. También se conjetura que pudiese haber surgido de la evolución del punto que en ocasiones se usaba anteriormente para representarlo, donde posteriormente se le habría añadido un trazo oblicuo en la dirección del radicando.
Tiempo atrás, varios matemáticos vieron la necesidad de idear números que representasen la raíz cuadrada de números negativos, para poder resolver todas las ecuaciones de segundo grado, pero no será hasta 1777 cuando [[Euler]] simbolice la raíz cuadrada de -1 con la letra ''i'', dando así cabida al desarrollo de los números complejos.
== Irracionalidad de las raíces cuadradas ==
Las raíces cuadradas de los [[número entero|números enteros]] que no son [[cuadrado perfecto|cuadrados perfectos]] son siempre [[número irracional|números irracionales]], que son números no expresables como el [[cociente (aritmética)|cociente]] de dos números enteros. Es decir, la raíz cuadrada de un número entero siempre será entero o irracional.
Se puede demostrar fácilmente como sigue:
* n puede ser expresado como el producto de una serie de factores primos elevados a diversos exponentes. De ser todos pares, las propiedades de la potenciación permiten reducir la raíz a un número natural. Sólo si uno o más de los factores tiene un exponente impar la raíz no es natural.
* Si <math>\sqrt n</math> fuera racional se debería poder expresar como <math>\frac{p}{q}</math> con p, q enteros y primos entre sí. Elevando al cuadrado ambas partes se obtiene que <math>n = \frac{p^2}{q^2}</math>, 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 <math>p^2</math> como <math>q^2</math> se expresan en función de producto de primos elevados a exponentes necesariamente pares.
Por una reducción al absurdo llegaron los pitagóricos a la demostración de la irracionalidad de la [[raíz cuadrada de 2]], atribuida a [[Hipaso de Metaponto|Hipaso]], un discípulo de [[Pitágoras]]. La idea, contraria a lo esperado en la matemática de entonces, supuso una [[crisis de los inconmensurables|crisis]] en la [[filosofía pitagórica]].
No obstante, es exactamente la longitud de la [[diagonal]] de un [[cuadrado]] cuyo lado mide 1, siendo fácil la construcción gráfica de la raíz. Por ello buena parte de la matemática helénica se centró en la geometría aplicada como forma de calcular gráficamente valores como ése. [[Teodoro de Cirene]] llegó a la [[espiral de Teodoro de Cirene|espiral que lleva su nombre]], que permite representar gráficamente cualquier raíz, y posteriormente [[Euclides]] llegó a un método más general.
== Resolución de raíces cuadradas ==
{{AP|Formas de resolver la raíz cuadrada}}
[[Archivo:Partes de la Raiz Cuadrada.PNG|right|300px]]
Hoy en día existen muchos métodos para poder calcular la raíz cuadrada, habiendo algunos significativos por el hecho de ser a mano y otros por el hecho de ser calculados por una máquina.
=== Algoritmo manual ===
Cuando resolvemos la raíz cuadrada con su método de resolución usual podemos ver las partes en las que se divide, aunque las esenciales de ésta no tienen por qué aparecer o ser usadas solamente en la operación para ser calculada la raíz cuadrada. Según esta imagen, podemos ver que las partes de las que se compone; son:
# Radical: es el símbolo que indica que es una raíz cuadrada.
# Radicando: es el número del que se obtiene la raíz cuadrada.
# Raíz: es propiamente la raíz cuadrada del radicando.
# Renglones auxiliares: nos ayudarán a resolver la raíz cuadrada.
# Resto: es el número final del proceso para resolver la raíz cuadrada.
Los pasos a seguir son estos:
[[Archivo:Raiz paso 1.PNG|thumb|150px|Paso 1.]]
* Paso 1: Se separa el número del radicando (en el ejemplo, 5836,369) en grupos de dos cifras. La separación se hace desde el signo de decimal (si lo hubiera) hacia la derecha y hacia la izquierda. Si del lado de los decimales (a la derecha del punto, es decir 369) no hay un número par de cifras, es evidente que quedaría una suelta; en ese caso, se le añadiría un cero. Si del lado de los enteros (a la izquierda del punto, es decir, 5836) no quedara un número suelto, se quedaría así. En la imagen de la derecha podemos ver el número 5836,369 dividido en grupos de dos cifras; después del número 9 se ha agregado un cero (en azul), pues en el lado decimal no puede haber un grupo de una cifra (en el ejemplo, esta separación quedaría así: '''58/36.36/90''')
[[Archivo:Raiz paso 2.PNG|thumb|150px|Paso 2.]]
* Paso 2: Se busca un número que multiplicado por sí mismo (es decir, elevado al cuadrado) dé como resultado el número que coincida o que más se aproxime por debajo al primer grupo de números de la izquierda (en el ejemplo, 58). El resultado no puede ser mayor que 58. Una vez encontrado el número se agrega a la parte de la raíz. En este caso el número sería el 7, porque 7x7 es 49. Otra posibilidad sería 6x6, pero daría 36 (lo que quedaría más alejado de 58) y 8x8, pero daría 64 (lo que excedería a 58).
[[Archivo:Raiz paso 3.PNG|thumb|150px|Paso 3.]]
* Paso 3: El número elegido (7) es el primer resultado de la raíz cuadrada. En el paso anterior lo escribíamos en el cajetín de la derecha. Ahora lo multiplicamos por sí mismo. El resultado (49) se escribe debajo del primer grupo de cifras de la izquierda (58), y se procede a restarlo. El resultado de la resta (58-49) es 9. Una vez obtenido el resultado de la resta, se baja el siguiente grupo de dos cifras (36), con lo que la siguiente cifra de la raíz es ahora la unión del resultado de la resta anterior con las nuevas cifras bajadas (es decir, 936). Para continuar la extracción de la raíz cuadrada multiplicamos por 2 el primer resultado (7) y lo escribimos justo debajo de éste, en el siguiente renglón auxiliar (en la imagen, el 14 está escrito justo debajo del 7, ya que 7x2 es 14).
[[Archivo:Raiz paso 4.PNG|thumb|150px|Paso 4.]]
* Paso 4: En este paso hay que encontrar un número ''n'' que, añadido a 14, y multiplicado por ese mismo ''n'', de como resultado un número igual o inferior a 936. Es decir, podría ser 14'''1'''x'''1''', 14'''2'''x'''2''', 14'''3'''x'''3'''... y así hasta 14'''9'''x'''9'''. Muchas veces se utiliza el procedimiento de tanteo para hallar ese número, si bien se puede emplear el método de dividir las primeras dos cifras del residuo (93) entre el número del renglón auxiliar (14). La primera cifra del resultado que no sea cero, aunque sea un decimal, es, generalmente, la que buscamos. El resultado se agrega al número de la raíz y al del renglón auxiliar. En este caso 93 dividido entre 14 es 6. De manera que la operación buscada es 14'''6'''x'''6'''= 876 (operación que añadimos en el renglón auxiliar). El siguiente resultado de la raíz cuadrada es 6. También procedemos a anotarlo en el radicando.
[[Archivo:Raiz paso 5.PNG|thumb|150px|Paso 5.]]
* Paso 5: El procedimiento a seguir es el mismo que anteriormente. El resultado de la operación anterior (876) se coloca debajo del número procedente de la resta anterior (936) y se restan. Al resultado de la resta (60) se le añade el siguiente grupo de cifras del radical (en este caso, 36). Si el siguiente grupo está después del punto decimal se agrega un punto decimal al número de la raíz. El nuevo número obtenido es 6036.
[[Archivo:Raiz paso 6.PNG|thumb|150px|Paso 6.]]
* Paso 6: Retomamos el procedimiento del paso 4. La cifra de la raíz (76) se multiplica por dos (resultando 152). Buscamos un número que añadido a 152 y multiplicado por ese mismo número nos dé una cantidad aproximada a 6036. Sería, por tanto, 152'''1'''x'''1''', 152'''2'''x'''2''', 152'''3'''x'''3''', etc. Lo podemos hacer por tanteo, o por el procedimiento de dividir en este caso, las '''tres''' primeras cifras de la raíz por las '''tres''' primeras cifras de la línea auxiliar (nótese que antes eran las dos primeras cifras), es decir, 603/152 (el número buscado es 3, ya que el resultado es 3.9 y hemos dicho que la cifra que debemos tomar es la primera). La operación a realizar es, por tanto, 152'''3'''x'''3'''. El resultado (4569) se coloca bajo el último resto y se procede a hallar la diferencia (que es 1467). Una vez realizada la resta se baja el siguiente grupo de cifras y se continúa el proceso. Obsérvese que el número a dividir entre renglón auxiliar y residuo va aumentado.
[[Archivo:Raiz paso 7.PNG|thumb|150px|Paso 7.]]
* Paso 7: Se continúa el mismo proceso, la raíz se vuelve a multiplicar por dos (ignorando el punto de los decimales). El resultado de la multiplicación se agrega al tercer renglón auxiliar, se vuelven a dividir los primeros cuatro números del residuo (1467) entre el resultado de la multiplicación (152), y se obtiene la siguiente cifra para la raíz y el número del renglón auxiliar (9). Dicha cifra se multiplica por el número del tercer renglón auxiliar y se le resta al tercer residuo. Se continua el proceso, si ya no hay más cifras la raíz ha terminado. En este caso, 76.3 se multiplica por 2 como 763 (763x2) que nos da un resultado de 1526. La cifra resultante es 14679 (nótese que son las primeras '''cuatro''' cifras, cuando antes eran las '''tres''' primeras), y se divide entre 1526, lo que nos da un resultado de 0.9 (como decíamos antes, se toma el primer número aunque sea decimal, por lo tanto, la cifra buscada es 9). El nueve se agrega en el renglón de la raíz y el tercer renglón auxiliar, y se multiplica 9 por 15269, lo que da un resultado de 137421, esta cifra se le resta a 146790 y nos da un resultado de 9369.
La raíz cuadrada de 5836.369 es 76.39, con un residuo de 9369. Recordemos que el cero es sólo un auxiliar. Es importante señalar también que la operación anterior utilizada como ejemplo no está completa. Si la continuáramos daría como resultado 76.396132 (con seis decimales).
=== Algoritmos para máquinas ===
[[Calculadora]]s, [[hoja de cálculo|hojas de cálculo]] y otros [[software]]s también se usan con frecuencia para calcular raíces cuadradas. Los programas de software ponen típicamente buenas rutinas en su ejecución para computar la [[función exponencial]] y el [[logaritmo natural]] o [[logaritmo]], computándose después la raíz cuadrada de x usando la identidad:
:<math>\sqrt{x} = e^{\frac{1}{2}\ln x}</math> o <math>\sqrt{x} = 10^{\frac{1}{2}\log x}</math>
Se explota la misma identidad al computar raíces cuadradas con [[tabla de logaritmos|tablas de logaritmos]] o [[regla de cálculo|reglas de cálculo]].
== Otra forma de hallar el siguiente cuadrado ==
Para hallar el siguinte cuadrado le sumamos al anterior su raíz, y el numero siguiente de su raíz
Ejemplo: raíz cuadrada de 16 =4 16+4+5=25 raíz cuadrada de 25 =5
Se cumple con todos.
== Extensión de las raíces ==
=== La raíz cuadrada en los [[número complejo|números complejos]] ===
[[Archivo:Complex sqrt leaf1.jpg|thumb|Raíz cuadrada compleja.]]
[[Archivo:Complex sqrt leaf2.jpg|thumb|Segunda hoja de la raíz cuadrada compleja.]]
[[Archivo:Riemann surface sqrt.jpg|thumb|Usando la [[superficie de Riemann]] de la raíz cuadrada, se puede ver como encajan las dos hojas.]]
El cuadrado de cualquier número real positivo o negativo es positivo, y el cuadrado de 0 es 0. Por lo tanto, ningún número negativo puede tener una raíz cuadrada en los números reales. Sin embargo, es posible trabajar con un sistema más grande de números, llamados los números complejos, que contienen soluciones a la raíz cuadrada de un número negativo. Esto es hecho introduciendo un nuevo número, denotado por i (a veces j, especialmente en el contexto de la [[electricidad]]) y llamado [[unidad imaginaria]], que se define tal que <math>i^2 = -1\,\!</math>. Utilizando esta notación podemos pensar en i como la raíz cuadrada de −1, pero notamos que también tenemos <math>(-i)^2= i^2 = -1\,\!</math>, así que (−i) es también una raíz cuadrada de −1. Semejantemente a los números reales, decimos que la raíz cuadrada principal de −1 es i, o, en general, si x es cualquier [[número real]] positivo, entonces en la raíz cuadrada principal de −x se cumple la siguiente igualdad:
:<math>\sqrt{-x} = \sqrt{-1}\sqrt{x} = i\sqrt{x}</math>
es decir, la raíz cuadrada de un número negativo es necesariamente imaginario. Eso es debido a que <math>i^2 = -1\,\!</math>, por lo que entonces:
:<math>\left(i\sqrt{x}\right)^2 = i^2\sqrt{x}^2=(-1)x=-x</math>
Si se desea encontrar la raíz de un número imaginario es posible demostrar la igualdad
:<math>\sqrt{\pm ix}=\sqrt{\frac{x}{2}}\pm i\sqrt{\frac{x}{2}}</math>
Por los argumentos dados, <math>i</math> no puede ser ni positivo ni negativo. Esto crea un problema: para el número complejo <math>z</math>, no podemos definir <math>\sqrt z</math>para ser la raíz cuadrada “positiva” de <math>Z</math>.
Para cada número complejo diferente a cero z existen exacto dos números W tales que <math>w^2 = Z\,\!</math>. Por ejemplo, las raíces cuadradas de <math>i</math> son:
:<math>\sqrt{i} = \frac{\sqrt{2}}{2}(1+i)</math>
y
:<math>- \sqrt{i} = - \frac{\sqrt{2}}{2}(1+i).</math>
La definición general de <math>\sqrt z</math> está introduciendo el siguiente [[punto de rama]]: si ''z'' = ''r'' ''e''<sup>''i''φ</sup>es representado en [[coordenadas polares]] con −π < φ ≤ π, después fijamos el valor principal a:
:<math>\sqrt{z} = \sqrt{r} \, e^{i\phi \over 2}</math>
Así definido, la función de la raíz es [[función holomorfa|holomorfa]] en todas partes excepto en los números reales no positivos, donde no es incluso [[continuidad (matemática)|continua]]. La antedicha [[serie de Taylor]] para <math>\sqrt{1+x}</math> sigue siendo válida para el resto de los números complejos ''x'' con |''x''| < 1.
Ahora bien, sea un numero complejo;
<math>\ z = \sqrt{x + iy} </math>
de este modo podemos expresar lo siguiente;
<math>\ z = z_{re} + iz_{im} </math>
, elevando al cuadrado ambos miembros de la ecuación;
<math>\ x + iy = z_{re}^2 - z_{im}^2 + i2z_{im}z_{re} </math>
, de manera que obtenemos un sistema de ecuaciones, que puede ser resuelto;
1.- <math>\ z_{re}^2 - z_{im}^2 = x</math>
2.- <math>\ 2z_{im}z_{re} = y</math>
,en este sentido, y en general, para un [[número complejo]] expresado en forma rectangular, por medio de estas formulas se obtiene:
:<math>\sqrt{x+iy} = \sqrt{\frac{\left|x+iy\right| + x}{2}} \pm i \sqrt{\frac{\left|x+iy\right| - x}{2}}</math>
donde <math>\left|x+iy\right| = \sqrt{x^2+y^2}</math> (el valor absoluto o módulo del número complejo),
y el signo de la parte imaginaria de la raíz coincide con el signo de la parte imaginaria del radicando.
Observe que debido a la naturaleza discontinua de la función de la raíz cuadrada en el plano complejo, la ley <math>\sqrt{zw} = \sqrt z \cdot \sqrt w</math> es en general falsa. Es incorrecto si se asume que esta ley es la base de varias [[demostración inválida|demostraciones inválidas]], por ejemplo el demostrar que <math>-1 = 1\,\!</math>:
:<math>-1 = i \cdot i = \sqrt{-1} \cdot \sqrt{-1} = \sqrt{-1 \cdot (-1)} = \sqrt{1} = 1</math>
donde la tercera igualdad no puede ser justificada.
Este problema puede presentarse como un uso erróneo de la raíz cuadrada principal de notación √ definido en el principio del artículo, o descuidar explicar el punto de rama o descuidando explicar la rama cortada en la definición de la raíz cuadrada compleja de una función. Con el concepto general (dos valores) de la raíz cuadrada, es de hecho verdad que una de las dos raíces cuadradas de 1 es -1.
No obstante, la ley puede ser solamente incorrecta por un factor -1 (es cierto [[salvo]] un factor –1), √(''zw'') = ±√(''z'')√(''w''), es cierto o para ± como + o como -. Nótese que √(''c''²) = ±''c'', por lo tanto √(''a''²''b''²) = ±''ab'' y por lo tanto√(''zw'') = ±√(''z'')√(''w''),usando ''a'' = √(''z'') and ''b'' = √(''w'').
Cada número complejo se puede escribir en su forma polar como <math>re^{i\theta}</math>, y ya que
:<math>ae^{i\alpha}\times be^{i\beta}=\left(ab\right)e^{i\left(\alpha+\beta\right)}</math>
entonces es fácil ver que
:<math>\sqrt{re^{i\theta}}=\sqrt{r}~e^{i\frac{\theta}{2}}</math>
[[[[Raiz Cuadradaa
== Como se Sacaa''Boneethaa<mibe]] ]]=== Raíz cuadrada de [[matriz (matemática)|matrices]] ===
La existencia de un [[producto de matrices]] permite definir la raíz de una matriz como aquella matriz que multiplicada por sí misma da la original.
Si <math>A</math> es una [[matriz definida positiva]] u operador, entonces existe exactamente una matriz definida positiva u operador <math>B</math> tal que <math>B^2 = A</math>; entonces definimos <math>\sqrt A = B</math>
Más generalmente, para cada matriz u [[operador normal]] <math>A</math> existen operadores normales <math>B</math> tales que <math>B^2 = A</math>. En general, hay muchos de esos operadores <math>B</math> para cada <math>A</math> y entonces la función ''raíz cuadrada'' no puede ser definida satisfactoriamente para operadores normales. En cierta manera se puede decir que los operadores definidos positivos son similares a los números reales positivos, y los operadores normales son similares a los números complejos.
== Construcción geométrica de la raíz cuadrada ==
Una raíz cuadrada puede ser construida con regla y compás. En sus [[Elementos de Euclides|Elementos]], [[Euclides]] (300 AC) dio la construcción de la [[media geométrica]] de dos cantidades en sus proposiciones II.14 y VI.13. Dado que la media geométrica de <math>a</math> y <math>b</math> es <math>\sqrt{ab}</math>, uno puede construir <math>\sqrt{a}</math> simplemente tomando <math>b=1</math>.
La construcción también fue dada por [[René Descartes|Descartes]] en su libro [[La Géométrie]], vea la figura 2 en la [http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=00570001&seq=12&frames=0&view=50 segunda página]. No obstante, Descartes no afirmo originalidad y su audiencia habría estado bastante familiarizada con Euclides.
Otro método de construcción geométrica usa [[triángulo]]s [[Ángulo|rectos]] e [[Inducción matemática|inducción]]: <math>\sqrt{1} = 1</math> puede, desde luego, ser construido, y una vez que <math>\sqrt{x}</math> ha sido construido, el triángulo recto con 1 y <math>\sqrt{x}</math> como catetos, tiene una [[hipotenusa]] de <math>\sqrt{x+1}</math>.
=== Pasos a seguir para la construcción geométrica ===
[[Archivo:construction racine carree.png|thumbnail|right|AO = 1, OB = a, OH = x]]
Para calcular la raíz cuadrada de un número mediante una construcción geométrica los pasos a seguir son los siguientes:
# Trazamos un segmento <math>a\,\!</math> de la longitud del número que queramos calcular su raíz cuadrada.
# Extendemos ese segmento de medida <math>a\,\!</math> en 1 en la unidad de medida que hayamos tomado el otro, de modo que tengamos el segmento <math>AB\,\!</math> de medida <math>a + 1\,\!</math>.
# Trazamos un círculo que tenga como diámetro esta medida de <math>a + 1\,\!</math>.
# En el punto <math>O\,\!</math>, que es donde empieza la extensión de medida 1 en el segmento, trazamos una línea perpendicular al segmento trazado y la línea obtenida que va del punto <math>O\,\!</math> hasta tocar la circunferencia en el punto <math>H\,\!</math> tiene como medida <math>OH = \sqrt a</math>.
Esta construcción tiene su importancia en el estudio de los [[número constructible|números constructibles]].
=== Demostración de que OH es igual a la raíz cuadrada de OB ===
Antes de demostrar la igualdad primero hay que demostrar que los triángulos <math>AHO\,\!</math> y <math>OHB\,\!</math> son [[triángulos semejantes]] a partir de un sistema de ecuaciones pero tomando antes ciertas consideraciones:
# El ángulo <math>H\,\!</math> en su totalidad tiene 90º debido a la propiedad que dice: todo triángulo construido en un círculo ocupando uno de sus lados la diagonal íntegra, cuyos dos vértices sean los lados opuestos de la diagonal tomada y el otro un punto cualquiera de la circunferencia, ha de tener el ángulo que no toca la diagonal en cuestión siempre una abertura de 90º.
# Ya que en los pasos seguidos pasa su construcción la línea <math>OH\,\!</math> tenía que ser expresamente perpendicular a <math>AB\,\!</math> entonces los dos ángulos formados con <math>O\,\!</math>, tanto el derecho como el izquierdo que en conjunto suman a éste, tienen que tener cada uno 90º.
# La suma de todos los lados de un triángulo da como resultado 180º.
Ahora teniendo en cuenta todo esto construimos el siguiente sistema de ecuaciones:
# <math>180 = 90 + B + (90 - H_i)\,\!</math>
# <math>180 = 90 + A + H_i\,\!</math>
Donde <math>H_i\,\!</math> es el ángulo superior del triángulo izquierdo del cual desconocemos su abertura, las otras letras representan los otros ángulos que desconocemos y el ángulo <math>H_d\,\!</math> se puede representar como la resta de <math>90 - H_i\,\!</math> ya que 90º es el valor de <math>H\,\!</math> entero.
Al resolver la primera ecuación vemos que:
:<math>180 = 90 + B + 90 - H_i\,\!</math>;
::<math>H_i = B\,\!</math>.
Con lo que ya demostramos que estos ángulos miden lo mismo y al resolver el segundo:
:<math>90 = A + H_i\,\!</math>;
::<math>A = 90 - H_i\,\!</math>.
Con lo que al ser <math>90 - H_i = H_d\,\!</math> se saca que <math>A = H_d\,\!</math> y con esto queda demostrado que al medir todos los ángulos lo mismo son triángulos semejantes de manera <math>A H_i O_i\,\!</math> ~ <math>H_d B O_d\,\!</math>. Al poseer esta semejante los lados de los triángulos tienen una proporcionalidad igual para los tres lados tal que:
:<math>\frac{OH}{1} = \frac{OB}{OH} = \frac{HB}{AH}</math>
Recordando que al construir geométricamente la raíz <math>AO\,\!</math> siempre valía 1, con lo que cogiendo lo que nos interesa desarrollamos:
:<math>\frac{OH}{1} = \frac{OB}{OH}</math>;
::<math>OB = OH^2\,\!</math>;
:::<math>OH = \sqrt{OB}</math>.
Quedando demostrada la construcción.
== Propiedades ==
=== Propiedades generales ===
{{AP|Propiedades de la radicación}}
[[Archivo:Función Continua 044.svg|thumb|280px|Gráfica de la ecuación: <math> y^2 = x </math>]]
<!-- que no es lo mismo que y = \sqrt x-->
La función '''raíz cuadrada''' <math> f(x) = \sqrt{x}</math> es una [[Función matemática|función]] cuyo dominio e imagen es el conjunto <math>\left[0,\infty\right)</math> (el conjunto de todos los números reales no negativos). Esta función regresa un valor que es único. Las siguientes propiedades de la raíz cuadrada son válidas para todos los [[Número real|números reales]] no negativos ''x'', ''y'':
* <math>\sqrt{xy} = \sqrt{x} \sqrt{y}</math>
* <math>\sqrt{\frac{x}{y}} = \frac{\sqrt{x}}{\sqrt{y}}</math>
* <math>\sqrt{x} = x^{\frac{1}{2}}</math>
* La [[función (matemática)|función]] raíz cuadrada, en general, transforma [[número racional|números racionales]] en [[número algebraico|números algebraicos]]; <math>\sqrt x</math> es racional [[si y sólo si]] <math>x\,</math> es un número racional que puede escribirse como [[fracción]] de dos [[cuadrado perfecto|cuadrados perfectos]]. Si el denominador es <math>1^2 = 1\,</math>, entonces se trata de un [[número natural]]. Sin embargo, <math>\sqrt 2</math> es [[número irracional|irracional]].
* La interpretación geométrica es que la función raíz cuadrada transforma la [[superficie (matemática)|superficie]] de un [[cuadrado]] en la [[longitud]] de su lado.
* Contrariamente a la creencia popular, <math>\sqrt{x^2}</math> no necesariamente es igual a <math>x</math>. La igualdad se mantiene sólo para los números no negativos <math>x</math>, pero cuando <math>x < 0</math>, <math>\sqrt{x^2}</math> es un número positivo, y entonces <math>\sqrt{x^2} = -x</math>. Por lo tanto, <math>\sqrt{x^2} = \left|x\right|</math> para todos los números reales <math>x</math> (véase [[valor absoluto]]).
* Suponga que <math>x</math> y <math>a</math> son números reales, y que <math>x^2 = a</math>, y se desea encontrar <math>x</math>. Un error muy común es "tomar la raíz cuadrada" y deducir que <math>x = \sqrt a</math>. Esto es incorrecto, porque la raíz cuadrada de <math>x^2</math> no es <math>x</math>, sino el valor absoluto <math>\left| x \right|</math>, una de las reglas descritas anteriormente. Luego entonces, todo lo que se puede concluir es que <math>\left| x \right| = \sqrt a</math>, o equivalentemente <math>x = \pm\sqrt a</math>.
* En [[Análisis matemático|cálculo]], cuando se prueba que la función raíz cuadrada es [[Continuidad (matemática)|continua]] o [[Derivada|derivable]], o cuando se calculan ciertos [[Límite de una función|límites]], la siguiente igualdad es muy útil (consiste en multiplicar y dividir por el conjugado, véase [[Binomio conjugado]]):
:<math>\sqrt x - \sqrt y = \frac{x-y}{\sqrt x + \sqrt y}</math>
:y es válida para todos los números no negativos <math>x</math> e <math>y</math> que no sean ambos cero.
* La función <math>\sqrt x</math> es continua para todos los números no negativos <math>x,</math> y [[Derivada|derivable]] para todos los números positivos <math>x</math> (no es derivable para <math>x=0</math> ya que la [[Pendiente de una recta|pendiente]] de la [[tangente]] ahí es [[infinito|∞]]). Su derivada está dada por
:<math>f'(x) = \frac{1}{2\sqrt x}</math>
* Las [[Serie de Taylor|Series de Taylor]] de <math>\sqrt{x+1}</math> en torno a <math>x=0</math> se pueden encontrar usando el [[Teorema del binomio]]:
:{|
|-
|<math>\sqrt{x+1}\,\!</math> ||<math> = \sum_{n=0}^\infty \frac{(-1)^{n}(2n)!}{(1-2n)n!^2 4^n}x^n</math>
|-
| ||<math> = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16} x^3 - \frac{5}{128} x^4 + \dots</math>
|-
| para <math>\left| x \right| < 1</math>.
|}
=== Radicales jerarquizados cuadrados ===
{{AP|Radical jerarquizado}}
La identidad <math>2=\sqrt{2+2}</math> implica que <math>2=\sqrt{2+\sqrt{2+2}}</math>, y por repeticiones sucesivas:
:<math>2=\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\cdots}}}}</math>
Por razones análogas se obtiene:
:<math>3=\sqrt{6+\sqrt{6+\sqrt{6+\sqrt{6+\cdots}}}}</math>;
o que
:<math>4=\sqrt{12+\sqrt{12+\sqrt{12+\sqrt{12+\cdots}}}}</math>;
:...
Si ''r '' es una entidad estrictamente superior a uno,
:<math>r =\sqrt{r(r-1)+\sqrt{r(r-1)+\sqrt{r(r-1)+\sqrt{r(r-1)+\cdots}}}}</math>
Esta forma de expresar números mediante la repetición sucesiva de números contenidos dentro de raíces cuadradas puede tener diversas aplicaciones como la resolución de algunos tipos de ecuación o la expresión de algunos números famosos como el [[número áureo]] o el [[número pi]].
=== Fracciones continuas ===
{{AP|Fracción continua}}
Uno de los resultados más intrigantes del estudio de números irracionales como fracciones continuas fue obtenido por [[Joseph-Louis Lagrange]] cerca de 1780. Lagrange descubrió que la raíz cuadrada de cualquier número entero positivo no cuadrado se puede representar por una fracción continua periódica, es decir, donde ocurre cierto patrón de dígitos repetidamente en los denominadores. En un sentido estas raíces cuadradas son números irracionales mucho más simples, porque pueden ser representadas con un patrón de dígitos de repetición simple.
:<math>
\sqrt{11} = 3 + \cfrac{1}{3 + \cfrac{1}{6 + \cfrac{1}{3 + \cfrac{1}{6 + \cfrac{1}{\ddots}}}}}\,
</math>
=== Aproximaciones enteras ===
Los diseñadores de presentaciones de videojuegos tienen a veces necesidad de construir tablas de partes enteras de las raíces cuadradas de los enteros naturales. Las primeras dadas por:
{| border="0" align="center" style="border: 1px solid #999; background-color:#FFFFFF"
|-align="center" bgcolor="#CCCCCC"
! CUADRADO
! 0
! 1
! 2
! 3
! 4
! 5
! 6
! 7
! 8
! 9
! 10
!...
! 15
! 16
! 17
!...
! 24
! 25
! 26
! 27
|-
|- align="center" bgcolor="#CCCCCC"
! RAÍZ
! 0
! 1
! 1
! 1
! 2
! 2
! 2
! 2
! 2
! 3
! 3
!...
! 3
! 4
! 4
!...
! 4
! 5
! 5
! 5
|}
Una observación de los primeros términos ponen de manifiesto que la construcción para de enteros en enteros, y se salta sucesivamente un incremento de manera regular. Más precisamente:
* El cero es repetido una vez.
* El 1 tres veces.
* El 2 cinco veces
* El 3 siete veces.
* El 4 nueve veces.
El número de veces que el entero n es repetido es el n-ésimo entero impar. La prueba reside sobre la identidad siguiente:
:<math> (a+1)^2 -a^2 = 2a + 1\,</math>
== Raíces cuadradas útiles ==
{{AP|Anexo:Raíces cuadradas}}
[[Archivo:Square root of 2 triangle.png|thumb|200px|Raíz cuadrada de 2.]]
=== Raíz cuadrada de 2 ===
{{AP|Raíz cuadrada de 2}}
Quizás la raíz cuadrada más útil es <math>\sqrt 2</math>, también conocida como constante pitagórica, que es geométricamente la medida de la [[hipotenusa]] de un [[triángulo rectángulo]] cuyos dos catetos miden la unidad (ver imagen), pudiéndose demostrar mediante el [[teorema de Pitágoras]]:
:<math>1^2+1^2 = x^2\,\!</math>
:<math>x = \sqrt 2</math>
Probablemente la raíz cuadrada de 2 fue el primer número irracional descubierto.
El valor de este número con 10 cifras decimales por truncamiento es 1,4142135623
=== Raíz cuadrada de 3 ===
[[Archivo:Square root of 3 in cube.svg|thumb|200px|Mide raíz cuadrada de 3, la diagonal de un cubo cuyas aristas miden 1.]]
{{AP|Raíz cuadrada de 3}}
La raíz cuadrada de 3: <math>\sqrt 3</math>, también conocida como constante de Theodorus, es geométricamente el valor de la diagonal de un cubo cuyas aristas miden la unidad, pudiéndose demostrar con el [[teorema de Pitágoras]]. También es la hipotenusa de un triángulo rectángulo cuyos catetos miden raíz cuadrada de 2 y la unidad respectivamente.
El valor de este número con 10 cifras decimales por truncamiento es 1,7320508075
=== Raíz cuadrada de 5 ===
{{AP|Raíz cuadrada de 5}}
La raíz cuadrada de 5: <math>\sqrt 5</math>, aparece en la fórmula del [[número áureo]], y es geométricamente la hipotenusa de un triángulo cuyos catetos miden 1 y 2 respectivamente, comprobándose mediante el teorema de Pitágoras.
Su valor con 10 cifras decimales por truncamiento es 2,2360679774
== Notas ==
{{listaref|2}}
== Referencias ==
* {{cita libro
| autor = Stewart, James
| título = Cálculo: Conceptos y contextos
| año = 2006
| editorial = México D.F.: Thomson
| id = ISBN 970-686-543-8 e ISBN 978-970-686-543-4
}}
* {{cita libro
| autor = Joseph, George Gheverghese
| título = The crest of the peacock: the non-European roots of mathematics (La cresta del pavo real: Raíces no europeas de la matemática)
| año = 2000
| editorial = Londres
| id = ISBN 0-691-00659-8 e ISBN 978-0-691-00659-8
}}
* {{cita libro
| autor = Smith, David Eugene
| título = History of Mathematics (vol 2) special topics of elementary Mathematics (Historia de la matemática, vol 2, asuntos especiales de la matemática elemental)
| año = 1925
| editorial = Boston
| id = ISBN 0-486-20430-8 e ISBN 978-0-486-20430-7
}}
* {{cita libro
| autor = Anglin, W.S.
| título = Mathematics: A Concise History and Philosophy (Matemática: Una historia y una filosofía concisas)
| año = Diciembre de 1994
| editorial = New York
| id = ISBN 0-387-94280-7 e ISBN 978-0-387-94280-3
}}
== Véase también ==
* [[Cuadrado (aritmética)]]
* [[Cuadrado#Cuadrado algebraico]]
* [[Formas de resolver la raíz cuadrada]]
* [[Función exponencial]]
* [[Función raíz]]
* [[Raíz cuadrada de 2]]
* [[Raíz cuadrada de 3]]
* [[Raíz cuadrada de 5]]
* [[Raíz cúbica]]
* [[Raíz de la unidad]]
* [[Radical jerarquizado]]
* [[Residuo cuadrático]]
* [[Racionalización de radicales]]
* [[Propiedades de la radicación]]
== Enlaces externos ==
{{commonscat|Square root}}
{{wikcionario|raíz}}
* Generador de hojas de ejercicios de raíces cuadradas: [http://www.mamutmatematicas.com/ejercicios/raices-cuadradas.php]
* Programa java para hallar la raíz cuadrada de números enteros con muchísimas cifras decimales: [http://platea.pntic.mec.es/anunezca/ayudas/raiz2/raiz2.htm]
{{ORDENAR:Raiz cuadrada}}
[[Categoría:Aritmética]]
[[Categoría:Matemática elemental]]
[[Categoría:Raíces]]
[[ar:جذر تربيعي]]
[[bn:বর্গমূল]]
[[br:Daouvonad]]
[[bs:Kvadratni korjen]]
[[ca:Arrel quadrada]]
[[cs:Druhá odmocnina]]
[[da:Kvadratrod]]
[[de:Quadratwurzel]]
[[en:Square root]]
[[eo:Kvadrata radiko]]
[[et:Ruutjuur]]
[[eu:Erro karratu]]
[[fi:Neliöjuuri]]
[[fr:Racine carrée]]
[[gl:Raíz cadrada]]
[[he:שורש ריבועי]]
[[hu:Négyzetgyök]]
[[id:Akar kuadrat]]
[[is:Ferningsrót]]
[[it:Radice quadrata]]
[[ja:平方根]]
[[ka:კვადრატული ფესვი]]
[[ko:제곱근]]
[[lv:Kvadrātsakne]]
[[ml:വർഗ്ഗമൂലം]]
[[mr:वर्गमूळ]]
[[ms:Punca kuasa dua]]
[[nl:Vierkantswortel]]
[[no:Kvadratrot]]
[[pt:Raiz quadrada]]
[[ru:Квадратный корень]]
[[sh:Kvadratni koren]]
[[simple:Square root]]
[[sl:Kvadratni koren]]
[[sr:Квадратни корен]]
[[su:Akar kuadrat]]
[[sv:Kvadratrot]]
[[tr:Karekök bulma]]
[[uk:Квадратний корінь]]
[[yi:קוואדראט ווארצל]]
[[yo:Gbòngbò alágbáraméjì]]
[[zh:平方根]]
|