Raíz cuadrada de 2

De Wikipedia, la enciclopedia libre

La raíz cuadrada de 2 es igual a la longitud de la hipotenusa de un triángulo rectángulo cuyos lados tienen una longitud 1.

La raíz cuadrada de 2, también conocida como constante pitagórica, se denota a menudo como:

$\sqrt{2},$

es un número real positivo que multiplicado por sí mismo da el número 2. Su valor numérico aproximado a 65 posiciones decimales secuencia A002193 en OEIS es:

1.41421 35623 73095 04880 16887 24209 69807 85696 71875 37694 80731 76679 73799.

La raíz cuadrada de 2 es posiblemente el primer número irracional descubierto. Geométricamente es la longitud de la diagonal de un cuadrado de longitud unidad; el valor de la longitud de esta diagonal se puede averiguar mediante el Teorema de Pitágoras. En la época en las que los odenadores no eran tan baratos (antes de la función SQRT) la aproximación fraccional más rápida era 99/ 70 (es mejor que la aproximación racional de 22/ 7 para π). La razón plateada es:

$1+\sqrt{2}$ .

[editar] Historía

Las tablas babilónicas del (YBC 7289) (c. 2000–1650 BC) proporcionan una aproximación de $\sqrt{2}$ en cuatro dígitos sexagesimales, que es similar a seis cifras decimales:^[1]

$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 por los textos matemáticos, el Sulbasutras (c. 800—200 adC) diciendo: Incrementa la longitud [del lado] por su tercera parte, y su tercera por su tres cuartas y su tercera por su treinta y cuatroava parte de cuatro.^[2] Esto es,

$1 + \frac{1}{3} + \frac{1}{3 \cdot 4} - \frac{1}{3 \cdot4 \cdot 34} = \frac{577}{408} \approx 1.414215686.$

El descubrimiento de raíz cuadrada como un número irracional se atribuye generalmente al pitagórico Hippasus de Metapontum, 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 media, y esto le obligaba a no creer en la existencia de los números irracionales. Por esta razón estuvo ya desde el principio en contra de esa demostración, por esta razón fue sentenciado a la pena capital por sus compañeros pitagóricos.

[editar] Algoritmo computacional

Existen una gran cantidad de algoritmos empleados la aproximación de la raíz cuadrada de 2. El más común de los algoritmos para averguar una aproximación en computadores o calculadoras es el denominado método babilónico^[3] 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 $\sqrt{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. ^[4]

[editar] Prueba de irracionalidad

Una prueba de la irracionalidad de la raíz cuadrada de dosmediante la prueba de descenso infinito. Es posible hacerlo mediante Reducción al absurdo, en el que se intenta demostrar la proposición opuesta, es decir: La raíz cuadrada de 2 es un número racional, llegando a mostrar que la asumción es falsa.

Se asume que: $\sqrt{2}$ es un número racional, con ello se sabe que existen dos números entero a y b tal que se satisfaga que la fracción a / b = $\sqrt{2}$ .
Entonces $\sqrt{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.
Se sigue que a² / b² = 2 y a² = 2 b².
Por lo tanto a² es par debido a que es igual a 2 b² lo cual es obvio.
Se sigue que a debe ser número par. (Los números impares tienen raíces pares y los pares tienen raíces pares.)
Debido a que a es par, entonces existe un número entero k tal que satisface: a = 2k.
Insertamos la última ecuación de (3) en (6): 2b² = (2k)² es equivalente a 2b² = 4k² es equivalente a b² = 2k².
Debido a que 2k² es par se deduce que b² es también par lo que significa que b es par porque sólo los números pares tienen raíces cuadradas pares.
Como (5) y (8) a y b son ambos pares, lo que contradice que a / b es irreducible tal y como se afirmó en (2).

como se ha encontrado una contradicción en al asumir en (1) que $\sqrt{2}$ es un número racional, se deduce que esta afirmación es falsa. Se demuestra entonces lo contrario: $\sqrt{2}$ es irracional.

Esta prueba puede ser generalizada para mostrar como cualquier raíz de cualquier número natural es o bien un número natural o un número irracional.

[editar] Una prueba diferente (geométrica)

Otra reductio ad absurdum menos conocida muestra que $\sqrt{2}$ es irracional. Y se fundamenta en otra prueba de 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.

Supongamos que ABC sea un triángulo isósceles con longitud de hipotenusa m y lados n. Por el teorema de Pitágoras, m/n = $\sqrt{2}$ . Supóngase que m y n son números enteros. Hagamos la m:n ser una ratio dada en su exprexión canónica.

Traza los arcos BD y CE con centro en A. Une DE. Se sigue que AB = AD, AC = AE y el ?BAC y ?DAE coinciden. Por lo tanto los triangulos ABC y ADE son congruentes por SAS.

Como ?EBF es unágulo recto y ?BEF es la mitad de un recto, El trángulo BEF es también isósceles. Y se ve que BE = m − n implica que BF = m − n. Por simetría, DF = m − n, y FDC es también un triángulo isósceles. De todo ello se infiere que FC = n − (m − n) = 2n − m.

Como tenemos un número par de triángulos isósceles con hipotenusa de longitud 2n − m y lados m − n. Estos valores son enteros pares más pequeños que m y n y mantienen el ratio, contradiciendo la hipótesis inicial en la que m:n está en su forma canónica. Por lo tanto m y n no pueden ser ambos números enteros, siendo $\sqrt{2}$ irracional.

[editar] Propiedades de la raíz cuadrada de dos

La mitad de $\sqrt{2}$ , es aproximadamente 0.70710 67811 86548, y es una cantidad muy común 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:

$\left(\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2}\right).$

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}}}.$

