Minicurso, Sanchez PDF

1
Paseo por el universo de las irracionalidades aritmticas

Carlos Snchez Fernndez
Universidad de La Habana
Cuba
csanchez@matcom.uh.cu
Resumen
En este brevsimo paseo por el universo de los nmeros irracionales se pretende
mostrar cmo un tema tan elemental como la aritmtica presenta numerosas
curiosidades que pueden ofrecerse de forma atractiva a estudiantes del nivel
preuniversitario y de los primeros aos de las universidades.
Nuestro objetivo no es profundizar en temas esotricos, enrevesados; ni nos
pondremos a vagabundear entre frmulas y ecuaciones. No pretendemos mostrar
cmo se hacen cuentas con los nmeros, nos interesa ms hacer cuentos sobre los
nmeros, sobre sus propiedades maravillosas y las desafiantes conjeturas an sin
solucin. Pasearemos entre irracionalidades enteras, algebraicas y trascendentes;
observaremos de cerca a los nmeros metlicos y a sus vecinos los nmeros
plsticos. Siempre con la gua de la Historia de la Matemtica. Nos gustara que
participaran reflexivamente y que con las ideas extradas que consideren adecuadas
despus condimenten sus clases para que sus alumnos piensen y amen la
matemtica.
Palabras claves: Historia de los nmeros irracionales, nmeros metlicos y
plsticos, nmeros algebraicos y trascendentes.
Introduccin
Los nmeros enteros positivos aparecieron muy temprano por las necesidades naturales de
contar y medir. Poco despus, sobre todo por la reparticin de tierras, herencias y mercancas,
aparecieron las fracciones, cocientes entre enteros positivos no nulos, que los helenos llamaron
nmeros racionales, con la conviccin que eran los nmeros suficientes para satisfacer todas
las necesidades razonables y no solo contar o medir. Pasaron miles de aos antes de que los seres
humanos comprendieran que no todas las magnitudes razonables se podan medir de manera
I CEMACYC, Repblica Dominicana, 2013
Paseo por el universo de las irracionalidades
exacta con nmeros racionales. Por supuesto que desde pocas remotas se saba que algunas
magnitudes geomtricas asociadas a figuras simples como tringulos, rectngulos o crculos no
se podan medir fcilmente a travs de enteros y fracciones. Pero resolvan el problema prctico
con una medida aproximada y se quedaban harto satisfechos. Es decir, que la consideracin de
nmeros no racionales era innecesaria para las primeras civilizaciones que basaban la
matemtica en premisas empricas, no especulativas. La necesidad de tomar en cuenta nmeros
que no son racionales, apareci junto con las civilizaciones cuya base econmica les permiti el
desarrollo de clases sociales con suficiente tiempo para especular sobre asuntos esotricos como
la existencia de nmeros no racionales, mientras otras clases inferiores hacan el trabajo
racionalmente necesario para vivir.
Pero, en qu problemas matemticos concretos aparecieron las irracionalidades
aritmticas? Existen varios grados de irracionalidad aritmtica? y Cuntos tipos de
irracionalidades hay? Son acaso mejores unos nmeros irracionales que otros? Cules son los
nmeros irracionales ms famosos? Son muchos los nmeros irracionales comparados con los
racionales? Existen nmeros con naturaleza enigmtica, que no sabemos hoy si son o no son
irracionales? Para intentar responder a esas preguntas y otros cuestionamientos naturales que
puedan aparecer en el estudio de las irracionalidades, lo mejor, en nuestra opinin, es hacer un
paseo en el tiempo, con la gua de la Historia de la Matemtica.
Magnitudes inconmensurables y nmeros inexpresables
No se sabe exactamente cundo surgieron los nmeros irracionales, pero su origen se
achaca al supuesto descubrimiento de las magnitudes inconmensurables por los antiguos
pitagricos. Recordemos que ellos basaban su filosofa en la sentencia Todo es nmero. Los
pitagricos estaban convencidos de que la razn entre las longitudes de dos segmentos
cualesquiera es siempre un nmero racional, lo cual resuman con el planteamiento de que todos
los segmentos son conmensurables. Es decir, que se puede encontrar una unidad comn a ambas
longitudes, siendo stas mltiplos de dicha unidad.
La idea es la siguiente: Supongamos que tenemos dos segmentos de longitudes diferentes
A y B. Si consideramos que A es el nmero mayor, podemos sin dudas colocar al segundo
segmento sobre el de longitud A una cantidad finita de veces sin que llegue a sobrepasarlo. En
lenguaje matemtico, lo que hemos hecho es multiplicar B por un entero n, de modo que
nB<A<(n+1)B. Al hacerlo resta un segmento de longitud R1 y se observa fcilmente que R1=AnB es un nmero positivo menor que B o R1=0. En ste ltimo caso A es un mltiplo entero de
B, por lo que la unidad de medida comn es precisamente B. En el primer caso (R1=A-nB >0)
repetimos el procedimiento considerando ahora los segmentos B> R1. Nuevamente queda un
resto R2, que, si es cero, nos indica que el resto anterior (R1) constituye la unidad de medida
comn y si no es cero, nos obliga a repetir el procedimiento. Pero los restos que van quedando
son todos positivos y cada vez menores. Es as que los pitagricos suponan que en algn
momento se deba llegar a un resto Rn=0, siendo as Rn-1 la buscada unidad de medida comn.
Pero qu nos garantiza que realmente lleguemos alguna vez a obtener cero? Por ejemplo
pudiera ser que cada resto fuera la mitad del anterior y, en ese caso, nunca se obtendra el valor
0, de modo que cul es la unidad comn?
Irnicamente, se supone que son los propios pitagricos (y al parecer un tal Hipaso de
Metaponte), que negando su propia filosofa, descubren los inconmensurables (entre 450 a.n.e. y
375 a.n.e.), y con ellos los nmeros irracionales, que eran unos nmeros inexpresables en el

lenguaje de los nmeros pitagricos racionales. Cuenta

la leyenda que Hipaso fue lanzado al mar por los
disgustados pitagricos, no slo castigado por haber
hecho pblico su descubrimiento, lo cual violaba las
estrictas leyes de los pitagricos, sino tambin por la
forma en que lo descubri a partir del pentagrama, que
era uno de los smbolos sagrados de esa secta. (Fig.1).
Figura 1. Pentagrama pitagrico
En este caso la inconmensurabilidad est asociada

al nmero inexpresable cuyo cuadrado es 5. Este nmero
en notacin actual es 5 , no es representable como
cociente de dos nmeros enteros, aunque hoy usamos la
aproximacin racional que nos ofrece rpidamente
cualquier calculadora electrnica en el sistema decimal
hasta con 20 cifras exactas,
5 2, 23606797749978969641 .
Es decir, podemos confiar en este valor decimal en todos los problemas que no precisen de
!
un error menor de !"!" , pero si queremos deducir
resultados exactos que dependen de su valor
irracional, entonces usamos el smbolo 5 y en los
clculos aritmticos lo consideramos como un
nmero tal que al elevarlo al cuadrado obtenemos el
valor entero 5.
La mayora de los textos actuales coloca como
2
primer ejemplo de inconmensurabilidad la de la
Figura
2.
Diagonal
inconmensurable
diagonal del cuadrado con relacin a su lado. (Ver
Fig 2) que posee la misma complejidad de la hallada
por Hipaso en el pentagrama, pero es ms fcil de argumentar con el uso de la propiedad
pitagrica.
La historia que exponemos a continuacin es la que induce la afirmacin de que Pitgoras
es el padre de la teora de los irracionales. Recordemos que el teorema de Pitgoras plantea que
en un tringulo rectngulo el cuadrado de la longitud de la hipotenusa es igual a la suma de los
cuadrados de las longitudes de los lados. Una de sus aplicaciones constituye una de las primeras
demostraciones conocidas de la existencia de irracionalidades y que aparece en el libro X de
Los Elementos de Euclides. Dicha demostracin con un razonamiento por reduccin al
absurdo- se basa tambin en el hecho trivial de que el producto de un nmero par por cualquier
nmero es tambin un nmero par.
Los tros pitagricos (ternas de nmeros enteros positivos que constituyen las longitudes de
los lados de un tringulo rectngulo, es decir, que cumplen la relacin a2+b2=c2) y los ya
conocidos nmeros figurados o poligonales parecen haber abierto el camino al descubrimiento de
los nmeros irracionales, al asociar los nmeros y las figuras, a travs de la accin de medir
magnitudes geomtricas. No fue hasta el siglo XIX que se comprendi cabalmente la diferencia
esencial entre los nmeros y las magnitudes, al aparecer teoras rigurosas de los nmeros reales,

unin de los nmeros racionales e irracionales, teoras puras sin hacer mencin a
consideraciones geomtricas ni fsicas. Pero, repetimos, el uso de los irracionales se hizo
necesario en la resolucin de problemas vitales antes de definirlos con rigor y mucho antes de
sumergirlos en cuerpos algebraicos, no geomtricos.
Ya en la Matemtica prehelnica, en Egipto y Babilonia surgen dos problemas cuya
solucin es reconocida hoy en da entre los nmeros irracionales notables. Ellos son el problema
de la razn entre la longitud de la circunferencia y su dimetro, a partir del cual conocemos hoy a
la constante pi , y la referida relacin pitagrica en los tringulos rectngulos con la que se
introdujeron inconscientemente infinidad de irracionalidades cuadrticas como 2. De hecho los
babilonios utilizaron la relacin pitagrica en tringulos con hipotenusa irracional y sus
aproximaciones a las races cuadradas pueden considerarse pasos hacia el descubrimiento que
nunca hicieron. En una tablilla de arcilla que se conserva en la Universidad de Yale aparece una
buena aproximacin en sistema sexagesimal (muy parecida al valor que hoy conocemos en
sistema decimal):
!"
!"
!"
2 1+!" + !"! + !"! (=1,414213).
Teodoro de Cirene (siglo V a.n.e.), uno de los maestros de Platn, es de los primeros en
plantear una teora de nmeros irracionales que ser recogida en
los Elementos de Euclides. En particular demostr que los lados
4
3
de los cuadrados cuya rea era un nmero primo era
inconmensurable con el lado del cuadrado de rea unidad.
2
5
Tambin fue el autor de la conocida espiral que representa
6
longitudes irracionales 2 , 3 , 5 ,.., 17 como hipotenusa de
1
Figura. 3. Espiral de Teodoro
tringulos rectngulos de lados 1 y 1, 1 y 2 ; 1 y

hasta llegar a representar 17 . (Fig. 3).
4 = 2 , y as
Ejercicio 1: Por qu Teodoro no continu con la representacin geomtrica de

18 , 19 , y otras races sucesivas?
El alumno de Teodoro, Teeteto de Atenas (s. IV a.n.e.) clasific las irracionalidades. No
!
consideraba lo mismo 17, que 17 + 13 o 1 + 17. Esto tiene fcil comprensin si lo

llevamos al campo del lgebra de los polinomios: 17 es raz de un polinomio de segundo grado,
!
17 + 13 es raz de uno de cuarto grado y no menos, 1 + 17 satisface un polinomio de

sexto grado como mnimo. De tal forma hoy se clasifican las irracionalidades algebraicas
(porque estn asociadas a un polinomio de grado mnimo). As 17 es algebraico de grado 2,
!
17 + 13 es de grado 4 y 1 + 17 es una irracionalidad algebraica de sexto grado.

Ejercicio 2: Encuentre los polinomios mnimos referidos arriba y compruebe la certeza de
las aseveraciones formuladas.
Eudoxo de Cnido (siglo IV a.n.e.) que aprendi tanto de las especulaciones platnicas en la
escuela de Atenas, como de los clculos aproximados de los astrnomos egipcios, introduce una
teora de la proporcionalidad y no tiene reparos para manipular los inconmensurables en su
Mtodo de exhauscin, que constituye una de las primeras teoras sobre clculo de magnitudes
geomtricas por aproximacin.

Todas estas ideas fueron recogidas por Euclides en sus Elementos. Por ejemplo, la teora
de Eudoxo aparece entre los Libros V y X. Por mucho tiempo el libro X fue considerado el ms
complicado de todos. An en el siglo XVI, el talentoso ingeniero flamenco Simn Stevin se
refera a l como La cruz de los matemticos. Precisamente fue Stevin quin hizo popular el
uso de la representacin decimal para facilitar la manipulacin en los clculos de los nmeros
irracionales.
Curiosidad 1: Quin fue el autor intelectual de la representacin decimal?
En Occidente se consider por mucho tiempo que Simn Stevin era el creador del mtodo
de representacin decimal de los nmeros fraccionarios hasta que en 1948 se hicieron pblicas
las obras de Al Kashi, un famoso astrnomo musulmn, que trabaj en Samarcanda bajo la
proteccin del gran kan turco mongol Ulug Beg, tambin aficionado a las matemticas y la
astronoma. Este asombroso musulmn escribi varios tratados sobre astronoma y otros muchos
temas, pero su obra ms impresionante es La llave de la Aritmtica que complet en marzo de
1427. En el Libro IV Sobre las mediciones, en su ltimo captulo Midiendo estructuras y
edificaciones Al Kashi usa su talento aritmtico para la optimizacin de los clculos de salarios
y materiales de construccin para un determinado proyecto arquitectnico y para estimar el
precio de la edificacin terminada. Son muchas las operaciones numricas y el sistema
sexagesimal que ha sido tan til en los clculos astronmicos no ayuda a simplificar el trabajo.
Entonces Al Kashi decide introducir las fracciones decimales sobre todo para realizar
aproximaciones ms precisas de magnitudes geomtricas como la superficie y el volumen de la
cpula de diferentes mausoleos y mezquitas musulmanas.
Debemos agregar que hoy es sabido que tampoco Al Kashi es el creador de las fracciones
decimales, puesto que se han encontrado tambin en monografas de otros sabios islmicos como
Al Uqlidisi (s. X) y Al Samawal (s. XII), pero ninguno como Al Kashi realiz aplicaciones tan
valiosas y precisas.
Por supuesto que la obra de Simn Stevin fue definitiva para el establecimiento en
Occidente de la representacin decimal ya que durante mucho tiempo no se justipreci el
magnfico legado de las culturas orientales en una poca cundo los occidentales no se
preocuparon por ampliar el bagaje terico del legado helnico. Y no fueron solo los musulmanes
rabes los orientales interesados en las irracionalidades aritmticas.
Curiosidad 2. Cmo sumar irracionalidades numricas expresadas por radicales?
El clebre sabio indio Bashkar que vivi en el siglo XII plante unas reglas perspicaces
para operar con nmeros irracionales. Por ejemplo, da dos formas de sumar irracionales que en
nuestra notacin actual seran equivalentes a:
a + b = a + b + 2 ab ( 2 + 8 = 2 + 8 + 2 16 = 18 )
2
8
a + b = 2
+ 1 , siendo a < b . ( 2 + 8 = 2
+ 1 = 18 ).
a
2
Ejercicio 3: Comprueba que los dos algoritmos de Bashkar son equivalentes

Curiosidad 3: Qu irracionalidades aritmticas son construibles geomtricamente?

. Una forma de clasificar las irracionalidades es considerando las que son construibles y
las que no lo son. Precisemos la idea. Fijado un segmento de longitud unidad, entendemos por
construir una irracionalidad a usar sucesivamente la regla y el comps para llegar a un segmento
inconmensurable con el segmento unidad original. No es difcil darse cuenta que con estas
herramientas podemos construir segmentos de longitudes irracionales cuadrticas como 2 ,
!
17 o tambin 1 + 17 y 5 . Un poco ms difcil es comprobar que las de un orden diferente

!
!
a = 2! no son construibles, por ejemplo, 2 y 3 no son construibles. Pero, an ms difcil
resulta demostrar cules son las nicas irracionalidades construibles con regla y comps. Al
parecer la primera demostracin se debe al filsofo francs Ren Descartes a mediados del
siglo XVII. No obstante no es hasta el siglo XIX que se logra encontrar una demostracin
aceptable por la comunidad matemtica. Esta demostracin se consigui al traducir el problema
al lenguaje del lgebra. El talentoso Karl Gauss (1777-1855) en sus Disquisitiones Arithmeticae
ya sealaba que los problemas clsicos de construccin: duplicacin de un cubo, triseccin de un
ngulo, cuadratura del crculo y construccin de polgonos regulares se podan plantear en
lenguaje algebraico y de tal forma encontrar los criterios de construccin con las herramientas
clsicas. As encontr la famosa frmula para determinar que un polgono regular poda ser
construido con regla y comps. Segn demostr Gauss, si N es el nmero de lados de un
polgono cualquiera regular, entonces dicho polgono puede ser construido con regla y comps
!
solamente en el caso en que sea N=2kp1p2pm, siendo p! =2! +1 un nmero primo de Fermat
para i=1,,m y k, m enteros positivos. Los nicos primos de Fermat conocidos hasta ahora
(agosto de 2013) son 3, 5, 17, 257 y 65537, no se ha podido encontrar otro. Por tanto, los
polgonos regulares de 7, 9, 11, 13 y 15 lados, no se pueden construir con regla y comps.
Mientras, los de 4257=1028 lados y 3565537=983055 lados son construibles.
El joven Gauss escribi que su brillante idea de ligar el lgebra con la geometra para la
resolucin de este clsico problema apareci cuando tena solo 19 aos:
Fue el da 29 de marzo de 1796, durante unas vacaciones en Braunschweig, y la
casualidad no tuvo la menor participacin en ello ya que fue fruto de esforzadas
meditaciones; en la maana del citado da, antes de levantarme de la cama, tuve la
suerte de ver con la mayor claridad toda esta serie de construcciones.
Aunque en el siglo XIX se hallaron procedimientos ms simplificados, la tarea constructiva
tal como la abord el matemtico alemn tiene un mrito enorme. Pero Gauss no dio una
caracterizacin general de los nmeros construibles. Fue el francs Pierre-Laurent Wantzel
(1814-1848) quin primero, en 1837, precis las condiciones necesarias y suficientes para que un
nmero sea construible. Particularmente prob que una condicin necesaria para que un nmero
sea construible es que el grado del polinomio minimal asociado al nmero sea una potencia de 2,
es decir el orden del nmero irracional algebraico debe ser 2! . Esta condicin permite demostrar
fcilmente que la duplicacin del cubo y la triseccin de un ngulo no son realizables con el uso
exclusive de regla y comps. Pero, atencin, esta condicin necesaria no es suficiente.
Ejercicio 4: Probar que el polinomio x4+2x2 es irreducible de grado 4 y sin embargo sus races no
son construibles.
Es curioso subrayar que el conjunto K de los nmeros construibles forma un cuerpo, es

decir, la suma y el producto son operaciones internas, con elementos neutros y opuestos cada

una. Adems K contiene al cuerpo de los nmeros racionales y a la vez es un subcuerpo propio
del cuerpo de los nmeros algebraicos. Este cuerpo numrico posee muchas propiedades
interesantes, por ejemplo, K es cerrado bajo la extraccin de races cuadradas y para la
conjugacin compleja.
La clasificacin entre irracionalidades algebraicas y trascendentes
Las investigaciones sobre nmeros construibles aumentaron el inters por el estudio de los
nmeros irracionales algebraicos, es decir, aquellos irracionales que son raz de algn polinomio
con coeficientes enteros. Por otra parte, tambin agudizaron la bsqueda de una demostracin de
que el nmero irracional , asociado a la construccin de un cuadrado de rea igual al rea de un
crculo de radio unidad, no es algebraico, es decir, no es raz de ningn polinomio con
coeficientes enteros. A tales nmeros se les llama nmeros trascendentes y aunque fue de los
primeros en aparecer por las necesidades prcticas en la antigedad prehelnica, no fue hasta
finales del siglo XIX que se consigui demostrar su trascendencia. En general, encontrar
nmeros irracionales no algebraicos es sumamente difcil, se debe probar la no existencia de
polinomios que se anulen en ese nmero.
Es interesante comprobar con el uso de la representacin decimal que entre dos racionales
hay siempre un irracional y tambin que entre dos irracionales encontramos un racional. Este
resultado se traduce diciendo que los nmeros racionales son densos en el conjunto de los
nmeros irracionales. No es intuitivo imaginar que existen muchos ms nmeros irracionales que
racionales, sobre todo porque ambos conjuntos son evidentemente infinitos. Menos intuitivo es
que los nmeros irracionales algebraicos son muchsimo menos que los irracionales
trascendentes, porque los algebraicos son tantos como polinomios existen y son contados con los
dedos de la mano los trascendentes conocidos en la enseanza bsica. Por supuesto, los grandes
matemticos intuan que deberan existir muchas irracionalidades no algebraicas. Por ejemplo,
Leibniz supona correctamente que la mayora de los valores de las funciones trigonomtricas
eran irracionalidades no algebraicas. Euler extendi la sospecha a los valores de otras funciones
elementales como la exponencial y la funcin logaritmo. Pero an a principios del siglo XIX no
existan demostraciones claras y rigurosas de la existencia de irracionalidades no algebraicas.
Se considera que el gemetra francs Joseph Liouville en 1844 dio el primer criterio til
para determinar si un irracional es algebraico o no y con el uso de la representacin en serie
prob la existencia de infinidad de nmeros no algebraicos. Por ejemplo, Liouville prob que es
un irracional no algebraico el nmero:
=
!!!
1
= 0,110010000000000000000010000
10!!
donde los unos aparecen en los lugares 1, 2, 6, 24, 120, 720, 5040, , es decir, en las
cifras decimales de orden n!, smbolo que significa el producto de todos los naturales hasta el
propio n y es llamado factorial de n: n ! = 1 2 3 4 ... ( n 2 ) ( n 1) n
Entonces, a partir de cualquier nmero decimal infinito puede construirse un nmero de
Liouville, por ejemplo, es trascendente el nmero 3.14(3 ceros)1(17 ceros)5(95 ceros)9(599
ceros)..., donde los dgitos son cero excepto en las posiciones n! y los dgitos no nulos siguen la
formacin de los dgitos en la representacin decimal de . Se puede probar que los nmeros de
Liouville forman un subconjunto denso del conjunto de todos los nmeros reales y son tantos

