Y

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

No, no vamos a hablar de la gran mentira de los nmeros, esa que dice que primero surgieron los nmeros naturales por la necesidad de contar, luego los enteros por la necesidad de restar, etc... Hoy vamos a comentar el origen del trmino irracional para nombrar a aquellos nmeros reales que no son racionales, es decir, nmeros reales que no se pueden expresar como un cociente de nmeros enteros. Todo se remonta a la Grecia clsica, en particular, a la poca pitagrica. Pitgoras naci en la isla de Samos, en el ao 582 a.C. donde complet sus estudios para, posteriormente, crear su famosa escuela pitagrica en Crotona. Aunque ms que una escuela, lleg a ser una especie de secta. Pero vamos a ser polticamente correctos y vamos a llamarlos organizacin. La organizacin pitagrica tena como creencia fundamental que todas las cosas son, en esencia, nmeros. O dicho de otro modo, que una vez definida una unidad todo lo que nos rodea es mensurable, es decir, que puede medirse a travs de esta unidad. Pero para los pitagricos el concepto de medir significaba que o bien era un nmero entero de veces la unidad, o bien un nmero entero de partes de la unidad (o una mezcla de ambas). En definitiva, cocientes de nmeros enteros. El pensamiento pitagrico se levanta sobre una estructura matemtica racional: todo lo que se salga de su orden de pensamiento, escapa a la razn. Por ello esta escuela entr en crisis. El archiconocido Teorema de Pitgoras fue redescubierto por esta escuela de pensamiento, pero con l lleg el problema, pues como primera aplicacin del teorema obtenemos un nuevo nmero 2. Y resulta que este nmero no es mensurable con respecto a la unidad. Como este hecho pona en serio peligro la filosofa pitagrica y dado que escapaba a su razn, decidieron darle el nombre de Irracional, adems de ocultar este descubrimiento a la comunidad filosfico-cientfica de la poca. De hecho, se cuenta que uno de los miembros de esta escuela, Hipaso de Metaponto, fue el que dio con una demostracin de la irracionalidad del nmero 2 (consulta

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

la prueba geomtrica, muy similar a la realizada, presuntamente, por Hipaso). Sin embargo, parece ser que Hipaso no cumpli el voto de silencio que pesaba sobre la irracionalidad de 2, por lo que la hermandad pitagrica lo habra expulsado de la escuela y habran erigido una tumba con su nombre, mostrando as que para ellos, l estaba muerto. De hecho, la leyenda cuenta que los propios miembros de la hermandad pitagrica ahogaron a Hipaso. En fin, que como habis podido comprobar, incluso dentro de las matemticas hay leyendas. Es ms, hasta lo ms irracional, puede deberse a un hecho completamente racional. E incluso se puede morir, como ya se ha visto otras veces, por un descubrimiento matemtico. Tito Eliatron Dixit.

Pruebas de irracionalidad [editar]

Existen varias pruebas de la irracionalidad de basadas en el mtodo del descenso infinito y en el mtodo de reduccin al absurdo, que se fundamenta en suponer que es un nmero racional y llegar, utilizando razonamientos rigurosamente correctos, a una contradiccin, lo que hace concluir que la primera suposicin tiene que ser falsa. Prueba geomtrica [editar]

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

Se fundamenta en el mtodo del descenso infinito. Es una construccin geomtrica clsica de regla y comps, probando el teorema por un modo muy similar a como lo hacan los antiguos gemetras griegos. Sea ABC un tringulo issceles con hipotenusa de longitud de m y catetos de logitud n. Por el teorema de Pitgoras, n + n = m ; 2n =m ; = m/n. Supongamos que m y n son nmeros 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 tringulos ABC y ADE son congruentes por tener dos lados iguales y el ngulo comprendido tambin. Como EBF es un ngulo recto y BEF es la mitad de un recto, BEF es tambin un tringulo rectngulo issceles. Se cumple que BE = BF = m n. Razonando anlogamente, FDC es tambin un tringulo rectngulo issceles, con catetos DF = DC = m n, y con hipotenusa FC = n (m n) = 2n m, que son nmeros tambin enteros y menores a n y m respectivamente. Al ser ABC y FDC dos tringulos semejantes podemos repetir el anterior proceso de forma recurrente. Con las longitudes de las hipotenusas y con las de los catetos de los sucesivos tringulos, obtenemos dos sucesiones de nmeros enteros estrictamente decrecientes que no son finitas, lo cual es imposible. Esta contradiccin nos hace concluir que la suposicin de que m y n son nmeros enteros es falsa y que no puede ser una fraccin tiene que ser un nmero irracional. con m y n enteros, por tanto

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

Prueba basada en argumentos de paridad [editar] 1. Se asume que: es un nmero racional, con ello se sabe que existen dos nmeros enteros a y b tal que se satisfaga que la fraccin a / b = . 2. Entonces puede ser escrito como una fraccin irreducible (la fraccin es reducida tanto como sea posible) a / b tal que a y b son nmeros 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 nmero par. (Los nmeros impares tienen races impares y los pares tienen races pares.) 6. Debido a que a es par, entonces existe un nmero entero k tal que satisface: a = 2k. 7. Insertamos la ltima ecuacin de (3) en (6): 2b = (2k) es equivalente a 2b = 4k es equivalente a b = 2k. 8. Debido a que 2k es par se deduce que b es tambin par lo que significa que b es par porque slo los nmeros pares tienen races cuadradas pares. 9. Como (4) 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 contradiccin al asumir en (1) que es un nmero racional, se deduce que esta afirmacin es falsa. Se demuestra entonces lo contrario: es irracional.

Propiedades de la raz cuadrada de dos [editar]

La mitad de , es aproximadamente 0,70710 67811 86548, y es una cantidad muy comn en geometra y trigonometra, debido en parte a que el vector unitario que hace un ngulo de 45 con los ejes de un plano tiene como coordenadas:

Este nmero satisface:

Una propiedad interesante de la raz cuadrada de dos es la que sigue:

Este resultado es una propiedad de la razn plateada.

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

x = 1 proporciona:

La raz cuadrada es conocida tambin como una fraccin continua

Series y representaciones en productos [editar]

La identidad y cosenos, queda como sigue , mediante un producto infinito de senos

o equivalentemente 6 8

El nmero puede ser expresado mediante una expansin en serie de Taylor de una funcin trigonomtrica. Por ejemplo, las series para da

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

PD

F T ra n sf o

rm

PD

F T ra n sf o

rm

er

er

ABB

ABB

bu

bu C lic k he re to
w

y
w.
A B B Y Y.c

2.0

2.0

lic

he

re
om

to

w.

A B B Y Y.c

om

No se sabe si

puede ser representado con una frmula de tipo BBP. Las y , however. [1]

frmulas de tipo-BBP se conocen para p

Distintas expresiones [editar]

Binario: 1.0110101000001001111... Decimal: 1.4142135623730950488... Hexadecimal: 1.6A09E667F3BCC908B2F...

Fraccin continua: