Sumario de Curiosidades Matematicas

Sumario de t opicos matem aticos
Edward Parra Salazar

e
A mis musas: mi madre, mi abuela y mi ta (que est a ausente fsicamente).

Pr ologo
Esta recopilaci on es producto de extensos y divertidos perodos de investigaci on
sobre historia de la matem atica y de la ciencia en general. Han surgido de ah, una
serie de t opicos que a la postre han servido como trabajos nales de algunos cursos,
otros solo han sido continuaci on o inquietudes planteadas sobre esos temas, que he
desarrollado de manera vaga y nada sistem atica.
Son variados los temas tratados en este peque no compendio. Desde una biografa
de Arqumedes, fracciones continuadas, problemas matem aticos, teora del caos y
fractales, hasta curiosidades matem aticas. He intentado exponer estos t opicos de una
manera sencilla, precisa y sin caer en detalles irrelevantes. El prop osito nal es que
estas notas sean una peque na herramienta de divulgaci on matem atica, es presentar
estos temas de manera contextualiza y que sirvan de referente para que el lector
contin ue su investigaci on sobre el tema que se sienta parcializado.
La lista de personas que me han apoyado durante este breve proyecto tiende a
innito. A todos ellos, mis amigos an onimos, les agradezco por cada comentario
sobre el tema y por cada voz de animo que me han dado: Gracias compa neros y
amigos!.
Este no es un proyecto acabado, raz on por la cual todas las sugerencias que uste-
des consideren convenientes ser an bienvenidas.
Edward Parra Salazar,
28 de julio de 2010.
Digitado en pdfL
A
T
E
X, eps e
.
3
Indice
1. Arqumedes: su vida, obras y aportes a la matem atica moderna 6
1.1. Ubicaci on Hist orica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1. La matem atica del siglo III aec . . . . . . . . . . . . . . . . . . . 6
1.2. Arqumedes de Siracusa (circa 287 212 aec) . . . . . . . . . . . . . . . 7
1.2.1. An ecdotas sobre Arqumedes . . . . . . . . . . . . . . . . . . . . 10
1.3. Aportes de Arqumedes . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1. Caractersticas de sus tratados . . . . . . . . . . . . . . . . . . . 13
1.3.2. Principales trabajos de Arqumedes . . . . . . . . . . . . . . . . 13
1.3.3. Trabajos perdidos de Arqumedes . . . . . . . . . . . . . . . . . 25
1.3.4. Arqumedes y sus principales inuencias . . . . . . . . . . . . . 26
1.4. Estudio de una obra de Arqumedes: El M etodo . . . . . . . . . . . . . . 29
1.4.1. El M etodo de Arqumedes . . . . . . . . . . . . . . . . . . . . . . 30
1.5. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2. Fracciones Continuadas: un recorrido hist orico 34
2.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2. La teora de las fracciones continuadas . . . . . . . . . . . . . . . . . . . 35
2.2.1. Fracciones continuadas nitas e innitas . . . . . . . . . . . . . 35
2.2.2. Algoritmo para el c alculo de fracciones continuadas . . . . . . . 37
2.2.3. Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3. Historia de las fracciones continuadas . . . . . . . . . . . . . . . . . . . 40
2.3.1. Breve Rese na hist orica . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3.2. Sobre la notaci on de las fracciones continuadas . . . . . . . . . . 41
2.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4.1. C alculo de fracciones continuadas de races cuadradas . . . . . 42
2.4.2. Resoluci on de ecuaciones diof anticas lineales . . . . . . . . . . . 43
2.4.3. Algunas fracciones continuadas . . . . . . . . . . . . . . . . . . 45
2.4.4. Fracciones continuadas y geometra . . . . . . . . . . . . . . . . 51
2.4.5. Fracciones continuadas ascendentes . . . . . . . . . . . . . . . . 52
2.4.6. El problema del calendario . . . . . . . . . . . . . . . . . . . . . 53
2.5. Observaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4
INDICE 5
3. Problemas Matem aticos 55
3.1. Los 23 problemas de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2. Los 7 problemas del Milenio . . . . . . . . . . . . . . . . . . . . . . . . . 57
4. Caos: una breve rese na 59
4.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2. Teora del Caos: una aproximaci on hist orica . . . . . . . . . . . . . . . . 61
4.2.1. Efecto Mariposa . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2.2. Los primeros a nos del caos . . . . . . . . . . . . . . . . . . . . . 64
4.3. Im agenes del caos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.3.1. Fractales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.4. A modo de cierre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. Curiosidades Matem aticas 71
5.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2. Signos matem aticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.3. Curiosidades Matem aticas . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.4. Reexiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Captulo 1
Arqumedes: su vida, obras y aportes a
la matem atica moderna
There was more imagination in the head of Archimedes then in that of Homer.
Voltaire
El prop osito de este trabajo es realizar un recorrido por las principales obras de
Arqumedes de Siracusa, algunas de las an ecdotas que rodean su gura, as como re-
alizar un estudio de sus principales aportes a la matem atica moderna y su did actica.
Tambi en revisaremos algunos aspectos importantes de su obra El M etodo.
1.1. Ubicaci on Hist orica
1.1.1. La matem atica del siglo III aec
En el siglo III aec, Roma era la potencia mediterr anea por excelencia. Roma, en
su af an de conquista, se apodera de los estados hel enicos y de la poderosa Cartago.
La unica ciudad que resiste a los embates de los romanos es Siracusa, pero ya en el
212 aec cae en manos de Roma.
Durante III aec, el poder poltico y militar estaba en manos de los romanos, pero el
poder cientco, continuaba en manos de los griegos. No era la gran cultura hel enica
del siglo V aec, en el que haban orecido tantos l osofos, artistas y cientcos,
tales como Herodoto, Hip ocrates, Her aclito, Parm enides, Zen on, Esquilo, S ofocles,
Arist ofanes y Dem ocrito.
La cultura cientca hel enica se ve obligada a emigrar a las colonias griegas de
Asia Menor, Egipto, Italia y dem as, debido a la invasi on que sufran por parte de los
romanos.
Es as como en Alejandra - Egipto nace el centro cientco m as importante del
mundo griego y tambi en el m as duradero, sitio de comunicaci on de los m as grandes
investigadores de la epoca, tanto de griegos como de romanos. (V ease [3]).
Arqumedes: su vida, obras y aportes a la matem atica moderna 7
En Alejandra se construye la Biblioteca y el Museo, donde centenares de sabios
y estudiosos se ense nan, trabajan e investigan. La Biblioteca fue dirigida, especial-
mente en la epoca de mayor brillo, por grandes sabios, como por ejemplo Erat ostenes.
Es a este ambiente cientco de Alejandra al que se vinculan directa e indirecta-
mente las tres guras m as importantes de la matem atica de la antig uedad: Euclides,
Arqumedes y Apolonio. Estos fueron los miembros m as representativos del perodo
de oro de la matem atica griega.
En el siglo III aec nace uno de los m as grandes matem aticos de todos los tiempos:
Arqumedes de Siracusa.
Figura 1.1: Grecia Antigua
1.2. Arqumedes de Siracusa (circa 287 212 aec)
Seg un [3], Arqumedes fue una gura c elebre y famosa en Siracusa, ya fuera
por sus m eritos cientcos o por sus excentricidades y grandes inventos que se le
atribuyeron, o por su vinculaci on con la familia real. Para [7], el m as grande mate-
m atico de la antig uedad, tuvo la fortaleza de innovaci on de Plat on y el procedimien-
to correcto de Euclides.
Las fuentes primarias sobre la vida de Arqumedes se perdieron, en especial
el trabajo de Heracleides Vida de Arqumedes y la reconstrucci on biogr aca de Ar-
qumedes es producto de varios fragmentos de diversos autores, especialmente his-
toriadores de las guerras p unicas.
Con base en estas observaciones se sabe que Arqumedes naci o en 287 aec, vivi o 75
a nos y muri o a causa del saqueo que sigui o a la cada de Siracusa en manos de Marce-
lo en el 212 aec.
Su padre fue Pheidias el astr onomo.
En virtud del rigor, la originalidad y la trascendencia de sus resultados se le con-
sidera el primer matem atico moderno. Arqumedes en alg un momento de su forma-
ci on visit o Alejandra y estuvo en contacto con los sucesores de Euclides. Particular-
mente mantuvo una relaci on estrecha con Conon de Samos (280 220 aec), Dositeo
de Pelusa y Erat ostenes de Cirene (276 194 aec) (estos tres fueron sus maestros
en Alejandra). El primero fue el descubridor de la espiral que hoy conocemos con
el nombre de espiral de Arqumedes y estudi o los puntos de intersecci on entre dos
8 Sumario de t opicos matem aticos e
secciones c onicas. El tercero fue director de la biblioteca de Alejandra a partir de

235 aec y autor del conocido m etodo de la Criba para la determinaci on de n umeros
primos.
Cuando Arqumedes regres o a Siracusa, dedic o toda su vida a la investigaci on
cientca.
Mientras a Euclides se le consideraba el maestro por excelencia, creador de, lo que
en el lenguaje moderno podra decirse, un libro de texto. Apolonio, era un profesor
que ense naba e investigaba. Arqumedes era un investigador innato, sus escritos son
verdaderas memorias cientcas.(V ease [3] y [29]).
La obra de Arqumedes fue desarrol-
lada fundamentalmente a trav es de car-
tas escritas en el m as absoluto rigor eu-
clidiano y con un marcado enfasis en la
aplicaci on de los m etodos matem aticos a
la Mec anica y la Fsica. As por ejemplo
en Sobre el equilibrio de las guras planas
expone la ley de las palancas, Sobre los
cuerpos que otan estudia los principios
b asicos de la hidrost atica, etc.
Tambi en a el pertenecen toda una serie de inventos pr acticos y artefactos b elicos
como: el tornillo sinfn, la rueda dentada, los sistemas de palancas, la polea m ovil, el
planetario, las catapultas, etc.
Durante su estancia en el valle del Ni-
lo, se cuenta que Arqumedes invent o el
llamado Tornillo de Arqumedes, un dis-
positivo para elevar agua desde un nivel
bajo hasta otro m as alto. Lo cierto es que
este invento se usa en la actualidad. Su
creaci on da evidencia del doble car acter
de Arqumedes, poda preocuparse de
materias pr acticas o poda investigar en
t opicos m as abstracto.
En lo fundamental su obra matem atica estuvo vinculada a la soluci on de proble-
mas sobre cuadraturas, curvaturas y c alculo de tangentes por lo que se le considera
un precursor del C alculo Diferencial e Integral. En el terreno metodol ogico llevo el
M etodo de Exhauci on a alcanzar sus m aximas conquistas demostrativas. Muchas de
estas fueron previamente divisadas por un grupo importante de m etodos; que en
este momento tenan un valor fundamentalmente heurstico, pero cuya maduraci on
posterior constituira los principios del C alculo Innitesimal y el M etodo Experimen-
tal en ciencias naturales. Entre ellos son de inter es: el m etodo Mec anico-Geom etrico,
el m etodo de Sumas Integrales y el m etodo de Tangencia.
Tal fue la fascinaci on de Arqumedes por la Mec anica que no s olo se ocup o de
buscar basamento geom etrico para sus principios sino que tambi en logr o que esta
penetrara en sus m etodos matem aticos. As en su Carta a Erat ostenes tambi en cono-
cida como Tratado del M etodo redescubierta en 1906, arma: Estoy...convencido de que
el m etodo no es menos util para la demostraci on de los teoremas. Pues algunas de las cosas
que se me hicieron claras por va mec anica, se demostraron m as tarde de forma geom etri-
ca, porque el modo de observaci on de este tipo carece de fuerza probatoria. Pues es m as f acil
realizar la demostraci on cuando previamente se ha obtenido una idea de la cuesti on por va
Mec anica, que cuando no se cuenta con este conocimiento previo
Arqumedes llev o el M etodo de Exhauci on y su aspecto aritm etico a producir
sorprendentes resultados como la estimaci on 3,14085 3,14286 en Medida del
Crculo haciendo inscripciones y circunscripciones de polgonos de hasta 96 lados.
Al decir del historiador norteamericano E.T. Bell, citado por [47]: Aplicando el M etodo
de Exhauci on, Arqumedes se revel o como un maestro consumado del rigor matem atico y un
artista perfecto.
En Sobre Conoides y Esferoides determina el volumen de paraboloides e hiper-
boloides de revoluci on (Conoides), as como de Elipsoides de revoluci on (esferoides)
estraticando en cada paso con cilindros de igual altura. En Sobre espirales repite el
m etodo para calcular el area de la primera espiral de la hoy conocida como espiral de
Arqumedes, estraticando con sectores circulares de igual amplitud en cada caso.
A diferencia de sus predecesores griegos, Arqumedes, tambi en desarroll o una
maestra de c omputo original. Esto se maniesta en: el Problema de los bueyes (resuelve
la ecuaci on), el m etodo de c alculo de races (a un no bien aclarado), y en Arenario (o
El contador de arena).
En El Arenario haciendo uso magistral y reiterativo del conocido hoy como A-
xioma de Arqumedes (Las magnitudes tienen una raz on entre si, cuando multiplicadas
son capaces de superarse la una a la otra, seg un la denici on 4 de los Elementos y que
antes fue ampliamente utilizado por Eudoxio en la fundamentaci on de su teora de
proporciones) se propone estimar la cantidad de granos de arena que existen en el
mundo usando un embri on de lo que hoy llamamos notaci on cientca o exponencial
para denotar n umeros muy grandes. Este trabajo es adem as importante por contener
una de las pocas referencias conocidas a los trabajos del matem atico y astr onomo
Aristarco de Samos (310 230 a.C.), exponente de la teora helioc entrica del universo
(el sol como centro) y pionero en la determinaci on del tama no y la distancia entre la
luna y el sol.
La obra matem atica de Arqumedes fue una fuente de inspiraci on importante
para los precursores del C alculo Innitesimal a partir del siglo XVI. Al decir de W.
Leibniz (1646 1716), citado por [19], estudiando a Arqumedes, dejas de asombrarte por
los exitos de los matem aticos actuales.
1.2.1. An ecdotas sobre Arqumedes

La corona de oro de Hier on
La an ecdota m as conocida de Arqumedes es la de la corona de oro de Hier on, que
se conoce a trav es de Vitruvio (v ease [3]). Textualmente es la siguiente:
Entre el gran n umero admirables descubrimientos realizados por Arqumedes,
hay que se nalar el que voy a citar y en el que puso de maniesto una su-
tileza casi increble. Cuando Hier on reinaba en Siracusa, este prncipe,
por los exitos logrados en sus empresas, se propuso ofrecer en un cierto
templo una corona de oro a los dioses inmortales. Convino la confecci on
de la obra con un artesano mediante una buena suma de dinero y la en-
trega de la cantidad de oro en peso. El artesano entreg o la corona en la
fecha convenida con el rey, quien la encontr o perfectamente ejecutada,
pareciendo que contuviera todo el oro que le haba entregado. Pero ha-
biendo obtenido indicios de que el artesano haba retenido una parte de
oro, el rey, indignado ante ese enga no y no teniendo a mano los medios
para demostrar al artesano su fraude, encarg o a Arqumedes que se ocu-
pase del asunto y que con su inteligencia encontrase esos medios. Un da
que Arqumedes, preocupado por este asunto, entr o por casualidad en
una casa de ba nos, advirti o que a medida que se introduca a la ba nera,
es agua se desbordaba de la misma. Esta observaci on le hizo descubrir la
raz on que buscaba, y sin aguardar m as por la alegra que este hecho le
produca, sali o del ba no a un desnudo y corriendo hacia su casa gritaba
Eureka! Eureka!, es decir, lo he encontrado!, lo he encontrado!.
A raz de este descubrimiento en-
carg o entonces dos masas de igual
peso que el de la corona, una de oro
y otra de plata. Sumergi o luego la
masa de plata en un vaso , lo que hi-
zo salir una cantidad de agua igual
al volumen de esa masa y volvi o a
llenar el vaso con una igual can-
tidad de agua que haba salido y
que se preocup o de medir, de ma-
nera que pudo conocer la cantidad
de agua que corresponda a la masa
de plata que haba introducido en el
vaso.
Despu es de esa experiencia sumergi o igualmente la masa de oro en el
vaso lleno de agua, y despu es de haberla retirado midi o nuevamente el
agua desalojada, encontrando que la masa de oro no haba desalojado
tanta agua como la de plata y que la diferencia en menos era igual a la
diferencia entre los vol umenes de la masa de oro y de la masa de pla-
ta de igual peso. Finalmente volvi o a llenar el vaso sumergi endole esta
vez la corona, que desaloj o m as agua de la que haba desalojado la masa
de oro de igual peso, pero menos de la respectiva de la masa de plata.
Calculando entonces, de acuerdo con esas experiencias, en cu anto la can-
tidad de agua que la corona haba desalojado era mayor de aquella que
haba desalojado la masa de oro, conoci o cu anta era la plata que se haba
mezclado al oro, mostrando claramente el fraude del artesano.
Dadme un punto de apoyo. . .
Otra an ecdota conocida de Arqumedes, seg un la cual este habra pronunciado
la c elebre frase, tan ret orica como absurda (v ease[3]): Dadme un punto de apoyo y le-
vantar e el mundo, est a narrada por Pappus
1
y Plutarco, en conexi on con el problema:
mover un peso dado, mediante una fuerza dada.
Arqumedes, pariente y amigo de Hier on, le escribi o que con una po-
tencia dada se puede mover un peso igualmente dado, y jugando, como
suele decirse, con la fuerza de la demostraci on le asegur o que si le dier-
an otra tierra movera esta despu es de trasladarse a aquella. Maravilla-
do Hier on y pidi endole que vericar a con obras este problema e hiciese
ostensible c omo se mova alguna gran mole con una potencia peque na,
utiliz o un gran transporte de tres velas del arsenal del rey, que fue saca-
do a tierra con mucho trabajo y a fuerza de un gran n umero de brazos;
carg andole de gente y del peso que sola ech arsele, y sentado lejos de el,
sin esfuerzo alguno y con solo mover la mano al cabo de una m aquina de
una fuerza atractiva, lo llev o as derecho y sin detenerse como si corriese
por el agua. Pasm ose el rey, y convencido del poder de arte encarg o a
Arqumedes que le construyese toda especie de m aquinas de sitio, bien
fuese para defenderse, o m as bien para atacar; de las cuales el no hizo
uso, habiendo pasado la mayor parte de su vida exenta de guerra y en
la mayor comodidad; aunque luego tuvieron los siracusanos menester de
aquellas m aquinas y de su artce.
La muerte de Arqumedes
Plutarco se reere a la muerte de Arqumedes (v ease [3]), despu es que el ej ercito
romano hubo conquistado las partes m as importantes de Siracusa:
Tomadas tambi en estas, al mismo amanecer march o Marcelo por los He-
x apilos, d andole el parabi en todos los jefes que estaban a sus ordenes;
m as de el mismo se dice que al ver y registrar desde lo alto la grandeza y
la hermosura de semejante ciudad, derram o muchas l agrimas, compade-
ci endose de lo que iba a suceder, por ofrecer a su imaginaci on qu e cambio
1
Pappus de Alejandra, siglo III de nuestra era.
iba a tener de ah a poco en su forma y aspecto, saqueada por el ej ercito.