como sucesiones de dgitos no nulos existen. en otras palabras hay muchsimo nmeros
irracionales no algebraicos.
An cuando se hizo posible demostrar que existan infinitos nmeros irracionales
trascendentes, probar que un nmero irracional concreto no es algebraico es sumamente difcil.
Por ejemplo, la trascendencia de nmeros ubicuos como y la llamada constante de Neper e,
base de los logaritmos naturales, se mantuvo como conjetura hasta que a finales del siglo XIX
dos matemticos, uno francs- Hermite, en 1873- y otro alemn- Lindemann, en 1882encontraron respectivamente las ansiadas demostraciones. Despus de estas demostraciones no
fue difcil probar que la constante de Neper e no era un nmero de Liouville, en cambio, hubo de
esperarse hasta 1953 para que el alemn Kurt Mahler demostrara que tampoco era un nmero
de Liouville. 1
2
3
4
Curiosidad 4: Existen
0
1 ms
2 irracionales
3 algebraicos que irracionales trascendentes?
1/2 de 3/2
5/2 aunque
7/2
El resultado
Liouville
til en la aceptacin de nuevos tipos de irracionalidades
numricas, no 1/2
serva 3/2
para comparar
de los conjuntos de nmeros atendiendo a su
5/2 7/2la magnitud

naturaleza aritmtica. La manera ms rigurosa de comparar conjuntos numricos infinitos la
introdujo George
Cantor
(1845-1908)
afinales del siglo XIX. La forma ms natural de comparar

conjuntos es contar
sus elementos, la cuestin se complica cuando tenemos que comparar
conjuntos infinitos. A Cantor se le ocurri la genial idea de decir que dos conjuntos eran
equipotentes (forma rigurosa de decir que tienen la misma cantidad infinita de elementos) si
exista una correspondencia 1-1 entre los dos conjuntos. Los conjuntos equipotentes con el
conjunto de los nmeros naturales, los conjuntos numerables, determinan el primer nmero
transfinito que denot por la primera letra del alfabeto hebreo 0 (alef sub cero). Ahora haba que
clasificar los otros conjuntos numricos. Asombrosamente, Cantor demostr, con mucha lgica,
la fantstica propiedad de que entre Q y N existe una correspondencia 1-1 y por tanto que el
cardinal transfinito asociado a Q era tambin 0. Realmente existen muchas formas simples de
enumerar a los racionales y una de las ms conocidas se puede visualizar fcilmente con un
diagrama:
Los nmeros positivos se colocan en las filas impares y los negativos en las pares, adems
el denominador determina cul es la fila correspondiente. No es difcil convencerse de que en el
diagrama estn todos los infinitos nmeros racionales. Entonces se ordena el conjunto de todos
los nmeros racionales diagonalmente, como lo muestran las flechas de la tabla, esto es
1
3 1
5 3 1
Q = 1, 2, 0, 3, 1, , 4, 2, , , 5, 3, , , , 6,...
2
2 2
2 2 3
De este modo es evidente la correspondencia entre los nmeros racionales y los naturales y
hemos probado que ambos tienen la misma cantidad de elementos. Despus de este sorprendente

resultado muchos volvieron a pensar que todos los nmeros transfinitos en fin de cuentas eran
iguales y no vala la pena definirlos como entes aparte.
Pero en 1874 Cantor volvi a asombrar a la comunidad matemtica probando que todo
intervalo compacto [a , b] por pequea que fuera su longitud b a, tena un tamao mayor que el
tamao de N. La demostracin sin embargo era algo sofisticada y no muchos se convencieron de
la validez de este extrao resultado. Cantor que era muy altanero, se sinti ofendido por estos
escpticos y busc con denuedo una demostracin simple y asequible que los subyugara
totalmente. La encontr al fin 17 aos despus y se encuentra en los principales textos de
Anlisis o de Teora de Conjuntos -tambin aparece en el penltimo captulo de Snchez-Valds
(2010)-.
Ejercicio 5 Probar que todos los intervalos no triviales -que contienen al menos dos puntos- de la
recta real, sean abiertos o cerrados, acotados o no acotados, son equipotentes, es decir
determinan el mismo nmero transfinito diferente al nmero transfinito 0 y que es denotado por
la letra inicial de continuum.
Como dijimos anteriormente en la poca en que Cantor public sus razonamientos
transfinitos, los nmeros trascendentes eran sin dudas, muchsimo ms raros que los algebraicos,
pero la fantasa de Cantor no se contena con tales argumentos y lanz una extica
provocacin contraria a la intuicin de la mayora:
La parte algebraica del continuo es tan pequea como el conjunto de los nmeros naturales,
mientras que la parte trascendente es tan grande como todo el continuo. Concretamente, el nmero
transfinito del conjunto de los nmeros algebraicos es 0 y el del conjunto de los nmeros trascendentes
es .
En una serie de cartas que intercambi Cantor entre 1873 y 1874 con el talentoso
arquitecto de los nmeros Richard Dedekind (1831-1916), estos dos matemticos alemanes
probaron que la mayora de las irracionalidades trascienden las operaciones aritmticas, son
nmeros trascendentes (ver, p. e. Snchez-Gonzlez, 2013).
Primeramente Cantor prob que el conjunto de los nmeros algebraicos era numerable y
una propiedad auxiliar relativamente simple y muy til:
La unin finita o numerable de conjuntos numerables es tambin un conjunto numerable.
Enseguida Cantor toma un intervalo cualquiera (a , b). Supone que el conjunto de los
trascendentes contenidos en (a , b) sea numerable, como el subconjunto de los algebraicos es
numerable, entonces su unin (a , b) sera tambin numerable, lo que es absurdo. Por tanto, en
todo intervalo hay muchsimos ms nmeros trascendentes que nmeros algebraicos, aunque la
imaginacin no nos alcance para entenderlo.
Cantor afirm esto sin mostrar ni un ejemplo concreto, slo cont los nmeros
algebraicos y constat que eran una parte despreciable ante el gran tamao de R. Era una
demostracin indirecta, no constructiva, de llegar a la existencia de infinitos trascendentes que
mostraba la potencialidad de la teora de conjuntos infinitos de Cantor. Muchos matemticos
admiraron este aporte metodolgico de Cantor, pero tambin fueron muchos los escpticos. No
seran pocos los que sospecharan de la lucidez de Cantor que afirmaba que algo era infinitamente
grande y no presentaba ningn ejemplo; les sonaba aquello como algo mstico, sobrenatural,
metafsico.

10
Pero la comprensin con todo el rigor de estas ideas de comparacin de conjuntos

numricos infinitos y de prueba de tipo de irracionalidad tambin trasciende los objetivos de los
cursos bsicos de matemtica. Detengmonos finalmente en una constelacin aritmtica de
irracionalidades algebraicas que ha sido visitada en diferentes pocas con resultados muy
atractivos y elegantes, que pueden incluirse en cualquier curso preuniversitario.
La familia de los nmeros metlicos
El nmero de oro
El nmero de oro es un nmero que posee muchas propiedades interesantes y que fue
descubierto en la antigedad, no como unidad de medida sino como una relacin o proporcin
entre magnitudes, que ahora se conoce como razn urea. Esta proporcin se encuentra tanto en
algunas figuras geomtricas como en la naturaleza en elementos tales como caracoles, flores,
hojas y tallos de algunas plantas, el cuerpo humano, etc.
Asimismo, se atribuye un carcter esttico especial a los objetos que siguen la razn urea
y algunos pueblos hasta le han otorgado una importancia mstica. A lo largo de la historia, se le
ha atribuido importancia en diversas obras de arquitectura y otras artes, aunque algunos de estos
casos han sido objetados por su subjetivismo.
Desde el punto de vista puramente matemtico es notable por estar entre los nmeros que
se expresan por proporciones entre magnitudes geomtricas y a la vez son races de ecuaciones
algebraicas, en cambio no es posible representarlos como cociente de dos nmeros enteros. Por
tanto, no obstante estar tan ligado a la razn, se clasifican como irracionales. Pero para
diferenciarlos de otros aun ms irracionales se les llama irracionales algebraicos.
Decimos que dos nmeros positivos a y b estn en proporcin o razn urea si se cumple
!
que: ! = ! . Esto es, el todo es a la parte mayor, como la parte mayor es a la parte menor. Al
valor numrico de esta razn se le llama nmero de oro y desde principios del siglo XX se
denota con la letra griega (Fi mayscula) o (fi minscula) en homenaje al escultor griego
Fidias (siglo V a.n.e.) que la us sistemticamente en sus obras.
!!!
Consideremos un segmento AB y dividmoslo en dos segmentos tales que la razn entre el

