Raíz cuadrada de dos

La raíz cuadrada de 2 se define como el único número real positivo tal que, multiplicado por sí mismo, es igual a 2. Su resultado no es periódico, pues no aparece en ningún caso un periodo como en los números racionales. La notación tradicional, utilizando el símbolo de radicación es √2; empleando la notación de potencias: 2^1⁄₂. La raíz cuadrada de 2 es un número irracional (más aún, es algebraico de grado 2), su valor numérico es aproximadamente 1,4, y truncado en 65 dígitos decimales es:^[1]​

${displaystyle {egin{matrix}{sqrt {2}}&approx 1.41421356237309504880168872420969807856967187537694dots \&dots 807317667973799073247846210703885038753432764;dots end{matrix}}}$

La raíz cuadrada de 2 fue posiblemente el primer número irracional conocido. Geométricamente equivale a la longitud de la diagonal de un cuadrado cuyo lado es igual a la unidad, lo cual se comprueba aplicando el llamado teorema de Pitágoras, también conocida como constante pitagórica.^{[cita requerida]}

La raíz cuadrada de 2 no es un número racional. Pero satisface la ecuación de segundo grado en una incógnita de coeficientes racionales^[2]​

${displaystyle x^{2}=2}$

Este número tiene numerosas aplicaciones en la vida corriente:

La tabla babilónica YBC 7289 (c. 2000-1650 a. C.) proporciona una aproximación de √2 en cuatro dígitos sexagesimales, que es similar a seis cifras decimales:^[3]​

Otra aproximación antigua a este número irracional se da en la antigua India, en el texto matemático Baudhaiana-sulba-sutra (entre el 600 y el 300 a. C.), diciendo: Incrementa la longitud [del lado] por su tercera parte, y su tercera por sus tres cuartas y su tercera por su treinta y cuatroava parte de cuatro.^[4]​ Esto es

La aparición de ${displaystyle {sqrt {2}}}$ respondió al problema de querer calcular la longitud de la diagonal de un cuadrado cuyo lado mide 1 (unidad de longitud), que, para el criterio del momento, no encajó por no expresarse como razón de dos números enteros. Su surgimiento se vincula más a la geometría que a la aritmética. Posteriormente, desde la visión algebraica, esta raíz cuadrada satisface la ecuación ${displaystyle x^{2}-2=0}$. ^[5]​

El descubrimiento de la raíz cuadrada de 2 como un número irracional se atribuye generalmente al pitagórico Hípaso de Metaponto, quien fue el primero en producir la demostración (vía demostración geométrica) de la irracionalidad. La historia narra que precisamente descubrió la irracionalidad de la raíz de 2 cuando intentaba averiguar una expresión racional del mismo. Sin embargo Pitágoras creía en la definición absoluta de los números como medida, y esto le obligaba a no creer en la existencia de los números irracionales. Por esta razón, estando ya desde el principio en contra de esa demostración, sus compañeros pitagóricos sentenciaron a Hípaso a la pena capital, ahogándole en el mar.

El matemático griego Teeteto (417 a. C. - 369 a. C) proponía el problema de encontrar el lado de un cuadrado cuya área sea el doble del área de un cuadrado de lado ${displaystyle m}$. Cuya solución conlleva la aparición de la raíz cuadrada de dos.^[6]​

Existen muchos algoritmos empleados para la aproximación de cuadrada de 2. El más común de los algoritmos para averiguar una aproximación en computadores o calculadoras es el denominado método babilónico^[7]​ de cálculo de las raíces cuadradas, siendo éste uno de los muchos empleados para el cálculo de raíces cuadradas. Funciona como sigue:

Se toma en primer lugar un valor arbitrario, que denominaremos, ${displaystyle F_{0}}$; esta primera aproximación importa poco, es considerada sólo como un punto de comienzo del algoritmo y afecta en cuantas iteraciones debe hacer el algoritmo hasta alcanzar la aproximación con una precisión requerida. Entonces, empleando esta suposición inicial, se procede a iterar mediante la siguiente cómputo recursivo:

Cuanto más iteraciones se hagan mediante este algoritmo (es decir más cálculos con un valor de n grande), se obtendrá una mejor aproximación del valor real de raíz cuadrada de 2.

El valor de √2 ha sido calculado hasta 137 438 953 444 posiciones decimales por el equipo de Yasumasa Kanada en el año 1997. Entre las constantes matemáticas con cifras no periódicas, sólo π ha sido calculado con mayor precisión.^[8]​