En efecto, ninguno de los jefes se atreva a oponerse a los soldados, que
haban pedido se les concediese el saqueo, y aun muchos clamaban por
que se le diese fuego y se le asolase. En nada de esto convino Marcelo,
y solo por fuerza y repugnancia condescendi o en que se aprovecharan
de los bienes y de los esclavos, sin que ni siquiera tocaran a las personas
libres, mandando expresamente que no se diese muerte, ni se hiciese vio-
lencia, ni se esclavizase a ninguno de los siracusanos. . . M as lo que princi-
palmente aigi o a Marcelo fue lo que ocurri o con Arqumedes: hall abase
este casualmente entregado al examen de cierta gura matem atica y jos
en ella su animo y su vista, no sinti o la invasi on de los romanos ni la toma
de la ciudad. Present osele repentinamente un soldado, d andole orden de
que lo siguiese a casa de Marcelo; pero el no quiso antes de resolver el
problema y llevarlo hasta la demostraci on; con lo que irritado el soldado,
desenvain o la espada y le dio muerte.
Sobre la tumba de Arqumedes
El deseo expresado por Arqumedes era que en su tumba se grabara una gura
geom etrica que recordara uno de sus m as grandes descubrimientos geom etricos, el
cual se cumpli o. Un siglo y medio despu es Cicer on lo encontr o ya cuando los mis-
mos siracusanos se haban olvidado de su gura y fama. Seg un Cicer on (v ease [3].):
. . . Arqumedes, cuyo sepulcro ignorado por los siracusanos, rodeado de
zarzas y espesos matorrales hasta el punto de haberse perdido todo ras-
tro de el, yo descubr siento cuestor de Siracusa. Yo conoca ciertos versos
senarios, copias de otros que haban sido inscriptos en su monumento,
las cuales declaraban que haban en su sepulcro una esfera con un cilin-
dro. Despu es de haber recorrido todos los innumerables sepulcros que
hay cerca de la puerta de Agrigentum, vi una peque na columna que no
se levantaba mucho de los matorrales, en la cual estaba la gura de una
esfera y de un cilindro. Dije entonces a los principales siracuanos que es-
taban conmigo que crea haber encontrado lo que tanto buscaba. Comen-
zaron muchos a hacer abrir el camino hasta descubrir el sepulcro. De este
modo pudimos penetrar hasta el otro lado de la base. Apareci o un epigra-
ma, medio borradas las ultimas palabras de los versos. De esta manera,
una ciudad de las m as ilustres de Grecia, en otros tiempos la m as doc-
ta, hubiera ignorado el monumento sepulcral de un ciudadano suyo tan
ilustre, si no lo hubiese aprendido de un hombre de la peque na ciudad de
Arpinum.
Hoy da la tumba no existe, pero en las proximidades de Siracusa existe un lugar
denominado la tumba de Arqumedes.
Figura 1.2: Figura inscrita sobre la tumba de Arqumedes
1.3. Aportes de Arqumedes
1.3.1. Caractersticas de sus tratados
Los tratados son, sin excepci on alguna, monumentos de la exposici on matem atica,
como lo menciona [31], la revelaci on gradual del plan de ataque, la maestra en el or-
den de las proposiciones, la severa eliminaci on de las cosas que eran irrelevantes
para sus prop ositos, y todo el compendio de su obra, son impresionantes en su per-
fecci on como creador de magnicas obras para sus lectores.
Las demostraciones geom etricas de Arqumedes presentan los siguientes rasgos
principales:
Descansan en la tradici on de la teora de las proporciones.
Parten de algunas asunciones b asicas y especialmente signicativas para los
teoremas considerados.
Los resultados conocidos o teoremas ya aprobados, aducidos en el curso de la
demostraci on, se usan sin cita o referencia expresa, como objetos de dominio
p ublico.
Utilizan m etodos resolutivos de comprensi on y aproximaci on que incluyen
sustancialmente la reducci on al absurdo.
Ocasionalmente tambi en recurren a otras t ecnicas de construcci on.
Las demostraciones de Arqumedes suelen contraerse a la consideraci on de
unos pocos problemas y constituyen deducciones rigurosas, pero informales,
al servicio de un desarrollo sustancial del conocimiento matem atico.
1.3.2. Principales trabajos de Arqumedes
A lo largo de la historia cuando se hace referencia a que un descubrimiento fue re-
alizado por un determinado personaje es difcil demostrar que es as. En este aparta-
do se estudiar an algunas de las muchas obras o trabajos que se le atribuyen a Ar-
qumedes de Siracusa, seg un la bibliografa consultada. El objetivo de este apartado
no es hacer un estudio exhaustivo de cada libro; si no una revisi on de algunos temas

para que el lector obtenga un conocimiento general de los trabajos que realiz o Ar-
qumedes.
La recuperaci on de las matem aticas de Arqumedes desde sus fuentes griegas ha
sido un proceso difcil y no se tiene certeza de la originalidad de sus aportes. Se dice
que este matem atico inici o sus estudios al intentar resolver tres problemas conocidos
en esta epoca: La cuadratura del crculo, la duplicaci on del cubo y la trisecci on del
angulo. Estos problemas deban resolverse utilizando solamente regla (sin marcas)
y comp as, instrumentos que, al parecer son los que utiliza Euclides en su obra. Son
problemas sin soluci on exacta usando regla y comp as, cosa que se ha probado mucho
despu es, aunque tienen soluci on por otros m etodos.
Las obras que hoy conocemos suelen encuadrarse dentro de tres grupos m as o
menos caractersticos:
1. Escritos matem aticos dirigidos a la demostraci on de proporciones sobre areas
y vol umenes de guras limitadas por lneas o supercies curvas.
2. Obras que proceden a an alisis geom etricos de problemas est aticos e hidrost a-
ticos, o se sirven de consideraciones mec anicos en el tratamiento de cuestiones
geom etricas.
3. Trabajos con un aire de miscel anea matem atica.
Las obras de Arqumedes que desde la Edad Media se conocen por medio del c odice
de Heiberg y el de Valla, que se encontraron en Constantinopla, son las siguientes:
Sobre la esfera y el cilindro.
Sobre la medida del crculo.
Sobre conoides y esferoides.
Sobre las espirales.
El arenario.
Cuadratura de la par abola.
El M etodo.
Sobre los cuerpos otantes.
Stomachion.
El libro de los lemas.
El problema de los bueyes.
Trabajos sobre mec anica y optica.
Cuerpos otante.
Equilibrio de los plano.
Sobre las espirales.
Medida del crculo.
A continuaci on realizaremos una breve rese na de sus principales:
El M etodo.
El estudio de este trabajo de Arqumedes se profundizar a en una secci on poste-
rior.
Cuerpos otantes.
Se enuncian algunos resultados sobre la posici on de equilibrio de un segmento
de paraboloide de revoluci on parcialmente sumergido en un uido. En este tratado,
elaborado tambi en a la manera eucldea, aparece el famoso Principio de Arqumedes de
la Hidrost atica. Para ejemplicar el contenido del libro, se presentar an algunos pos-
tulados y proposiciones de los dos libros que Arqumedes escribe sobre los cuerpos
otantes.
Postulados
1. Supongamos que un uido es de tal car acter, que sus partes reposan de igual
forma y siendo continuas, la parte que est a menos empujada es conducida por
la que est a m as empujada, y que cada una de sus partes es empujada por el u-
do que est a encima de ella en una direcci on vertical, si el uido est a sumergido
en cualquier sustancia y comprimida por algo m as.
2. Los cuerpos que son impulsados hacia arriba en un uido, son impulsados
hacia arriba a lo largo de la perpendicular (de la supercie) que pasa a trav es
de su centro de gravedad.
Proposiciones
1. Si una supercie es cortada por un plano que pasa a trav es de cierto punto y si
la secci on es siempre una circunferencia (de un crculo) y el centro es el punto
mencionado, la supercie es de una esfera.
2. La supercie de cualquier uido est a en reposo, si es la supercie de una esfera
cuyo centro es el mismo que el de la tierra.
3. Los s olidos aquellos que, tama no a tama no, son de igual peso con el uido, si
los deja caer en el uido, se sumergen de tal forma que no se proyectan sobre
la supercie pero no se hunden m as abajo.
4. Un s olido m as ligero que un uido, si es colocado en este, no estara completa-
mente sumergido, pero parte de este se proyectara sobre la supercie.
5. Cualquier s olido m as ligero que un uido, si se sumerge parte de el, el peso del
s olido sera igual al peso del uido desplazado.
6. Si un s olido es m as ligero que un uido y se sumerge fuertemente en el, el
s olido sera llevado hacia arriba por una fuerza igual a la diferencia entre su
peso y el peso del uido desplazado.
7. Cualquier s olido m as pesado que un uido y situado en el, se sumergira hasta
el fondo del uido, y si se pesa dicho s olido dentro del uido resultara m as
ligero que su verdadero peso, por el peso del uido desplazado.
8. Si un s olido con la forma de un segmento de una esfera, y de una sustancia

m as ligera que el uido, es colocado en este, de tal manera que su base no toca
el uido; el s olido reposara en la posici on en que su eje es perpendicular a la
supercie del uido; y si el s olido es forzado en una posici on semejante que su
base toca el uido sobre un lado y luego se libera, este no permanecera en esta
posici on, pero retornara a una posici on sim etrica.
9. Si un s olido con la forma de un segmento de esfera, y de una sustancia m as lig-
era que un uido, es colocado en este, de tal manera que su base est a comple-
tamente bajo la supercie del uido; el s olido estara en reposo en la posici on
que su eje es perpendicular a la supercie del uido.
10. Si un s olido m as ligero que un uido est a en reposo dentro de este, el peso del
s olido es al peso del mismo volumen en uido, como la porci on sumergida del
s olido es a todo el s olido.
11. Si un segmento de un paraboloide recto en revoluci on, cuyo eje no es m as
grande que
3
4
p, y con una gravedad especca menor que la del uido, es colo-
cado en el uido con su eje inclinado a la vertical en alg un angulo, asimismo la
base del segmento no toca la supercie del uido, el segmento del paraboloide
no permanecera en esta posici on, sino que retornara a la posici on en la que su
eje es vertical.
12. Si un segmento de un paraboloide en revoluci on, cuyo eje no es m as grande que
3
4
p y cuya gravedad especca es menor que la del uido, con su eje inclinado
en alg un angulo a la vertical, asimismo su base esta completamente sumergida,
el s olido no permanecera en esta posici on, y regresara a la posici on en la que
su eje es vertical.
En estas proposiciones se observa que Arqumedes utiliza por primera vez al para-
boloide como cuerpo de otaci on y lo estudia desde un corte transversal: la par abola.
Equilibro de los planos.
Se estudian los resultados sobre el centro de gravedad de guras poligonales, del
segmento de par abola y del trapecio parab olico. Aunque es un tratado de Est atica,
formalmente sigue la lnea eucldea con deniciones, postulados y demostraciones
en los que adem as de conceptos geom etricos se utilizan el peso y el centro de grave-
dad de guras. En este escrito Arqumedes formula la famosa Ley de la palanca.
Algunos postulados que se utilizan en el libro dicen lo siguiente:
El centro de gravedad de un paralelogramo est a en la recta que une los puntos
medios de los lados opuestos.
Si AB es una magnitud cuyo centro de gravedad es C, y AD es una parte de
la misma, cuyo entro de gravedad es F, entonces el centro de gravedad de la
diferencia estar a en el punto G de FC tal que : GC : CF = AD : DE
Medida del crculo.
Se estudian los resultados sobre la equivalencia entre el crculo y el tri angulo de
base la circunferencia del crculo y altura el radio (es decir, reducci on de la cuadratu-
ra del crculo a la recticaci on de la circunferencia), y c alculo aproximado de la raz on
entre la circunferencia y el di ametro (valor aproximado del n umero ).
Algunos resultados son:
1. El area de cualquier crculo es igual a la de un tri angulo rect angulo en el cual
uno de los catetos es igual al radio y el otro a la circunferencia del crculo. Lo
demuestra comprobando que el area del crculo no es mayor, y tampoco menor,
que area del tri angulo, por lo tanto s olo puede ser igual.
Figura 1.3: area del Crculo - area del tri angulo
2. El area del crculo es al cuadrado de su di ametro 11 a 14 (el crculo es los 11/14
del cuadrado circunscrito si la longitud de la circunferencia es 3
1
7
veces el valor
del di ametro).
3. El permetro de todo crculo es igual al triple del di ametro aumentando en un
segmento comprendido entre
10
71
y
1
7
de dicho di ametro (lo que equivale a decir
que el permetro del crculo es menor que los 3
1
7
del di ametro puesto que es
superior a los 3
10
71
de este di ametro).
4. Arqumedes encontr o la siguiente acotaci on para
3:
265
153
<
3 <
1351
780
Sobre la esfera y el cilindro
Muestra los resultados sobre la esfera, el cono y el cilindro, en particular la pro-
piedad de la raz on de 2 a 3 entre la esfera y el cilindro circunscrito, tanto en supercie
total como en volumen. Consta de dos libros en los que Arqumedes determina las
areas y vol umenes de esferas y cuerpos relacionados con ellas. Euclides haba de-
mostrado en sus Elementos que el volumen de dos esferas es entre s como los cubos
de sus di ametros, o el volumen de una esfera es proporcional al cubo de su di ametro.
Adem as de determinar el area y el volumen de la esfera, tambi en encuentra el area
lateral del cilindro. Arqumedes comienza con deniciones e hip otesis. La primera
hip otesis o axioma es que entre todas las lneas que tienen los mismos extremos, la
recta es la m as corta. Otros axiomas se reeren a las longitudes de las curvas como el
segundo axioma, que dice: de dos lneas planas convexas que unen dos puntos situ-
ados en el mismo lado de la recta que los une, y donde una de las cuales envuelve a
otra, la envolvente es la de mayor longitud. Despu es de una serie de proposiciones
preliminares, en el libro I, llega a las proposiciones de gran inter es que son:
La supercie de cualquier esfera es cuatro veces la de su crculo m aximo, i.e.,
4r
2
.
Cualquier esfera es igual a cuatro veces el cono que tiene su base igual al crculo
m aximo de la esfera, y su altura igual al radio de la esfera.
Cortar una esfera con un plano de manera que los vol umenes de los segmentos
obtenidos est en en una raz on dada.
Sobre el Arenario
Aunque la mayora de la obra de Arqumedes radica en la geometra y en aplica-
ciones fsicas en esta obra se puede apreciar su creatividad. En esta obra Arqumedes
intenta probar que el n umero de gramos de arena no es innito sino que existen unos
n umeros cuyo orden de magnitud es como el n umero de granos de arena que hay en
el universo. Arqumedes lo expresa as:
Hay algunos que creen que el n umero de granos de arena es innito en
cantidad y por arena entiendo no s olo la que existen en Siracusa y el resto
de Sicilia, sino tambi en la que se encuentra en cualquier regi on habitada
o sin habitar. Hay tambi en algunos que, sin considerarlo innito, creen
que no existe una cifra lo bastante grande para exceder a su magnitud. Y
est a claro que quienes mantienen esta opini on, si imaginasen una masa
hecha de arena en otros aspectos tan grande como la masa de la Tierra,
incluyendo en ella todos los mares y las cavidades de la Tierra llenadas
hasta una altura igual a la de las monta nas m as altas estaran muchas ve-
ces lejos de reconocer que se pueda expresar ning un n umero para exce-
da a la magnitud de la arena as conseguida. Pero intentar e demostraros
por medio de puntos geom etricos que ser eis capaces de seguir, que los
n umeros nombrados por m. . . algunos exceden no s olo al n umero de la
masa de arena igual en magnitud a la de la Tierra llena de la forma des-
crita, sino al de la masa igual en magnitud al Universo.
El sistema de numeraci on de Arqumedes consista en lo siguiente, utilizaba al prin-
cipio una mirada o 10,000, como unidad de primer orden y obtena por exten-
si on el n umero 100,000,000 = (10,000)
2
. Despu es partiendo de la mirada como
magnitud de primer orden llegaba por extensi on hasta 100,000,000
2
que se con-
vierte en la unidad de tercer orden que extendiendo llega hasta 100,000,000
3
, pode-
mos continuar hasta llegar al t ermino 1,000,000,000- esimo que termina en el n umero
100,000,000
100,000,000
al que llamaremos N. Arqumedes utilizaba este n umero N co-
mo el ultimo t ermino del primer perodo. Utilizaba este N como unidad del segundo
perodo el cual se extenda hasta 100,000,000 N para el primer orden, el segundo or-
den de este periodo termina con el n umero 100,000,000
2
y el 100,000,000- esimo orden
del segundo periodo termina con 100,000,000
100,000,000
N o lo que es lo mismo N
2
.
As de esta manera se puede llegar hasta el 100,000,000- esimo perodo o lo que es lo
mismo N elevado a 10
8
. Se puede comprobar que la magnitud de este sistema de nu-
meraci on es enorme, el ultimo n umero del primer perodo se representara como un
1 seguido de 800,000,000 ceros. Una establecido este sistema y con una evaluaci on
que hizo Arqumedes sobre el universo y la de un gramo de arena, arm o que el
n umero de granos de arena que haba en el universo era menor que 10
51
.
Arqumedes, tambi en prueba que el di ametro del sol es m as grande que el lado de
un kil ogono
2
, o gura con mil lados iguales, inscrito en un gran crculo del universo.
Figura 1.4: El di ametro del sol es m as grande que el lado de un kil ogono
De los conoides y esferoides
Conoides: son s olidos producto de revolucionar una par abola o hip erbola sobre
sus ejes.
Esferoides: son producto de revolucionar una elipse y son gruesos o delgados,
de acuerdo a si se revolucionan sobre el eje mayor o menor.
Se considera una continuaci on del trabajo sobre la esfera y el cilindro, Arqumedes
estudia las propiedades y comparaciones de otros s olidos que trascienden la ge-
ometra elemental, son los obtenidos por la rotaci on alrededor de uno de sus ejes, de
las tres c onicas, el elipsoide de revoluci on, paraboloide de revoluci on e hiperboloide
(de dos hojas)de revoluci on.
2
Kil ogono proviene del ingl es chiliagon, y este del griego o, es decir, un polgono de
1000 lados.
De las espirales
Es un estudio monogr aco de una curva plana, hoy llamada espiral de Arqu-
medes, que se genera por una simple combinaci on de movimientos de rotaci on y
traslaci on. Aunque se trata de una lnea, este escrito tiene las mismas caractersticas
y dicultades de los anteriores.
Cuadratura de la par abola
Ofrece el primer ejemplo de cuadratura, es decir, de determinaci on de un polgono
equivalente, de una gura mixtilnea: el segmento de par abola, en este escrito apare-
cen consideraciones no estrictamente matem aticas (en el sentido actual) pues adem as
de una demostraci on geom etrica del resultado principal, este se obtiene por un pro-
cedimiento mec anico, utilizando la teora de la palanca y de los centros de gravedad,
que Arqumedes haba estudiado en otros escritos.
Stomachion
Es un juego geom etrico, una especie de puzzle, formado por una serie de piezas
poligonales que completan un rect agulo, se le denomino loculus Archimedium por
algunos gram aticos latinos.
Figura 1.5: Stomachion
El Libro de Lemas
Es una reuni on de proposiciones de geometra plana, sin conexi on entre si, que
s olo se conoce a trav es de una versi on en arabe, y se le atribuye a Arqumedes. Es
probable que s olo algunas de sus proposiciones sean realmente de Arqumedes.
Entre las proposiciones que forman este escrito, se encuentran las siguientes:
Proposici on 1: Si dos circunferencias se intersecan en un punto A, y sea BD, EF los
di ametros de estas, adem as estos son paralelos, entonces ADF es una recta.
Proposici on 2: Sea AB el di ametro de una semicrculo y considere las dos rectas tan-
gentes tal que una pase por B y la otra por D, sea T el punto de intersecci on de estas. Si se
traza DE perpendicular a AB, adem as AT, DE se intersecan en F, entonces DF = FE
Proposici on 3: Sea P un punto cualquiera de un segmento de crculo de base AB, PN es
perpendicular a AB. Se elige un punto D que pertenezca a AB tal que AN = ND. Ahora si
el arco PQ es congruente con el arco PA, y si se traza BQ, entonces BQ y BD ser an iguales.
Figura 1.6: Proposici on 3
Proposici on 4: Si AB es el di ametro de un semicrculo y N un punto cualquiera en
AB, si se trazan dos semicrculos en el interior del primero, cuyos di ametros son AN y BN
respectivamente, entonces el area de la gura comprendida por los tres semicrculos (a lo que
Arqumedes llam o: o, cuchillo o navaja de zapatero) es igual al area del crculo de
di ametro PN, donde PN es perpendicular a AB y corta al semicrculo original en P
Figura 1.7: Proposici on 4: Cuchillo de zapatero
Proposici on 5: Sea AB el di ametro de un semicrculo, C un punto cualquiera en AB,
y sea CD un segmento perpendicular a este. Si se trazan dos semicrculos en el interior del
primero cuyos di ametros son AC, CB. Entonces si se dibujan dos crculos que intersequen a
CD en lados opuestos, y a la vez cada uno de estos intersequen a dos de los semicrculos, se
obtiene que los crculos dibujados son iguales
Proposici on 6: Sea AB el di ametro de un semicrculo, C es un punto en este, tal que
AC =
3
2
CB (o cualquier otra proporci on), si se traza dos semicrculos en el interior del
primero, cuyos di ametros son AC y CB, suponga que se dibuja un crculo que interseca a los
tres semicrculos. Si GH es el di ametro de este crculo, entonces se encuentra alguna relaci on
entre GH y AB.
Proposici on 7: Si se circunscribe e inscribe crculos en un cuadrado, el crculo circun-
scrito es el doble del crculo inscrito.
Proposici on 8: Si AB es una cuerda cualquiera de un crculo de centro O, y si AB se pro-
longa hasta C tal que BC es igual al radio, y CO interseca al crculo en D y su prolongaci on
corta al crculo en E, el arco AE es igual a tres veces el arco BD.
Proposici on 9: Si AB y CD son dos cuerdas de un crculo, tal que no pasen por el centro
de este y se interseque perpendicularmente, entonces (arc AD)+(arc CD)=(arc AC)+(arc
EF).
Proposici on 10: Suponga que TA y TB son dos tangentes a un crculo, y TC una se-
cante. Sea BD una cuerda paralela a TC, adem as AD interseca a TC en E . Entonces si se
traza EH perpendicular a BD, este lo biseca en H.
Proposici on 11: Si dos cuerdas de un crculo AB y CD, se intersecan formando angulos
rectos, en un punto O, que no sea el centro del crculo, entonces AO
2
+ BO
2
+ CO
2
+
DO
2
= (di ametro)
2
.
Proposici on 12: Si AB es el di ametro de un semicrculo, y TP, TQ son tangentes a este
desde cualquier punto T, y si AQ, BP se intersecan en R, entonces RT es perpendicular a
AB.
Proposici on 13: Si en un crculo el di ametro AB se interseca con una cuerda cualquiera
CD, que sea un di ametro, en el punto E, y si AM, BN son perpendiculares a CD, entonces
CN = DM.
Proposici on 14: Sea ACB un semicrculo de di ametro AB, adem as AD y BE medidas
conmensurable iguales, a lo largo de AB desde A hasta B respectivamente. Si hacia el lado
de C se trazan los semicrculos de di ametros AD y BE, al lado opuesto de este se traza el
semicrculo de di ametro DE. Considere la perpendicular a AB que pasa por O, que es el
centro del primer semicrculo, adem as interseca al semicrculo opuesto a C, en F.
Entonces el area de la gura formada por los todos semicrculos (a la que Arqumedes
llam o Salinon) es igual al area del crculo de di ametro CF.
Proposici on 15: Sea AB el di ametro de un crculo, AC el lado de un pent agono regular
inscrito en este, D el punto medio del arco AC. La intersecci on de las prolongaciones de BA
y CD es el punto E, adem as DB, AC se intersecan en F y se traza FM perpendicular a AB,
entonces EM =(radio del crculo).
El problema de los bueyes
Este es un problema difcil en An alisis de indeterminadas. Este requiere encon-
trar el n umero de toros y vacas de cada uno de cuatro colores, o encontrar ocho
cantidades desconocidas. La primera parte del problema est a conectada con varia-
bles de siete ecuaciones simples; y la segunda parte se le suman dos condiciones m as
a las cuales las variables pueden ser sujetas. Si W, w son el n umero de toros y vacas
blancas respectivamente y (X, x), (Y, y), (Z, z) representan el n umero de los otros
tres colores, tenemos las primeras ecuaciones (v ease [31], o [29]):
W =
_
1
2
+
1
3
_
X +Y, (1.1)
X =
_
1
4
+
1
5
_
Z +Y, (1.2)
Z =
_
1
6
+
1
7
_
W +Y, (1.3)
w =
_
1
3
+
1
4
_
(X + x), (1.4)
x =
_
1
4
+
1
5
_
(Z + z), (1.5)
z =
_
1
5
+
1
6
_
(Y + y), (1.6)
y =
_
1
6
+
1
7
_
(W + w) (1.7)
Luego, como segunda condici on, es requerido que
W + X = un n umero cuadrado (1.8)
Y + Z = un n umero triangular (1.9)
La soluci on general de las primeras siete ecuaciones es
W = 10366482n,
X = 7460514n,
Y = 4149387n,
Z = 7358060n,
w = 7206360n,
x = 4893246n,
y = 5439213n,
z = 3515820n.
La segunda parte del problema, para encontrar un valor de n tal que W + X =
sea un n umero cuadrado, si consideramos n = 4456749
2
, donde es un entero,
se satisface la hip otesis. Para encontrar un n umero triangular Y + Z, es decir, un
n umero de la forma
1
2
q(q + 1), hay la siguiente ecuaci on de Pell:
t
2
4729494u
2
= 1
la cual, solo una de las ocho variables tiene m as de 206500 dgitos.
Este problema de Arqumedes, al que se le conoce como el problema de los bueyes
del sol, est a relacionado con los n umeros triangulares y cuadrados.
3
Desde muy pronto los matem aticos reconocieron que la manada m as peque na
que cumple las siete primeras condiciones contiene 50389082 animales. Las dos ulti-
mas condiciones hacen el problema mucho m as difcil. En 1965, un grupo canadiense
encontr o la primera soluci on completa con ayuda de un ordenador.
Este problema ha servido para poner a prueba superordenadores, como el CRAY-
1 de un laboratorio de California. La ventaja de este tipo de problemas es que las
soluciones pueden comprobarse f acilmente sustituyendo directamente en las ecua-
ciones.
1.3.3. Trabajos perdidos de Arqumedes
Seg un Heath, estos son algunos de los trabajos perdidos de Arqumedes:
1. Una investigaci on relativa a poliedros.
2. Un libro de contenidos aritm eticos llamado Principles ().
3. Sobre balanzas .
4. Sobre centros de Gravedado.
3
V ease [3], el problema dice lo siguiente:
Calcula, oh amigo, los bueyes del sol, d andole a tu mente entretenimiento, si tienes parte
de la sabidura. Calcula el n umero que alguna vez past o en la isla siciliana de Trinacria y
estaban divididos de acuerdo a su color en cuatro manadas, una blanca, una negra, una
amarilla y otra moteada. Los toros eran mayora en cada una de ellas.
Adem as:
Toros blancos = toros amarillos +(1/2 + 1/3) toros negros, toros negros = toros amar-
illos +(1/4 + 1/5) toros moteados, toros moteados = toros amarillos +(1/6 + 1/7)
toros blancos, vacas blancas = (1/3 + 1/4) manada negra, vacas negras = (1/4 + 1/5)
manada moteada, vacas moteadas = (1/5 + 1/6) manada amarilla, vacas amarillas
= (1/6 + 1/7) manada blanca.
Si t u, oh amigo, puedes dar el n umero de toros y vacas en cada manada, t u eres ni sabio
ni torpe con los n umeros, pero a un no puede cont arsete entre los sabios. Considera sin
embargo las siguientes relaciones entre los toros del sol:
Toros blancos + toros negros = n umero cuadrado, toros moteados + toros amarillos =
n umero triangular.
Cuando hayas entonces calculado los totales de la manada, oh amigo, ve como conquis-
tador, y descansa seguro, que te has probado h abil en la ciencia de los n umeros.
5. Sobre opticao
6. Sobre hacer esferas oo.
7. Calendario.
1.3.4. Arqumedes y sus principales inuencias en la matem atica
moderna
Trisecci on de un angulo
A Arqumedes se le atribuye la trisecci on de un angulo (v ease [14]) mediante la
siguiente construcci on:
Figura 1.14: Trisecci on de un angulo de Arqumedes
C alculo de
Arqumedes fue el primero en dar un m etodo para calcular con el grado de
aproximaci on deseado.
Esto es basado en el hecho de que el permetro de un polgono regular de n lados
inscrito en una circunferencia es m as peque no que la circunferencia de un crculo.
De igual manera, el permetro de un polgono similar circunscrito al crculo es mayor
que la circunferencia.
Haciendo n sucientemente grande, los dos permetros se aproximar an a la cir-
cunferencia arbitrariamente cercana, una por debajo y otra por encima.
Arqumedes inicio con un hex agono y progresivamente doblando el n umero de
lados, lleg o a un polgono de 96 lados donde obtuvo,
3
10
71
< < 3
1
7
Reductio ad absurdum
Arqumedes us o . . . una estrategia l ogica elaborada llamada doble reductio ad absurdum
(v ease [19]).
Cuando Arqumedes se acerca a un tema mucho m as complicado del area del
crculo, utiliza un ataque indirecto. Sabe que para cualquier cantidad A o B, solo
es cierto uno de los siguientes casos: A > B, A = B, A < B. Como quiere
mostrar que A = B, Arqumedes, supone primero que A > B y a partir de
all deriva una contradicci on l ogica, con lo que elimina esa posibilidad. Seguida-
mente, supone que A < B, lo cual lo lleva de nuevo a una contradicci on. Una vez
eliminado estas posibilidades, solo queda una posibilidad, que A y B son iguales
(V ease [19], pp. 129).
El Postulado de Arqumedes
En [47], se enuncia el postulado o axioma de Arqumedes de la siguiente manera
Cualquier cantidad, por m as peque na que sea, puede hacerse tan grande
como se quiera multiplic andose por un n umero sucientemente grande.
Esto se puede reformular de la siguiente manera:
Dadas dos magnitudes diferentes y (con < ) existe entonces:
un n umero n tal que n > . (Est e denici on se encuentra en el Libro
V de los Elementos de Euclides).
un n umero n tal que n( ) > , donde es cualquier magni-
tud de la misma clase. (Este es el llamado axioma de Arqumedes y se
encuentra en su trabajo Sobre la esfera y el cilindro, Libro I).
Este postulado se le atribuye a Euclides y a Eudoxio.
Algunos problemas arquimedianos
Encontrar el area de una zona esf erica de altura h y radio r.
Encontrar el centroide de un segmento esf erico.
Encontrar el volumen de una cu na cilndrica, fuera de un cilindro circular recto
por un plano que pasa entre el di ametro de la base del cilindro.
Encontrar el volumen com un de dos cilindros circulares rectos de igual radio y
teniendo sus ejes intersecando perpendicularmente.
F ormula para calcular el area de un tri angulo
Seg un [20], un escritor arabe le atribuye a Arqumedes el descubrimiento de la
c elebre f ormula:
K =
_
s(s a)(s b)(s c)
para el area de un tri angulo en t ermino de sus lados, f ormula que tambi en se le
atribuye a Heron de Alejandra.
Otro problema tambi en atribuido a Arqumedes es la de encontrar las perpen-