segmento total AB y el segmento mayor sea igual a la razn del segmento mayor sobre el
segmento menor. Para abreviar los clculos tomemos como unidad al segmento menor y
1+ x x
denotemos por x la longitud del mayor. Tenemos que
= . Fcilmente podemos despejar
x
1
1+ 5
nuestra incgnita x y obtenemos x =
, que nos da la expresin aritmtica del nmero de
2
oro . Dado que depende de la raz cuadrada del nmero primo 5, sabemos que es un nmero
irracional, es decir, que no puede representarse como el cociente de dos nmeros enteros y su
valor aproximado con 20 cifras decimales exactas es:
= 1,618 033 988 749 894 848 204
Es posible que civilizaciones antiguas anteriores a la helena, como la mesopotmica y la
egipcia, conocieran de este nmero y lo utilizaran en la construccin de sus monumentos, ya que
se han encontrado relaciones cuantitativas entre las dimensiones de templos y pirmides que se
aproximan al valor de . Aunque siempre queda la duda que el inters por encontrar a , haya

11
comprometido la precisin de los clculos. Asimismo, se cree

que los pitagricos lo encontraron en la figura del pentgono
estrellado o pentagrama que usaban como emblema. En
efecto, si trazamos las cinco diagonales de un pentgono
regular convexo (Fig. 4) se forman segmentos de cuatro
Figura 4. Pentagrama pitagrico
longitudes distintas y cada uno est en proporcin urea con
el inmediato inferior en longitud. Los griegos del periodo
clsico conocan de sus propiedades principales y las
utilizaban en sus construcciones buscando la perfeccin
esttica. En particular, el principal monumento de la antigua
Grecia, el Partenn, obra majestuosa ideada y supervisada por
el escultor Fidias, posee elementos con dimensiones relacionadas por la proporcin urea.
Ejercicio 6. Comprueba que en el pentagrama pitagrico los cuatro segmentos principales
estn en proporcin urea con el segmento inmediato de longitud inferior
Aparentemente, el primer estudio formal sobre el nmero ureo se recogi en los
Elementos de Euclides (siglo III a.n.e.). Euclides prueba que no puede expresarse como cociente
de dos nmeros enteros y en una de las proposiciones del segundo libro de los Elementos de
Euclides aparece el rectngulo ureo. Es decir, un rectngulo tal que la longitud del lado largo
sobre la longitud del lado corto sea . Este rectngulo tiene la propiedad de que si cortamos el
mayor cuadrado posible, entonces el rectngulo restante es semejante al original, tambin sus
lados estn en proporcin urea . El frente del Partenn es casi un rectngulo ureo. Muchas
construcciones no slo antiguas, sino modernas siguen cnones ureos considerados de equilibrio
y valor esttico mximo. En Montpellier, al sur de Francia, el arquitecto espaol posmodernista
Ricardo Bofill dise La Plaza del Nmero ureo que termin de construirse en 1984.
Se conoce una sucesin de nmeros enteros que posee asombrosas propiedades aritmticas
y que tiene lazos familiares con el nmero de oro. Se trata de la sucesin de Fibonacci,
introducida en el siglo XIII por el matemtico Leonardo de Pisa, hijo del comerciante Bonacci
(de ah el sobrenombre de figlio de Bonacci, o ms breve, Fibonacci). La sucesin apareci en
un problema de conejos muy singular:
Una pareja de conejos puede procrear otra pareja a los dos meses de nacida y a su vez esta cra
otra a los dos meses y as sucesivamente. Si en enero solo tenemos una pareja recin nacida y cada vez
que nace una pareja la aislamos de las dems, cuntas parejas de conejos tendremos para la
Nochevieja del primer ao? (Por supuesto, se supone que no muere ninguna en su primer ao de vida).
Denotemos por Fn la cantidad de parejas en el mes n, entonces F1=1, F2=1, F3=2, porque
naci la primera pareja, F4=3, F5=5, puesto que nacen dos parejas ms de F3; F6=8, tres parejas
(F4) fueron frtiles, F7=13, cinco parejas (F5) paren, y aqu nos damos cuenta que se cumple:
Fn=Fn-1+Fn-2 , relacin de recurrencia que nos permite encontrar cualquier trmino en funcin de
los dos trminos anteriores, por ejemplo:
F8=F7+F6= 21; F9=F8+F7= 34, F10=F9+F8= 55, F11=F10+F9= 89, F12=F11+F10=144
Luego, al final del ao tendremos 144 parejas de conejos, que seguirn pariendo y
pariendo, segn la ley de Fibonacci, hasta que la muerte los separe.

12
Lo asombroso es que si formamos el cociente de dos trminos consecutivos de la sucesin

!
Figura 5. Polimita
cubana
de Fibonacci !!!
, su valor numrico oscila siendo alternativamente
menor
y mayor que la razn
!
!
urea y cada vez ms cerca de . Veamos la tabla a continuacin:

Tabla 1
Cocientes entre los trminos consecutivos de la sucesin de Fibonacci
n
1
2
3
Fn +1
Fn
n+1
1,
5
4
5
+0,6
1803
0,3
8196
+0,1
1803
0,0
0696
1,61
9047
0,00
1014
1,61
7647
+0,00
0387
1,61
8181
0,00
0148
1,61
7977
+0,00
0056
1,61
8055
0,00
0022
9
8
9
1
+0,00
2649
44
1
44
33
Fn +1
Fn
1,61
5384
4
3
Fn +1
Fn
2
1
+0,0
1803
1,
1,
625
F
n+1
1
3
F
n
0,0
4863
1,
6666
60
Fn +1
Fn
Cmo se observa ya para n=12 tenemos cuatro cifras decimales del nmero de oro y de
esta forma, aumentando el ndice de los trminos, podemos aproximarnos tanto como queramos
al valor de . Digamos que para n=25 ya obtenemos 10 cifras decimales y para n=40, 15 cifras
exactas. Suficientes para convencer a cualquiera de la convergencia de la sucesin de los
F
cocientes n +1 hacia , aunque no sea una demostracin matemtica rigurosa del hecho. Este
Fn
resultado fue descubierto empricamente por el astrnomo y
matemtico alemn Johannes Kepler en el siglo XVII y
pasaron ms de 100 aos hasta que pudiera demostrarse
rigurosamente.
Curiosidad 5: El nmero de oro aparece tambin en la
Naturaleza?
Algunos bilogos amantes de la matemtica creen haber
encontrado el nmero de oro en varios elementos de la
naturaleza:
La relacin entre la cantidad de abejas macho y abejas
hembra en un panal.

13

