
Usualmente la raíz cuadrada de un número entero no es un número racional a menos que el número entero sea un cuadrado perfecto, como por ejemplo:
ya que:
El descubrimiento de que la raíz cuadrada de muchos números era un número irracional se atribuye a los pitagóricos. Los babilonios y egipcios ya disponían de medios de estimar numéricamente la raíz cuadrada, pero su interés parece haber sido eminentemente práctico por lo que no parecen existir referencias sobre la naturaleza de la raíz cuadrada y el problema de si esta podía ser expresada como cociente de dos números enteros.
Propiedades generales
La función raíz cuadrada es una función cuyo dominio e imagen es el conjunto (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úmeros reales no negativos x, y:


La función raíz cuadrada, en general, transforma números racionales en números algebraicos; es racional si y sólo si es un número racional que puede escribirse como fracción de dos cuadrados perfectos. Si el denominador es , entonces se trata de un número natural. Sin embargo, es irracional.
En cálculo, cuando se prueba que la función raíz cuadrada es continua o derivable, o cuando se calculan ciertos límites, la siguiente igualdad es muy útil (consiste en multiplicar y dividir por el conjugado, véase Binomio conjugado):
-
y es válida para todos los números no negativos e que no sean ambos cero.
La función es continua para todos los números no negativos y derivable para todos los números positivos (no es derivable para ya que la pendiente de la tangente ahí es ∞). Su derivada está dada por
-
Las Series de Taylor de en torno a se pueden encontrar usando el Teorema del binomio:
-
Irracionalidad de las raíces cuadradas
Una propiedad importante de la raíz cuadrada de los números enteros es que, si estos no son cuadrados perfectos, sus raíces son siempre números irracionales, que son números no expresables como el cociente de dos números enteros. Es decir, la raíz cuadrada de un número entero siempre será entero o irracional, nunca un número racional.
Cualquier número 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 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 fuera racional se debería 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 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, un discípulo de Pitágoras. La idea, contraria a lo esperado en la matemática de entonces, supuso la denominada crisis de los inconmensurables de 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 que lleva su nombre, que permite representar gráficamente cualquier raíz, y posteriormente Euclides llegó a un método más general.
Radicales jerarquizados cuadrados
La identidad implica que , y por repeticiones sucesivas:
Por razones análogas se obtiene:
;
o que
;
Si r es una entidad estrictamente superior a uno,
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.

|