diculares de un tri angulo cuando la medida de los lados son dados. V ease tambi en
[31].
Volumen de la Esfera
Vamos a calcular el volumen de la esfera usando varios m etodos, el primero de
ellos se basa en un m etodo usado por Arqumedes usando innitesimales (v ease
[39]), luego, calcularemos dicho volumen utilizando integraci on doble y triple, con
coordenadas polares y coordenadas esf ericas respectivamente, los cual nos reeja, la
importancia que han tenido los trabajos de Arqumedes en la matem atica moderna.
Innitesimales
Considere una esfera de radio R, sea V un hemisferio, o bien, la mitad de la esfera.
Dividimos el hemisferio, mediante planos paralelos a la tapa de la semiesfera, en n
porciones cada una de grosor
R
n
. Cada una de estas capas ser an aproximadas como
cilindros.
Sea r
k
el radio del cilindro en la k esima capa, entonces su volumen se aproxima
V
k
(r
k
)
2
R
n
Por Pit agoras
r
k
= R
2
+
k
2
R
2
n
2
V
k

_
R
2
k
2
R
2
n
2
_
R
n
Entonces el volumen de hemisferio se aproxima
V
V
k
R
3
_
n
k=1
1
n
1
n
3
n
k=1
k
2
_
R
3
_
1
1
n
3
n(n + 1)(2n + 1)
6
_
R
3
6
_
6
_
1 +
1
n
__
2 +
1
n
__
Si n , V

R
3
6
(6 4) =
2R
3
3
, entonces, el volumen de la esfera es
4R
3
3
Coordenadas Polares
Considere la esfera x
2
+ y
2
+ z
2
= a
2
x = r cos
y = r sin
z =
_
a
2
r
2
El volumen de la esfera es
_
2
0
_
a
0
_

a
2
r
2
a
2
r
2
dzrdrd = 2
_
2
0
_
a
0
rdrd
=
_
2
0
_
0
a
2
udud =
_
2
0
u
3
2
3
2
|
0
a
2
d =
_
2
0
2a
3
3
d
=
2a
3
2
3
=
4a
3
3
Coordenadas esf ericas
El volumen de la misma esfera se representa como
_
2
0
_
a
0
_
2
2
1 r
2
cos ddrd
=
_
2
0
_
a
0
r
2
sin |
2
=
_
2
0
_
a
0
r
2
(1 1)drd
= 2
_
2
0
_
a
0
r
2
drd =
2
3
_
2
0
r
3
|
a
0
d =
2
3
_
2
0
a
3
d
=
2a
3
2
3
=
4a
3
3
1.4. Estudio de una obra de Arqumedes: El M etodo
Para la elaboraci on de este secci on se toma como referencia a [29], que realiza una
de las dedignas traducciones de los trabajos de Arqumedes.
Esta es la obra m as estudiada de Arqumedes puesto que nos ha llegado con
mayor exactitud. El texto fue descubierto en 1906 por Heiberg. Tuvo noticias del
hallazgo en el convento del Santo Sepulcro de Constantinopla de un palimpsesto de
contenido matem atico.
Examinando el texto con t ecnicas fotogr acas, Heiberg descubri o que en el per-
gamino haba escritas obras de Arqumedes que haban sido copiadas alrededor del
siglo X. En sus 185 p aginas estaban Sobre la esfera y el cilindro, Sobre las espirales,
La medida del crculo, Sobre el equilibrio de los planos y Sobre los cuerpos otantes
adem as de la unica copia de El m etodo.
Arqumedes se propone a dar a conocer una va de investigaci on que no s olo le
permite hacerse una idea previa de la soluci on de ciertos problemas matem aticos,
sino que adem as, sugiere un planteamiento plausible y facilita el acceso de la de-
mostraci on.
En este libro, Arqumedes nos dice como descubri o sus teoremas de cuadratura
y cubatura, a saber por el uso de la mec anica. Al mismo tiempo, es muy cuidadosa
en insistir en la diferencia entre lo que puede sugerir la veracidad de un teorema y
la rigurosa demostraci on de los mismos usando m etodos geom etricos ortodoxos.
1.4.1. El M etodo de Arqumedes tratando de problemas mec anicos
a Erat ostenes
Se dedica a la descripci on y aplicaci on de un m etodo geom etrico-mec anico. Es
una larga carta dirigida a Erat ostenes. En El M etodo, Arqumedes revela aspectos o
partes de los procesos mentales consistentes en un m etodo mec anico, que el utiliz o en
sus descubrimientos y que no apareca en sus escritos cientcos (v ease [3]).
En la b usqueda de las areas de los segmentos parab olicos, el volumen de segmen-
tos esf ericos y otros s olidos de revoluci on, Arqumedes us o un proceso mec anico, en
el cual consideraba el peso de los elementos innitesimales, el cual el llamaba lneas
rectas o area de planos, pero los cuales son realmente barras innitamente delgadas
o l aminas.
Pareciera que, en sus grandes investigaciones, el modo de proceder de Arqu-
medes fue, iniciar con mec anica (centro de masa de supercies y s olidos) y por su
m etodo mec anico innitesimal descubrir nuevos resultados, los cuales luego el de-
dujo y public o con pruebas muy rigurosas.
Seg un [3], Arqumedes en El M etodo cuando se refera al contenido de este, ar-
ma que:
. . . , como ya he dicho, un estudioso y excelente maestro de losofa y
que sabes apreciar, llegado el caso, las investigaciones matem aticas que
se te presentan, he pensado en exponerte e ilustrar en este mismo li-
bro la naturaleza particular de un m etodo que te permitir a eventual-
mente adquirir, con cierta facilidad, proposiciones matem aticas mediante
consideraciones mec anicas. Por lo dem as estoy convencido de que este
m etodo mostrar a tambi en su utilidad en la demostraci on misma de las
proposiciones, pues algunas de ellas que se tornaron para m evidentes
primero mediante este m etodo mec anico, las demostr e de inmediato por
la geometra, pues la investigaci on mediante este m etodo no compor-
ta una verdadera demostraci on. Pues sin duda es m as f acil encontrar
la demostraci on despu es de haber adquirido con este m etodo un cierto
conocimiento del asunto, que buscarla sin tener conocimiento previo al-
guno . . .
Todas las proposiciones de el M etodo corresponden a propiedades m etricas: areas,
vol umenes, centros de gravedad, cuya demostraci on exige la doble reducci on al ab-
surdo, involucra el m etodo de exhauci on, en conexi on con el postulado de Arqumedes.
El m etodo mec anico de Arqumedes es una combinaci on tan audaz como ge-
nial, de consideraciones geom etricas y mec anicas, que en su esencia encierra pro-
cedimientos de an alisis innitesimal, lo que muestra que mediante ese m etodo Ar-
qumedes logre resultados, que hoy se obtienen con el c alculo integral.
Seg un [9], Arqumedes conoca
_
x
3
dx.
M etodo del equilibrium de Arqumedes
Siguiendo la crtica de [20], se considera que el m etodo de exhausci on es riguroso,
pero es un m etodo est eril. Es decir, una vez que conocemos la f ormula, el m etodo de
exhausci on se vuelve una herramienta elegante para establecer un resultado, pero
el m etodo no nos da una idea de c omo llegar a el. El m etodo de exhausci on, es en
este sentido como la inducci on matem atica. El modo como Arqumedes lleg o a sus
principales resultados es expuesto en El M etodo, este es el llamado m etodo del
equilibrium, v ease [20] p aginas 324 en adelante.
La idea fundamental de este m etodo
es el siguiente: para encontrar el area o
volumen de un s olido requerido, se debe
trazar una serie de planos paralelos que
corten el s olido en capas muy delgadas,
estas se separan y (mentalmente) se su-
jetan en el extremo nal de una palan-
ca, tal que la gura contenida se ubique
en equilibrio sobre este, y as localizar su
centro de masa.
En la ilustraci on, se muestra la uti-
lizaci on del m etodo para determinarla
f ormula para el volumen de una esfera.
Sea r el radio de una esfera. Puesta la esfera con su di ametro polar a lo largo del
eje horizontal x con el polo norte N en origen. Construya el cilindro y el cono de rev-
oluci on obtenidas por rotaci on del rect angulo NABS y el tri angulo NCS sobre el eje
x. Ahora se le corta a los tres s olidos capas delgadas de manera vertical (asumiendo
que es un cilindro delgado) a la distancia x de N y de grosor x. El volumen de estas
capas es aproximadamente,
esfera = x(2r x)x
cilindro = r
2
x
cono = x
2
x
Sujetemos a T las capas de la esfera y el cono, donde TN = 2r. Su momento combi-
nado
4
sobre N es
_
x(2r x)x + x
2
x
_
2r = 4r
2
x
4
Por momento de un volumen sobre un punto entendemos el producto del volumen y la distancia
perpendicular desde el punto a la lnea vertical pasando por el centroide del volumen.
Esto es cuatro veces el momento de la capa cortada del cilindro cuando esta capa es
retirada. Sumando un gran n umero de estas capas juntas, encontramos
2r [volumen de la esfera + volumen del cono] = 4r [volumen del cilindro]
o
2r[volumen de la esfera +
8r
3
3
= 8r
4
]
o
volumen de la esfera =
4r
3
3
Este fue el m etodo como Arqumedes descubri o la f ormula para el volumen de
la esfera. Su conciencia matem atica no le permita aceptar su construcci on como una
prueba y el siempre aplicaba sus rigurosas pruebas para resultados como este.
La gura representa un segmento
parab olico que tiene AC como cuerda.
CF es tangente a la par abola en C y AF
es paralelo al eje de la par abola. OPM
es tambi en paralelo al eje de la par abo-
la. K es el punto medio de FA y HK =
KC. Tome K como un fulcrum, puesto
OP con su centro en H y se retira la ca-
pa OM. Usando el hecho que
OM
PO
=
AC
AO
muestra por el m etodo del equilibrio de
Arqumedes, que el area del segmento
parab olico es una tercera parte del area
del tri angulo AFC.
La idea expuesta anteriormente revela varias cosas: primero, Arqumedes ya co-
noca sobre los centro de gravedad, lo cual nos indica que Arqumedes se le ade-
lant o a Pappus y sus teoremas sobre centroides. Segundo, los m etodos empleados
por Arqumedes de alguna manera nos muestran que este se adelant o a las ideas
b asicas del c alculo integral, dado que la aplicaci on sucesiva de la idea empleada
para encontrar el area del segmento parab olico nos da como resultado el valor de la
integral.
Importancia de la did actica de Arqumedes
En el estudio de la evoluci on del conocimiento matem atico a lo largo de la his-
toria, se debe considerar la obra de Arqumedes como prototpica, dadas sus carac-
tersticas entre las que podemos destacar:
Arqumedes desarrolla t ecnicas de demostraci on orientadas a la consecuci on
del rigor, concepto este de vital importancia en el desarrollo hist orico de la
Matem atica. En este sentido se puede destacar la maestra de Arqumedes en
la aplicaci on del M etodo de Exhausci on, cuyo objetivo es evitar el uso del in-
nito en las demostraciones, siguiendo la tradici on los oca griega que exclua
el uso de este concepto para la adquisici on del conocimiento racional, es decir,
del conocimiento verdadero, debido a la multitud de contradicciones en las que
nos hace caer.
La aplicaci on del M etodo de Exhausci on presenta un problema: se debe cono-
cer a priori el resultado que se quiere demostrar. En consecuencia es nece-
sario disponer de otros m etodos para obtener estos resultados que luego ser an
demostrados rigurosamente, es decir, sin hacer intervenir el innito. Estos m eto-
dos suelen ser bastante intuitivos y basados en el conocimiento emprico. Ar-
qumedes descompone areas en innitos segmentos que luego pesa con su ba-
lanza; halla centros de gravedad, donde supone concentrado todo el peso de
una gura, llegando as a resultados que luego demuestra por el M etodo de
Exhausci on.
La obra de Arqumedes es un conjunto cerrado respecto a la construcci on del
conocimiento matem atico: dispone de m etodos exploratorios para obtener nue-
vos resultados y de m etodos demostrativos para conrmar la verdad matem atica
de dichos resultados. Esta caracterstica convierte la obra de Arqumedes en
una herramienta did actica unica, que debera ser considerada obligatoria en
la formaci on de los estudiantes, en particular, en la formaci on de los futuros
matem aticos.
En el m etodo existe un dualismo entre la va del descubrimiento y la va de la
demostraci on. Donde el primero incluye sugerencias heursticas y razonamien-
tos que hacen verosmil la soluci on imaginada o propuesta.
1.5. Conclusiones
Se puede ver que en las obras de Arqumedes a una gura entregada a la inves-
tigaci on, que se dedic o a no solo a la geometra, sino tambi en a diversas areas de la
matem atica: as por ejemplo, teora de n umeros,
Es importante resaltar la parte polifac etica de Arqumedes, esto reeja en que este
pudo dedicarse a cuestiones tantas te oricas como pr acticas.
Dejamos como temas abiertos para investigaciones de car acter hist orico lo rela-
cionado con el problema del hept agono, adem as de los denominados s olidos de Ar-
qumedes y dem as, ya que estos trabajos est an incompletos y del cual no se puede
vericar la veracidad de la atribuci on a Arqumedes, v ease [29].
Captulo 2
Fracciones Continuadas: un recorrido
hist orico
2.1. Introducci on
Las fracciones continuadas son un t opico matem atico relativamente sencillo. Su
complejidad de comprensi on, inicialmente, no excede a conocimientos m as all a de la
aritm etica elemental.
M as a un, es un tema que juega un papel predominate en la teora de n umeros.
Permite aproximar de manera eciente a los n umeros irracionales, adem as es un
m etodo con el cual se pueden resolver ecuaciones diof anticas, entre otras de sus
aplicaciones.
El prop osito de este artculo realizar un breve recoorrido sobre las fracciones con-
tinuadas, su notaci on, algunas aplicaciones a la geometra. Adem as, se ejemplica el
uso de las fracciones continuadas en la resoluci on de ecuaciones lineales diof anticas,
as como tambi en se calculan algunas fracciones continuadas de races cuadradas.
Se enuncian algunos teoremas importantes sobre fracciones continuadas, adem as
de la noci on de convergentes; su denici on y uso en el c alculo de aproximaciones
num ericas.
Como parte del recorrido hist orico, se muestran algunas de las fracciones contin-
uadas m as famosas y quienes las descubrieron. As como tambi en algunas curiosi-
dades que involucran a dichas fracciones.
Fracciones Continuadas: un recorrido hist orico 35
2.2. La teora de las fracciones continuadas
2.2.1. Fracciones continuadas nitas e innitas
Una expresi on de la forma
2 +
1
3 +
5
4 +
7
1 +
1
2
es un ejemplo de una fracci on continuada. Est a fracci on puede ser evaluada calcu-
lando y simplicando las siguientes expresiones en el orden considerado:
1 +
1
2
=
3
2
4 +
7
1 +
1
2
= 4 +
7
3
2
=
26
3
,
3 +
5
4 +
7
1 +
1
2
= 3 +
5
26
3
=
93
26
2 +
1
3 +
5
4 +
7
1 +
1
2
= 2 +
1
93
26
=
212
93
;
esto es,
212
93
= 2 +
1
3 +
5
4 +
7
1 +
1
2
Una fracci on continuada es una expresi on de la forma
a
1
+
b
1
a
2
+
b
2
a
3
+
+
b
n2
a
n1
+
b
n1
a
n
(2.1)
En general, los a
i
y b
i
, pueden ser n umeros reales o complejos. Sin embargo, si cada
b
i
es igual a 1 y cada a
i
es un entero mayor que cero, para i > 1, entonces la fracci on
continuada se dice fracci on continuada simple.
Los a
i
en (2.1) se llaman los t erminos de la fracci on continuada. Si el n umero de
t erminos de una fracci on continuada simple es nito, se dice que es una fracci on
continuada simple nita. Si el n umero de t erminos es innito, se dice que es una
fracci on continuada simple innita.
A continuaci on se enunciaran algunos teoremas importantes
1
que fueron de-
mostrados por L. Euler en el siglo XVIII, con los cuales se puede asociar a todo
n umero real una fracci on continuada.
Teorema 2.2.1 Todo n umero racional puede ser expresado como una fracci on continuada
simple nita.
La representaci on de un n umero racional como una fracci on continuada simple ni-
ta no es unica, este puede ser representado en exactamente dos formas; una repre-
sentaci on tiene un n umero impar de t erminos y la otra representaci on, un n umero
par de t erminos. As, se tiene:
Teorema 2.2.2 Toda fracci on continuada simple nita representa un n umero racional.
Otro teorema tambi en importante es el an alogo a fracciones continuadas innitas.
Teorema 2.2.3 Todo n umero irracional puede expresarse como una unica fracci on continua-
da innita.
Teorema 2.2.4 Toda fracci on continuada simple innita representa un n umero irracional.
De aqu, se puede entonces concluir,
Teorema 2.2.5 Todo n umero real puede ser expresado por una fracci on continuada.
Ejemplo 2.2.1 Expresar
8 como una fracci on continuada simple