La
disposicin de los ptalos de las flores (el papel del nmero ureo en la botnica
recibe el nombre de Ley de Ludwig).
La
distribucin de las hojas en un tallo.
La relacin entre el grosor de las ramas principales y el tronco, o entre las ramas
principales y las secundarias (el grosor de una equivale a tomando como unidad la rama
superior).
La
distancia entre las espirales de una pia.
La
relacin entre la distancia entre las espiras del interior en forma de espiral de la
mayora de los caracoles (no slo del nautilus).
En particular, las conchas del Fusus antiquus, del
Murex, de Scalaria pretiosa, de Facelaria y de
Solarium
otras, siguen este tipo
Figura
6. Las trochleare,
proporcionesentre
del hombre
de espiral de crecimiento. La polmita, caracol endmico de Cuba (Fig. 5.) tambin presenta esta
propiedad.
Curiosidad 6: Aparece el nmero de oro asociado a la belleza humana?
El grabado titulado Las proporciones del hombre
[Fig. 6], procede de un cuaderno de apuntes de
Leonardo da Vinci. Est basado en las teoras del
arquitecto romano Marco Vitrubio (siglo I a.n.e.) sobre
la aplicacin de la seccin urea al cuerpo humano: la
proporcin entre la distancia desde la cabeza hasta el
ombligo y desde ste hasta los pies, debe ser la misma
que la proporcin entre la distancia desde el ombligo
hasta los pies y desde la cabeza hasta los pies. El hecho
de que este sistema de relaciones armnicas, tambin
conocido como la proporcin divina, pudiera trasladarse
a la figura humana, tuvo una gran importancia durante
el renacimiento, en particular el pintor alemn Alberto
Durero dedic los ltimos aos de su vida a estudiar
este tema y el mismo ao de su muerte sus apuntes
fueron recopilados en el tratado Cuatro Libros sobre las
Proporciones Humanas (1528) que tuvo mucha
influencia ulteriormente. Especialmente en el siglo XX
varios cirujanos estticos escribieron libros sobre la bsqueda de la perfeccin en rostros
femeninos usando proporciones ureas. En los ltimos aos del siglo pasado aparecieron
artculos sobre el tema de la medida de la belleza del cuerpo humano y no fueron pocos los que
afirmaron que la proporcin entre las medidas de la cintura y el ancho de caderas que era ms
atractiva para el hombre era aproximadamente la dada por la razn urea.
La familia de los nmeros metlicos y el bastardo nmero plstico
Una de las formas de desarrollar la matemtica es con la investigacin de la generalizacin
de las relaciones cuantitativas y sus propiedades. En el siglo XX se han estudiado otros nmeros
irracionales que por la forma como se definen constituyen una generalizacin del nmero de oro.
Son los llamados nmeros metlicos que son determinados por la frmula:

14
N =
N + N2 + 4
;
2
Se prueba fcilmente que N es la raz positiva de la ecuacin x2Nx1=0 y los tres

nmeros metlicos principales son:
Para N=1, la ecuacin es x2x1=0, 1 =
1+ 5
1, 6180339887 nmero de oro.
2
Cuando N=2, la ecuacin es x22x1=0, 2 = 1 + 2 2, 4142135624 nmero de plata.

Para N=3, la ecuacin es x23x1=0, 3 =
3 + 13
2,36602540378 nmero de bronce.
2
Otra generalizacin del nmero de oro se hace cambiando la ecuacin cuadrtica que lo
define por la ecuacin cbica similar, es decir, x3x1=0. La nica raz real (irracional) de esta
ecuacin es denominada nmero plstico. Se comprueba que el valor del nmero plstico pl es
1 1
pl = 3 +
2
23 3 1 1 23
+
1,324718...
6 3
2 6 3
El concepto de nmero plstico fue descrito primeramente por el monje holands Hans van
der Laan (1904-1991) en 1928 cuando era un novicio aficionado a la arquitectura.
Posteriormente fue estudiado ms profundamente por el arquitecto ingls Richard Padovan (n.
1935). Van der Laan consideraba las dos razones 3:4 y 1:7 como expresin de los lmites inferior
y superior en la normal habilidad para la percepcin de diferencias de tamao y forma en objetos
tridimensionales y a pl, que tiene un valor intermedio, como la proporcin ptima en este sentido
esttico.
El nmero plstico aparece como el lmite de la razn de los elementos contiguos de la
sucesin de Padovan definida de forma recurrente como se determina la sucesin de Fibonacci
asociada al nmero de oro, pero con una ligera diferencia:
P(n+1)= P(n-1)+ P(n-2), P(0)= P(1)= P(2)=1
sus miembros son llamados nmeros de Padovan:
1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 48,
Esta sucesin crece mucho ms lentamente que la sucesin de Fibonacci asociada al
nmero de oro. Algunos nmeros son comunes en ambas sucesiones, como 3, 5 y 21, sin
embargo, no se sabe si existen infinitas concurrencias o son solo una cantidad finita de
coincidencias.
Los nmeros metlicos y el nmero plstico son ejemplos significativos de nmeros
irracionales algebraicos. Rematamos este breve paseo atravesando rpidamente por la
constelacin de las irracionalidades trascendentes.

15
Curiosidad 8: Cules son las estrellas ms brillantes de la constelacin de las

irracionalidades trascendentes?
Por supuesto que toda respuesta a esta curiosidad es muy subjetiva y depende de la visin
del autor de la respuesta. Basndonos en lo expuesto arriba, y complementndolo con otros
nmeros que aparecen en Wells (1986) y cuya demostracin de trascendencia pueden encontrar
en el magnfico libro de Niven (2005) o en el ms reciente de Burger (2008), elaboramos una
relacin siguiendo el orden creciente segn su magnitud.
!
0, 110 001 000 000 000 000 000 010 !!! !"!! - Nmero de Liouville. Se considera
que fue el primer nmero en demostrarse su trascendencia. Es el ms simple de una familia de
nmeros introducida por el francs Joseph Liouville en 1844
0, 123 456 789 101 112 131 415 161 Nmero de Chapernowne, es trascendente y
normal, esto quiere decir que sus cifras aparecen con la misma frecuencia. Se conocen pocos
nmeros trascendentes que sean normales.
!
0, 207 879 576 350 761 908 546 955 El valor de i! = e! ! . Tambin es llamada
constante de Gelfond, puesto que es del tipo a! donde a es algebraico diferente de 0 y de 1, y b
es irracional algebraico. El ruso Alexandre Gelfond en 1934 demostr este resultado general de
trascendencia y dio solucin al 7 problema planteado por Hilbert como uno de los principales
problemas de la matemtica del siglo XX. De este resultado se infiere que el logaritmo en base
10 de cualquier nmero natural N10! (k entero) es trascendente, resultado que Euler haba
conjeturado en el siglo XVIII.
0, 301 029 995 663 981 Logaritmo en base 2 de 10
0, 318 309 886 183 790 671 537 767 El inverso del nmero
0, 367 879 441 171 442 321 595 523 El inverso del nmero e
0, 434 294 481 903 251 827 651 128 Logaritmo de e en base 10
!
!
0, 607 927 101 854 026 628 663 277 = ! . Inverso de (2)= !!! !! . Es la
probabilidad que un nmero escogido al azar no sea divisible por un cuadrado.
0, 693 147 180 559 945 309 417 232 = ln (2)-logaritmo natural de 2
!
1, 082 323 233 711 138 191 516 003 -Valor de (4)= !!! !! = !". Suma infinita
calculada por Euler, junto con la suma de los inversos de todas las potencias pares (2n) de los
nmeros naturales. Esta suma es de la forma
!!"
!
. El caso de las potencias impares se mantiene
sin respuesta completa, aunque se ha logrado mejorar los resultados obtenidos por Euler.
!
1, 202 056 Valor de (3)= !!! !! Roger Apery en 1976 prob que era irracional,
pero no se ha demostrado su trascendencia, aunque Euler conjetur que era igual a
!!
!
para p y q
enteros positivos y por tanto, un valor trascendente.
1, 644 934 066 848 226 436 472 415 = ! = 2 = !!! !! . Solucin dada por Euler
al famoso problema de Basilea.
!
1, 772 453 850 905 516 027 298 167 = = ! funcin gamma de Euler
evaluada en 0,5 y que generaliza a los racionales el factorial de enteros n!

16
2, 302 585 092 994 045 684 017 991 = ln (10)