[editar] Series y representaciones en productos

La identidad cos(p/4) = sin(p/4) = 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$

$\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(p/4) 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)}$ x = 1 proporciona:

$\sqrt{2} = \sum_{k=0}^\infty (-1)^{k+1} \frac{(2k-3)!!}{(2k)!!} = 1 + \frac{1}{2} - \frac{1}{2\cdot4} + \frac{1\cdot3}{2\cdot4\cdot6} - \frac{1\cdot3\cdot5}{2\cdot4\cdot6\cdot8} + \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 $\sqrt{2}$ puede ser representado con una fórmula de tipo BBP. Las fórmulas de tipo-BBP se conocen para p $\sqrt{2}$ y $\sqrt{2}$ ln(1+ $\sqrt{2}$ ), however. [1]

[editar] Véase también

La raíz cuadrada de dos es el cociente de aspecto del Formato de papels bajo ISO 216.

[editar] Notas

↑ Fowler and Robson, p. 368.
Fotografía, ilustración, y descripción de la root(2) tableta 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"
↑ Henderson.
↑ Aunque se denomine "Método babilónico" generalmente, no existe evidencia que muestre un uso de esta aproximación por los babilónicos en el cálculo de la aproximación de $\sqrt{2}$ tal y como se puede ver en la tableta YBC 7289. Fowler and Robson ofrece generalmente detalle y conjeturas sobre esto.
Fowler and Robson, p. 376. Flannery, p. 32, 158.
↑ http://numbers.computation.free.fr/Constants/Miscellaneous/Records.html

[editar] Referencias

Flannery, David (2005). The Square Root of Two. Springer. ISBN 038720220X.
Fowler, David, Eleanor Robson. "Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context" (PDF). Historia Mathematica 25 (4): 366-378.
Gourdon, X. & Sebah, P. Pythagoras' Constant: $\sqrt{2}$ . Incluye información de como calcular dígitos de $\sqrt{2}$ .
Henderson, David W., Square Roots in the Sulbasutra
Weisstein, Eric W., Pythagoras's Constant en MathWorld.

[editar] Enlaces externos

La raíz cuadrada de 2 con cinco millones de dígitos por Bonnell & Robert Nemiroff. May, 1994.
La raíz cuadrada de 2 es irracional, una colección de pruebas
√2.net, sítio de entusiastas del número con cálculos on-line

Obtenido de "http://es.wikipedia.org../../../r/a/%C3%AD/Ra%C3%ADz_cuadrada_de_2.html"

Categoría: Constantes