Como 2 <
8 < 3, entonces 2 es el mayor entero menor que
8. As,
8 = 2 + (
8 2) = 2 +
1
1
8 2
= 2 +
1
8 + 2
4
2 +
1
1 +
8 2
4
= 2 +
1
1 +
1
8 + 2
= 2 +
1
1 +
1
4 + (
8 2)
1
Las demostraciones de estos teoremas pueden ser consultados en [42] de la p agina 150 en ade-
lante.
Observe que la expresi on
8 2 aparece otra vez. El desarrollo de (
8 2) como
fracci on continuada es otra vez:
1
1 +
1
4 + (
8 2)
por lo tanto,
8 = [2; 1, 4, 1, 4, . . .] = 2 +
1
1 +
1
4 +
1
1 +
.
.
.
Est a representaci on en fracci on continuada de

8 es un ejemplo de una fracci on
continuada simple innita que es peri odica.
2.2.2. Algoritmo para el c alculo de fracciones continuadas
Considere p
0
y p
1
, dos n umeros enteros tales que p
0
> p
1
. Por el algoritmo de la
divisi on eucldea (v ease [8]), tenemos que
p
k
= p
k+1
q
k
+ p
k+2
con 0 p
k+1
< p
k
; k = {0, 1, . . .}, q
k
N
Luego,
p
k
p
k+1
= q
k
+
1
p
k+1
p
k+2
,
si se contin ua con esta recursi on, tenemos que:
q
0
+
1
q
1
+
1
q
2
+
Ejemplo 2.2.2 Calcular la fracci on continuada de
10463
43200
.
Utilizando el algoritmo de la divisi on eucldea, tenemos
43200 = 4 10463 + 1348
10463 = 7 1348 + 1027
1348 = 1 1027 + 321
1027 = 3 321 + 64
321 = 5 64 + 1
64 = 64 1
De aqu se concluye entonces,

10463
43200
=
1
4 +
1
7 +
1
1 +
1
3 +
1
5 +
1
64
2.2.3. Convergentes
Una de las razones por las cuales las fracciones continuadas son importantes es
que ellas pueden ser utilizadas para obtener aproximaciones num ericas de n umeros
irracionales (v ease [38]).
Las fracciones continuadas simples nitas
c
1
= [a
1
] = a
1
,
c
2
= [a
1
; a
2
] = a
1
+
1
a
2
c
3
= [a
1
; a
2
, a
3
] = a
1
+
1
a
2
+
1
a
3
.
.
.
c
n
= [a
1
; a
2
, a
3
, . . . , a
k
] = a
1
+
1
a
2
+
1
a
3
+
.
.
. +
1
a
k
Los c
k
se dicen los convergentes
2
o reducidos de la fracci on continuada [a
1
; a
2
, . . .].
Ejemplo 2.2.3 Determinar los convergentes de la fracci on continuada simple nita dada por
[1; 3, 4, 2, 3].
2
El primer matem atico que investig o el m etodo para calcular los convergentes fue Daniel Schwen-
ter (1585-1636).
c
1
= [1] = 1,
c
2
= [1; 3] = 1 +
1
3
=
4
3
c
3
= [1; 3, 4] = 1 +
1
3 +
1
4
=
17
13
c
4
= [1; 3, 4, 2] = 1 +
1
3 +
1
4 +
1
2
=
38
29
c
5
= [1; 3, 4, 2, 3] = 1 +
1
3 +
1
4 +
1
2 +
1
3
=
131
100
N otese que el valor del convergente c
5
es igual al valor de la fracci on continuada
simple, que representa en general, el ultimo convergente de la fracci on continuada
simple nita es siempre igual al valor del racional representado por esa fracci on
continuada.
Ahora se mostrar a una f ormula para evaluar m as r apidamente los convergentes
de una fracci on continuada.
Sea c
n
el n esimo convergente. Sea r
n
y s
n
el numerador y denominador, respectiva-
mente de C
n
.
c
1
= a
1
; aqu, r
1
= a
1
y s
1
= 1
c
2
= a
1
+
1
a
2
=
a
1
a
2
+ 1
a
2
donde r
2
= a
1
a
2
+ 1 y s
2
= a
2
c
3
=
a
3
(a
1
a
2
+ 1) + a
1
a
3
a
2
+ 1
Note que: a
1
a
2
+ 1 + a
1
= r
2
a
1
= r
1
a
2
= s
2
1 = s
1
Sustituyendo, se tiene que
c
3
=
a
3
r
2
+ r
1
a
3
s
2
+ s
1
dado que
r
3
= a
3
r
2
+ r
1
s
3
= a
3
s
2
+ s
1
De este modo, se puede ver que
c
n
=
r
n
s
n
=
a
n
r
n1
+ r
n2
a
n
s
n1
+ s
n2
Para que la f ormula anterior sea v alida n = 1, 2, . . ., considere aqu, las siguientes
deniciones:
r
1
= 0, s
1
= 1, r
0
= 1 y s
0
= 0
As, por ejemplo, los convergentes de
384
157
384
157
= 2 +
1
2 +
1
4 +
1
8 +
1
2
.
Los primeros 5 convergentes de
384
157
son
n 1 0 1 2 3 4 5
a
n
2 2 4 8 2
r
n
0 1 2 5 22 181 384
s
n
1 0 1 2 9 74 157
C
n
0
2
1
5
2
22
9
181
74
384
157
2.3. Historia de las fracciones continuadas
2.3.1. Breve Rese na hist orica
Euclides (c. 300 a.C.) en su libro Elementos en el algoritmo para sacar el m axi-
mo com un divisor genera fracciones continuadas.
En 1579, Rafael Bombelli (1526-1572), en su libro L Algebra Opera, asocia las
fracciones continuadas con su m etodo de extracci on de races cuadradas.
En 1613 Pietro Cataldi (1548-1626), en su libro Trattato del modo brevissimo di
trovare la radica quadra delli numeri, et regole da approssimarsi di continuo al vero
nelle radice de numeri non quadrati, con le cause et inuentioni loro, et anco il modo di
pigliarne la radica cuba, applicando il tutto alle operationi militari et altro utiliza la
primera notaci on para las fracciones continuadas.
En 1695, John Wallis (1616-1703), en Opera Mathematica, introduce el t ermino de
fracci on continuada.
En 1780, Joseph Louis Lagrange (1736-1813) da la soluci on a la ecuaci on de Pell
3
(v ease [34]) usando fracciones continuadas, similar a las usadas por Bombelli.
3
En honor a John Pell (1611-1685)
En 1748, Leonhard Euler (1707-1783), en Introductio in analysin innitorium, vo-
lumen I, captulo 18, prueba la equivalencia entre las fracciones continuadas y
las series innitas generalizadas.
Fue Leonhard Euler, en el siglo XVIII que us o el nombre de fractio continua
para las fracciones continuas. En alem an las fracciones continuas se denominan
kettenbr uche (fracciones cadena).
En 1813, Karl Friedrich Gauss (1777-1855), en su libro Werke, calcula una frac-
ci on continuada con valor complejo va series hipergeom etricas.
2.3.2. Sobre la notaci on de las fracciones continuadas
A continuaci on una peque na rese na de la historia de la notaci on de las fracciones
continuadas (v ease [8]).
La notaci on para fracciones continuadas usada en la actualidad, fue introducida
por Alfred Pringsheim (1850-1941) en 1898, esto es,
b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
.
pero previamente se usaron otras.
El matem atico italiano Pietro Antonio Cataldi, en 1613 usaba la notaci on
4 &
2
8.
&
2
8.
,
donde los puntos signica que la siguiente fracci on es una fracci on del denominador.
Esto es, seg un la notaci on actual
4 &
2
8.
&
2
8.
. . . = 4 +
2
8 +
2
8 +
.
.
.
Carl Friedrich Gauss en su libro Disquisitiones arithmetic publicado en 1801 usa-
ba la notaci on
A
0
= [b
0
] = b
0
,
A
1
= [b
0
; b
1
] = b
1
A
0
+ 1
A
2
= [b
;
b
1
, b
2
] = b
2
A
1
+ A
0
Konrad Knopp, en el libro Theory and Application of Innite Series de 1944,
utiliza la siguiente notaci on para la representaci on de las fracciones continuadas in-
nitas (v ease [36], p ag. 105.)
b
0
+
K
n=1
a
n
b
n
Maritz Abraham Stern(1807-1894), design o las fracciones continuadas nitas por
b
0
+
a
1
|
|b
1
+
a
2
|
|b
2
+
En lo que sigue de este trabajo vamos a utilizar como notaci on de las fracciones
continuadas, tanto la de Prisgsteim como la de Stern.
2.4. Aplicaciones
2.4.1. C alculo de fracciones continuadas de races cuadradas
Rafael Bombelli, un ingeniero y arquitecto, que naci o en Bologna, Italia en 1526, y
muri o en 1572, fundador de los n umeros imaginarios, da un algoritmo para calcular
las races cuadradas, este es:
Considere

A =
_
a
2
+ r = a + x
o,
a
2
+ r = a
2
+ 2ax + x
2
o
r = 2ax + x
2
Si al realizar la primera aproximaci on no se obtiene x
2
, entonces considere
r = 2ax
y
A = a +
r
2a
Pero x =
r
2a
o x
2
=
rx
2a
. As,
r = 2ax +
rx
2a
=
_
2a +
r
2a
_
x
Usando esta nueva aproximaci on de x, se obtiene
A = a +
r|
|2a
+
r|
|2a
.
Este proceso se puede hacer indenidamente, obteniendo la fracci on continuada in-
nita
A = a +
r|
|2a
+
r|
|2a
+
Otro modo de explicar como Bombelli podra haber obtenido ese m etodo es es-
cribiendo
A a
2
= (
A + a)(
A a) = r
As,
A = a +
r
a +
A
Reemplazando
A por su expresi on repetidamente en el denominador se llega a la

fracci on continuada.
Ejemplo 2.4.1 Calcule una fracci on continuada para
2
Considere
(
2 1)(
2 + 1) = 1
2 1 =
1
2 + 1
2 = 1 +
1
2 + 1
2 = 1 +
1
1 + 1 +
1
2 + 1
Luego,
2 = 1 +
1
2 +
1
2 + 1
2.4.2. Resoluci on de ecuaciones diof anticas lineales mediante frac-
ciones continuadas
Las fracciones continuadas simples permiten encontrar las soluciones particu-
lares de una ecuaci on diof antica lineal.
Ejemplo 2.4.2 Resolver la siguiente ecuaci on 124x 72y = 16.
Divida primero por el mcd(124, 72) = 4 ambos lados de la ecuaci on, notando que 4
divide a 16 y por lo tanto, la ecuaci on diof antica tiene soluciones enteras. Ahora, hay
que resolver
31x 18y = 4
Separe la parte entera de la fracci on
31
18
31
18
= 1 +
13
18
luego, cambe
13
18
, por otra equivalente 1 +
1
18
13
, obteniendo entonces:
31
18
= 1 +
1
18
13
Realizando nuevamente el mismo proceso con la fracci on
18
13
:
18
13
= 1 +
5
13
= 1 +
1
13
5
Ahora, la fracci on inicial tiene la forma
31
18
= 1 +
1
1 +
1
13
5
Realizando el mismo proceso con la fracci on
13
5
:
13
5
= 2 +
3
5
= 2 +
1
5
3
se tiene entonces que:
31
18
= 1 +
1
1 +
1
2 +
1
1 +
1
3
2
Al continuar con el proceso, se llega a que
31
18
= 1 +
1
1 +
1
2 +
1
1 +
1
1 +
1
2
Suprimiendo el ultimo t ermino de esta fracci on continuada, es decir,
1
2
, transfor-
mamos la fracci on continuada en una fracci on ordinaria y restando la fracci on origi-
nal
31
18
:
31
18
= 1 +
1
1 +
1
2 +
1
1 +
1
1
= 1 +
1
1 +
1
2 +
1
2
= 1 +
1
1 +
1
5
= 1 +
5
7
=
12
7
31
18
12
7
=
31 7 18 12
18 7
=
1
18 7
Reduciendo la expresi on obtenida a un denominador com un y suprimiendo este
denominador, se obtiene:
31 7 18 12 = 1
Multiplicando por 4 a ambos lados de la igualdad, tenemos:
31 28 18 48 = 4
Finalmente
31x 18y = 4
donde x = 28 y y = 48. Por lo tanto, todas las soluciones de la ecuaci on diof antica
estar an dadas por
x = 28 18n, y = 48 31n, n Z
2.4.3. Algunas fracciones continuadas
Se realizar a un viaje a trav es de la historia, mostrando las fracciones continuadas
m as famosas y quienes las descubrieron (v ease [38]). As por ejemplo:
1. Bombelli, en 1572, con la notaci on moderna, descubri o que esencialmente
13 = 3 +
4
6 +
4
6 +
.
.
.
2. Cataldi, en 1613, expres o la fracci on continuada de
18 como:
18 = 4 &
2
8.
&
2
8.
&
2
8.
. . . = 4 +
2
8 +
2
8 +
2
8 +
.
.
.
3. Lord Brouncker, alrededor de 1658,

4
= 1 +
1
2 +
9
2 +
25
2 +
49
2 +
81
2 +
.
.
.
Est a expansi on est a ligada hist oricamente con el producto innito
2
=
2 2 4 4 6 6 8 8
1 3 3 5 5 7 7 9

dada por Wallis en 1655; ambos descubrieron importantes pasos en la historia
de
4. Leonhard Euler, en 1737 encontr o la siguiente expresi on, que lleva
e = 2,7182818284590 . . . = lm
n
_
1 +
1
n
_
n
la base de los logaritmos naturales
e 1 = 1 +
1
1 +
1
2 +
1
1 +
1
1 +
1
4 +
.
.
.
= [1; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8 . . .]
As por ejemplo,
e 1 = 1, 71828;
1
1 +
1
1 +
1
2
= 1, 66667
lo cual brinda una buena aproximaci on a pesar de trabajar con una fracci on
continuada peque na.
Luego,
e 1
e + 1
=
1
2 +
1
6 +
1
10 +
1
14 +
.
.
.
e 1
2
=
1
1 +
1
6 +
1
10 +
1
14 +
.
.
.
Esta ultima expansi on permite r apidamente aproximar a e. Por ejemplo, el
s etimo convergente es aproximadamente:
e =
1084483
398959
= 2,71828182458 . . . ,
el cual diere del valor de e en el doceavo decimal.
5. Lambert, en 1766, mostr o que
e
x
1
e
x
+ 1
=
1
2
x
+
1
6
x
+
1
10
x
+
1
14
x
+
.
.
.
y adem as que
tan(x) =
1
1
x
1
3
x
1
5
x
1
7
x
.
.
.
Lambert us o estas expresiones para concluir que
a. Si x Q, x = 0, entonces e no es racional.
b. Si x Q, x = 0, entonces tan(x) no es racional.
6. Tambi en Johann Heinrich Lambert (1728-1777), en 1770, mostr o que
= 3 +
1
7 +
1
15 +
1
1 +
1
292 +
.
.
.
= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, 2, 2, 2, 2, 84, 2, . . .]
Si se calcula aqu el tercer convergente, se tiene

3 +
1
1
7 +
1
15
= 3, 14151
lo cual da 4 cifras de exactitud.
7.
_
a
2
+ b = a +
b
2a +
b
2a +
b
2a +
.
.
.
, a
2
+ b > 0
8.
2 = 1 +
1
2 +
1
2 +
1
2 +
.
.
.
9.
1 +
5
2
= 1 +
1
1 +
1
1 +
1
1 +
.
.
.
Los convergentes son
1
1
,
2
1
,
3
2
,
5
3
,
8
5
,
ambos, numerador y denominador empiezan formando la sucesi on de Fibonac-
ci
(1, 1, 2, 3, 5, 8, 13, . . .).
10. Stern, en 1833, expres o como fracciones continuadas a

2
2
= 1
1
3
2 3
1
1 2
3
4 5
1
3 4
3
6 7
1
5 6
3
.
.
.
11.
sen(x) =
x
1 +
x
2
(2 3 x
2
) +
2 3x
2
(4 5 x
2
) +
4 5x
2
(6 7 x
2
) +
.
.
.
Calculando los primeros 2 t erminos de la serie de potencias de la funci on sen x.
Esto es:
sen x = x
x
3
6
+
Luego, el convergente de orden 2 de la funci on sen x es
x
1 +
x
2
6 x
2
= x
x
3
6
12. Lambert, en 1770
tan(x) =
x
1
x
2
3
x
2
5
x
2
7
.
.
.
13. Gauss, en 1812
tanh(x) =
x
1 +
x
2
3 +
x
2
5 +
.
.
.
14. Lambert en 1770 y Lagrange en 1776
arctan(x) =
x
1 +
x
2
3 +
4x
2
5 +
9x
2
7 +
16x
2
9 +
.
.
.
, |x| < 1
15. Lambert en 1770 y Lagrange en 1776

log(1 + x) =
x
1 +
1
2
x
2 +
1
2
x
3 +
2
2
x
4 +
2
2
x
5 +
3
2
x
6 +
3
2
x
7 +
.
.
.
, |x| < 1
16. Lagrange en 1813
log
_
1 + x
1 x
_
=
2x
1
x
2
3
4x
2
5
9x
2
7
16x
2
9
.
.
.
, |x| < 1
17. Lagrange en 1776
(1 + x)
k
=
1
1
kx
1 +
1 (1 + k)
1 2
x
1 +
1 (1 k)
2 3
x
1 +
2(2 + k)
3 4
x
1 +
2(2 k)
4 5
x
1 +
3(3 + k)
5 6
x
1 +
.
.
.
, |x| < 1
18. Laplace, en 1805 y Legendre en 1826, descubrieron la fracci on continuada de
la integral de probabilidad, usada en la Teora de Probabilidad y Estadstica.
Esto es,
_
x
0
e
u
2
du =
2

1
2
e
x
2
x +
1
2x +
2
x +
3
2x +
4
x +
.
.
.
, x > 0.
Si se calcula mediante alg un paquete computacional, se puede ver que
_
1
0
e
x
2
dx = 0, 746824
Ahora, usando la expansi on en fracciones continuada de
_
x
0
e
u
2
du, con u va-
riando entre 0 y 1. De aqu, se tiene
_
1
0
e
x
2
dx =
2

1
2
e
1
2
1 +
1
2 1 +
2
1 +
3
2 1
= 0, 615158
lo cual es una aproximaci on v alida tomando en consideraci on que los paque-
tes computacionales aplican algoritmos muy complejos para el c alculo de esta
integral y solo hemos calculado 3 convergentes.
2.4.4. Fracciones continuadas y geometra
Se presentar a ahora la relaci on existente entre las fracciones continuadas y la ge-
ometra. Esto es, se mostrar a que
2 es irracional usando las fracciones continuadas

(v ease [40]).
Dado un cuadrado con lado igual a 1
y un crculo indicado como en la gura.
Se tiene
AC
2
= AB
2
+ BC
2
= 1
2
+ 1
2
= 2
luego, AC =
2. Observe que:
AC
BC
=
2
1

2 =
AC
BC
=
CD + AD
BC
=
= 1 +
AD
BC
= 1 +
1
BC
AD
= 1 +
1
2 +
AD
AB
D
C
E
B A
1
Aqu se tiene que AD y AE son segmentos de una secante que pasa por el crculo
con centro C. AB es tangente al arco con centro C. Luego, de las nociones de ge-
ometra plana, se sigue:
AB
2
= AE AD, o
AB
AD
=
AE
AB
;
AE = AD + DE = AD + 2BC, y BC = AB
BC
AD
=
AB
AD
=
AE
AB
=
AD + 2BC
AB
=
AD + 2AB
AB
= 2 +
AD
AB
Ahora bien, se tiene entonces
1 +
1
2 +
AD
AB
= 1 +
1
2 +
1
AB
AD
= 1 +
1
2 +
AD
AB
= 1 +
1
2 +
1
2 +
AB
AD
Observe que esta ser a una fracci on continuada innita, luego representar a a un n umero
irracional.
Por lo tanto, se concluye que
2 es un n umero irracional.
2.4.5. Fracciones continuadas ascendentes
Otra curiosidad que brinda la teora de las fracciones continuadas es la de las
fracciones continuadas ascendentes.
Consideremos ahora, una variaci on de las fracciones continuadas, las fracciones
continuadas ascendentes
4
que datan de Leonardo de Pisa
5
.
Siguiendo a Fibonacci, se tiene:
e c a
f d b
=
a
b
=
ad f + c f + e
bd f
=
a
b
+
c
d
1
b
+
e
f
1
b
1
d
4
De ascending continued fractions. Para m as informaci on cons ultese [8].
5
Conocido como Fibonacci (c. 1170- c.1250 ). Fue un mercantil italiano que viaj o principalmente a
Egipto, Siria, Grecia y Silicia. En 1202 escribi o Liber Abaci. Ah, el introduce las fracciones continuadas
ascendentes.
Luego,
e c a
f d b
=
a
b
=
a +
c +
e
f
d
b
As por ejemplo, una fracci on continuada ascendente para es
= 3 +
1 +
4 +
1 +
1 +
5 +
10
10
10
10
10
2.4.6. El problema del calendario
Se sabe que un a no, seg un el calendario Gregoriano, tiene
1 a no= 365 das 5 horas 48 minutos 46 segundos.
Se tratar a de expresar esa relaci on como una fracci on continuada (v ease [5], p ag. 93.).
Para esto, considere la siguiente proporci on:
5 horas 48 minutos 46 segundos
1 da
=
20926 segundos
86400 segundos
=
10463
43200
Luego, utilizando el algoritmo de la divisi on eucldea, se tiene
43200 = 4 10463 + 1348
10463 = 7 1348 + 1027
1348 = 1 1027 + 321
1027 = 3 321 + 64
321 = 5 64 + 1
64 = 64 1
De aqu, se puede concluir entonces que la fracci on continuada que expresa 1 a no,
est a dada por:
1 a no = [365; 4, 7, 1, 3, 5, 64];
esto es,
1 a no = 365 +
1
4 +
1
7 +
1
1 +
1
3 +
1
5 +
1
64
2.5. Observaciones
Al realizar el estudio sobre las fracciones continuadas, se puede ver que en la
matem atica a trav es de los tiempos, conceptos esencialmente elementales, muestran
un inter es entre la comunidad matem atica. As, se observa que en el desarrollo de
la teora de las fracciones continuadas, los m as grandes matem aticos de la historia
se han visto envueltos. Matematicos como Cataldi, Bombelli, Brounker, Euler, La-
grange, Lambert, Gauss, han sido partcipes en el desarrollo de esta teora: la teora
de las fracciones continuadas.
Podemos ver, que la idea de la matem atica acabada es err onea. Ya Euclides en 300
a.C. hacia uso de una manera implcita de las fracciones continuadas. Pasaron mas
de 1800 a nos y volvieron a resurgir con todo su potencial las fracciones continuadas.
Aqu, Cataldi, Bombelli, entre otros, siguieron desarroll andolas. M as adelante, Euler,
Lagrange, Lambert, Gauss continuaron con este t opico.
Adem as, las fracciones continuadas jugaron un papel muy importante en la de-
mostraci on de la trascendencia de .
Actualmente, la teora de las fracciones continuadas se usa por ejemplo en expan-
siones de Engel
6
Otros trabajos importantes sobre fracciones continuadas son: Music and Ternary
Continued Fractions de J. M. Barbour en The American Mathematical Monthly, Vol. 55,
No. 9. (Nov., 1948), pp. 545-555. Corrections to Continued Fractions for the Incom-
plete Beta Function de Leo A. Aroian en The Annals of Mathematical Statistics, Vol.
30, No. 4. (Dec., 1959), p. 1265. On Some Recent Developments in the Theory and
Application of Continued Fractions de P. Wynn en Journal of the Society for Industrial
and Applied Mathematics: Series B, Numerical Analysis, Vol. 1. (1964), pp. 177-197. y el
trabajo de Irvin, en [33].
Esto lo que reeja, es que las fracciones continuadas no es un tema muerto, es un
tema de gran aplicabilidad a la matem atica y sus aplicaciones.
Sin lugar a dudas, la parte m as importante de las fracciones continuadas es que,
a un al ser muy sencillo, el gran potencial que posee a la hora de realizar aproxima-
ciones.
6
Kraaikamp y Wu en el 2004 observaron que toda expansi on de Engel puede expresarse como una
fracci on continuada ascendente.
Captulo 3
Problemas Matem aticos
Resumen
Se realiza una breve descripci on de los 23 problemas que David Hilbert propuso en
1900, adem as de los 7 problemas propuestos por el Instituto de Matem aticas Clay
en el 2000.
3.1. Los 23 problemas de Hilbert
El 8 de agosto de 1900, David Hilbert pronunci o una conferencia en el Congreso
Internacional de Matem atica en Pars, en la que formulaba y razonaba 23 problemas
matem aticos. Los problemas son los siguientes (V ease [53] y [57]):
1. La hip otesis del continuo (i.e., no existe conjunto cuyo tama no este estricta-
mente entre el de los n umeros enteros y el de los n umeros reales).
2. Probar que los axiomas de la aritm etica son consistentes.
3. Se puede probar que dos tetraedros tiene igual volumen (bajo ciertas asun-
ciones)?
4. Construir todas las m etricas cuyas rectas sean geod esicas.
5. Son los grupos continuos grupos diferenciables de forma autom atica?
6. Axiomatizar la fsica.
7. Es a
b
trascendental, siendo a = 0, a = 1, a algebraico y b irracional algebraico?
8. La hip otesis de Riemann y la Conjetura de Goldbach.
9. Encontrar la ley m as general del teorema de reciprocidad en cualquier campo
num erico algebraico.
10. Encontrar un algoritmo que determine si una ecuaci on diof antica polin omica
dada con coecientes enteros tiene soluci on entera.
11. Resolver las formas cuadr aticas con coecientes num ericos algebraicos.
12. Extender el teorema de Kronecker sobre extensiones abelianas de los n umeros
racionales a cualquier campo num erico base.
13. Resolver todas las ecuaciones de s etimo grado usando funciones de dos par a-
metros.
14. Probar la nitud de ciertos sistemas completos de funciones.
15. Fundamento riguroso del c alculo enumerativo de Schubert.
16. Topologa de las curvas y supercies algebraicas.
17. Expresi on de una funci on denida racional como cociente de la suma de cuadra-
dos.
18. Existe un poliedro regular y que construya otros poliedros? Cu al es el apila-
miento compacto m as denso?
19. Son siempre analticas las soluciones de los Lagrangianos?
20. Tienen soluci on todos los problemas variacionales con ciertas condiciones de
contorno?
21. Probar la existencia de ecuaciones diferenciales lineales que tengan un grupo
monodr omico preescrito.
22. Uniformizaci on de las relaciones analticas por medio de funciones automor-
cas.
23. Extensi on de los m etodos del c alculo de variaciones.
Y cu antos de los problemas de Hilbert han sido resueltos?
Di eciseis de los problemas han sido resueltos. Estos problemas son: 1, 2, 3, 4, 5, 7,
9, 10, 11, 13, 14, 15, 17, 18, 21 y 22. Cuatro problemas 12, 19, 20 y 23 sus enunciados
son muy vagos o el problema en s no es claro. Y tres de esos problemas 6, 8 y 16
no han sido resueltos.
A continuaci on la lista de matem aticos que han trabajado arduamente hasta con-
seguir la resoluci on de uno de estos problemas, matem aticos que Benjamin Yandell
los ha denominado la clase de honor de Hilbert:
Kurt G odel
Paul Cohen
Yuri Matiyasevich
Julia Robinson
Martin Davis
Max Dehn
Herbert Busemann
Aleksei V. Pogorelov
Andrew Gleason
Dean Montgomery
Leo Zippin
Alexander Gelfond
Problemas Matem aticos 57
Theodor Schneider
Carl Siegel
Teiji Takagi
Emil Artin
Helmut Hasse
Masayoshi Nagata
Ludwing Bieberbach
Paul K obe
J. Henri Poincar e
Josip Plemelj
Andrei Bolibruch
3.2. Los 7 problemas del Milenio
El 24 de mayo de 2000, en Pars, el Instituto de Matem aticas Clay de Cambridge,
Massachusetts anunci o que siete premios de un mill on de d olares cada uno eran
ofrecidos para quien resolviera alguno de los siete problemas que pronto enuncia-
remos. Para la elecci on de estos problemas se cont o con un Comit e Internacional de
Matem aticos que los escogieron como los m as difciles e importantes en el campo de
la matem atica actual. Sir Michael Atiyah y John Tate, dos inuyentes matem aticos,
los anunciaron. Estos problemas son los siguientes (v ease por ejemplo [18]):
1. La hip otesis de Riemann: Formulada por Bernhard Riemann en 1859.
La hip otesis dice: Los ceros de la funci on zeta de Riemann tiene parte real igual a un
medio.
Es v alida para los primeros mil quinientos millones de ceros. La demostraci on
dara informaci on denitiva a varias cuestiones sobre la frecuencia de los n u-
meros primos.
2. P versus NP: Formulada por Stephen Cook en 1971.
Es cierto que P es igual a NP?.
La pregunta equivale a determinar si todo lenguaje aceptado por un algorit-
mo no determinstico en un tiempo polinomial es tambi en aceptado por alg un
algoritmo determinstico en tiempo polinomial.
Una respuesta armativa permitira disponer de algoritmos utiles para muchos
problemas computacionales, pero al mismo tiempo destruira la seguridad de
transacciones nancieras hechas a trav es del Internet.
Este problema tiene relaci on con la criptografa.
3. La conjetura de Hodge: Formulada por William Hodge en 1950.
En una variedad algebraica proyectiva no singular sobre los complejos toda clase de
Hodge es una combinaci on lineal racional de clases de ciclos algebraicos.
Si la conjetura es cierto, los ciclos de Hodge admitiran una interpretaci on ge-
om etrica y eso permitira conocer c omo las piezas se adjuntan a determinados
espacios para construir otros.
4. La conjetura de Poincar e
1
: Formulada por Henri Poincar e en 1904.
1
Resuelta por Grigori Grisha Perelman en 2003
Toda 3variedad cerrada simplemente conexa es homeomorfa a la 3esfera

5. La Teora de Yang-Mills: Formulada por Chen-Ning Yang y Robert Mills en
1950.
Demostrar que para todo grupo gaunge simple compacto, la teora cu antica de Yang-
Mills en el espacio de dimensi on 4 existe y tiene defecto de masa positivo.
6. Las ecuaciones de Navier-Stokes: En honor a los matem aticos Claude Louis
Henri Navier y George Gabriel Stokes.
Existen soluciones diferenciables, fsicamente razonables para las ecuaciones de Navier-
Stokes en 3 dimensiones?
La importancia de las ecuaciones de Navier-Stokes radica en que describen el
movimiento de un uido en el espacio.
7. La conjetura de Birch y Swinnerton-Dyer: Propuesta por Brian Birch y Peter
Swinnerton-Dyer en 1965. M as o menos dice:
Las soluciones racionales de determinadas ecuaciones algebraicas est an ntimamente
ligadas con una cierta funci on zeta como la de Riemann, de manera que si la funci on se
anula en el punto 1, entonces hay una innidad de puntos racionales y si no se anula,
solo hay un n umero nito.
Estos problemas no pretenden marcar la direcci on de las Matem aticas durante
el siglo XXI, s olo quiere centrar la atenci on en un peque no conjunto de cuestiones
matem aticas pendientes desde hace tiempo.
Captulo 4
Caos: una breve rese na
A lo largo de un perodo de varios miles de a nos, la humanidad fue comprendiendo lenta-
mente que la naturaleza posee muchas regularidades, que pueden ser registradas, anali-
zadas, predichas y explotadas. En el siglo XVIII, la ciencia haba tenido tal exito en el
descubrimiento de las leyes de la naturaleza que muchos pensaron que quedaba poco por
develar. Leyes inmutables determinaban el movimiento de cada partcula del universo,
de forma exacta y para siempre: la tarea del cientco consista en dilucidar las implica-
ciones de dichas leyes para cualquier fen omeno de inter es. El caos haba sido sustituido
por un mundo hecho de engranajes mec anicos.
Ian Stewart, Juega Dios a los dados?. La Matem atica del caos.
Resumen
Este es un recorrido atrav es de la historia de uno de las m as grandes revoluciones
tanto en la ciencia como en la matem atica: el caos.
Se realiza un viaje a trav es de sus inventores y sus principales pioneros, as como
sus principales inuencias en la contemporaneidad.
4.1. Introducci on
La batalla eterna entre el orden y el desorden, armona y caos, debe interpretar
una percepci on humana muy profunda del universo, pues forma parte del imagi-
nario de muchas culturas. En la cosmologa de la antigua Grecia, el caos era el vaco
primitivo del universo y el submundo donde habitaba la muerte. En una historia ba-
bil onica, el universo surge del caos que sobrevino cuando una ingobernable familia
de los dioses de los abismos fue destruda por su propio padre.
El orden es considerado equivalente al bien y el desorden al mal. El orden y el
caos considerados como polos opuestos, sobre los que gira nuestra interpretaci on de
mundo.
Parece que el ser humano trae consigo impulsos que pretenden comprender re-
gularidades de la naturaleza, pretende encontrar leyes ocultas tras las inexplicables
complejidades del universo, pretende extraer orden del caos.
La matem atica surge como apasiguador de estos impulsos innatos del ser hu-
mano. La matem atica surge a partir de cuestiones sobre un mundo fsico y justica
su existencia al darnos algunas respuestas. Quiz a la matem atica es efectiva porque
representa un lenguaje creado por el ser humano, quiz a las unicas pautas que so-
mos capaces de percibir son la matem atica, porque la matem atica es el instrumento
de nuestra percepci on. Quiz a, el exito de la matem atica sea una ilusi on c osmica,
quiz a no existen verdaderas pautas, sino que son las construcciones creadas las que
determinan nuestro devenir.
Todas estas cuestiones nos invaden, pero la realidad pr actica es que la matem atica
constituye el m etodo m as efectivo para poder comprender nuestros alrededor.
La revoluci on del pensamiento cientco que culmin o con Isaac Newton, nos
hered o un visi on de mundo como un engranaje gigantesco, que funcionaba de ma-
nera mec anica, determinstica, de precisi on absoluta. El mensaje que nos dej o esta
epoca fue que la naturaleza posea unas leyes y que el ser humano era capaz de
encontrarlas. Y este mensaje deni o la estela a seguir de la ciencia que reci en naca.
Esta idea de un mundo predeterminado, era la idea de muchos de los m as grandes
pensadores del siglo XVIII, es as como Pierre Simon Laplace, es su Ensayo los oco
sobre las probabilidades lo expresa (citado por Ian Stewart en su libro Juega Dios a los
dados?):
Un ser inteligente que en un instante dado conociera todas las fuerzas que an-
iman la Naturaleza y las posiciones de los seres que la forman, y que fuera lo
suentemente inmenso para poder analizar dichos datos, podra condensar en
una unica f ormula el movimiento de los objetos m as grandes del universo y el de
los atomos m as ligeros: nada sera incierto para dicho ser; y tanto el futuro como
el pasado estaran presentes ante sus ojos.
Esto nos reeja el idealismo deterministico de toda una epoca, de todo un paradig-
ma. El paradigma del determinismo cl asico haba nacido: si las ecuaciones describen
la evoluci on del sistema unvocamente, en ausencia de perturbaciones externas alea-
torias, su comportamiento est a entonces unvocamente especicado en todo instante.
Funcionaba.
Aunque nos parezca un poco absurdo hoy da, ese era la consigna de los precur-
sos de la ciencia moderna. La ciencia poco a poco ha ido sustituyendo el esquema, ha
ido cambiando de una posici on completamente cuantitativa y determinstica, hacia
una ciencia un poco m as cualitativa y probabilstica.
Aunque muchos no lo consideren as, la ciencia moderna se encuentra reem-
plazando el orden por el caos, ya que este supuesto orden, genera m as caos.
Pero, Qu e es el caos?. Para Ian Stewart en su libro Juega Dios a los dados?,
Caos es el comportamiento estoc astico que ocurre en un sistema deterministico, es
el comportamiento sin ley, gobernado completamente por la ley.
Caos: una breve rese na 61
4.2. Teora del Caos: una aproximaci on hist orica
La ciencia cl asica acaba donde el caos empieza. La porci on irregular de la na-
turaleza, su parte discontinua y variable, ha sido un rompecabezas a los ojos de la
ciencia, o peor alg un, una monstruosidad.
En 1970, muchos cientcos estadounidenses y europeos iniciaron el camino en el
desorden (el caos). Eran matem aticos, fsicos, bi ologos. Una de las pocas veces en que
la interdisciplinaridad colm o las ciencias. Todos buscan nexos entre las diferentes
clases de irregularidades. As pues, los si ologos encontraron caos en el coraz on, los
ecologistas exploraron el aumento y decrecimiento de la poblaci on de mariposas, los
economistas empezaron a realizar an alisis de datos considerando el caos.
La nueva ciencia, el caos, ha inventado un nuevo l exico caracterstico, una jerga
distinguida de fractales, bifurcaciones, intermitencias, periodicidades, difeomors-
mos de toalla doblada y diagramas de deos blandos.
El caos aparece por doquier. Una columna de humo ascendente, la bandera on-
deada por la brisa, el tiempo atmosf erico.
Los m as fervorosos defensores del caos, declaraban que el siglo XX se recordara
s olo por tres cosas: la relatividad, la mec anica cu antica y el caos. Quiz a tuvieron
raz on.
Seg un algunos fsicos
1
, la relatividad acab o con la ilusi on del espacio y tiem-
po absoluto de Newton (Sir Isaac Newton (1643-1727)); la teora cu antica arruin o el
sue no del mismo sabio de un proceso de medici on controlable; y el caos acab o con
la fantasa de Laplace (Pierre-Simon Laplace (1749-1827)) de la predecibilidad deter-
minista.
4.2.1. Efecto Mariposa
Edward Lorenz
2
cre o en 1960, un tiempo de juguete que fascin o a sus colegas.
Con su m aquina, una Royal Mc Bee, se se nalaba cada minuto el paso de un da,
imprimiendo una hilera de n umeros en papel. Quien saba leer estos datos, poda
percatarse de vientos, ciclones digitalizados y dem as.
Lorenz despu es de una cantidad de tanteos y equivocaciones, escogi o 12 ecua-
ciones diferenciales que expresan nexos entre temperatura, presi on, velocidad del
viento, entre otras, para as poder moldear el tiempo atmosf erico.
En un principio, Lorenz haba encontrado cierta regularidad en sus predicciones
y formas de ver y analizar el tiempo.
1
Joseph Ford, en What is Chaos, that we should be mindful of it?. Georgia Institute of Technology.
2
Edward Norton Lorenz es un matem atico y mete orologo estadounidense, contribuy o en la teora
del caos e inventor de lo que se conoce como atractores extra nas. Acu n o el t ermino efecto mariposa.
Lorenz construy o un modelo matem atico muy simplicado, que intentaba capturar el comportamien-
to de la convecci on en la atm esfera. Lorenz estudi o las soluciones de su modelo y se dio cuenta que
alteraciones mnimas en los valores de las variables iniciales resultaban en soluciones ampliamente
divergentes. Esta sensible dependencia de las condiciones iniciales fue conocida despu es como el
efecto mariposa. Su investigaci on dio origen a un renovado inter es en la teora del caos.
En un da del invierno de 1961, Edward Lorenz tom o un atajo en sus algorit-

mos para la predicci on del tiempo. Para no comenzar por el principio, empez o a
medio camino (inici o su an alisis de las ecuaciones en su Royal Mc Bee a medio
camino), copi o los n umeros directamente de la impresi on anterior, pensando en que
su m aquina funcionase seg un las condiciones iniciales, se fue a tomar un caf e, y
cuando regres o, una hora despu es, se encontr o con lo inesperado, algo que eran los
cimientos de una nueva ciencia (desconocida hasta entonces).
Lorenz vio en la nueva impresi on de n umeros, que su tiempo diverga muy
r apido. Todas las similitudes con los datos anteriores se haban borrado. Primero
pens o que su Royal Mc Bee haba fallado, luego Lorenz comprendi o que no haba
desperfecto.

El haba entrado una expresi on m as corta, redondeada, convencido de
que la diferencia no tena importancia. Su input fue 0, 506, en vez del original 0, 506127.
Ver gura 4.1.
Figura 4.1: Experimento de Lorenz
Se trataba de una suposici on razonable, pero el peque no error num erico, que era
como el soplo de aire, provoc o que los errores nmos fueran catastr ocos.
Las computadoras empezaron a jugar un papel muy importante en la meteo-
rologa, su predicciones de tiempos atmosf ericos eran buenas en los primeros dos
das, m as o menos al tercer da se volvan especulativos y a partir del sexto o s etimo
da, se volvan despreciables.
La raz on de todo ello, el efecto mariposa.
Figura 4.2: Dependencia sensitiva a valores iniciales.
El descubrimiento de Lorenz fue accidente, al igual que el de Arqumedes de
Siracusa (287 aec.-212 aec.) y su ba no. Sin embargo, Lorenz se propuso descubrir las
consecuencias de su hallazgo y averiguar que signicaba lo descubierto, por ejemplo,
para los uidos.
El efecto mariposa no era accidental, sino necesario. Luego, fue adquiriendo di-
ferentes connotaciones, por ejemplo, dependencia sensitiva de los valores iniciales.
Existe una frase anglosajona que representa muy bien al efecto mariposa:
Por un clavo, se perdi o la herradura;
por una herradura, se perdi o el caballo;
por un caballo, se perdi o el jinete;
por un jinete, se perdi o la batalla;
por una batalla, se perdi o el reino.
Un sistema determinista puede producir mucho m as que un comportamiento
peri odico.
Lorenz, abandon o el tiempo y busc o formas m as sencillas de producir compor-
tamientos complejos. Encontr o en un sistema de ecuaciones diferenciales no lineales
tal comportamiento. La clave del caos, sistemas de ecuaciones diferenciales no lineales.
Lorenz, encontr o el siguiente:
_
_
dx
dt
= (y x)
dy
dt
= x y xz
dz
dt
= xy z
el cual genera al Atractor de Lorenz.
Figura 4.3: Atractor de Lorenz
En la din amica de uidos casi todo depende de la ecuaci on de Navier-Stokes,
muy breve, que hace referencia a la velocidad, presi on, densidad y viscosidad, pero
es no es lineal.
Du
i
Dt
= F
i
P
x
i
+
_

2
u
i
x
i
x
j
+
1
3
x
i
_
Antes del caos, seg un Richard Feynmann:
Los fsicos se complacen en pensar que basta decir: estas son las condiciones iniciales. Pero,
Qu e sucede a continuaci on?
4.2.2. Los primeros a nos del caos

Quienes reconocieron el caos desde el principio se debatieron en c omo dar forma
publicable a sus pensamientos y hallazgos. Era una tarea muy complicada: dema-
siada abstracta para los fsicos y muy experimental para los matem aticos. El caos se
consideraba disparatado y acientco. Ciertas revistas establecieron reglas no escritas
contra el caos, otras en cambio, vieron el da exclusivo para tratar con el.
Los caotistas o ca ologos, comparecieron con frecuencia en las listas de plazas pen-
sionadas y premios importantes. Se fundaron centros e institutos para especializarse
en din amicas no lineales y sistemas complejos.
El caos se convirti o en una ciencia experimental para investigadores y matem a-
ticos, en la que el computador sustituy o los laboratorios llenos de tubos de ensayo
y microscopios. En est a ciencia, la rata de laboratorio fue el p endulo de la mec anica
cl asica.
Al igual que Arqu emedes y su ba no, Newton y su manzana, Galileo Galilei (1564-
1630) observaba una l ampara de la iglesia que oscilaba de aqu para all a, una y otra
vez. Galileo al contemplar un p endulo, observaba una regularidad que se poda
medir.

El perciba est a regularidad, porque haba formulado una teora que as lo
predeca. Tan seguro estaba, que vio regularidad donde no exista.
Durante el siglo XX, ning un fsico se molestaba en estudiar el p endulo.
Al haber un nuevo paradigma los fsicos empezaron a replantearse detalles co-
mo el movimiento de un p endulo, aprendieron a considerar sistemas de ecuaciones
diferenciales no lineales. As por ejemplo, para poder comprender la turbulencia se
necesitaba comprender a fondo los p endulos. Las reacciones qumicas tenan com-
portamiento pendular, el latido del coraz on tambi en.
Steven Smale, un matem atico de la Universidad de California, ganador de la
Medalla Field
3
por haber resuelto una de las conjetura de Poincar e sobre espacios
de cinco o m as dimensiones en Topologa, intent o comprender como difera la con-
ducta global de lo local.
Durante una conversaci on, un joven fsico le pregunt o a Smale, que a qu e se
dedicaba?, la respuesta lo dej o at onico: en osciladores. Era absurdo, como un gran
matem atico iba a estudiar fsica muy elemental. Luego el fsico se dio cuenta que
Smale, trabajaba en osciladores no lineales, es decir, en osciladores ca oticos y que
vea en ellos cosas que los fsicos no haban aprendido a ver.
En la d ecada de 1960, Smale abandon o la Topologa y se dedic o a estudiar sis-
temas din amicos. Tanto la topologa como los sistemas din amicos haban nacidos
muy cercanos a la fsica, pero los matem aticos se olvidaron de ello y empezaron su
estudio en abstracto.
En un principio Smale, consideraba que el caos era equivalente a la inestabilidad
4
,
luego se dio cuenta de que eran deniciones distintas y no conectadas.
3
La medalla Field es el equivalente al Premio Nobel en Fsica, es otorgado a matem aticos que
realizan aportes sobresalientes al area y que sean menores de 40 a nos.
4
Aqu se hace alusi on a sistemas din amicos o sistemas de ecuaciones diferenciales estables o in-
estables.
Para muchos fsicos, Smale devolvi o toda una rama matem atica, los sistemas
din amicos, al mundo real, ya que como mencionamos, los matem aticos estaban si-
guiendo por el camino de la abstracci on sin asociar sus teoras a la naturaleza.
Pronto, el caos se extendi o por todo el mundo, en la antigua Uni on Sovi etica y
Jap on, trabajaron cosas importantes referentes al caos.
4.3. Im agenes del caos
Benoit Mandelbrot, un matem atico que trabajaba con la International Business
Machine (IBM), presentado en una conferencia como . . . ense n o economa en Harvard,
ingeniera en Yale, siologa en Einstein School of Medicine. . . , coment o: al or la lista
de mis pasadas ocupaciones, llego a dudar de mi existencia. La intersecci on de tales
conjuntos est a indudablemente vaca. Mandelbrot se dedic o a estudiar el fen omeno
de medici on por escalas. Mandelbrot era un refugiado de los Bourbaki
5
.

Este estu-
di o la longitud de las costas de Inglaterra, observando que cuando consideraba una
escala mucho m as peque na lograba encontrar grandes discrepancias en sus longi-
tudes. Benoit, en cierto sentido, arm o que los litorales eran innitos, considerando
escalas diferentes escalas las grandes discrepancias est an presentes.
Ya Henri Poincar e, en 1912, haba denido las dimensiones enteras. Una nueva
dimensi on fue inventada por Felix Hausdorff en 1919 y desarrollada ampliamente
por A.S. Besicovitch. en 1930. Se trata las dimensiones entre 0 y 1 (o dimensiones
fraccionarias). Estas dimensiones llamadas dimensi on de Hausdorff-Besicovitch,
actualmente se llaman dimensiones fractales.
Figura 4.4: Dimensi on Fractal
Es as como Benoit Mandelbrot, que trabajaba con estas dimensiones le dio el
nombre de fractales
6
.
5
Bourbaki naci o como un club, fundado durante durante la inquieta estela de la Primera Guerra
Mundial por Szolen Mandelbrojt, to de Benoit Mandelbrot, y un grupito de j ovenes que buscaban el
modo de recticar las matem aticas francesas. Este grupo surgi o, en parte, como reacci on en contra de
Henri Poincar e, el gran hombre de la segunda mitad del siglo XIX, pensador de formidable produc-
ci on y escritor, al que el rigor preocupaba menos que a otros hombres de ciencia. Bourbaki, opinaba
que Poincar e haba legado una base insegura a la matem atica, y escriban un tratado enorme para
llevar a la matem atica al sendero formal.
6
Del verbo latn frangere; romper, y jugando con vocablos anes ingleses, fraction; fracci on.
4.3.1. Fractales
Qu e es un fractal?
Denici on de Benoit Mandelbrot: un fractal es un conjunto en el que su dimen-
si on Hausdorff Besicovich excede extrictamente la dimensi on topol ogica.
Todava en tinieblas? No te preocupes. Esta denici on s olo es importante si eres
un matem atico.
Un fractal es, simplemente, una gura que es construida a partir de piezas cada
una de las cuales es aproximadamente una copia reducida del fractal completo.
Este proceso se repite hasta completar el fractal. Hay muchos hechos sorpren-
dentes sobre los fractales:
son independientes de la escala,
son autosimilares,
y recuerdan objetos encontrados en la naturaleza como nubes, monta nas, o
costas.
Seg un Edison De Fara en su artculo Fractales, otra denici on informal de fractal
podra ser: la dimensi on fractal de un objeto es una medida de su grado de irregularidad,
considerada en todas sus escalas, y puede ser mayor que la dimensi on cl asica del objeto...Un
fractal es algo irregular, pero lo m as importante es que si lo ampliamos arbitrariamente, el
a un sigue siendo irregular.
Hay muchas estructuras matem aticas que son fractales.
Muchos fractales son creados por un proceso iterativo por ejemplo: el fractal
conocido como la curva de von K och es creada dividiendo una lnea hasta obte-
ner 4 lneas. Esta es la primera iteraci on del proceso. Luego repetimos este cambio y
despu es de una cantidad innita de iteraciones, obtenemos un fractal. Su forma se
parece a la tercera parte de un copo de nieve.
Muchas otras guras pueden ser construdas por m etodos similares. Por ejemplo,
cambiando una lnea de manera distinta obtenemos un arbol.
Las iteraciones pueden ser introducir posiblemente algo de ruido aletario en un
fractal dividiendo una lnea en dos lneas y agregando un poco de error puedes
obtener fractales que se parezcan a una costa de playa.
Un proceso similar podra crear nubes, monta nas, y muchas otras formas de la
naturaleza.
Un fractal es una manera de ver lo innito con el ojo de la mente. Ian Stewart, en
el ap endice del libro What is the Mathematics?, de Richard Courant, dene fractal
como objetos geom etricos con estructuras en todas las escalas.
La matem atica detr as de los fractales
Los fractales son un campo muy nuevo de las matem aticas, as que a un existen
muchas preguntas sin resolver. Incluso las deniciones no est an claras. Usualmente
llamamos a algo fractal, si muestra alguna auto-similitud.
Una de las posibles deniciones es la de Benoit Mandelbrot: un fractal es un con-
junto en el que su dimensi on Hausdorff-Besicovich excede extrictamente la dimen-
si on topol ogica. Qu e signica esto? Para explicarlo, primero necesitamos entender
qu e son las dimensiones topol ogicas y de Hausdorff Besicovich.
La dimensi on topol ogica es la dimensi on normal. Un punto tiene 0 dimensiones.
Una lnea tiene una dimensi on. Una superfcie tiene dos, etc . . .
La denici on de la dimensi on Hausdorff Besicovich proviene de este simple he-
cho: El lado de una lnea ampliada dos veces (zoom) crece tambi en a lo m as dos
veces. Por otro lado, el tama no de un cuadrado crece cuatro veces como mucho. Re-
glas similares funcionan para mayores dimensiones tambi en.
Para calcular las dimensiones para este hecho, debes usar la siguiente ecuaci on:
dimensi on =
log s
log z
donde z es el cambio de zoom y s es el cambio del tama no para una lnea con zoom
2, el tama no del cambio tambi en es 2: log2/log 2 = 1, para un cuadrado con zoom
2, el tama no del cambio es 4: log 4/log2 = 2. As, esta denici on da los mismos
resultados para formas normales.
Las cosas se tornan m as interesantes con los fractales: Considere una curva de un
copo de nieve que se crea cambiando repetidamente una lnea por cuatro lneas. Las
nuevas lneas son
1
3
del tama no de la lnea original Despu es de acercar (zoom) 3 ve-
ces, estas lneas ser an exactamente del mismo tama no que las lneas originales. Esto
ocurre por la auto-similitud creada por la repetici on innita de esta metamorfosis,
cada una de estas partes se convierte en una copia exacta del fractal original.
El tama no del fractal crece 4 veces porque hay cuatro copias del mismo. Despu es
de colocar estos valores en las ecuaciones:
log 4
log 3
= 1,261
Obtenemos un valor mayor que uno! (La dimensi on topol ogica de la curva).
La dimensi on Hausdorff Besicovich (1,261) es mayor que la dimensi on topol ogi-
ca. De acuerdo con esta denici on, se concluye que nuestro copo de nieve es un
fractal.
Esta denici on, sin embargo, no es perfecta ya que excluye muchas guras que
son fractales. Pero demuestra una de las propiedades interesantes de los fractales, y
que es muy popular. La dimensi on Hausdorff Besicovich tambi en se conoce como la
dimensi on fractal.
Generar fractales
El m etodo para generar los fractales basado en el uso de la iteraci on. Se toma el
plano complejo El eje real es colocado horizontalmente y el eje imaginario es colo-
cado verticalmente. Cada punto tiene su propia orbita. La trayectoria sobre la que
se calcula utilizando la funci on iterativa, f (z, c) donde z es la posici on previa y c es
la nueva posici on en el plano. Por ejemplo, en el conjunto Mandelbrot, la funci on

iterativa es z = z
2
+ c. En caso de que queramos examinar el punto 0 0, 6i, asig-
namos este par ametro a c la iteraci on de la orbita comienza en z = 0 + 0i. Luego,
repetidamente calculamos la funci on iterativa, y repetidamente obtenemos un nue-
vo valor para z para la siguiente iteraci on. Revisamos si el punto que pertenece al
conjunto, es decir, si la orbita permanece nita. En este caso, s lo est a. As que el
punto est a dentro del conjunto. En otros casos, ir a r apidamente hacia el innito (por
ejemplo, el valor 10 + 0i cuya primera iteraci on es 110, la segunda es 12110, etc. . . . )
As que estos puntos est an fuera del conjunto.
A un estamos hablando de n umeros innitos y de iteraciones de n umeros innitos
pero los computadores son nitos, as que no pueden calcular fractales de forma
exacta.
Se puede probar que, en caso de que la distancia de la orbita desde cero es mayor
que 2, siempre se ir a al innito. Entonces podemos interrumpir los c alculos para
orbitas que fallan este test. Esto se conoce como el test de borde. En los casos de estar
calculando puntos que est an fuera del conjunto, necesitamos s olo un cantidad nita
de iteraciones.
Ejemplos de Fractales
Conjunto de Mandelbrot:
Sin lugar a dudas el fractal m as famoso es El conjunto Mandelbrot. Es generado
por una f ormula muy simple. El conjunto de Mandelbrot, consiste de todos
los n umeros complejos representados en el plano que cumplen: c, c
2
+ c, (c
2
+
c)
2
, . . ., pero es uno de los fractales m as hermosos. Ver gura 4.5.
Figura 4.5: Conjunto de Mandelbrot
Puesto que el conjunto Mandelbrot es un fractal, sus lmites contienen peque nas
copias del conjunto completo. El conjunto Mandelbrot no es completamente
autosimilar, luego cada copia peque na es diferente. Otras copias en las distin-
tas partes del conjunto dieren m as.
Los lmites no s olo contienen copias del conjunto, sino una verdadera var-
iedad de guras diferentes. Algunas de ellas son sorprendentemente similares
a aquellas encontradas en la naturaleza: puedes ver arboles, rios con lagos,
galaxias, y cascadas. El conjunto Mandelbrot tambi en contiene guras comple-
tamente nuevas.
Curva de K och:
En honor a Helge von K och, qui en lo descubri o originalmente en 1904. Este
tiene dimensi on 1, 2618. Ver gura 4.6.
Figura 4.6: Curva de K och
Conjunto de Julia:
En honor al matem atico franc es Gaston Julia. Ver gura 4.7. El conjunto Man-
delbrot no es el unico fractal generado por la f ormula z = z
2
+ c. El otro es el
conjunto Julia.
Figura 4.7: Conjunto de Julia. f (z) = z
2
1
.
No hay un unico conjunto Julia, sino una variedad innita de ellos. Cada uno
es construido a partir de una semilla, que es un punto elegido del conjunto
Mandelbrot. El conjunto Mandelbrot puede considerarse como un mapa de
varios conjuntos Julia. Puntos dentro del conjunto Mandelbrot corresponden
a Julias con grandes areas negras conexas, mientras que los puntos fuera del
conjunto Mandelbrot corresponden a Julias inconexos.
Los Julias m as interesantes tienen su semilla en los lmites del conjunto Man-
delbrot.
El tema de un conjunto Julia tambi en depende fuertemente de la semilla que
escojas. Cuando te aproximas al conjunto Mandelbrot, obtendras un fractal
tem aticamente muy similar cuando cambias a su correspondiente Julia. Al ejate