2, 665 144 142 690 225 188 650 297 = 2 ! - nmero de Hilbert; conjeturada su
trascendencia en el sptimo problema de Hilbert propuesto en 1900 y demostrada su
irracionalidad por el ruso Rodion Kuzmin en 1930. A veces se le llama constante de GelfondSchneider, en honor a los dos matemticos que publicaron en 1934 y 1935 independientemente,
que a! es trascendente para a algebraico diferente de 0 y 1, y b algebraico irracional. De esta
forma se incluyeron muchas estrellas a la constelacin.
2, 718 281 828 459 045 235 360 471 = e- base de los logaritmos naturales. Se reconoce
a Euler como el primero que us la letra e para designarlo en 1731, en una carta dirigida a
Goldbach. Ms tarde prob que e era un irracional, aunque se atribuye al acadmico alemn
Lambert esta prueba. No fue hasta 1873 que el francs Hermite prob que e no es raz de
ninguna ecuacin con coeficientes enteros, es decir que el nmero e es trascendente. Se
considera que fue el primer nmero irracional clsico que se prob era trascendente.
3, 141 592 653 589 793 238 462 643 = -el ms famoso y significativo de todos los
nmero irracionales. Es el valor de la razn entre la longitud de la circunferencia y su dimetro.
Tambin es la razn entre el rea del crculo y el cuadrado de su radio. Euler fue el primero en
usar la letra griega inicial de la palabra permetro. En 1761 Johann Heinrich Lambert prob
que era irracional, en 1880 Carl von Lindemann prob su trascendencia y en 1953 Kurt Mahler
prob que no es un nmero de Liouville.
7, 389 056 098 930 650 227 231 425 = e! Euler prob que era irracional y Hermite
su trascendencia.
9, 869 604 401 089 358 618 834 490 = ! Legendre prob en 1794 que era
irracional y Lindemann en 1880 que era trascendente.
23, 140 692 632 779 269 005 729 086 = e - Se prueba que es trascendente por el
teorema de Gelfond-Schneider.
Los siguientes valores se mantienen en el limbo por no tener definida su naturaleza
aritmtica, pero todos se consideran merecedores de ser estrellas brillantes en la constelacin de
los trascendentes:
0, 423 310 825 130 748 003 102 172 = e

!
0, 865 255 979 432 265 087 217 833 =
5; 859 874 482 048 838 473 822 930 = +
8, 539 734 222 673 567 065 464 127 =
15, 154 262 241 479 264 189 751 717 = e!
22, 459 157 718 361 045 473 427 152 = !
36, 462 159 607 207 911 770 990 826 =

A manera de resumen: Breve paseto por la historia de las irracionalidades
S. XVIII a.C. Evidencias de clculos apro
ximados de 2 en Mesopotamia.
S. V. a.C. Aceptacin pitagrica de los nmeros inexpresables o magnitudes

inconmensurables. Cuatro posibles primeros encuentros:
!"#$%&#' !"#$%#$&
!"#$%&#' !"#$
2 = !"#$ !"#$%#$& ; 3= !"#$ !"#$ ;
=
!! !
!
!"#$%&#' !"#$!"#"
!"#$ !"#$!"#"
!"#$%&#' !"#$!"#$ ""#$%&"
; 5= !"#$ !"#$%& !"#$!"#$% ""#$%&"


17
S. V a.C. Teodoro de Cirene muestra su conocimiento de la inconmensurabilidad

de los segmentos con longitud 2, 3 , 5, 17
S. IV . C. Teeteto de Atenas, alumno de Teodoro y de Scrates, segn relata

Platn y subraya Pappus, es quin establece distincin clara entre magnitudes racionales e
irracionales, es decir, entre magnitudes conmensurables e inconmensurables.
S. III. a.C. Euclides en el Libro X de los Elementos clasifica los nmeros

inexpresables.
S. III a. C. Arqumedes en su tratado Sobre la medida del crculo usa la

!"#
logstica o aritmtica prctica helena para dar una aproximacin de 3 !"# 1,7320261438
!"#!
que tiene 4 cifras exactas. Ms adelante usa !"# que da 5 cifras exactas. Adems halla la famosa
relacin entre la medida de la circunferencia y la medida del crculo a travs de la constante de
Arqumedes, desconocida su naturaleza aritmtica.
S. I d. C. Hern de Alejandra en su Mtrica utiliza algoritmos para calcular

valores aproximados de races cuadradas y cbicas sin decir la deduccin de ellas. Da varios
!
ejemplos ilustrativos entre ellos 100 . Influye en Europa sobre todo en el Medioevo tardo,
seguramente en Stevin.
S. IX Al Guarizmi o Al Mahani clasifican a los irracionales en cuadrticos y

cbicos en trminos geomtricos en su interpretacin de Euclides. El traductor al rabe del libro
X de los Elementos traslada retos (racional) por muntaq (hecho para hablar) y el giego
alogos de irracional por asamm que en latn fue surdus (sordo).
S. X. d. C. Varios matemticos rabes usan nmeros irracionales o sordos: Abu

Kamil, Abu-Wafa, Al Uqlidisi, Al Karaji
S. XI Al parecer fue Gerardo de Cremona quien por primera vez asume en su

traduccin y edicin de Euclides la terminologa de nmeros surdus para los irracionales.
Despus es usado por Fibonacci (s. XIII).
S. XII Al Hassar (Maghreb) notacin de fraccin con numerador y denominador

separados por barra horizontal. Despus es usado por Fibonacci (s. XIII).
S. XIV-XVI Escuela de Kerala de astronoma y matemtica. Uso de series

infinitas para varios nmeros trascendentes como y valores trigonomtricos. Uno de los
pioneros es Madhava de Sangamagrama (1350-1425) quin se conoce como impulsor del paso
de lo finito al infinito. Entre otros clculos hall un valor de con 11 cifras decimales correctas
y la serie alternada de Leibniz-Gregory.
S. XV Jamshid al Kashi (Samarcanda, 1380-1429) La llave de la aritmtica

(1427) Clculo con fracciones decimales, races ensimas, irracionalidades
1525 Christoph Rudolff (Viena, 1499-1545) En su libro Coss (1525) usa

polinomios con coeficientes irracionales, introduce smbolo para la raz cuadrada abreviatura de
la letra r minscula inicial de radix.
1544 Michael Stifel (Jena, 1487-1567) Arithmetica Integra con un estudio de las
irracionalidades y notaciones +, -,
1585 Simn Stevin (Brujas, 1548-Leyden, 1620) De Thiende (La Dcima)

Teora general de las fracciones decimales que haban sido usadas mucho antes por rabes y
cosistas germanos, pero ninguno pretendi sustituir las fracciones ordinarias ni elabor un
sistema de notacin coherentes. Tambin publica LArithmtique donde introduce mtodos
para encontrar valores aprox. de las races de polinomios de cualquier grado y acepta cualquier
tipo de nmero real (no acepta los imaginarios)

18
1591 Franois Vite (Fontenay, 1540-Pars, 1603) In artem anlyticem isagoge

