Raíz cuadrada de dos

√2 equivale a la longitud de la hipotenusa de un triángulo rectángulo e isósceles cuyos catetos tienen una longitud igual a la unidad.

Representación numérica de √2.

La raíz cuadrada de 2, o simplemente raíz 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:​

${\begin{matrix}{\sqrt {2}}&\approx 1.41421356237309504880168872420969807856967187537694\dots \\&\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​

$x^{2}=2$

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

• las hojas de papel en formato internacional (ISO 216) están en proporción largo/ancho igual a √2, así al doblarlas por la mitad se obtiene un rectángulo de las mismas proporciones que el rectángulo original;
• en música, la razón de frecuencias de la cuarta aumentada de la gama temperada vale √2;
• en electricidad, la máxima tensión de la corriente alterna monofásica vale √2 del valor eficaz indicado (generalmente 110 o 220 voltios);
• en fotografía, la sucesión de valores de apertura del diafragma son los valores aproximados de una progresión geométrica de razón √2.

Historia

Representación de la raíz de 2 en sistema sexagesimal. El 30 de un lado corresponde a un ejemplo donde la diagonal corresponde a los números 42 25 35 que es la aproximación de 30√2.

La tabla babilónica YBC 7289 (c. 2000-1650 a. C.) proporciona una aproximación de √2 en jdien la root(2) tablilla procedente de la "Yale Babylonian Collection"]
Fotografías de alta resolución y análisis descriptivo de las tablas de la root(2) (YBC 7289) procedente de la "Y"ale Babylonian Collection"</ref>

$1+{\frac {24}{60}}+{\frac {51}{60^{2}}}+{\frac {10}{60^{3}}}=1,41421{\overline {296}}$.

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.​ Esto es

e 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 $m$. Cuya solución conlleva la aparición de la raíz cuadrada de dos.​

Algoritmo computacional

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​ 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, $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:

$F_{n+1}={\frac {F_{n}+{\frac {2}{F_{n}}}}{2}}$

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.​

Pruebas de irracionalidad

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.

Prueba geométrica

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 $\textstyle {\frac {m}{n}}$ con m y n enteros, por tanto √2 tiene que ser un número irracional.

Prueba basada en argumentos de paridad

1. Se asume que: √2 es un número racional, con ello se sabe que existen dos números enteros a y b tal que se satisfaga que la fracción ^a⁄_b = √2.
2. Entonces √2 puede ser escrito como una fracción irreducible (la fracción es reducida tanto como sea posible) ^a⁄_b tal que a y b son números primos entre sí y (^a⁄_b)² = 2.
3. Se sigue que a² / b² = 2 y a² = 2 b².
4. Por lo tanto a² es par debido a que es igual a 2 b² lo cual es obvio.
5. Se sigue que a debe ser número par. (Los números impares tienen raíces impares y los pares tienen raíces pares.)
6. Debido a que a es par, entonces existe un número entero k tal que satisface: a = 2k.
7. Insertamos el resultado en la última ecuación de (6): 2b² = (2k)² equivale a 2b² = 4k² que equivale a b² = 2k².
8. Como 2k² es par se deduce que b² es también par y por tanto que b es par.
9. Pero que (4) y (8) a y b sean ambos pares contradice que a / b es irreducible tal y como se afirmó en (2).

Se ha encontrado una contradicción al asumir en (1) que √2 es un número racional, luego esta afirmación es falsa. Se demuestra entonces lo contrario: √2 es irracional.

Existencia y unicidad de la raíz cuadrada en ℝ

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

Infinitud de la expresión decimal

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.​

Visión topológica

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 $H^{-}=[0,{\sqrt {2}}]$​

Propiedades de la raíz cuadrada de dos

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:

${\frac {\sqrt {2}}{2}}={\sqrt {\frac {1}{2}}}={\frac {1}{\sqrt {2}}}=\cos(45^{\circ })=\sin(45^{\circ }).$

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

$\!\ {1 \over {{\sqrt {2}}-1}}={\sqrt {2}}+1.$

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

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

$\!\ 1+{\frac {1}{2+{\frac {1}{2+{\frac {1}{2+\cdots }}}}}}.$

La raíz cuadrada de dos √2 es uno de los catetos de un triángulo rectángulo, cuyo otro cateto es 1; la hipotenusa, √3.

√2 + √3 ≃ π, donde pi es la razón entre la longitud de la circunferencia y la longitud del diámetro.

Series y representaciones en productos

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