de nuevo, y descubres que estas en un fractal completamente diferente.
Los conjuntos Julia pueden parecer aburridos puesto que no cambian de tema
y permanecen eles a la semilla elegida del conjunto Mandelbrot. Pero si eliges
cuidadosamente la semilla puedes generar preciosas imagenes.
4.4. A modo de cierre
Estas formas de observar las cosas con sus dimensiones fractales, dej o ver que
supercies que parecan lisas, presentaban abultamientos caprichosos, es decir, eran
ca oticos. Con el uso de las dimensiones fractales, muchos fen omenos que parecan
lisos o lineales, podan estudiarse m as a fondo como sistemas ca oticos. As por ejem-
plo, las ramicaciones de los bronquios eran fractales.
A la comunidad matem atica en general no le gustaba hablar de Mandelbrot, pues
consideraban su trabajo con poco rigor, con conceptos oscuros, no era matem atico
su trabajo, m as bien computacional. Para referirse a los fractales, se referan a lo
fraccional como dimensi on Hausdorff-Besicovitch.
El t ermino fractal denot o un procedimiento de descripci on, c alculo y pensamien-
to de las guras irregulares y fragmentadas, dentadas y descoyuntadas, guras que
iban desde las lneas cristalinas de los copos de nieve hasta el polvo discontinuo de
las galaxias.
As pues, Robert May y James Yorke, mostraron que eran fractales todas las es-
tructuras que proporcionaron la clave de la din amica no lineal.
Muchos estaban convencidos que la geometra de Mandelbrot, era la propia ge-
ometra de la naturaleza.
Podemos ver que el estudio del caos mantuvo ocupado a los m as grandes mate-
m aticos, fsicos y cientcos en general de la segunda mitad del siglo XX. Algunos
de ellos como A.N. Kolmogorov, V.I. Arnold, Henri Poincar e, Birkhoff, Levinson,
Smale, Guckenheimer, Ruelle, Ulam, Metropolis, Stein, R ossler, Yorke, May, Mandel-
brot, Feigenbaum, Barnsley, Devaney, Julia, Fatou, entre otros, nos muestran la gran
multidisciplinariedad existente entre las ramas de las ciencias. El caos, hoy da se
aplica al comportamiento social, a la economa.
Si desea profundizar en el tema, puede consultar An Introduction to Chaotic
Dynamical Systemde Robert Devaney. Tambi en del mismo autor, puede consultarse
Chaos and Fractals: the mathematics behind the computer graphics.
El descubrimiento del caos requiri o muchas cosas y mucha gente. Hicieron fal-
ta matem aticos puros para el desarrollo de una aproximacimaci on topol ogica a la
din amica cualitativa y para preguntarse cuestiones sucientemente generales. Se
necesitaron fsicos para enlazar las respuestas con el mundo real. Se necesitaron ex-
perimentadores para comprobar que las teoras tenan sentido.
Preguntarse cu al contribuci on fue la m as importante?, es equivalente a pregun-
tarse qu e es m as importante, el coraz on, los pulmones o el cerebro?. Lo importante
es la combinaci on de ellos.
Captulo 5
Curiosidades Matem aticas
Resumen
El presente trabajo intenta mostrar algunas curiosidades matem aticas que pueden
ser utiles en la ense nanza y aprendizaje de la matem atica. Incluye un breve esbozo
hist orico de la notaci on matem atica, curiosidades num ericas, an ecdotas, entre otros.
5.1. Introducci on
En los procesos de ense nanza y aprendizaje de la matem atica, un rasgo conicti-
vo que se presenta es el abordaje de la matem atica como una asignatura misteriosa,
casi m agica. As, la unica forma de hacerla accesible a los estudiantes es mediante la
utilizaci on de f ormulas y algoritmos. La matem atica se presenta a los estudiantes co-
mo una materia de completa aplicaci on, dejando de lado la parte creativa y creadora
que ella nos presenta.
Esto no quita m erito a la necesidad de los algoritmos y f ormulas para algunas
aplicaciones cotidianas, pero si limita la capacidad creadora.
Ahora bien, c omo podemos hacer la clase de matem atica m as amena?. Existe
muchas modelaciones te oricas que nos dan una aproximaci on.
En mi pr actica matem atica, una de las cosas que intento es sorprender a mis
estudiantes con alguna curiosidad que se logr e asociar con la naturaleza plausible y
porque no, a la naturaleza propia de la matem atica.
A continuaci on, presento una recopilaci on de algunas curiosidades que pueden
sembrar una espina de asombro al lector hacia la matem atica.
Vale mencionar adem as, que este trabajo surge como una inquietud obtenida en
el I Campamento de Ense nanza de Matem atica Jonathan Castillo Solano, UCR-UNA, el
cual trat o sobre juegos en la Ense nanza Matem atica.
5.2. Signos matem aticos

Estamos habituados desde nuestros primeros a nos escolares a reconocer, junto
con las cifras, una serie de smbolos aritm eticos tales como el de la suma + y la
multiplicaci on , etc. Muchos pensar an que estos smbolos son tan antiguos como
las letras o tal vez como los propios n umeros, sin embargo, no es as. A medida
que el algebra fue progresando, los matem aticos, para facilitar la escritura de las
f ormulas, fueron introduciendo, con m as o menos exito, nuevos smbolos operativos.
Al principio las f ormulas matem aticas eran una especie de imitaci on del lenguaje
hablado, algo as como si en vez de 40 +50 3 = 87 escribi esemos 40 m as 50 menos
3 igual a 87. Tal manera de proceder se ha llamado c alculo literal o algebra ret orica.
1. Girolamo Cardano (1501-1576), en Italia, escribe su Ars Magna, primer tratado
de algebra merecedor de este nombre, seg un Rey Pastor, en el que da un salto
notable del algebra ret orica a la simb olica.
2. Michael Stifel (1485-1567), alem an, en su obra Arithmetica Integra, populariz o los
smbolos + y desplazando a los signos p (plus) y m(minus), seg un Arg uelles.
Rey Pastor dice que los signos + y aparecen utilizados por primera vez por
el alem an Widmann (1489), y no se sabe si proceden de la deformaci on de las
iniciales de plus y minus. Stifel utilizaba expresiones como xxxx, o xx, para las
potencias cuarta o segunda de x.
3. Christoph Rudolff (1500-1545), alem an, publica en 1525, el primer tratado de
algebra en alem an vulgar titulado Coss. La cosa era el nombre que se daba a
la inc ognita, que hoy representaramos por x y el arte c oisico era el algebra. En
esta obra aparece, por primera vez, el smbolo

O, corrupci on de la inicial de la
palabra radix, para indicar la raz cuadrada. La raz cuadrada de un n umero se
designaba antes del siglo XVI poniendo un punto delante del n umero.
4. Robert Recorde, ingl es, publica en 1557 su obra The Whetstone of Witte, primer
tratado ingl es de algebra, en que introduce el signo = por no haber nada m as
igual que estos dos trazos paralelos; sin embargo pasar an m as de cien a nos antes
de que este signo triunfe sobre otras notaciones rivales.
5. Adriano Van Roomen, holand es, hacia 1598, en un comentario al algebra de
Alhwarazmi, escriba A(3), B(2), etc. para expresar el cubo de A o el cuadra-
do de B; Herigone en su Cursus mathematicus, (Paris, 1634), escriba a3, b2, etc.;
Descartes en su Geometra escribi o como lo hacemos ahora: a
3
, b
2
, etc. y popu-
lariz o el signo = de Recorde. A partir de Descartes la notaci on algebraica es ya
poco m as o menos la que empleamos hoy.
6. Tomas Harriot (1560 - 1621) perfeccion o los smbolos de Vi` ete y a el se debe la
introducci on y uso por primera vez de los signos actuales de mayor que y menor
que < , >. En alguna ocasi on utiliz o el punto como smbolo de multiplicaci on,
m as tarde difundido por Leibniz.
Curiosidades Matem aticas 73
7. William Oughtred (1574-1660), cl erigo ingl es, propuso, entre propios y ajenos,
unos 150 signos matem aticos. De ellos se han conservado el de la multipli-
caci on , los signos : y :: para la raz on y proporci on, aunque ya en desuso, y la
abreviatura log para logaritmo.
8. Albert Girard (1590-1633) introdujo el uso de los par entesis ( ), cre o las primeras
abreviaciones trigonom etricas, e introdujo en los c alculos el smbolo para el
innito.
9. John Wallis (1616-1703) tambi en utiliz o el smbolo para designar innito,
aunque desde Vi` ete hasta el siglo XVIII se utilizaba como smbolo de igualdad
(deformaci on de la inicial de quale).
10. Pierre Bouguer (1698-1758) introdujo los signos de mayor o igual que y menor o
igual que: y .
11. Leonhard Euler (1707-1783) introdujo el smbolo i primera letra de imagina-
rius para denotar

1, la raz cuadrada de menos uno; diversas notaciones
trigonom etricas; la letra e para la base de los logaritmos neperianos y la letra
griega como smbolo sumatorio.
12. Kramp (1808) introduce el smbolo ! , para designar los factoriales.
5.3. Curiosidades Matem aticas
1. Curiosidades sobre (PI):
a) La notaci on con la letra griega proviene de la inicial de las palabras
de origen griego (perferia) y o (permetro) de un
crculo.
b) Esta notaci on fue usada por primera vez en 1706 por el matem atico gal es
William Jones y popularizada por el matem atico Leonhard Euler
c) El 14 de marzo (3/14) se ha convertido en una celebraci on no ocial para
el Da Pi, deriv andose de la aproximaci on de tres dgitos de pi: 3,14.
Normalmente la celebraci on se concentra a la 1:59 PM (en reconocimien-
to de la aproximaci on de seis dgitos: 3.14159), aunque algunas personas
arman que en realidad son las 13:59, por lo que lo correcto sera celebrar
a la 1:59 AM.
d) Johann Heinrich Lambert (1749-1777), en 1770, mostr o que
= 3 +
1
7 +
1
15 +
1
1 +
1
292 +
.
.
.
e) arctan(1) + arctan(2) + arctan(3) = .

f )
3
31 = 3, 1413806 . . ., o lo que es lo mismo, es casi .

g) Una forma de aprender los 20 primeros dgitos es con este poema, s olo
hay que contar las letras de cada palabra:
Soy y ser e a todos denible
mi nombre tengo que daros
cociente diametral siempre inmedible
soy de los redondos aros.
h) El 4 de octubre de 2006, a la 1:30 de la madrugada, y tras 16 horas y me-
dia, el japon es Akira Haraguchi rompi o el record recitando 100.000 dgitos
del n umero , realizando una parada cada dos horas de 10 minutos para
tomar aire.
2. El matem atico arabe IBN ALBANNA (siglo XII) public o las siguientes curiosi-
dades:
9 9 + 7 = 88
98 9 + 6 = 888
987 9 + 5 = 8888
9876 9 + 4 = 88888
98765 9 + 3 = 888888
987654 9 + 2 = 8888888
9876543 9 + 1 = 88888888
98765432 9 + 0 = 888888888
1 8 + 1 = 9
12 8 + 2 = 98
123 8 + 3 = 987
1234 8 + 4 = 9876
12345 8 + 5 = 98765
123456 8 + 6 = 987654
1234567 8 + 7 = 9876543
11 11 = 121
111 111 = 12321
1 9 + 2 = 11
12 9 + 3 = 111
123 9 + 4 = 1111
1234 9 + 5 = 11111
12345 9 + 6 = 111111
123456 9 + 7 = 1111111
1234567 9 + 8 = 11111111
12345678 9 + 9 = 111111111
123456789 9 + 10 = 1111111111
3. Reconstruir la suma:
1 5 +
4 1 7
6 8 6
R: 1959 + 4127
4. Reconstruir las multiplicaciones:
4 6

1 7 8
5
5
5
5
5
5
R: 46 48 y 517 521
5. Los ejemplos anteriores reciben el nombre de criptogramas, a un cuando ese
nombre engloba tambi en a otros presentes en todos los idiomas de los tipos
siguientes:
S E N D +
M O R E
M O N E Y
R:
9 5 6 7 +
1 0 8 5
1 0 6 5 2
M U N C

A +
C I N S T E
S

A R

A C I E
R:
8 3 7 9 0 +
9 5 7 1 6 2
1 0 4 0 9 5 2
Este ultimo est a escrito en rumano y se traduce como:
TRABAJO + HONESTIDAD = POBREZA
o del tipo:
a)
A B C (x)
N
C B A
R: Imposible
b)
A B C D (x)
N
D C B A
R: 2178X4
c)
A B C D E (x)
N
E D C B A
R: 21978X4
o del tipo:
a) 7 (FRYHAM) = 6 (HAMFRY)
b) ab ac = acb
Criptogramas con divisiones
c)
* * * * * * * * * * *
* * * * * 8 * *
* * * *
* * *
* * * *
* * * *
R:
1 0 0 2 0 3 1 6 1 2 4
9 9 2 8 0 8 0 9
1 0 0 3
9 9 2
1 1 1 6
1 1 1 6
d)
AHHAAH
JOKE
= HA
377337
5169
= 73
Lo cierto es que desde hace siglos son muy populares en los libros de juegos
matem aticos y matem atica recreativa.
Cada uno de los juegos anteriores trae implcito un mensaje que se debe desci-
frar.
La criptografa es la ciencia que se ocupa de cifrar informaci on usando t ecnicas
matem aticas que hagan posible el intercambio de mensajes de manera que solo
pueden ser ledos por las personas a quienes van dirigidos.
6. La teora de los cuadrados m agicos fue desarrollada desde epocas remotas por
los chinos y parece haber tenido un origen m astico.
Los antiguos magos de Persia pretendan curar las enfermedades, aplicando
a la parte enferma un cuadrado m agico siguiendo el conocido principio de
medicina: Primum non nocire.
Es bien conocido el hecho de que no existe un cuadrado m agico de orden 2.
El siguiente cuadrado m agico se llama Lho Shu, data de la antig uedad y sim-
boliz o para los chinos la armona y el equilibrio: el yin-yang.
4 9 2
3 8 7
8 1 6
Otro cuadrado m agico de orden 4 es:
1 15 14 4
12 6 7 9
8 10 11 5
13 3 2 10
Los cuadrados m agicos dieron origen a los polgonos y a los poliedros m agicos.
7. La secci on A urea y otros n umeros. Cuando hablamos de secci on a urea nos
estamos reriendo a un segmento de recta que representa a un n umero real
denotado por la letra (phi) cuyo valor es:
=
1 +
5
2
Aunque la letra fue una notaci on en honor al escultor griego Fidias.
Existen muchos t erminos equivalentes para , adem as de secci on a urea ten-
emos: n umero de oro, n umero dorado, n umero a ureo, proporci on a urea, pro-
porci on divina y muchos otros.
AB
AC
=
AC
CB
; (Divisi on en media y extrema raz on)
En el caso CB = 1 obtenemos:
AC + 1
AC
=
AC
1
lo cual nos da AC = 1, 618033988 . . ..
La construcci on anterior fue recopilada por Euclides en sus Elementos.
He aqu algunas representaciones de :
2
= + 1
= 1 +
1
1 +
1
1 +
1
1 +
=
1 +
_
1 +
_
1 +
1 +
= 1 + 2 sin18
=
13
8
+
n=0
(1)
n+1
(2n + 1)!
(n + 2)!n!4
2n+3
8. En la tumba de Diofanto de Alejandra, apareci o el siguiente p arrafo:

Su juventud ocup o la sexta parte, despu es durante la doceava parte su cara
se cubri o de barba. Pas o una s etima parte de su vida antes de casarse y cinco
a nos despu es tuvo un hijo que una vez alcanzada la mitad de la edad de su
padre muri o. Su padre le sobrevivi o a un cuatro a nos.
En el p arrafo anterior se encuentra la informaci on sobre la edad de Diofanto.
Desc ubrala.
9. Los primeros en utilizar un smbolo que representara el cero fueron los babilo-
nios. Las tabletas de arcilla que se encontraron, que se remontan al a no 200
A.C., dan cuenta del empleo de este smbolo. En Europa, el cero fue introduci-
do reci en en los siglos IX o X de nuestra era.
10. Srinivasa Ramanujan (1897-1920) fue uno de los m as grandes genios de las
matem aticas, el conjetur o que el n umero:
= e
163
era un n umero entero. En 1974 con la ayuda de las modernas computadoras de
la epoca se concluyo que el n umero anterior era el entero:
N = 262537412640768744
Hoy da, con la ayuda de casi cualquier computadora se prueba que:
0 < N < 10
29
11. Multiplicaci on Fulmnea: Es interesante el proceso de multiplicaci on de los
n umeros de varias cifras utilizando por eminentes matem aticos como: Fourier
(1831), Cauchy (1840) y otros.
Sup ongase que se desea multiplicar 5817 423 colocamos as:
5 8 1 7
3 2 4 . . . . . . . . . . . . . . . 2 0
3 2 4 . . . . . . . . . . . . . . . 4 2
3 2 4 . . . . . . . . . . . . . . . 3 5
3 2 4 . . . . . . . . . . . . . . . 5 4
3 2 4 . . . . . . . . . . . . . . . 1 7
3 2 4 . . . . . . . . . . . . . . . 2 1
5817 423 = 2460591
12. Cuando se le pregunt o a Pit agoras que era para el un amigo el maestro respon-
di o: un segundo yo y puso como ejemplo a los n umeros 284 y 220.
Escribamos en dos columnas los divisores propios de cada uno de ellos.
Divisores de 284 Divisores de 220
1 1
4 2
71 4
142 5
10
11
20
22
44
55
110
Si se suman los divisores de 284 obtenemos 220 y si sumamos los divisores de
220 obtenemos 284.
Los n umeros amigos eran conocidos por los indios muchos tiempo antes de
Pit agoras.
Los n umeros amigos han sido parte de la historia del hombre m as de 3000 a nos
y sus grandes misterios a un no se han descubierto.
Pasaron muchos siglos desde la antig uedad hasta que Fermat descubriera otro
par de n umeros amigos en 1636: 17296 y 18416. Descartes descubri o otro par
de n umeros amigos 9363584 y 9437056.
En en siglo XVIII Euler escribi o una lista con 63 pares de tales n umeros.
Nicolo Paganini en 1967 asombr o al mundo matem atico al descubrir que los
n umeros amigos 1184 y 1210 no haban sido citados hasta ahora.
Todos los n umeros amigos encontrados hasta ahora tienen la misma paridad,
se desconocen si existen con distinta paridad, lo mismo que no tienen f ormulas
para generarlos, tampoco se sabe si su n umero es nito o innito.
Algunos n umeros amigos son los pares de n umeros siguientes:
220 y 284
1184 y 1210
2620 y 2924
5020 y 5564
6232 y 6368
10744 y 10856
12285 y 14595
17296 y 18416
63020 y 76084
13. Tablas misteriosas: Con las siguientes 5 tablas de n umeros, podemos adivinar
el n umero que habr a pensado una persona, desde 1 al 31, sabiendo unicamente
en cuales de las tablas se encuentra.
1 3 5 7
9 11 13 15
17 19 21 23
25 27 29 31
2 3 6 7
10 11 14 15
18 19 22 23
26 27 30 31
4 5 6 7
12 13 14 15
20 21 22 23
28 29 30 31
8 9 10 11
12 13 14 15
24 25 26 27
28 28 30 31
16 17 18 19
20 21 22 23
24 25 26 27
28 29 30 31
El n umero pensado es la suma de los primeros n umeros de las tablas donde se
encuentra. As, por ejemplo, si nos dice que el n umero pensado se encuentra
en las tablas 1, 3 y 4, ser a: 1 + 4 + 8 = 13; si est a en la 3 y 5, ser a: 4 + 16 = 20.
14. Multiplicaci on Rusa: Algunos pueblos de Rusia multiplican si emplear tablas
com unmente usadas. Para ello se escriben los dos factores uno al otro lado y se
forma con ellos dos columnas: debajo del factor que est a a la izquierda se toma
la mitad en n umeros enteros y de esta mitad se toma la mitad y as sucesiva-
mente hasta llegar a 1; debajo del factor que est a a la derecha, y paralelamente,
se escribe el duplo, y as sucesivamente hasta emparejar con el ultimo n umero
de la columna izquierda. Por ejemplo:
22 6
11 12
5 24
2 48
1 96
132
Hecho esto, considero todos los n umeros de la columna de la derecha colocados
enfrente de los n umeros impares de la otra columna y se suman dichos los
n umeros, es decir, se suman los n umeros se nalados; esta suma ser a el resultado
de la multiplicaci on: 22 6 = 12 + 24 + 96 = 132
15. El problema de los cuatro cuatros: El objetivo del juego es obtener todos los
n umeros naturales del 0 al 100 usando unicamente cuatro cuatros. Las opera-
ciones permitidas son las siguientes: suma, resta, multiplicaci on, divisi on, con-
catenaci on (usar el 44 es v alido y en ese caso habramos utilizado ya dos cua-
tros), el punto decimal (es lcito escribir 0,4 si queremos poner cero coma cua-
tro), potencias (4
4
est a permitido gastando as dos cuatros), races cuadradas (si
queremos poner raz cuadrada de 4 escribiremos
4 para entendernos), facto-