Existen varias pruebas de la irracionalidad de √2 basadas en el método del descenso infinito y en el método de reducción al absurdo, que se fundamenta en suponer que √2 es un número racional y llegar, utilizando razonamientos rigurosamente correctos, a una contradicción, lo que hace concluir que la primera suposición tiene que ser falsa.

Se fundamenta en el método del descenso infinito. Es una construcción geométrica clásica de regla y compás, probando el teorema por un modo muy similar a como lo hacían los antiguos geómetras griegos.

Sea ABC un triángulo rectángulo isósceles con hipotenusa de longitud de m y catetos de longitud n. Por el teorema de Pitágoras, n ² + n ² = m ²; 2n ² =m ²; √2 = m/n.

Supongamos que m y n son números enteros.

Trazamos los arcos BD y CE con centro en A. Unimos DE. Se sigue que AB = AD, AC = AE y el ∠BAC y el ∠DAE coinciden. Por lo tanto los triángulos ABC y ADE son congruentes por tener dos lados iguales y el ángulo comprendido también.

Como ∠EBF es un ángulo recto y ∠BEF es la mitad de un recto, BEF es también un triángulo rectángulo isósceles. Se cumple que BE = BF = m − n. Razonando análogamente, FDC es también un triángulo rectángulo isósceles, con catetos DF = DC = m − n, y con hipotenusa FC = n − (m − n) = 2n − m, que son números también enteros y menores a n y m respectivamente. Al ser ABC y FDC dos triángulos semejantes podemos repetir el anterior proceso de forma recurrente. Con las longitudes de las hipotenusas y con las de los catetos de los sucesivos triángulos, obtenemos dos sucesiones de números enteros estrictamente decrecientes que no son finitas, lo cual es imposible porque si n y m son enteros debe existir una fracción irreducible. Esta contradicción nos hace concluir que la suposición de que m y n son números enteros es falsa y que √2 no puede ser una fracción ${displaystyle extstyle {frac {m}{n}}}$ con m y n enteros, por tanto √2 tiene que ser un número irracional.

Se obtiene como resultado del Principio de Cantor de los intervalos encajados, de modo que el extremo izquierdo sea un número mayor que 1 y su cuadrado menor que 2, el extremo derecho es menor que 2, tal que su cuadrado es mayor que 2. Esta sucesión garantiza la existencia y unicidad del único real que se denota √2

Si se obtiene √2 mediante una sucesión infinita de intervalos encajados, los extremos inferiores forman una sucesión creciente estricta, tal que el siguiente tiene más cifras, como esto puede continuar indefinidamente, el número de cifras decimales, aumenta sin cesar, o es una infinidad.^[9]​

Sea el conjunto H={x: x real positivo, x² < 2}, este conjunto es un abierto en la topología usual de la recta real y su clausura es ${displaystyle H^{-}=[0,{sqrt {2}}]}$^[10]​

La mitad de √2, es aproximadamente 0,70710 67811 86548, y es muy usada en geometría y trigonometría, debido, en parte, a que el vector unitario que hace un ángulo de 45° con los ejes de un plano tiene como coordenadas (^√2⁄₂,^√2⁄₂). Este número satisface:

Una propiedad interesante de la raíz cuadrada de dos es la que sigue:

Este resultado es una propiedad de la razón plateada.

La raíz cuadrada es conocida también como una fracción continua

La identidad ${displaystyle cos left({frac {pi }{4}} ight)=sin left({frac {pi }{4}} ight)={frac {1}{sqrt {2}}}}$, mediante un producto infinito de senos y cosenos, queda como sigue

y

o equivalentemente

El número puede ser expresado mediante una expansión en serie de Taylor de una función trigonométrica. Por ejemplo, las series para ${displaystyle cos left({frac {pi }{4}} ight)}$ da

La serie de Taylor de: ${displaystyle {sqrt {(1+x)}}}$ con x = 1, proporciona:

La convergencia de esta serie puede ser acelerada por una transformada de Euler, produciendo

No se sabe si √2 puede ser representado con una fórmula de tipo BBP. Sin embargo, si se conocen las fórmulas de tipo-BBP para π√2 y para √2 ln(1+√2). [1]

El conjunto H = {a + b √2; a, b∈ℚ} provisto de la adición y la múltiplicación es un cuerpo, previamente <H, + > es un grupo conmutativo, con la adición.^[12]​ Al número irracional a + b√2 se llama irracionalidad cuadrática,^[13]​ porque junto con su conjugado a - b√2 son raíces de una ecuación algebraica de segundo grado.