${\frac {1}{\sqrt {2}}}=\prod _{k=0}^{\infty }\left(1-{\frac {1}{(4k+2)^{2}}}\right)=\left(1-{\frac {1}{4}}\right)\left(1-{\frac {1}{36}}\right)\left(1-{\frac {1}{100}}\right)\cdots$

y

${\sqrt {2}}=\prod _{k=0}^{\infty }{\frac {(4k+2)^{2}}{(4k+1)(4k+3)}}=\left({\frac {2\cdot 2}{1\cdot 3}}\right)\left({\frac {6\cdot 6}{5\cdot 7}}\right)\left({\frac {10\cdot 10}{9\cdot 11}}\right)\left({\frac {14\cdot 14}{13\cdot 15}}\right)\cdots$

o equivalentemente

${\sqrt {2}}=\prod _{k=0}^{\infty }\left(1+{\frac {1}{4k+1}}\right)\left(1-{\frac {1}{4k+3}}\right)=\left(1+{\frac {1}{1}}\right)\left(1-{\frac {1}{3}}\right)\left(1+{\frac {1}{5}}\right)\left(1-{\frac {1}{7}}\right)\cdots .$

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 $\cos \left({\frac {\pi }{4}}\right)$ da

${\frac {1}{\sqrt {2}}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}\left({\frac {\pi }{4}}\right)^{2k}}{(2k)!}}$

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

${\sqrt {2}}=\sum _{k=0}^{\infty }(-1)^{k+1}{\frac {(2k-3)!!}{(2k)!!}}=1+{\frac {1}{2}}-{\frac {1}{2\cdot 4}}+{\frac {1\cdot 3}{2\cdot 4\cdot 6}}-{\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 8}}+\cdots .$

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

${\sqrt {2}}=\sum _{k=0}^{\infty }{\frac {(2k+1)!}{(k!)^{2}2^{3k+1}}}={\frac {1}{2}}+{\frac {3}{8}}+{\frac {15}{64}}+{\frac {35}{256}}+{\frac {315}{4096}}+{\frac {693}{16384}}+\cdots .$

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]

Distintas expresiones

Binario: 1.0110101000001001111...

Decimal: 1.4142135623730950488...

Hexadecimal: 1.6A09E667F3BCC908B2F...

Fracción continua: $1+{\frac {1}{2+{\frac {1}{2+{\frac {1}{2+{\frac {1}{\ddots }}}}}}}}$

En la geometría euclídea

• En el estudio del cuadrado
• En el octógono regular
• En el triángulo rectángulo isósceles

En álgebra abstracta

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.​ Al número irracional a + b√2 se llama irracionalidad cuadrática,​ porque junto con su conjugado a - b√2 son raíces de una ecuación algebraica de segundo grado.

Noticias y amenidades

• Con el algoritmo a_n+1 = (a_n +2/a_n)/2 en 2006, Shigeru Kondo con su ordenador que trabajó algo más de 13 días, obtuvo un resultado de la raíz cuadrada de dos con doscientos mil millones de decimales, que para imprimir se necesitarían 100 millones de hojas de papel.​

• Tómese una varilla, que se dirá que tiene una unidad de longitud, colóquese en un día de Sol la varilla verticalmente y marque la punta de la sombra, en el momento que tenga la misma medida que la varilla. Se une la punta de la sombra con la parte alta de la varilla mediante una cuerda, esta tiene una longitud igual a la raíz cuadrada de dos.​

Véase también

• La raíz cuadrada de dos es el cociente de aspecto del Formato de papeles bajo ISO 216.
• Raíz cuadrada de 3
• Raíz cuadrada de 5
• Rectángulo RR

Referencias

Bibliografía

• Flannery, David (2005). The Square Root of Two. Springer. ISBN 0-387-20220-X. 
• Fowler, David; Robson, Eleanor (noviembre de 1998). «Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context» (PDF). Historia Mathematica 25 (4): 366-378. Archivado desde el original el 27 de noviembre de 2015. 
• Gourdon, X. & Sebah, P. Pythagoras' Constant: √2. Incluye información de como calcular dígitos de √2.
• Henderson, David W., Square Roots in the Sulbasutra
• Weisstein, Eric W. «Pythagoras's Constant». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

Enlaces externos

• La raíz cuadrada de 2 con cinco millones de dígitos por Bonnell & Robert Nemiroff. May, 1994.
• Bogomolny, Alexander. «Square root of 2 is irrational». Interactive Mathematics Miscellany and Puzzles (en inglés). , una colección de pruebas
• √2.net, sitio de entusiastas del número con cálculos on-line
• Representación de la raíz cuadrada de 2.