(Introduccin al arte analtico) introduce la notacin y el lgebra de los polinomios. No acepta ni
nmeros irracionales, ni negativos ni imaginarios.
1592 Jst Brgi (Suiza, 1552-1632) Usa la coma para separar la parte entera de la
decimal y elimina la mencin del orden decimal. Kepler y otros comienzan a usar la notacin
decimal con los logaritmos en la astronoma.
1613 Pietro Cataldi (Bologna, 1548-1626) Trattato del modo brevissimo di trovar
la radice quadra delli numeri introduce la operatoria con las fracciones continuas (sin
denominarlas).
1656-57 John Wallis (Kent, 1616-1703) Aritmtica del Infinito extiende las
notaciones exponenciales de Descartes (1637) a exponentes negativos y fraccionarios. Introduce
smbolo del infinito. En Matemtica General o Curso Completo de Aritmtica (1657) trabaja
con diferentes representaciones de los nmeros.
1707 Isaac Newton (1643-1727) Arithmetica Universalis (ed. Latn 1707, 22, 32,
52, 61; en ingls 1720, 1728, 1769; en francs 1802) escrita entre 1673 y 1683 destinada a texto
de los cursos en Cambridge. Frmulas para las potencias de las races de una ecuacin
algebraica, extendiendo los resultados de Cardano, Vite y Girard (1629); generaliza regla de
Descartes para determinar el nmero de races reales y una regla para determinar una cota
superior para races positivas. Posicin conservadora: Las ecuaciones son expresiones del
clculo aritmtico y no tiene propiamente su lugar en la Geometra
1737 Euler (Basilea, 1707-San Petersburgo, 1783) demuestra la irracionalidad de

los nmeros e y e! . Sospecha que las potencias de e son todas irracionales y que son linealmente
independientes sobre , al parecer tiene la idea de la clasificacin de los irracionales.
1760 Lambert (Alsace, 1728-Berln, 1777) demuestra la irracionalidad de .
1826-30 Abel (1802-1829) y Galois (1811-1832) descubren la clasificacin de los

irracionales
1844 Liouville (1809-1882) encuentra los primeros nmeros trascendentes y da

criterio de trascendencia a travs de condicin de aproximacin.
1857-1872 Dedekind (Braunschweig, 1831-1916) da su definicin rigurosa de

nmero irracional y de nmero real. Ms tarde prueba que el conjunto de irracionales algebraicos
es numerable en carta a Cantor que finalmente lo publica como suyo en 1874 con el ttulo Sobre
una propiedad del conjunto de todos los nmeros algebraicos.
1873 Hermite (Lotaringia, 1822-1901) demuestra la trascendencia de e.
1882 Lindemann (Hannover, 1852-1939) demuestra la trascendencia de .
S. XX se estudia la topologa inducida por R en el conjunto no numerable de los

irracionales: la mtrica usual no es compatible, pero se prueba que esta topologa en el conjunto
de los irracionales es metrizable (por ser un G ) y disconexa.
1934 Gelfond (Petersburgo, 1906-68) y Schneider (Frankfurt, 1911-88) prueban,

independientemente, que a! es trascendente para a algebraico diferente de 0 y 1, y b algebraico
irracional. De esta forma se incluyeron muchas estrellas a la constelacin.
Referencias y bibliografa
Burger, E. B. (2008). An Introduction to Number Theory. Partes I y II The Teaching Company. Virginia.
Gheverghese, G. (1996). La cresta del pavo real. Las matemticas y sus races no europeas. Ed.
Pirmide. Madrid.

19

Ifrah, G. (1997). Historia Universal de las Cifras. Editorial Espasa Calpe. Madrid.
Niven, I. (2005). Irrational Numbers. MAA. Washington DC. (1 ed. de 1961)
Snchez, C. y Gonzlez, L. G. (2013). Dedekind. El Arquitecto de los Nmeros. Editorial Nivola. Madrid
Snchez, C. y Roldn, R. (2012) Paseo por el universo de los nmeros. Editorial Academia. La Habana.
Snchez, C.; Valds, C. (2010) El entraable encanto de las matemticas. Editorial Flix Varela. La
Habana.
Swetz, F. J. (ed.) (1994). From five fingers to infinity: a journey through the history of mathematics. Open
Court Publishing Company. Chicago.
Wells, D. (1986). The Penguin dictionary of curious and interesting numbers. Penguin Books Ltd.
Middlesex.

Minicurso, Sanchez PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Minicurso, Sanchez PDF

Hochgeladen von

Copyright:

Verfügbare Formate

1

Paseo por el universo de las irracionalidades aritmticas

I CEMACYC, Repblica Dominicana, 2013

Paseo por el universo de las irracionalidades

Paseo por el universo de las irracionalidades

lenguaje de los nmeros pitagricos racionales. Cuenta

Figura 1. Pentagrama pitagrico

En este caso la inconmensurabilidad est asociada

Paseo por el universo de las irracionalidades

2 1+!" + !"! + !"! (=1,414213).

tringulos rectngulos de lados 1 y 1, 1 y 2 ; 1 y

Ejercicio 1: Por qu Teodoro no continu con la representacin geomtrica de

consideraba lo mismo 17, que 17 + 13 o 1 + 17. Esto tiene fcil comprensin si lo

17 + 13 es raz de uno de cuarto grado y no menos, 1 + 17 satisface un polinomio de

17 + 13 es de grado 4 y 1 + 17 es una irracionalidad algebraica de sexto grado.

Paseo por el universo de las irracionalidades

Ejercicio 3: Comprueba que los dos algoritmos de Bashkar son equivalentes

I CEMACYC, Repblica Dominicana, 2013

Paseo por el universo de las irracionalidades

Curiosidad 3: Qu irracionalidades aritmticas son construibles geomtricamente?

17 o tambin 1 + 17 y 5 . Un poco ms difcil es comprobar que las de un orden diferente

Es curioso subrayar que el conjunto K de los nmeros construibles forma un cuerpo, es

Paseo por el universo de las irracionalidades

Paseo por el universo de las irracionalidades

5/2 7/2la magnitud

Paseo por el universo de las irracionalidades

Paseo por el universo de las irracionalidades

Pero la comprensin con todo el rigor de estas ideas de comparacin de conjuntos

Consideremos un segmento AB y dividmoslo en dos segmentos tales que la razn entre el

Paseo por el universo de las irracionalidades

comprometido la precisin de los clculos. Asimismo, se cree

I CEMACYC, Repblica Dominicana, 2013

Paseo por el universo de las irracionalidades

Lo asombroso es que si formamos el cociente de dos trminos consecutivos de la sucesin

urea y cada vez ms cerca de . Veamos la tabla a continuacin:

I CEMACYC, Repblica Dominicana, 2013

Paseo por el universo de las irracionalidades

distribucin de las hojas en un tallo.

distancia entre las espirales de una pia.

Paseo por el universo de las irracionalidades

Se prueba fcilmente que N es la raz positiva de la ecuacin x2Nx1=0 y los tres

Cuando N=2, la ecuacin es x22x1=0, 2 = 1 + 2 2, 4142135624 nmero de plata.

I CEMACYC, Repblica Dominicana, 2013

Paseo por el universo de las irracionalidades

Curiosidad 8: Cules son las estrellas ms brillantes de la constelacin de las

. El caso de las potencias impares se mantiene

enteros positivos y por tanto, un valor trascendente.

Paseo por el universo de las irracionalidades

2, 302 585 092 994 045 684 017 991 = ln (10)

0, 423 310 825 130 748 003 102 172 = e

0, 865 255 979 432 265 087 217 833 =

5; 859 874 482 048 838 473 822 930 = +

8, 539 734 222 673 567 065 464 127 =

15, 154 262 241 479 264 189 751 717 = e!

22, 459 157 718 361 045 473 427 152 = !

36, 462 159 607 207 911 770 990 826 =

S. XVIII a.C. Evidencias de clculos apro

S. V. a.C. Aceptacin pitagrica de los nmeros inexpresables o magnitudes

!"#$%&#' !"#$!"#$ ""#$%&"

; 5= !"#$ !"#$%& !"#$!"#$% ""#$%&"

Paseo por el universo de las irracionalidades

S. V a.C. Teodoro de Cirene muestra su conocimiento de la inconmensurabilidad

S. IV . C. Teeteto de Atenas, alumno de Teodoro y de Scrates, segn relata