riales y n umeros peri odicos (para entendernos pondremos 0, 4 . . . si queremos
poner cero coma cuatro peri odico). Tambi en podemos usar par entesis como
creamos conveniente. S olo para ilustrar, se presentan los n umeros del 0 al 30.
0 = 4 4 + 4 4
1 =
4
4
+ 4 4
2 =
4
4
+
4
4
3 =
(4 4) 4
4
4 = 4 (4 4) + 4
5 =
4 +
4 +
4
4
6 =
4 (4
4
4
)
7 = 4 + 4
4
4
8 = 4
4 + 4 4
9 = (4
4
4
)
4
10 = 4
4 +
4
4
11 =
44
(
4)
12 = (
4 +
4 +
4)
4
13 =
44
4
+
4
14 = 4 4
4
4
15 =
44
4
+ 4
16 =
4
17 = 4
4
+
4
4
= 4 4 +
4
4
18 = 4
4
4
+
4 =
44
4
4
19 = 4! 4
4
4
20 = (
4
4
+ 4) 4
21 = 4!
4
4
4
22 =
44
(
4)
23 = 4!
4
4
24 = 4! + 4
4
25 = 4! +
4
4
26 = 4! +
4
27 = 4! +
4
4
+
4
28 = 4! + 4
4
4
29 = 4! + 4 +
4
4
30 =
(4 +
4
4
)!
4
16. El n umero 1888081808881 es un n umero muy especial.
Viendo cada uno de los 1 como una lnea vertical | cumple lo siguiente:
Es un n umero primo.
Es capic ua, por lo que si lo leemos de derecha a izquierda tambi en es un
n umero primo ( el mismo).
Si lo giramos 180
tambi en es un n umero primo ( el mismo).

Si lo vemos reejado en un espejo tambi en es un n umero primo ( el mis-
mo).
Realmente curiosa la simetra de este n umero.
17. El n umero 40337956 tiene la siguiente propiedad:
4
0
3
3
+ 7
9
5
6
= 40337956
18. 1
2
+ 2
2
+ 3
2
+ . . . + 24
2
= 70
2
.
Y adem as es la unica secuencia (o sucesi on) de este tipo (sumas de cuadrados
de los primeros n n umeros enteros positivos) cuyo resultado es otro cuadrado.
Lo demostr o G. N. Watson en 1918.
19. El n umero 666 tiene curiosas propiedades.
Aparte del signicado negativo que todos conocemos (es el n umero de la bes-
tia), cumple las siguientes propiedades:
Podemos obtenerlo a partir de operaciones elementales con las potencias
sextas de los tres primeros enteros positivos:
666 = 1
6
2
6
+ 3
6
Podemos obtenerlo sumando sus dgitos y los cubos de los mismos:
666 = 6 + 6 + 6 + 6
3
+ 6
3
+ 6
3
Por cierto, al parecer hay pocos n umeros que cumplen esta propiedad.
Podemos obtenerlo sumando los cuadrados de los primeros siete n umeros
primos:
666 = 2
2
+ 3
2
+ 5
2
+ 7
2
+ 11
2
+ 13
2
+ 17
2
La funci on (n), cuyo valor es la cantidad de enteros positivos menores o
iguales que n que son primos relativos con n, y el n umero 666 cumplen lo
siguiente:
(666) = 6 6 6
20. Como promedio, el n umero de representaciones de un n umero entero positivo
s como suma de dos cuadrados de n umeros enteros (es decir, s = n
2
+ m
2
con
n, m Z) es .
Qu e es eso del promedio?
Muy sencillo:
a) 0 : Representaciones: 1 : 0 = 0
2
+ 0
2
b) 1 : Representaciones: 4 : 1 = 1
2
+ 0
2
, 1 = (1)
2
+ 0
2
, 1 = 0
2
+ 1
2
, 1 =
0
2
+ (1)
2
c) 2 : Representaciones: 4 : 2 = 1
2
+ 1
2
, 2 = (1)
2
+ 1
2
, 2 = 1
2
+ (1)
2
, 2 =
(1)
2
+ (1)
2
d) 3 : Representaciones: 0
y as, respectivamente, el 4 tiene 4; el 5 tiene 8; el 6 tiene 0, el 7 tiene 0, el 8 tiene
4, el 9 tiene 4, el 10 tiene 8.
El promedio para cada n se hace as: se suman las representaciones de ca-
da n umero entre 0 y n y se divide el resultado entre n. Por ejemplo, para los
n umeros del 0 al 10 haramos el siguiente c alculo:
1 + 4 + 4 + 0 + 4 + 8 + 0 + 0 + 4 + 4 + 8
10
= 3, 7
Bueno, pues al parecer si hacemos crecer n ese promedio tiende a .
21. El n umero 10
33
(mil quintillones) es la potencia de 10 m as grande conocida que
puede representarse como producto de dos n umeros que no contienen ning un
cero. En efecto:
1000000000000000000000000000000000 = 2
33
5
33
= 8589934592 116415321826934814453125
Es claro que cualquier n umero de este tipo debe ser de la forma 2
x
5
x
, ya que
si no fuera as alguno de los factores contendra al menos un 2 y un 5 y por
tanto sera m ultiplo de 10, conteniendo entonces al menos un cero.
Parece ser que lo complicado es encontrar una potencia de 5 que no contenga
ceros. Se sabe que 5
58
no contiene ning un cero, pero al calcular 2
58
vemos que
contiene al menos un cero. Por tanto no nos vale.
22. El n umero equivalente a la palabra GOOGLE si la giramos radianes (180
),
es decir, el 379009, es un n umero primo
23. Se puede construir un polgono regular de 65537 lados con regla y comp as pero
no se puede construir un polgono regular de 7 lados de esa forma.
Esto es debido a la relaci on entre la construcci on de polgonos regulares con
regla y comp as y los n umeros de Fermat
1
.
24. El n umero 2646798 es el unico n umero natural de 7 cifras que cumple la si-
guiente propiedad:
2
1
+ 6
2
+ 4
3
+ 6
4
+ 7
5
+ 9
6
+ 8
7
= 2646798
1
Los n umeros de Fermat son n umeros de la forma F
n
= 22
n
+ 1, desde n = 0 en adelante.
Los primeros son:
F
0
= 22
0
+ 1 = 3
F
1
= 22
1
+ 1 = 5
F
2
= 22
2
+ 1 = 17
F
3
= 22
3
+ 1 = 257
F
4
= 22
4
+ 1 = 65537
Es sencillo comprobar que todos estos n umeros son primos.
25. Las siguientes curiosas igualdades son ciertas:

1
3
+ 3
3
+ 6
3
= 244
2
3
+ 4
3
+ 4
3
= 136
Adem as:
8
4
+ 2
4
+ 0
4
+ 8
4
= 8208
26. El n umero 1741725 tiene una curiossima propiedad:
1
7
+ 7
7
+ 4
7
+ 1
7
+ 7
7
+ 2
7
+ 5
7
= 1741725
Al parecer es el unico n umero con el que se sabe que ocurre.
27. El n umero 26 est a situado entre un cuadrado y un cubo:
5
2
< 26 < 3
3
Esto es, el n umero natural que hay justo antes es un cuadrado y el que hay justo
despu es es un cubo.
Este hecho no despertara la curiosidad de nadie si no fuera porque el 26 es el
unico n umero natural que tiene esa propiedad. La demostraci on de este hecho
se debe a Pierre de Fermat.
28. Augustin Louis Cauchy (matem atico franc es, 1789-1857) recibi o una vez un
artculo que pretenda demostrar que
x
3
+ y
3
+ z
3
= t
3
no tena soluciones enteras (algo del estilo al ultimo teorema de Fermat).
En principio esto no tendra nada de extra no, se enva a un gran matem atico
un artculo para que lo revise. Lo curioso fue la respuesta: Cauchy devolvi o el
manuscrito con una simple nota en la que se poda leer: 3
3
+ 4
3
+ 5
3
= 6
3
29. 1 = 1
3
(el primer impar vale 1 al cubo)
3 + 5 = 2
3
(la suma de los dos siguientes impares vale 2 al cubo)
7 + 9 + 11 = 3
3
(la suma de los tres siguientes impares vale 3 al cubo)
13 +15 +17 +19 = 4
3
(la suma de los cuatro siguientes impares vale 4 al cubo)
y as sucesivamente.
30. Un motivo de la extinci on de los n umeros romanos, en favor de los n umeros
arabes o indios, fue el problema de realizar operaciones aritm eticas como el
producto o la divisi on.
31. El n umero 153 tiene propiedades muy curiosas. Ve amoslo:
Es el n umero m as peque no que puede ser expresado como la suma de los
cubos de sus dgitos:
153 = 1
3
+ 5
3
+ 3
3
Es igual a la suma de los factoriales de los n umeros del 1 al 5:
153 = 1! + 2! + 3! + 4! + 5!
La suma de sus dgitos es un cuadrado perfecto:
1 + 5 + 3 = 9 = 3
2
La suma de sus divisores (excluyendo al propio n umero) tambi en es un
cuadrado perfecto:
1 + 3 + 9 + 17 + 51 = 81 = 9
2
Adem as, como se puede ver, es el cuadrado de la suma de sus dgitos.
Puede ser expresado como la suma de todos los n umeros enteros del 1 al
17:
153 = 1 + 2 + 3 + 4 + + 15 + 16 + 17
Esto signica que 153 es el decimos eptimo n umero triangular. Como su
inverso, 351, tambi en es un n umero triangular (suma del 1 hasta el 26)
podemos decir que 153 es un n umero triangular invertible.
Es un n umero de Harshad (o n umero de Niven), es decir, es divisible por
la suma de sus dgitos:
153
1 + 5 + 3
= 17
Como 351 tambi en es un n umero de Harshad podemos decir que 153 es
un n umero de Harshad invertible .
Los n umeros de Harshad fueron denidos por el matem atico indio D. R.
Kaprekar.
Puede ser expresado como el producto de dos n umeros formados por sus
dgitos:
153 = 3 51
La sumas de las potencias 0, 1 y 2 de sus dgitos es igual al producto de
ellos:
1
0
+ 5
1
+ 3
2
= 1 5 3
Realmente curioso el n umero, verdad?.
32. 0, 999 . . . = 1. Ve amoslo:
x = 0, 999 . . . (1)
10x = 9, 999 . . . (2)
Restamos (2) - (1):
9x = 9
Despejando x:
x = 1 (3)
Por (1) y (3):
0, 999 . . . = 1
Curioso, verdad?
33. 199 es primo. Y que si lo giramos 180
obtenemos el 661, que tambi en es primo.

Y que si permutamos sus cifras obtenemos los n umeros 919 y 991 que tambi en
resultan ser primos.
34. El n umero primo m as grande que se conoce en la actualidad es el 2
30402457
1
y tiene 9152052 cifras (s, s, m as de 9 millones de cifras).
35. El menor n umero primo palindr omico (se lee igual de izquierda a derecha que
de derecha a izquierda) y pandigital (contiene todos los n umeros del 1 al 9) es:
1023456987896543201
36. Dirichlet odiaba tanto escribir cartas que para avisar a sus suegros de que su
mujer y el haban tenido un hijo les mand o un telegrama que deca: 1 + 1 = 3.
5.4. Reexiones
La utilizaci on de juegos matem aticos nos proporcionan una manera efectiva de
que la clase de Matem atica sea m as amena. La utilizaci on de dichos juegos nos pro-
porcionan una manera en la cual se puede aprender de manera divertida los concep-
tos matem aticos tratar.
Adem as, los juegos matem aticos permiten desarrollar algunas destrezas cogniti-
vas, por ejemplo, ubicaci on, asociaci on, delimitaci on, entre otros.
Ahora bien, hay que ser cuidadosos con otras implicaciones directas de la apli-
caci on y utilizaci on de juegos matem aticos, as por ejemplo, algunas veces estos es-
pacios son tomados como sustituci on de los contenidos tem aticos, es decir, se presta
para sustituir conceptos propios matem aticos por una visi on entretenida y aislada
del concepto a estudiar.
En este sentido, hay que tener un equilibrio entre la parte te orica y pr actica, entre
la parte concreta y la abstracta de la tem atica por abordar.
Bibliografa
[1] Artemiadis, N. History of Mathematics. American Mathematical Society.
Providence, Rhode Island, 2004.
[2] Babini, J. (1948). Arqumedes. Colecci on Austral. Espasa-Calpe. Buenos
Aires-Argentina.
[3] Barrantes, H. Introducci on a la Teora de N umeros. EUNED. San Jos e. 1998.
[4] Beckmann, P. (1971). A history of . St. Martins Press. New York.
[5] Beskin, N. Fracciones Maravillosas. Editorial MIR. Mosc u. 1985.
[6] Bourbaki, N. Elementos de historia de las matem aticas.
[7] Boyer, C. (1949). The history of the Calculus. Dover Publications, Inc. New
York.
[8] Brezinski, C. History of Continued Fractions and Pad e Approximants.
Springer Verlag. U.S.A. 1991
[9] Cajori, F. (1961). A History of mathematics. Macmillan Company. New York.
[10] Cantor, Georg. Fundamentos para una teora general de conjuntos.
Barcelona: Editorial Crtica. 978-84-8432-695-3.
[11] Castellet, M. De Hilbert a los problemas del milenio. La Gaceta de la RSME.
Vol 6.3(2003). pp. 367-376.
[12] Castro, E. Introducci on a la Teora de N umeros. Apuntes, 2009.
[13] Colerus, E. Breve historia de las matem aticas.
[14] Courant, R.; Robbins, H. (1996). What is mathematics?. Oxford University
Press. Oxford.
[15] De Faria Campos, E. Cuadrados M agicos. La Matem atica y su Ense nanza.
12-13(5). 7-13, 1993.
[16] De Fara, E. Fractales. Revista: Las Matem aticas y su ense nanza 6(17): 47-
51,1995.
[17] Degrazia, J. Math is Fun. Emerson Books Inc. New York 1961.
[18] Devlin, K. The millenium problems. Basic Book. 2002.
[19] Dunham, W. (1993). Viaje a trav es de los genios. Ediciones Pir amide. Madrid-
Espa na.
[20] Eves, H. (1964). An introduction to the history of mathematics. Holt Rinehart
and Winston, Inc. USA.
[21] Eves, H. Great moments in Mathematics (after 1650). MAA. 1983.
[22] Gardner, M. Miscel anea Matem atica. Biblioteca Cientca Salvat. (Captulo
4).
[23] Gardner, M. Aha! Gotcha. Paradoxes to puzzle and delight. Scientic Amer-
ican Inc. 1975.
[24] Gardner, M. Aj a: Inspiraci on. Scientic American Inc. 1985.
[25] Gaussinos.com, http://gaussianos.com/category/ %C2 %BFsabia-que/
[26] Gazeta Mathematica. Vol. XLII
[27] Gleick, J. Caos: la creaci on de una ciencia. Traducido por Juan Antonio
Guti errez. Editorial Seix Barral. Espa na. 1998.
[28] Hawking, S. (ed) Dios cre o los n umeros. Barcelona, Crtica, 2007. Incluye las
Contribuciones a la fundamentaci on de la teora de conjuntos, 1895 y 1897.
[29] Heath, T.L. The Works of Archimedes. Dover Publications, Inc. New York.
[30] Heath, T.L. (1931). A manual of Greek Mathematics. Dover Publications, Inc.
New York.
[31] Heath, T.L. (1921). A history of Greek Mathematics. Volumen II. Dover Pu-
blications, Inc. New York.
[32] Hoffman, P. (1988). Archimedess Revenge. Fawcett Crest. New York.
[33] Irwin, M. Geometry of Continued Fractions. The American Mathematical
Monthly, Vol. 96, No. 8. (Oct., 1989), pp. 696-703. 1989
[34] Jones, B. The Theory of Numbers. Holt, Rinehart and Winston. New York.
1964.
[35] Koblitz, Neal. A Course in Number Theory And Crytography. Springer Ver-
lag. New York 1987.
BIBLIOGRAF
IA 89
[36] Knopp, K. Theory and Applications of Innite Series. Blackie and Son Lim-
ited. Great Britain. 1944.
[37] Malba, T. El hombre que calculaba.
[38] Moore, C. An Introduction to Continued Fractions. The National Council of
Teachers of Mathematics. Washington. 1964.
[39] Natanson, I. P. (1988). La suma de las cantidades innitamente peque nas.
Editorial Limusa. M exico.
[40] Olds, C. D. Continued Fractions. The L.W. Singer Company. Yale University.
1963.
[41] Parra, E. Arqumedes: su vida, obras y aportes a la Matem atica moderna.
Revista Digital: Matem atica, Educaci on e Internet. Instituto Tecnol ogico de
Costa Rica. http://www.cidse.itcr.ac.cr/revistamate. Vol 9, n1, 2008.
[42] Pettofrezzo, A., Byrkit, D. Introducci on a la Teora de N umeros. Editorial
Prentice-Hall Internacional. New Jersey. 1972.
[43] Pickover, C. La maravilla de los n umeros. Colecci on Desafos Matem aticos
de RBA.
[44] Rey Pastor, J. Elementos de an alisis algebraico.
[45] Rey Pastor, J.; Babini, J. Historia de la matem atica.
[46] Ribnikov. K. Historia de las matem aticas.
[47] Ruz, A. (2003). Historia y Filosofa de las Matem aticas. EUNED. San Jos e-
Costa Rica.
[48] Salinero. P. Historia de la Teora de las Probabilidades. Universidad Aut ono-
ma de Madrid. Espa na, 2002.
[49] Sirkov, A. Elementary Cryptanalysis a Mathematical Approach. Mathemati-
cal Association of America. Washington 1966.
[50] Stark, Harold. An Introduction to Number Theory. MIT Press. Cambridge,
Massachusetts. 1998.
[51] Stewart, I. Concepts of modern mathematics. Dover Publications Inc. 1995.
[52] Stewart, I. Juega Dios a los dados?. La Matem atica del caos. Barcelona: Ed-
itorial Crtica. 1991
[53] Struik, D. (1988). A conscise history of mathematics. Dover Publications, Inc.
New York.
[54] Trigg W, C. Mathematical Quickies. 270 stimulating problems with solu-

tions. Dover Publications Inc. New York. 1985
[55] Tsijli Murillo, M.; Gonz ales Arg uello, F. Teora de los N umeros. Editorial Tec-
nol ogica de Costa Rica 2006.
[56] Wieleitner, H. Historia de la matem atica.
[57] Yandell, B. The honor class: Hilberts problems and their solvers. A K Peters,
Ltd. 2002

Sumario de Curiosidades Matematicas

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sumario de Curiosidades Matematicas

Uploaded by

Copyright:

Available Formats

Sumario de t opicos matem aticos

Edward Parra Salazar

A mis musas: mi madre, mi abuela y mi ta (que est a ausente fsicamente).

secciones c onicas. El tercero fue director de la biblioteca de Alejandra a partir de

1.2.1. An ecdotas sobre Arqumedes

iba a tener de ah a poco en su forma y aspecto, saqueada por el ej ercito.

no es hacer un estudio exhaustivo de cada libro; si no una revisi on de algunos temas

8. Si un s olido con la forma de un segmento de una esfera, y de una sustancia

Otro problema tambi en atribuido a Arqumedes es la de encontrar las perpen-

8 como una fracci on continuada simple

8 < 3, entonces 2 es el mayor entero menor que

8 2 aparece otra vez. El desarrollo de (

De aqu se concluye entonces,

A por su expresi on repetidamente en el denominador se llega a la

3. Lord Brouncker, alrededor de 1658,

Si se calcula aqu el tercer convergente, se tiene

15. Lambert en 1770 y Lagrange en 1776

2 es irracional usando las fracciones continuadas

Toda 3variedad cerrada simplemente conexa es homeomorfa a la 3esfera

En un da del invierno de 1961, Edward Lorenz tom o un atajo en sus algorit-

4.2.2. Los primeros a nos del caos

la nueva posici on en el plano. Por ejemplo, en el conjunto Mandelbrot, la funci on

tem aticamente muy similar cuando cambias a su correspondiente Julia. Al ejate

5.2. Signos matem aticos

e) arctan(1) + arctan(2) + arctan(3) = .

31 = 3, 1413806 . . ., o lo que es lo mismo, es casi .

8. En la tumba de Diofanto de Alejandra, apareci o el siguiente p arrafo:

4 para entendernos), facto-

tambi en es un n umero primo ( el mismo).

25. Las siguientes curiosas igualdades son ciertas:

obtenemos el 661, que tambi en es primo.

[54] Trigg W, C. Mathematical Quickies. 270 stimulating problems with solu-

You might also like