Professional Documents
Culture Documents
HISTORIA DE LA MATEMTICA
VOLUMEN 1
LA MATEMTICA EN LA ANTIGUEDAD
ALEJANDRO ORTIZ FERNANDEZ
Seccin Matemtica. PUCP
LIMA - PER
Alejandro Ortiz Fernndez (1936)
Profesor Principal. Seccin Matemtica. PUCP.
Ex-Profesor Principal y Profesor Emrito de la UNT
Ex-Profesor de la UNMSM
Historia de la Matemtica. Vol.1.
Autor: Alejandro Ortiz Fernndez
U.S.B.N.
Digitacin y Diagramacin en L
A
T
E
X:
Sr Carlos Ramn Deudor Gmez (www.degoca.com)
carlos@degoca.com
Lic. Shila Antuanett Neciosup Salas
neciosupshila@hotmail.com
Primera Edicin: Junio 2005.
c Todos los derechos reservados.
Printed in Lima - Per. Impreso en Per
A
la Memoria de mi Amigo
Miguel de Guzmn.
PRESENTACIN
La historia de la matemtica debe ser, realmente,
el ncleo de la historia de la cultura.
George Sarton.
Este libro forma parte de un Proyecto mas ambicioso, escribir sobre la his-
toria de la matemtica desde la Antiguedad hasta algunos temas de los tiempos
modernos. Soy conciente de lo difcil que es la tarea que nos estamos imponiendo
y que debe exigir una entrega de total dedicacin. Mi experiencia en los ltimos
treinta aos de escribir monografas matemticas y la coyuntura generacional a
la que pertenezco, me estimula y me da cierta conanza en tratar de lograr gran
parte del reto que nos trazamos. Como es sabido, tareas como la que presenta-
mos hay que hacerlas en forma paralela a nuestras obligaciones como profesor
pero he aprendido, con los aos, a comprender que si anhelamos hacer algo
que nos apasiona, ello hay que hacerlo poniendo mucha voluntad, dedicacin
y sacricar aspectos que a mi edad, a veces, es difcil renunciar. Pero, no hay
alternativa y reconozco lo difcil del camino que an queda por recorrer, a lo
que hay que agregar que me atrae tambin, escribir sobre temas puntuales de
teoras matemticas de cierta actualidad y que me es difcil renunciar a hacerlo.
Este primer volumen est dedicado a la matemtica en la Antiguedad. Con-
eso que yo saba muy poco de lo que se haba hecho en aquellos tiempos en
el campo de la matemtica; me eran desconocidos varios nombres notables que
contribuyeron con ideas muy ingeniosas, y en algunos casos profundas, en el
campo de la geometra y de la aritmtica. Es claro que saba quienes fueron
Tales, Pitgoras, Euclides, Arqumedes y Apolonio, pero es claro, ahora, que los
conoca de nombre y de pequeas referencias de sus personalidades, y no tena
conocimiento de los detalles de sus obras matemticas y del tesoro que ellas
contienen. Y an, no termino por comprender bien lo aportado por aquellos
geniales cientcos, y de otros de aquella poca.
Es estimulante conocer que en aquellos lejanos tiempos existieron seres que
hayan tenido la genialidad de formular y obtener resultados de alto valor cient-
co y en el caso de Arqumedes y Apolonio saber que fueron dos excepcionales
mentes que iluminaron no solo a la matemtica de entonces, sino a la de muchos
siglos despus. Pero tambin es muy constructivo conocer que an, muchos siglos
antes de la gloriosa cultura griega ya existieran otras civilizaciones que lograron
signicativos progresos matemticos, como fue el caso de Babilonia y de Egipto,
dos legendarias culturas que llegaron a poseer una geometra, una aritmtica y
un lgebra sucientemente avanzadas para lograr signicativas aplicaciones.
La matemtica hecha en aquellos lejanos tiempos, es sucientemente cono-
cida por nosotros en el siglo XXI? ... Al menos en nuestro pas, conjeturo que de
un modo general la respuesta es negativa. Tiene algn inters o valor conocer
lo hecho en esas remotas pocas? Creo que si, y mucho. Solo conociendo nues-
tras propias raices podremos comprender, posiblemente mucho mejor, las ideas
esenciales de lo mucho logrado en los siglos que sucedieron. Adems, es tambin
parte de la cultura matemtica que todo profesional, que est relacionado con
la matemtica, debe poseer. Se puede armar que se podra ser un buen profe-
sional ignorando tal conocimiento, pero, creo que lo sera mucho mejor, si fuera
conciente de lo realizado por aquellos grandes Maestros de nuestra ciencia.
Escribir sobre esta etapa de la matemtica, la Antiguedad, es una tarea nada
fcil por la naturaleza de los datos que se disponen. Muchas originales, escritos
antes de Cristo, se perdieron y solo se les conocen por referencias de otros in-
vestigadores que vivieron pocos siglos despus. Esta dicultad se hace mayor
en nuestro caso dado que no dispusimos de fuentes bibliogrcas de cierta an-
tiguedad. Las obras mas especializadas en la Antiguedad que dispusimos fueron
[ALM] y [HEA] (ver la bibliografa). Tampoco la biblioteca de nuestra uni-
versidad posee alguna revista sobre historia de la matemtica; en consecuencia
nuestras fuentes de consulta fueron libros escritos en el perodo de sesenta aos
atrs. Es justo remarcar, por otro lado, que en los ltimos aos se han escrito
excelentes libros sobre historia de la matemtica o temas anes; por ejemplo,
ver [KLI], [STI], entre otros. Tambin, va Internet se pueden encontrar muchos
artculos sobre el tema, la matemtica en la Antiguedad. El lector puede nave-
gar y disponer de mucha informacin al respecto. Dentro de los libros, [BOY]
y [EVE] son dos clsicos muy tiles para entrar a la historia de la matemtica.
Al escribir el presente volumen hemos procurado respetar el estilo y forma
de como fueron redactados los escritos por sus antiguos autores; es claro que la
forma heredada por nosotros ha sufrido algunas sucesivas traducciones desde la
lengua original.
Por esta razn, el lector encontrar diversos pasajes en este libro en donde
nos es difcil comprender el espaol usado, dicultad que a veces se trans-
mite a la comprensin matemtica del tema en cuestin. Esto es parte de la
historia que nos ocupa y debemos tener paciencia. Por ejemplo, al leer los
libros de los Elementos de Euclides apreciaremos que los enunciados y las de-
mostraciones son redactados en un estilo no comprensible del todo y nos cuesta
dicultad asimilar el mensaje que se nos da.
Este volumen consta de dos captulos; el primero trata sobre la matemtica
pre - griega (Babilonia y Egipto) y sobre la matemtica griega, hasta Euclides.
En el segundo captulo fundamentalmente presentamos a Arqumedes, Apolo-
nio y a Eratstenes. Alrededor de tales personajes mencionamos a diversos
otros, pocos conocidos en nuestro ambiente. Fue tambin conveniente consider-
ar algunos aspectos sobre el nacimiento de la trigonometra. El primer captulo
comienza con algunas consideraciones generales y con algunos comentarios sobre
la matemtica en la Pre - Historia. Luego tendremos la oportunidad de ilus-
trarnos de los aportes hechos por dos importantes civilizaciones como fueron la
babilnica y la egipcia, y podremos apreciar que ellos ya conocan diversos resul-
tados en geometra, lgebra y aritmtica; an cuando esos resultados fueron no
formales sin embargo nos demuestran que haban logrado un desarrollo mental
que les permiti obtener abstracciones de mucho valor matemtico, tanto en la
teora como en las aplicaciones. En cuanto a la matemtica griega, tratada en
este captulo, se comienza con Tales de Mileto, gura legendaria que tuvo luz
propia para iluminar el futuro matemtico que se desarrollara luego. Pitgoras
y los Pitagricos, es presentado con cierta amplitud pues lo aportado por ellos
fue fundamental en el desarrollo posterior del pensamiento matemtico. Eu-
clides y su obra maestra, Los Elementos, tuvo un tratamiento especial por el
signicado que desempe en la cultura universal. Intencionalmente presenta-
mos a los Elementos con un detalle quizs criticable. Es justicable presentar
el contenido de los Elementos con el detalle que lo hicimos? Posiblemente ex-
istan opiniones que armen que no lo es. En verdad, yo tuve duda sobre esta
cuestin. Al nal decid hacer lo que exponemos en 1.2.5. Tratndose de una
obra monumental considero que la informacin y/o el conocimiento de los Ele-
mentos debe formar parte de la cultura de todo profesional que haga uso de la
matemtica, sobre todo de los matemticos.
Luego de transitar por la Antiguedad y de sentir el valor que signica como
la matemtica fue elaborada por sus propios autores, estoy mas convencido
de la importancia del curso de Historia de la Matemtica. Este sentimiento
seguramente ser mas fuerte conforme avancemos a travs del tiempo (y de los
volmenes que vendrn). Sugerimos que en la formacin de todo estudiante
de matemtica (y de todo futuro profesor de matemtica) deba haber un bien
meditado curso sobre tal rea. Posiblemente un curso de cuatro horas semanales
o dos cursos de tres horas cada uno, podra permitir dar una visin de como
fueron evolucionando las ideas y las teoras matemticas. El famoso matemtico
Henri Poincar dijo:
si nosotros queremos predecir el futuro de la matemtica, nosotros tenemos
que estudiar su historia y su presente situacin .
Sabias palabras de un ilustre hombre de ciencia. Lamentablemente en nue-
stro pais creo que lo planteado no es bien comprendido; se confunde con algo
que se obtiene leyendo libros de divulgacin, de contenido popular y que sirve
para conseguir el sueo. No! La idea es presentar teoras matemticas, hacer
su estudio matemtico, probar los teoremas en la forma como fueron hechos por
seres de gran inteligencia matemtica; debemos sentir tambin las dicultades y
las frustraciones que ellos tuvieron algunas veces. Algunas teoras modernas han
surgido en el siglo XX leyendo, investigando acusiosamente trabajos realizados
siglos atrs. En este sentido, la historia de la matemtica no solamente es til a
los matemticos sino a todo profesional con cierta curiosidad por conocer como
surgieron lo que le ensearon en el colegio, en la universidad, que ahora usa y
pueda extrapolar todo ello en sus propios intereses y realizaciones.
La organizacin de este volumen es como sigue. Consta de dos captulos.
En el Captulo 1, presentamos algunos aspectos sobre la matemtica en la An-
tiguedad y consta de dos secciones; en la primera tratamos la matemtica pre-
griega y en la segunda a la matemtica griega, de Tales a Euclides. Cada seccin
est dividida en subsecciones en que se desarrollan los distintos temas. Creimos
conveniente incluir una subseccin sobre algunos comentarios y otra sobre ejer-
cicios y cuestiones generales a modo que el lector tenga una participacin en
su aprendizaje de lo leido. El Captulo 2 conserva la misma estructura que el
primer captulo. Consta de seis secciones y abarca desde Arqumedes hasta la
declinacin de la matemtica griega. Resaltamos, adems de Arqumedes, a la
gura de Apolonio, notable gemetra, autor de las Cnicas. El libro termina con
un breve resumen de los Captulos 1 y 2, la bibliografa y el ndice alfabtico.
Agradezco a las autoridades del rea de Matemtica de la Ponticia Univer-
sidad Catlica del Per, institucin donde soy profesor, por haberme brindado
las condiciones para poder realizar el presente trabajo. A mi esposa Luz Ma-
rina por su estmulo constante que signica muchos aos de vida en comn.
Mis agredecimientos a la Lic. Shila Neciosup Salas y al Profesor Carlos Deudor
Gomez por su excelente trabajo en el diseo y diagramacin en L
A
T
E
X y apoyo
en la redaccin de esta edicin de esta obra. A mi amigo, Prof. Thomas Gilsdorf
por su motivacin e inters en esta obra.
No puedo terminar sin mencionar la lamentable prdida que tuvimos con
la muerte de dos destacados profesores, ambos cultores de la historia de la
matemtica: Roberto Velsquez y Miguel de Guzmn. A ellos van mis
recuerdos y mi gratitud de amigo.
Lima, Mayo 2005
A. O. F
jortiz@pucp.edu.pe
CONTENIDO
Captulo 1
LA MATEMTICA EN LA ANTIGUEDAD
1.1 MATEMTICA PRE-GRIEGA. 1
1.1.1 Aspectos Generales. (Etapas de la Matemtica). 1
1.1.2 La Matemtica en la Pre-Historia. 7
1.1.3 La Matemtica Babilnica. 12
(i). Sistema de numeracin. 13
(ii). El lgebra babilnica. 17
(iii). Geometra babilnica. 21
1.1.4 La Matemtica en el Antiguo Egipto. 24
(i). Algunos datos. 24
(ii). Sistemas de numeracin y aritmtica. 27
(iii). lgebra en Egipto. 36
(iv). La geometra egipcia. 39
COMENTARIOS 1.1. 42
EJERCICIOS 1.1. 45
1.2 MATEMTICA GRIEGA. 50
1.2.1 Surgimiento de la Cultura Griega. Tales de Mileto. 50
1.2.2 Pitgoras y su Escuela. 56
(i). Aspectos generales. 56
(ii). Teora de nmeros. 60
(iii). lgebra pitagrica. 68
(iv). Geometra pitagrica. 73
1.2.3 Hipcrates de Quos; Arquitas de Tarento. 81
(i). Hipcrates de Quos. 81
(ii). Arquitas de Tarento. 87
1.2.4 Rumbo a Euclides. 90
(i). Construcciones con regla y comps. 90
(ii). Los tres clsicos problemas de la Antiguedad:
duplicacin del cubo, triseccin de un ngulo
y cuadratura del crculo. 97
(iii). Platn. La Academia. Zenn. Aristteles.
Teodoro de Cirene. 110
(iv). Eudoxo de Cnido 113
teora de las proporciones 113
mtodo exhaustivo. 114
(v). Fin del perodo Helnico. 118
1.2.5 Euclides. Los Elementos. 118
(i). La Escuela de Alejandra; Biblioteca y Museo. 118
(ii). Euclides. 120
(iii). Los Elementos. Libros I - II -III - IV - V - VI - VII
VIII - IX - X - XI - XII - XIII. 122
(iv). Euclides y su obra. 207
COMENTARIOS 1.2. 210
EJERCICIOS 1.2. 220
Captulo 2
DE ARQUMEDES A LA DECLINACIN DE LA
MATEMTICA GRIEGA
2.1 ARISTARCO. 227
2.2 ARQUMEDES. 229
2.2.1 Algunos aspectos de su vida. 230
2.2.2 La obra cientca de Arqumedes. 234
2.2.3 La cacera de . 238
2.2.4 La cuadratura de la parbola. 244
2.2.5 Sobre la esfera y el cilindro. 248
2.2.6 Comentarios Generales de otras contribuciones:
principio de la palanca; conoides y esferoides; espirales;
Libro de los Lemas; slidos semire-gulares;
el teorema de la cuerda rota. 260
COMENTARIOS 2.1 - 2.2. 284
EJERCICIOS 2.1 - 2.2. 292
2.3 APOLONIO. 293
2.3.1 Algunos aspectos biogrcos. 293
2.3.2 Las Cnicas antes de Apolonio: Menecmo, Euclides,
Arqumedes. 295
2.3.3 Descripcin de los Libros de las Cnicas. 299
2.3.4 Algunos resultados matemticos: parbola, hiprbola, elipse.
El Problema de Apolonio. 306
2.4 ERATSTENES (de Cirene). 317
2.4.1 Algunos aspectos biogrcos. 317
2.4.2 Algunas contribuciones: La Criba de Eratstenes;
una aplicacin matemtica; la duplicacin del cubo. 318
2.5 LA TRIGONOMETRA EN LA ANTIGUEDAD. 324
2.5.1 Consideraciones generales. 324
2.5.2 La Trigonometra en la Antigua Grecia. Aristarco,
Hiparco, Menelao, C. Ptolomeo. 325
2.6 LOS LTIMOS APORTES. EL FINAL DE
UNA GRAN CULTURA. 338
2.6.1 Generalidades. 338
2.6.2 Nicmaco de Gerosa. 339
2.6.3 Diofanto de Alejandra. La Aritmtica. 341
2.6.4 Hern de Alejandra. 356
2.6.5 Pappus de Alejandra. 357
2.6.6 Llega la Noche. 361
COMENTARIOS 2.3, 2.4, 2.5 y 2.6 363
EJERCICIOS 2.3, 2.4, 2.5 y 2.6 367
Breve Resumen de los Captulos 1 y 2 370
Bibliografa. 373
ndice Alfabtico. 376
The Title
The Author
The Date
ii
0.1. Preface
This is the preface.
Parte I
The First Part
iii
Captulo 1
LA MATEMATICA EN LA
ANTIGUEDAD
1.1. MATEMATICA PRE-GRIEGA.
1.1.1. Aspectos Generales. (Etapas de la Matemtica).
En esta seccin daremos una breve visin sobre la evolucin de la matemti-
ca, con nfasis en lo sucedido en la Antiguedad. En la siguiente seccin dare-
mos un panorama sobre la matemtica en la pre-historia. Posteriormente
estudiaremos a las dos grandes culturas pre-griegas:la babilnica y la egip-
cia.
Desde los tiempos mas remotos, el estudio de la matemtica fue de gran
importancia en el desarrollo del progreso humano. Esta caracterstica perdura
an en nuestros das. El conocimiento matemtico, en todos sus niveles, di
al hombre la dimensin de un ser pensante, un ser esclarecido y de creador
de ideas abstractas. La matemtica es una de las ciencias mas antiguas;
las ideas de forma y de nmero surgieron posiblemente en las culturas ms
antiqusimas que tengamos conocimiento. En todas las pocas, la matemtica
constituy la base de los conocimientos surgidos de la mente humana. Debida
a su exactitud, ella est en la cima del conocimiento del hombre. El ideal de la
perfeccin de la matemtica llev a los mas grandes lsofos de la Antiguedad
a su estudio; asi Tales de Mileto, Pitgoras, Demcrito, Anaxgoras, Platn,
Aristteles, entre otros, dedicaron sus vidas a su estudio, logrando valiosos
aportes a la cultura griega. Scrates, el gran Maestro, exclam:
1
2 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Nunca notaste que aquellos que saben calcular naturalmente, y sin
dicultades, son dotados de una inteligencia capaz de hacer progre-
sos rpidos en todas las artes, y que las criaturas de espritu tardo y
pocos abiertos, se tornan, cuando son ejercitadas en la aritmtica, mas
ingeniosas y mas inteligentes?
Hipcrates, ilustre mdico de la Antiguedad, dijo:
Por el conocimiento matemtico, no solo alcanzars mas gloria y utili-
dad en las cosas humanas, si no que adems tornar a vuestro espritu
mas inteligente y mismo mas propio para los asuntos que dicen respecto
a la medicina.
El surgimiento de la matemtica en las ciencias naturales ocurre como
resultado de la aplicacin de las teoras matemticas existentes a problemas
prcticos y de la elaboracin de nuevos mtodos para su solucin. La apli-
cacin de una teora matemtica en el campo objetivo no siempre tiene de
inmediato una solucin satisfactoria; a veces pasan aos, decenios para lo-
grar la solucin. A su vez, conforme la tecnologa progres se abrieron nuevas
posibilidades para resolver problemas mas complicados. Tal es el caso del
surgimiento de las computadoras a mediados del siglo XX. Desde la poca
mas antigua hasta nuestros das, el campo de las aplicaciones de la matemti-
ca evoluy notablemente. Es una relacin mutua entre la creacin abstracta y
los problemas del mundo fsico. El proceso de la creacin de las ideas y mto-
dos matemticos para la solucin de problemas, desde las mas elementales
cuestiones, abarca un tiempo largo. El inicio de tal proceso data posiblemente
de los tiempos remotos, cuando el hombre comenz a usar instrumentos para
obtener los medios para sobrevivir. Este perodo termina con el surgimiento
de formas cualitativamente nuevas del pensamiento matemtico, de nuevas
ideas y mtodos sucientemente maduras para constituir formas primarias
de teoras matemticas. Esto sucedi alrededor de los siglos VI-V A.C. (antes
de Cristo) en la gloriosa Cultura Griega.
Como es natural pensar, los datos materiales que se tienen de la an-
tiguedad son escasos e incompletos y estn en continuo proceso de enrique-
cimiento conforme se hagan nuevos descubrimientos de documentos antiguos.
Pareciera que las ideas matemticas, desde las mas primitivas, son inher-
entes a la naturaleza mental del hombre. En consecuencia, la historia de la
matemtica est intimamente relacionada a la historia de la humanidad. Las
1.1. MATEMATICA PRE-GRIEGA. 3
ideas primarias de gura, forma, nmero, rea,... surgieron en la convivencia
del hombre con la naturaleza y fueron perfeccionndose con el transcurso
de los siglos. Fue un largo desarrollo matemtico-histrico. Segn algunas
investigaciones, hacia el ao 40,000 A.C., poca del hombre de Neandertal,
el hombre comenz a pensar y posiblemente al poco tiempo de aquel en-
tonces, nuestros antepasados comenzaron a usar un lenguaje con vestigios de
un sistema de nmeros, asi como se hicieron algunas construcciones en donde
aparecen ciertas relaciones geomtricas.
Por otro lado, el hombre primitivo al observar su entorno seguramente
fue concibiendo la idea de nmero, an antes de que surgiera un lenguaje
que le permitiera comunicarse. Posiblemente fue distinguiendo una sensacin
cuantitativa al observar un rbol y al observar tres rboles; en su cuerpo tuvo
la oportunidad de ir concibiendo la nocin de nmero al observar los dedos de
una mano, los de las dos manos, de las manos y los pies. Las noches de Luna
llena le iran moldeando la idea de redondez, al menos como un sentimiento.
El nacimiento de las civilizaciones antiguas se produce con la llegada
de la Edad de los Metales, y surgen a orillas de los grandes ros como son
el Eufrates, el Tigris, el Nilo y otros en la India y en la China. Nuestra
vida familiar est fuertemente inuenciada por el pensamiento matemtico,
desde los tiempos remotos hasta la actualidad, desde las ideas mas simples y
triviales hasta las mas complejas de nuestros das. En los pueblos antiguos, de
un modo progresivo, se fueron elaborando nuevas ideas o teoras matemticas.
Posiblemente el hombre pueda vivir en un mundo donde no existan algu-
nas de las profesiones conocidas (el derecho, la literatura,...) pero es dicil que
pueda vivir en un mundo sin matemtica, caso contrario estara condenado a
vivir en un mundo muy trivial. Ya en las culturas surgidas en las regiones ge-
ogrcas citadas antes, la matemtica haba evolucionado lo suciente para
poder ser aplicada en diversas situaciones concretas. Los babilonios y los
egipcios tuvieron conocimientos sucientemente avanzados para realizar, por
ejemplo, trabajos de ingeniera, que an ahora nos maravillan.
La matemtica es un conocimiento que est en nuestra mente, surge de
nuestra mente; la abstraccin es una de sus caractersticas inherentes. Llegar,
por ejemplo, a la abstraccin del nmero 1 llev mucho tiempo al hombre.
Sin embargo, estos modelos abstractos fueron y son indispensables para re-
solver mltiples problemas del mundo fsico; por ejemplo, gracias a la teora
de las funciones analticas de Cauchy y de la representacin conforme es que
un avin vuela. Los fsicos e ingenieros, a travs del tiempo, conquistaron a la
naturaleza o como dijo Descartes, dominaron a la naturaleza. La matemti-
4 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
ca ampla constantemente su campo de aplicacin; actualmente se la aplica
en dominios muy especializados y con modelos matemticos muy elaborados,
de niveles avanzados. Los grupos de investigacin multi-disciplinarios crecen
da a da. Guardando la proporcin, esta situacin tambin era cierta siglos
atrs.
La Historia de la Matemtica nos ilustra de perodos gloriosos en que la
humanidad, a travs de los aportes de los matemticos, lograron conquistas
intelectuales y materiales de altsimo nivel. Ya hemos mencionado ligera-
mente a la cultura griega de los siglos VI a III A.C. Otro perodo glorioso fue
lo logrado en los siglos XVII y XVIII con la creacin de la geometra analtica
y del clculo, y de lo derivado de estas dos teoras. Desde la Antiguedad se
buscaron mtodos matemticos universales que permitieran resolver diver-
sos problemas. La abstraccin surgida en la Antiguedad permiti demostrar
diversos teoremas abstractos; en este sentido, y por su contenido, Los E-
lementos de Euclides es una obra monumental, que perdura hasta nuestros
das. La geometra de Euclides y la de Apolonio (las cnicas) fueron apli-
cadas con xito en mltiples problemas surgidos en el mundo fsico, como fue
(por ejemplo) en la mecnica y en la mecnica celeste.
Segn el prestigioso matemtico ruso A.N. Kolmogrov, en la historia de
la matemtica se distinguen los siguientes perodos (ver [RIB]):
Nacimiento de la matemtica: este perodo se inicia en la s profun-
didades de la civilizacin primitiva y se prolonga hasta los siglos VI y
V antes de Cristo.
Comprende la etapa de la formacin de las ideas mas primitivas de
nmero y de forma hasta el momento en que la matemtica adquiere
cierta independencia, con objetivos y mtodos propios. Pertenecen a
este perodo las culturas egipcia y la babilnica. En esta etapa se for-
maron la aritmtica y la geometra, las cuales estaban intimamente
relacionadas. La matemtica era una coleccin de reglas aisladas que
1.1. MATEMATICA PRE-GRIEGA. 5
provenan de la experiencia con el medio ambiente; no exista an un
sistema organizado ni unicado.
La Matemtica Elemental: este perodo se inicia entre los siglos VI
y V A.C., con Tales y Pitagoras, cuando la matemtica deja de ser un
conocimiento solo al servicio de aplicaciones inmediatas, en donde ex-
istan resultados tericos aislados y recetas numricas, para luego pasar
a constituirse en una ciencia altamente intelectual. Por ello, la denom-
inacin elemental es solo una expresin para ubicar a la matemtica
en el contexto general de lo que vendra siglos despus. En efecto, los
trabajos matemticos de Arqumedes y de Apolonio son de alta pro-
fundidad matemtica, inclusive no muy bien conocidos actualmente en
nuestro medio. Asi mismo, como ya hemos mencionado, Los Elemen-
tos de Euclides constituye una obra singularmente original para su
poca y est escrita con un rigor que hace de ella una obra perdurable
a travs del tiempo. Sin embargo, toda esta matemtica es, de algn
modo, esttica por las caractersticas histricas de la sociedad de en-
tonces. Asi, hasta mediados del siglo XVI de nuestra era en que, gracias
al renacimiento cientco producido entonces, la humanidad entra en
una revolucionaria etapa de cambios esenciales. Gracias a la fsica y al
conocimiento de otras ramas, la matemtica se hace dinmica, estudia
los cambios existentes en la naturaleza; se inicia la etapa de las mag-
nitudes variables, la que fue fuertemente estimulada por la creacin
de la geometra analtica y del clculo innitesimal. En contraste, a
este perodo tambin se le conoce como la etapa de las magnitudes
constantes.
La Matemtica de las Magnitudes Variables: se inicia con los
trabajos de Descartes, Newton y Leibniz, asi como con las mltiples
contribuciones que se hicieron, antes y despus de los citados cientcos.
La geometra analtica y el clculo (diferencial e integral) fue el punto
de partida de cambios fundamentales en la matemtica pues ella se
volvi capaz de resolver problemas nuevos que provenan del mundo
fsico. La humanidad entraba a la era de las mquinas; se construyeron
mquinas y barcos de vapor, surgieron las locomotoras. El posterior
desarrollo del clculo permiti el surgimiento de las series y de las
6 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
ecuaciones diferenciales, entre otras ramas del clculo, lo que permitira
el desarrollo de la fsica-matemtica.
Este perodo es particularmente muy rico en muchos talentos que impul-
saron a la matemtica a nuevos horizontes, tanto en aspectos tericos
como en las aplicaciones. La ciencia y la tecnologa naciente han de
motivar mas y mas investigaciones tericas y tambin en el campo de
las aplicaciones. El inicio de este perodo se ubica entre los siglos XVI
y XVII, poca en que se investiga a la matemtica de las magnitudes
variables. Las ciencias naturales condujeron a las ciencias exactas a
mayores exigencias y retos; asi, las leyes generales de la naturaleza se
estudian con nuevos modelos matemticos. El xito de la matemtica
pura de entonces, originaba muchas otras demandas en las aplicaciones.
Por esa poca surgieron algunas organizaciones cientcas, como la Roy-
al Society de Londres (1662); tambin se organiza la Academia de Pars
(1666). Se fundan algunas Revistas sobre matemtica.
Este perodo termina a mediados del siglo XIX, poca en que se han
de producir progresos esenciales que ampliaron la visin del mundo de
la matemtica. Se introdujeron muchas nuevas teoras; se claricaron
algunas inconsistencias existentes en el clculo para de este modo surgir
a la luz el anlisis matemtico. Tambin en el lgebra y en la geometra
han de surgir teoras revolucionarias. De alguna manera se estaba ges-
tando un nuevo perodo que nos llevara a nuevos universos matemticos
gracias al talento de muchos cientcos.
La Matemtica Contempornea: este es posiblemente el perodo
mas difcil de precisar por la inmensidad de teoras nuevas, por la
creacin de nuevos mtodos y nuevas ramas de la matemtica. Has-
ta el siglo XIX podan haber genios matemticos que conocieran bien
la matemtica de su poca; ahora, siglos XX y XXI, ello es prctica-
mente imposible. El campo de las aplicaciones de la matemtica es muy
amplio en nuestros das; es casi todo el conocimiento humano. La era
de las computadoras contribuye a que la informacin que obtengamos
sobre las novedades nos abruma y tengamos que ser selectivos y pun-
tuales en nuestros intereses matemticos. Si bien esta etapa se inicia,
mas o menos, a mitad del siglo XIX, no conocemos cuando termina;
capaz ya estemos en un quinto perodo, el perodo de las computadoras,
de las mquinas y robots. La matemtica crece, da a da, al ritmo de
1.1. MATEMATICA PRE-GRIEGA. 7
esta era altamente cientca y de especializada tecnologa, y por ello,
ahora mas que nunca, su conocimiento (al menos hasta ciertos niveles)
es indispensable a todo profesional sensible a las actuales circunstan-
cias y que aspire a ser lider en su campo profesional y de esta manera
sobreviva dignamente en este siglo XXI que iniciamos.
Al inicio de este perodo se producen profundos cambios en el lge-
bra, en la geometra y en el naciente anlisis matemtico. Se intro-
dujeron revolucionarias ideas que ampliaron al universo matemtico
de entonces; como se sabe estas ampliaciones no niegan las verdades
matemticas anteriores, desde la poca de los Antigos. As, 2 + 2 = 4
seguir siendo cierto en el contexto de su formulacin; la suma de las
medidas de los ngulos en un tringulo seguir siendo igual a 180 (gra-
dos) mientras estemos en el universo de Euclides; lo que sucedi es que
en universos mas generales, los matemticos encontraron nuevas ver-
dades adaptadas a tales universos. Esta relativizacin de la matemti-
ca, asi como entrar a dominios desconocidos (como lo hizo G. Cantor),
produjo un fuerte impacto an a reconocidos matemticos.
1.1.2. La Matemtica en la Pre-Historia.
Como es natural, exponer sobre lo habido sobre la matemtica en la
pre-historia es algo difcil; como se sabe, la informacin que se tiene sobre
la matemtica en la Antiguedad se debe, en gran parte, a descubrimientos
arqueolgicos, algunos producidos en los siglos XIX y XX. De esta manera,
nuestro conocimiento sobre la evolucin de la matemtica en los tiempos
remotos es un proceso que conforme se produzcan nuevos descubrimientos,
iremos ampliando nuestro conocimiento de lo sucedido en los albores de la
evolucin de la humanidad. La tarea de los arquelogos y de los historiadores
de la matemtica es reconstruir el pasado o la pre-historia de nuestra ciencia
en base a piezas encontradas, muchas de ellas incompletas, escritas en un
idioma antiguo y que estn ilegibles. El gran problema, difcil problema,
consiste en armar un todo en base a elementos muchas veces difciles de
interpretar.
Cmo conocer el legado matemtico, si lo hubo por mas elemental que
sea, del hombre de hace al menos cuarenta mil aos?...
En esta etapa los historiadores de la ciencia se basan en conjeturas; la
8 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
arqueologa y la antropologa son ciencias fundamentales en esta empresa.
Qu importancia tiene conocer lo que sucedi en la noche de los tiem-
pos?...
Tabla de Clculo del ao 2004 A.C
Extraida de [MAN], pag 9
El hombre, como ser pensante, es inquieto en conocer a la naturaleza
que lo rodea, an en los mnimos detalles; conocer el pasado, por mas lejano
que sea, es conocer mejor el presente y conocer el futuro va extrapolacin-
aproximacin. Conocer, de algn modo, como pensaba el hombre de las cav-
ernas, el hombre que luchaba da a da su sobrevivencia, es algo fascinante
porque es algo como si nos conociramos asi mismos, en lo mas lejano de
nuestra subconciencia.
En tal direccin se tiene una primera evidencia de un registro numrico en
un hueso, el peron de un babuino, que data de hace unos 35,000 aos A.C.
Este hueso fue encontrado en el Africa, en Swazilandia, y posee 29 marcas que
se asemejan a un calendario de varillas. Otro hallazgo (tambin en Africa)
es otro hueso con una antiguedad de 20,000 aos A.C. en donde se sugiere
las fases de la Luna; por razones prcticas, el cielo abierto era un gran reloj
del tiempo para aquellos seres. Por esta poca, la incipiente astronoma se
mezclaba con aspectos religiosos y de astrologa. Mas cerca, alrededor del ao
1.1. MATEMATICA PRE-GRIEGA. 9
3.500 A.C. ya existan escritos matemticos de cierto nivel; por ejemplo, ello
se produce entre los ros Eufrates y el Tigris, en cuyas tierras orecen diversas
culturas, cuyas ciudades mas importantes son Ur, Nnive y Babilonia.
Volviendo hacia atrs en el tiempo, es posible que hacia el ao 40,000
A.C. (poca del hombre de Neandertal) el hombre comenzara a pensar y
a adquirir conciencia del mundo fsico que lo rodea; se conjetura que por
esta poca surgen las dos primogenias ideas de la matemtica: la idea de
nmero y la idea de relacin espacial. Esta conjetura se sustenta en
el hecho de que actualmente existen tribus primitivas, que viven en la edad
de piedra y que poseen un sistema de nmeros muy limitado. La nocin de
nmero debe haber pasado por un proceso mental de muchsimos aos; el
hombre de las cavernas debe haber sentido la sensacin de lo cuantitativo al
ver una piedra y un montn de piedras, al observar a un hijo y a todos sus
hijos; observaba (?) que solo haba una sola Luna. En su evolucin, el hombre
seguramente tuvo curiosidad al ver que posea dos manos, dos pies y dos ojos
(nocin de correspondencia biunvoca!) y que haba algo en comn en este
sentimiento (?). El hombre de la Antiguedad aprendi, en algn momento,
que la naturaleza de los objetos que cuenta no es lo importante, sino ese
algo en comn que poseen los conjuntos dos manos, dos pies, dos
ojos,... . Asi mismo, debe haber observado que el orden en que observa a
los objetos tampoco inuye en su resultado nal; asi, el nmero de dedos en
ambas manos es siempre 10, independiente del orden en que se cuente.
Conforme los pueblos primitivos fueron creciendo y evolucionando, nuevas
necesidades surgan. Por ejemplo, ellos posean rebaos con muchos ani-
males, o posean grandes extensiones de terreno de cultivo de donde cosech-
aban un buen nmero de frutas u otros alimentos. El saber la cantidad de
objetos que posean forz la necesidad de tenerse un sistema de numeracin,
en realidad, diversos sistemas de numeracin segn las distintas comunidades,
en diversas partes del mundo. El proceso natural para contar es a partir
de un elemento, al cual se le agrega otro elemento; a ste, otro elemento, y
asi sucesivamente, hasta cuando?... esto es una pregunta complicada de re-
sponder pues ah est el germen de la idea del innito. Hay tribus primitivas
que solo conocen hasta el nmero 4, 5 6; si recurrimos a los dedos de las
dos manos llegamos al nmero 10; pero si se consideran, adems, los dedos
de los pies, se tuvo que considerar nmeros mayores que 10.
Pareciera que la idea de nmero no es patrimonio del hombre; se han he-
cho experimentos que inducen que ciertos animales tambin tienen tal idea.
A manera de ejemplo, de [COL], vol. I, pag. 13 extraemos la siguiente intere-
10 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
sante historia:
Se cuenta que un castellano haba decidido matar una corneja que haba
jado su domicilio en la torre de observacin de su castillo. Lo haba intentado
varias veces, pero siempre, cuando el hombre se aproximaba, dejaba su nido
y se diriga a un rbol vecino fuera del alcance del fusil asesino. El castellano,
decidido a terminar de una vez para siempre, opt por una artimaa. Una
maana se present en la torre con un amigo. Los dos hombres entraron y
poco tiempo despus sali slo el castellano. La corneja esper pacientemente
la salida del segundo hombre. En los das que siguieron, la experiencia se
repiti con tres e incluso con cuatro personas. Siempre al acecho, la corneja
volva a la torre una vez que haba salido el ltimo hombre. Por ltimo, se
enviaron cinco hombres; como en ocasiones anteriores, cuatro salieron de la
torre, uno despues del otro, mientras que el quinto esperaba tranquilamente
en el interior. Esta vez, la corneja, incapaz de distinguir entre cuatro y cinco,
cay en la trampa y volvi a su nido sin saber que el quinto hombre la
aguardaba con el fusil apuntando a su nido. Es fcil adivinar la suerte que
corri la pobre corneja.
Similares experimentos se han hecho sobre la reaccin del ave hembra
cuando de su nido de huevos se retira un huevo, dos huevos,... . La leona que
pone cuatro cachorros, por ejemplo, cuando los traslada de un lugar a otro,
va y viene hasta llevar al ltimo cachorro; que suceder si al regresar por su
ltima cra, la leona no lo encuentra?
Un factor que distingue al hombre del resto de animales es su facultad de
hablar, de poseer un lenguaje, lo que le permiti realizar las primeras primi-
tivas abstracciones. Lentamente fueron surgiendo diversos smbolos para rep-
resentar a los nmeros. Esta evolucin llev miles de aos; en la Antiguedad
surgieron diversos sistemas de numeracin, como sistemas en base 2, en base
3, en base 5,...; nuestro actual sistema es en base 10.
La Geometra Primitiva.
Como en el caso de la aritmtica, visto anteriormente, el origen de la
geometra se pierde en los tiempos remotos y por tanto es difcil precisarse
fechas y acontecimientos. Se trabaja en base a conjeturas y a informaciones
extraidas de otros campos, como por ejemplo, de la religin. En diversas
pinturas y grabados encontradas en cavernas, se induce que los Antiguos
conocan diversas guras y tcnicas de pintura.
1.1. MATEMATICA PRE-GRIEGA. 11
El historiador griego Herodoto sostena que la geometra naci en el an-
tiguo Egipto por razones prcticas al reconstruir peridicamente los lindes
de las tierras luego de las inundaciones causadas por el ro Nilo. En cam-
bio, el pensador Aristteles opinaba que el cultivo de la geometra se di en
Egipto gracias a la existencia de una clase sacerdotal ociosa. Pero, parece
por las evidencias arqueolgicas que la geometra es mas antigua que la cul-
tura egipcia y de otras grandes culturas de la Antiguedad (babilnica, china,
india, ...). Al menos en sus concepciones mas elementales, ya existan signos
de un pensamiento geomtrico en las antiqusimas comunidades humanas.
An, se sostiene que el origen de la geometra y de la numeracin estn
en relacin con algunas prcticas rituales primitivas. Posiblemente, se con-
jetura, que las primeras cuestiones geomtricas hayan surgido en la mente
del hombre cuando su cerebro haba evolucionado lo suciente para lograr
tal progreso mental. La observacin de cosas simples y su habilidad lograda
para reconocer las formas de las cosas que lo rodeaba, posiblemente hayan
sido las primeras armas que tuvo el hombre para ir interpretando al mundo
fsico en que viva. Este progreso, lento y que llevara muchsimos siglos, era
(posiblemente) algo subconciente.
No existen datos histricos que permitan conjeturar cuanto tiempo de-
mand al hombre para que se sienta capaz de llevar a la geometra a la
condicin de ciencia. Algunos historiadores de la matemtica postulan que
ello se produjo en el valle del Nilo en Egipto, pero tambin se acepta que
tal condicin se di en los valles del Tigris y el Eufrates en Mesopotamia,
en los de los ros Indus y el Ganges del Asia sur-central, y del Hwang Ho
y el Yangtze al este de Asia. Alrededores de las citadas cuencas se desar-
rollaron ciudades prsperas que alcanzaron niveles sociales, econmicos y
culturales que hicieron posible cultivar una matemtica con nes utilitarios,
con aplicaciones a la ingeniera (construccin de templos, puentes, ...) y a la
contabilidad de lo que posean. Asi va surgiendo una matemtica mas organi-
zada, en donde tambin existen ciertas signicativas abstracciones o frmulas
matemticas.
1.1.3. La Matemtica Babilnica.
La civilizacin babilnica engloba un conjunto de pueblos que vivieron
en Mesopotamia entre el 5,000 A.C. y los primeros tiempos del cristianismo.
El conocimiento matemtico babilnico procede de las excavaciones hechas
a mediados del siglo XIX. Alrededor de 300 tablillas han sido identicadas
12 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
como tablillas matemticos, que contienen diversos problemas matemticos
y que pertenecen a diversos perodos de la historia de Babilonia; asi tenemos
textos matemticos que posiblemente datan de alrededor del 2100 A.C., otros
de alrededor del 1600 A.C., y otros de antiguedad del 600 al 300 A.C. En
estos textos se aprecia que los antiguos babilonios tenan un alto nivel de
habilidad en el clculo; su escala numrica fue en base 60. A ellos le debemos
que 1 hora tenga 60 minutos.
Como hemos mencionado, el conocimiento que tenemos de la matemtica
en Babilonia, es relativamente reciente; en gran parte debemos tal conocimien-
to al trabajo de los arquelogos quienes encontraron un promedio de medio
milln de tablas-documentos; en Nipur se encontraron mas de 50,000 tablas.
Toda esta valiosa informacin est distribuida en algunos museos europeos y
la Universidad de Yale.
Como la informacin sobre las culturas antiguas provienen de excava-
ciones arqueolgicas, la historia de la matemtica en Babilonia no est cer-
rada; pueden surgir nuevas novedades sobre esta gran cultura oriental.
Veamos algunos aspectos de la matemtica babilnica.
Nota. Debemos remarcar que con la palabra matemtica babilnica nos
referimos a la matemtica cultivada en los pueblos existentes en el entorno
1.1. MATEMATICA PRE-GRIEGA. 13
de los ros Tigris y Eufrates, conjunto que se llama la regin de la antigua
Babilonia.
Nota. En el contexto de esta exposicin, tabla es equivalente a tablilla.
(i) Sistema de Numeracin.
Las primeras formas de escritura aparecen hacia el tercer milenio A.C.;
son smbolos estilizados para representar cosas. La gura adjunta exhibe una
tabla de los nmeros del 1 al 2000.
El mas alto desarrollo aritmtico de los babilonios es el Akkadian, cuyos
smbolos numricos son muy similares a los de la anterior tabla. En su sistema
numrico usaron la notacin posicional y era ambiguo. Algunas fracciones
tuvieron, en tal aritmtica, smbolos especiales; asi, por ejemplo,
14 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Para los babilonios estas fracciones era el todo, el total y no la divisin
de la unidad en partes.
La informacin que se dispone sobre la aritmtica mesopotmica provienen
de una serie de tablillas que datan de los primeros siglos del segundo mile-
nio A.C. y de los ltimos siglos del primer milenio A.C. En tal perodo los
babilonios hicieron contribuciones signicativas a la numeracin posicional,
sin embargo, no conocieron al nmero cero, es decir, no tuvieron un simbolo
para expresar al espacio vaco, lo que produjo ciertas ambiguedades en la
representacin de ciertos nmeros. En vez del cero, los babilonios empleaban
un espacio blanco (de cierta amplitud). Por ejemplo, los smbolos
pueden signicar al nmero 11, al nmero 11.60, al nmero 11.60
2
. ... Pos-
teriormente, para el lugar del cero usaban al smbolo . Como ejemplo,
veamos la siguiente representacin en base 60,
7424
(60)
= 2.60
2
+ 3.60 + 44 =
Posteriormente (conquista de Alejandro Magno) tuvo la siguiente repre-
sentacin,
7424
(60)
=
La Raz Cuadrada. Es interesante mencionar que los babilonios estudiaron
al nmero
_
2, lo que est en una tablilla de la poca babilnica antigua. Tal
nmero lo representaron en la forma . Los babilonios
encontraron el valor aproximado de 1.414222 para
_
2. Ellos tuvieron bue-
nas tcnicas para lograr buenas aproximaciones. Veamos algunos detalles.
Se desea calcular algunas aproximaciones para
_
/, donde / es un nmero
apropiado. Sea r =
_
/ la raz buscada y sea /
1
una aproximacin de es-
ta raz. Supongamos que c
1
es otra aproximacin tal que c
1
=
/
/
1
. Si /
1
es
demasiado pequeo, entonces c
1
es demasiado grande. Elegimos entonces la
media aritmtica /
2
=
c
1
+ /
1
2
. Si /
2
es demasiado grande, entonces c
2
=
/
/
2
1.1. MATEMATICA PRE-GRIEGA. 15
ser demasiado pequeo. Luego, ser suciente tomar la media aritmtica
/
3
=
c
2
+ /
2
2
, y as sucesivamente...
De otro modo, sea c
1
el mayor entero menor que
_
/. Para : = 1. 2. 3. ... se
calcula c
n+1
=
1
2
_
c
n
+
/
c
n
_
(mtodo de Hern). De esta manera c
1
. c
2
. c
3
. ...
es una sucesin de cada vez mejores aproximaciones de
_
/.
Ejemplo. Calcular
_
2
Solucin (babilnica). Se procede de la siguiente forma
c
1
= 1. c
2
=
1
2
_
1 +
2
1
_
=
3
2
.
c
3
=
3
2
+
2
3
2
2
=
17
2
. c
4
=
17
12
+
2
17
12
2
=
577
408
.
c
5
=
577
408
+
2
577
408
2
=
665. 857
470. 832
.
y asi sucesivamente. En una de las tablillas de la Universidad de Yale se lee:
_
2 = 1 +
24
60
+
51
60
2
+
10
60
3
= 1.41423.
En la tablilla se aprecia un cuadrado de lado 30, y se da la diagonal 30
_
2 =
30.1; 24. 51. 10 = 42; 25. 25. De esto se deduce que los babilonios ya conocan
al Teorema de Pitgoras.
Observemos que el ejemplo dado nos muestra que los babilonios fueron
capaces de crear algoritmos nada triviales; el mtodo exhibido tiene cierta
profundidad considerando la poca en que fue concebido. Es un algoritmo en
que se usa el mtodo iterativo. De tal idea se puede hallar un camino para
calcular una aproximacin, por ejemplo, de
_
c
2
+ /. En efecto, la aproxi-
macin c
1
= c conduce a /
1
=
c
2
+ /
c
y c
2
=
c
1
+ /
1
2
=
c
2
+ c
2
/
2c
= c +
/
2c
.
Vemos que c
1
y c
2
concuerdan con los dos primeros trminos del desarrollo de
(c
2
+ /)
1
2
(segn el algoritmo de Newton). Estas aproximaciones aparecen
en los textos de los antiguos babilonios. Asi,
16 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
(c
2
+ /)
1
2
c +
/
2c
.
Observemos que el sistema usado por los babilonios tiene dos smbolos
fundamentales: la cua , con el valor numrico 1, y el gancho , con el valor
numrico 10. Repitiendo estos smbolos se pueden escribir otros nmeros. Un
nmero se escribe de izquierda a derecha, en la base 60, en la forma
` = c
0
60
0
+ c
1
60
1
+ c
2
60
2
+ ....
En cuanto a las operaciones con nmeros, existan tablas de multipli-
cacin; asi la siguiente gura nos ilustra la multiplicacin por 9
Los babilonios tambin tenan otras tablas numricas, como la de los
cuadrados de nmeros enteros, de los cubos; tablas de raices cuadradas, tabla
de nmeros de la forma :
3
+:
2
; tambin consideraron clculos sobre tanto por
ciento, sobre divisin proporcional. Como observamos, los babilonios tenan
una aritmtica con aportes signicativos.
(ii) El Algebra Babilnica.
Los babilonios podan resolver ecuaciones lineales y cuadrticas (por com-
pletacin del cuadrado o por substitucin). An podan resolver complicados
1.1. MATEMATICA PRE-GRIEGA. 17
sistemas, como por ejemplo
_
r
8
+ r
6
2
= (3.200. 000)
2
r = 1. 200
Como es de suponer, los problemas algebraicos se enuncian y se resuel-
ven sin los recursos notacionales de la era moderna. Veamos algunos casos
concretos.
Ejemplo 1. Problema. Conocer la longitud del lado de un cuadrado cuya
rea menos el lado es igual a 870.
Esto equivale a resolver la ecuacin r
2
r = 870.
Solucin Babilnica.
Trabajan en base 60. Toman la mitad de 1, que es 0;30. Luego realizan
la multiplicacin (0; 30) (0; 30), que es 0; 15 (signica 0.15). Luego suman
(14; 30 + 0; 15) = 14; 30; 15. Pero, 14; 30; 15 es el cuadrado de 29; 30. Final-
mente suman: 0; 30 y 29.30, lo que queda 30 como el lado del cuadrado. Esto
coincide con la solucin obtenida con los mtodos actuales.
+
:
2
r
+ / = 0.
cuya solucin lleva a una ecuacin de sexto grado, cuadrtica en r
3
.
Los Triples Pitagricos.
Los babilonios, mucho tiempo antes que Pitgoras, estudiaron los llama-
dos triples pitagricos. Los enteros positivos r. . . donde r e son menores
que ., constituyen un triple pitagrico (r. . .) si: r. . . son las longitudes
de los lados de un tringulo rectngulo =r
2
+
2
= .
2
.
En la tablilla Plimpton 322, los babilonios estuvieron interesados en
cierta clase de triples pitagricos. Asi, (r. . .) es llamado un triple pitagri-
co si longitud de r = 2n, longitud de = n
2
2
y longitud de . = n
2
+
2
,
donde n y son enteros positivos relativamente primos, que tienen como
nicos factores primos a 2. 3 y 5 (que son precisamente los divisores primos
de 60, la escala babilnica). n y se llaman los nmeros generadores.
Observemos que se tiene
(2n)
2
+
_
n
2
2
_
2
=
_
n
2
+
2
_
2
(+)
De esta manera, (56. 90. 106) es un triple pitagrico con generadores n = 9
y = 5. en tanto que (28. 45. 53) no es un triple pitagrico pues en este caso
n = 7 y = 2 an cuando n y satisfacen (+).
Ecuaciones Algebraicas.
Los babilnicos tuvieron un buen conocimiento de la solucin de diversas
clases de ecuaciones, como son,
cr = /. r
2
cr = /; r
3
= c. r
2
(r + 1) = c.
1.1. MATEMATICA PRE-GRIEGA. 19
Tambin conocieron sistemas de ecuaciones, como son
_
_
_
r = c
y
r = /
_
_
_
r = c
r
2
+
2
= / , entre otras.
Es til saber que los babilonios ya tenan conocimiento de las frmulas:
c
2
/
2
= (c + /) (c /)
y
(c + /)
2
= c
2
+ 2c/ + /
2
.
Neugebauer encontr en una tablilla (300 A.C.), de la poca del imperio
de Nabucodonosor, dos interesantes igualdades:
1 + 2 + 2
2
+ ... + 2
9
= 2
9
+ 2
9
1
y
1
2
+ 2
2
+ 3
2
+ ... + 10
2
=
_
1
_
1
3
_
+ 10
_
2
3
__
55 = 385.
Estas igualdades nos motivan preguntarnos: conocan los babilonios a
las frmulas
n
j=0
:
j
=
:
n+1
1
: 1
.
n
j=1
,
2
=
2: + 1
3
.
n
j=1
, =
:(: + 1) (2: + 1)
6
?
Una respuesta armativa sera algo admirable en una matemtica culti-
vada muchos siglos antes de Cristo.
Es oportuno remarcar que la tablilla (o tabla) Plimpton 322, ya menciona-
da anteriormente, es un documento de un gran valor histrico-matemtico;
ella est en la Universidad de Columbia, en la coleccin G.A. Plimpton. El-
la fue escrita entre los aos 1900 y 1600 A.C. aproximadamente y fueron
20 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
descritas por los cientcos Otto Neugebauer y A.J. Sachs en el ao 1945.
Ejemplo 3. Multiplicando el largo por el ancho he obtenido un rea de
600. He multiplicado por si misma la diferencia entre el largo y el ancho, y
ese resultado multiplicado por 9 da una supercie equivalente al cuadrado del
largo. cules son el largo y el ancho?
Solucin babilnica.
La raz (cuadrada) de 9 es 3, toma 3 como el largo, entonces el ancho ser
2. El producto de 3 por 2 es 6. Divide 600 por 6, obtendrs 100. La raz de
100 es 10; como se tom 3 para el largo, ste ser 10 por 3, es decir 30, y por
tanto el ancho ser 20.
Nota. El lector puede resolver este problema con la notacin moderna. De-
ber resolver el sistema
_
r = 600
9 (r )
2
= r
2
.
y observar que el mtodo usado por los babilonios es mas simple en clculos
numricos, de algn modo, a lo que hacemos actualmente.
Tambin se ha encontrado un problema que consiste en determinar dos
nmeros conociendo el producto de ellos y su diferencia. Asi, se tiene: se
1.1. MATEMATICA PRE-GRIEGA. 21
conoce el rea de un rectngulo (= 375) y se sabe que el lado menor es
igual a 30 veces esa caa acortada de un codo (lo que signica, 5 unidades
menos que el doble del otro lado). Calcular la longitud de la caa y de
los lados. Actualmente este problema se resuelve por mtodos conocidos;
el proceso hecho en la tablilla no es muy claro. Sin embargo, todos estos
problemas exhibidos, y muchos otros, nos muestra lo avanzado que estuvieron
los babilonios en lgebra, cuyas reglas tambin lo relacionaban con problemas
geomtricos.
Como hemos mostrado anteriormente, los babilonios aprendieron a re-
solver sistemas de ecuaciones con varias variables; saban resolver ecuaciones
cuadrticas completas (lo que fue descubierto por Neugebauer en 1930); re-
solvieron tambin ciertas ecuaciones cbicas, para lo que usaban la tabla de
valores para nmeros de la forma :
3
+ :
2
. : = 1. 2. .... 30. Otra muestra de
los hbiles que fueron los babilonios en lgebra es el hecho de que consider-
aron ecuaciones del tipo cr
4
+/r
2
= c y cr
8
+/r
4
= c, y an mas, se dieron
cuenta de que esas ecuaciones pueden ser consideradas, la primera como una
ecuacin cuadrtica en r
2
, y la segunda en r
4
.
(iii) Geometra Babilnica.
La geometra en Babilonia est an en la etapa de un conjunto de re-
glas para efectuar medidas prcticas; asi, entre los aos 2000 a 1600 A.C.
ya les era familiar algunas reglas generales para calcular: el rea de un rec-
tngulo, de un tringulo rectngulo, de un tringulo issceles; el rea de un
trapezoide teniendo un lado perpendicular a los lados paralelos; el volumen
de un paraleleppedo rectngular, el volumen de un prisma recto con base
trapezoidal.
Saban que la circunferencia de un crculo era tres veces su dimetro; el
rea del circulo lo calculaban con la frmula =
c
2
12
, donde c es la longitud de
la circunferencia, y de donde se obtiene la tosca aproximacin : = 3. Mas
recientemente se ha descubierto una tablilla con una mejor aproximacin,
: = 3
1
8
. Los babilonios saban que el volumen de un cilindro circular recto era
el producto del rea de la base por su altura; incorrectamente determinaban
el volumen de un cono truncado multiplicando la altura por la semi-suma de
las reas de las bases.
22 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
En aquella poca, los babilnicos saban que los lados correspondientes
de dos tringulos rectngulos similares, son proporcionales; conocan que
la perpendicular bajada del vrtice de un tringulo issceles, bisecta a la
base. Conocan tambin el teorema (Tales?): el ngulo inscrito en un semi-
crculo, es recto. Como hemos mencionado, conocan al teorema de Pitgo-
ras. Al respecto, en 1945, Neugebauer y Saks publican un trabajo en que de-
scifran una tablilla en donde aparecen enumerados los tringulos rectngulos
con lados racionales, es decir, los triples de nmeros pitagricos r
2
+
2
= .
2
.
La reconstruccin del mtodo de la eleccin de estos triples parecen conducir
a las frmulas, ya mencionadas,
r = 2n. = n
2
2
. . = n
2
+
2
.
El citado trabajo est relacionado a la tablilla Plimpton 322 ya mencionada
anteriormente.
En relacin a los triples de nmeros pitagricos, la tabla de Plimpton
permite construir triples pitagricos. Asi, (ver [EVE], pag 65) tenemos,
r . n
120 119 169 12 5
3456 3367 4825 64 27
4800 4601 6649 75 32
13500 12709 18541 125 54
72 65 97 9 4
360 319 481 20 9
2700 2291 3541 54 25
960 799 1249 32 15
En general, la geometra babilnica an no alcanza el nivel de una ciencia
organizada (lo que se alcanzara en Grecia, varios siglos despus); ella est ori-
entada a medir guras planas (motivadas por necesidades prcticas); algunas
pocas mediciones tratan sobre slidos. La informacin sobre la matemtica
babilnica provienen fundamentalmente de cuatro tablillas: la de Yale, la de
Plimpton 322, la de Susa y de la tablilla de Tell Dhibayi. En la tablilla de
Yale existe un cuadrado como se muestra en la gura adjunta. El nmero
1;24,51,10 convertido al sistema decimal es 1.414212963, que es aproximada-
mente
_
2. En tanto el nmero 42,25,35 es obtenido va la multiplicacin
1.1. MATEMATICA PRE-GRIEGA. 23
30 (1; 24. 51. 10), es decir, la diagonal de un cuadrado de lado 30 es hallado
multiplicando 30 por una aproximacin de
_
2.
En la tablilla Susa existe un problema sobre un tringulo issceles con
lados 50,50 y 60. El problema consiste en encontrar el radio de una circun-
ferencia que pase por los tres vrtices.
Veamos la solucin usando la metodologa actual. Sea el 1C y la
circunferencia circunscrita de centro C. Sea 1l1C. En el tringulo rec-
tngulo 11, por el teorema de Pitgoras, tenemos 1
2
= 1
2
11
2
, de
donde 1 = 40. Sea : el radio de la circunferencia. Asi, C = C1 = : y
C1 = 40 :. Tambin, en el C11 se tiene :
2
= C1
2
+ 11
2
, es decir,
:
2
= (40 :)
2
+ 30
2
, de donde 80: = 2500. Asi : = 31.25 (: = 31; 15 en el
sistema sexagesimal).
.
En cuanto a la aritmtica, los egipcios tenan la habilidad de multiplicar
y dividir por 2; asi mismo, calculaban los dos tercios de cualquier nmero, ya
sea entero o fraccionario. La multiplicacin de dos enteros se efecta mediante
operaciones sucesivas de desdoblamiento, lo que depende de que cualquier
nmero se puede expresar como una suma de potencias de 2. Veamos algunos
ejemplos.
Ejemplo 1. Calcular 24 37.
1.1. MATEMATICA PRE-GRIEGA. 29
Solucin. 24 = 16 + 8 : Ahora calculamos mltiplos de 37, en la forma
1 37
2 74
4 148
8 296
16 592
24 888
Conclusin: 24 37 = 888.
Ejemplo 7. Hallar
1
3
de 3.
Solucin. El autor del papiro calcula primero los
2
3
de 3, luego calcula
1
3
de
3 para obtener el resultado. Si 1 es el todo, se tiene el esquema
32 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Luego,
1
3
de 3 = 1.
Ejemplo 8. Hallar
1
3
de 1 +
1
3
+
1
4
.
Solucin. Segn la regla dada en el ejemplo 7, tenemos en este caso
1 1 +
1
3
+
1
4
2
3
2
3
+
_
1
6
+
1
18
_
+
1
6
2
3
+
_
1
6
+
1
6
_
+
1
18
2
3
+
1
3
+
1
18
1 +
1
18
1
3
1
2
+
1
36
Luego,
1
3
de 1 +
1
3
+
1
4
=
1
2
+
1
36
.
Ejemplo 9. Hallar
2
3
de 16 +
1
56
+
1
679
+
1
776
.
Solucin. En el papiro, la solucin consta slo de dos lneas,
1 16 +
1
56
+
1
679
+
1
776
2
3
10 +
2
3
+
1
84
+
1
1358
+
1
4074
+
1
1164
.
+
c
2
r
+ d = 0.
7. Existen ciertas evidencias de que los babilonios llegaron a conocer al-
gunas frmulas notables. Ya hemos planteado la interrogante si ellos
conocieron las frmulas,
n
j=0
:
j
=
:
n+1
1
: 1
y
n
j=1
,
2
=
:(: + 1) (2: + 1)
6
=
_
1
3
+
2
3
:
_
n
j=1
,.
Ciertas investigaciones (de Neugebauer) llevan a la conclusin de que
los babilonios habran conocido a la frmula
n
i=1
i
3
=
_
n
i=1
i
_
2
para varios valores de :.
8. ([EVE]). Remarcamos el carcter algebraico de los problemas geomtri-
cos en la antigua Babilonia. En una tablilla, de mas o menos 1800 A.C.,
se encuentra el siguiente problema: un rea , que consiste de la suma
de dos cuadrados, es 1000. El lado de uno de los cuadrados es 10 menos
de que los
2
3
del lado del otro cuadrado. Cules son los lados del
cuadrado?.
Otro problema arma: un trapecio issceles de bases 14 y 50, y de
lados 30 tiene rea 12.48. Es interesante indagar por la frmula que
estaban usando.
An, los antiguos babilonios nos dicen: un cateto de un tringulo rec-
tngulo es 50. Una paralela al otro cateto y a una distancia 20 de
ella, corta al tringulo formando un trapecio rectngulo de rea 5,20.
Determine las longitudes de las bases del trapecio.
1.1. MATEMATICA PRE-GRIEGA. 45
9. ([EVE]). En el papiro de Rhind se encuentran los siguientes problemas:
(c) Si le preguntan lo que es
2
3
de
1
5
, tome el doble y el sxtuple; eso
es
2
3
de l. Se debe proceder asi para cualquier otra fraccin.
(/) Una cantidad, sus
2
3
, su
1
2
y su
1
7
, sumados, valen 33. Cul es
la cantidad?.
EJERCICIOS 1.1.
1. Reexione sobre las siguientes situaciones hipotticas.
(a) La matemtica surge con la aparicin del hombre?, pueden haber
situaciones matemticas sin el hombre?
(b) Supongamos que an no surge el hombre en la Tierra; por azar dos
delgadas ramas se cruzan al caer al suelo, existe ah, ya, la idea
de ngulo?, la propiedad que dos ngulos opuestos por el vrtice
son congruentes, ya exista?, es cuestin que la mente humana
la extraiga para que recien tenga vida esa propiedad?
(c) En un planeta de un lejano sistema planetario existe cierto tipo
de vida inteligente; esos seres al ver la redondez de su sol, qu
sensacin geomtrica podran tener?; si dos palos se cruzan, qu
podran inducir?. La matemtica, es patrimonio de la mente del
hombre?; y si la Tierra evolucionara de modo que surja otro tipo
de vida, superior a la inteligencia del hombre, cmo sera la
matemtica que surja de estos nuevos seres?
2. Mencione algunas evidencias ambientales o de experiencias locales que
puedan haber sugerido o motivado algunas ideas matemticas al hom-
bre de la pre-historia.
3. Cules seran sus comentarios respecto a los smbolos usados por los
babilonios y los egipcios para representar a los nmeros?; cul de ellos,
usted considera mejor?
4. Existe alguna correspondencia entre el nivel cultural de una comu-
nidad humana y el nivel de la matemtica que poseen?
46 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
5. Va la lectura de otros textos (ver Bibliografa), redacte un breve in-
forme sobre los perodos que tiene la Historia de la Matemtica segn
Kolmogrov.
6. Cul es su opinin sobre la conjetura de que ciertos animales tienen
alguna idea de nmero?; tiene usted algunas evidencias de ello?
7. Porqu se tiene poca informacin sobre la matemtica en la pre-
historia?
8. Redacte un estudio crtico sobre la matemtica en Babilonia y en Egip-
to.
9. Va su intuicin, cules seran las primeras guras geomtricas, tanto
planas como slidos, que surgieron en la mente del hombre en sus inicios
como ser pensante?.
10 Cules podran ser las motivaciones para el surgimiento de la geometra
emprica? Segn su criterio, habra alguna mas importante que las
otras?
11. Mencione algunos resultados matemticos conocidos en la Antiguedad
y que segn opinin sean importantes, tanto en su contenido terico
como de sus aplicaciones.
12. En relacin al ejercicio 10, qu signica etimolgicamente la palabra
geometra?; tiene tal palabra alguna relacin con el surgimiento de
la geometra?
13. La astronoma es una ciencia que desde sus orgenes estuvo relacionada
con la matemtica. Va la consulta de otros libros, redacte una breve
evolucin de la astronoma en la Antiguedad.
14. Usando la tabla numrica de los babilonios, escriba los nmeros:
14. 25. 62. 86. 401 y 920
15. Segn los egipcios,
(a) calcule 26 3 y 753 26;
1.1. MATEMATICA PRE-GRIEGA. 47
(b) resuelva r +
r
7
= 24;
(c) calcule: 424 137 y 1043 28;
(d) exprese
2
103
como una suma de fracciones unitarias.
16. Interprete y resuelva, al estilo egipcio: Una dada supercie de 100
unidades de rea ser representada como la suma de dos cuadrados
cuyos lados estn en la relacin 1 :
3
4
.
17. [Babilonia].
(a) (1,800 A.C.) Encontrar el radio r de la circunferencia circunscrita
al tringulo issceles 1C sabiendo que 1 = 60 y que C =
1C = 50. (Los babilonios ya conocan al Teorema de Pitgoras).
(b)
Segn una tablilla, se sabe que 1 = 30. rea de 111rea de
11C = 420, y que C1 1 = 20. Calcular 11. C1 y 1.
18. (Egipto)
48 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
(a) En el papiro de Rhind repetidamente el rea de un crculo es
tomada igual a la de un cuadrado de lado igual a
8
9
del dimetro.
A qu valor de : lleva tal argumento?
(b) Pruebe que de todos los tringulos que tienen un par de lados
dados, el mayor es aquel en que esos lados son perpendiculares.
(c) Denote las longitudes de los lados 1. 1C. C1 y 1 de un
cuadriltero por c. /. c y d, y sea 1 el rea del cuadriltero.
Pruebe que
1 _
cd + /c
2
.
La igualdad vale si y solo si los ngulos y C son rectos.
19. (a)Una tabla babilnica da los valores de :
3
+ :
2
para : = 1. 2. .... 30.
Haga tal tabla para : = 1. 2. .... 10.
(b) Encuentre, por medio de la anterior tabla, una raz de la ecuacin
cbica
r
3
+ 2r
2
3136 = 0.
(c) Un problema babilnico cuya data es aproximadamente de 1800
A.C. parece pedir una solucin del sistema de ecuaciones r. +
r =
7
6
. =
2
3
r. . = 12r. Resuelva este sistema usando la tabla
de (a).
20. (Egipto)Resolver el sistema de ecuaciones r
2
+
2
= 100. =
3
4
r.
21. Obtenga la frmula egipcia para el volumen del tronco de pirmide
cuadrada, de una manera algebraica, a partir de la conocida frmula
del volumen de una pirmide utilizando proporciones que se demuestran
en geometra elemental.
Piensa usted que los egipcios pudieron haber obtenido su frmula de
esta manera? Redacte sus argumentos.
22. Explique porqu los egipcios prerieron la descomposicin
2
15
=
1
10
+
1
30
a la descomposicin
2
15
=
1
12
+
1
20
.
1.1. MATEMATICA PRE-GRIEGA. 49
23. Considera usted que los egipcios conocieron la frmula para calcular el
rea del crculo. Porqu?
24. Pruebe que si : es un mltiplo de 3, entonces
2
:
puede descomponerse
en suma de dos fracciones unitarias, una de las cuales es la mitad de
1
:
.
25. (Babilonia antigua)El rea de dos cuadrados juntos es 1000 y el lado de
uno de ellos es 10 unidades menos que los
2
3
del lado del otro. Calcular
los lados de los dos cuadrados.
26. Recordemos que en la tabla Plimpton 322 (ver (iii) Geometra Babilni-
ca para la tabla respectiva) los egipcios exhibieron un buen nmero de
triples pitagricos. Comprobar que los parmetros n = 9 y = 4 llevan
a los valores de la lnea 5 en la mencionada tabla.
27. (Egipto) Comprobar las igualdades:
(a)
2
9
=
1
6
+
1
18
;
(b)
2
17
=
1
12
+
1
51
+
1
68
;
(c)
2
57
=
1
38
+
1
114
.
28. (Egipto) Calcular:
(a) 121 16;
(b) 2 51;
(c) 12 13.
29. (Egipto) Efectuar:
(a)
2
3
1
7
1
16
;
(b) 1 +
1
3
+
1
5
2 +
1
2
+
1
5
.
50 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
30. Si : es un entero positivo, pruebe que
4
4: + 3
puede ser escrito como
la suma de tres distintas fracciones unitarias. (Egipto).
31. Use el mtodo babilnico para calcular las cinco primeras aproxima-
ciones de
_
3.
32. Redacte un breve estudio comparativo sobre la matemtica en Babilo-
nia y en Egipto, remarcando las analogas y las diferencias que usted
encuentre. (Sugerencia: leer algunos textos que aparecen en la bibli-
ografa; por ejemplo, [BOY], [COL] vol. I, [EVE], entre otros.)
33. (Papiro de Mosc). Resolver:
(a) El rea de un rectngulo es 12, y el ancho es
3
4
del largo, cules
son las dimensiones?
(b) Un cateto de un tringulo rectngulo es 2
1
2
veces el otro, el rea
es 20, cules son las dimensiones?.
1.2. MATEMATICA GRIEGA.
1.2.1. Surgimiento de la Cultura Griega. Tales de Mile-
to.
Luego de las culturas Egipcias y Babilnica, el poder de los Persas cedi
el paso a un nuevo pueblo, los Griegos, quienes vinieron del Asia y se es-
tablecieron en la Hlade y en las costas e islas del mar Egeo. Este pueblo
evolucion extraordinariamente y formaron una civilizacin que ilumin a la
humanidad por varios siglos, y de alguna manera, su inuencia es reconocida
en los tiempos actuales. Estamos entre los sigos XII, VII, VI antes de Cristo;
luego de algunas guerras, las civilizaciones caldea, egipcia, y en general el
antiguo oriente, dieron origen a una fusin que constituy la ci-vilizacin gr-
iega. Las mas grandes personalidades de la ciencia helnica se nutrieron del
conocimiento de las legendarias cunas del Oriente, en parti-cular de Egip-
to, a donde fueron a estudiar diversas reas del conocimiento; en particular,
de la matemtica aprendieron la geometra y la aritmtica, asi como los
1.2. MATEMATICA GRIEGA. 51
conocimientos astronmicos que los egipcios haban acumulado por siglos.
En el siglo VII A.C., Mileto era una de las mas orecientes ciudades
jnicas de la Antigua Grecia. En esta ciudad naci la matemtica griega.
Otras ciudades que tuvieron tambin gran desarrollo fueron: Samos, Chios,
Fcea, Tos, Rodes, Egina, entre otros. Los Helenos se informaron, a travs de
los egipcios, de la historia de los mas remotos tiempos, lo que seguramente fue
una valiosa documentacin en sus propios desarrollos. Entre los historiadores
helnicos se destaca Herodoto (484 - 425 A.C.). El perodo promedio de
tres siglos, desde el nacimiento de la matemtica griega en Mileto hasta el
surgimiento de Euclides (30 A.C.) es lo que se conoce como el Perodo de la
Matemtica Pre-Euclideana. De esta Escuela Jnica, el primer matemtico
griego fue Tales de Mileto.
Tales de Mileto (640-550? A.C.).
52 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Debemos a Eudemo, un discpulo de Aristteles, la historia mas antigua
de la matemtica griega (siglo IV A.C.); su obra se perdi pero la conocemos
por un escrito de Proclo en el siglo VI D.C. En ella se cita a Tales de Mileto
como el fundador de la geometra griega. Los datos sobre las fechas de su
nacimiento y muerte son un tanto inciertos; las fechas dadas arriba son apro-
ximaciones asumidas por diferentes autores. Tales en sus inicios fue un sagaz
negociante y un buen poltico; estando en Egipto estudia geometra y as-
tronoma; al regresar a Mileto, luego de un tiempo, se dedica exclusivamente
a la astronoma, a la matemtica y a las reexiones loscas.
Aristteles identic a Tales como el primer pensador y fundador de la
losofa natural; fue un cientco con un pensamiento universal pues hizo
aportes esenciales a la losofa, historia, ciencia, ingeniera, astronoma, ge-
ografa y sobre todo a la matemtica. Fue un audaz pensador que se ade-
lant a su tiempo. Su vida de sabio est adornada de diversas ancdotas.
Tales funda la mas antigua escuela losca, la Escuela Jnica, y llega a ser
famoso en el mundo heleno sobre todo por su prediccin de un eclipse de
Sol, el que ocurri aproximadamente el 28 de Mayo de 585 A.C. Se debe a
Tales el traslado de la geometra egipcia a Grecia y del desarrollo de esta
disciplina como una ciencia. Segn Proclo, Laercio y Plutarco, se atribuye a
Tales el descubrimiento y la demostracin de algunas proposiciones aisladas
sobre paralelas, tringulos y propiedades de la circunferencia. Posiblemente
sea la primera vez en la historia de la matemtica en que dan demostraciones
rigurosas de los enunciados matemticos.
Su obra Matemtica.
Recordemos que los antiguos egipcios desarrollaron una habilidad prctica
para medir las tierras luego de las inundaciones del Nilo; este fenmeno fsico
1.2. MATEMATICA GRIEGA. 53
fue descrito por Herodoto. Muchsimos aos despus, Tales en sus viajes al
viejo Egipto hered y aplic muchas de esas reglas prcticas a las que l
puso su genio e ingenio para obtener nuevos resultados, los mismos que los
demostr con un rigor matemtico digno de admiracin en la actualidad.
Por ello Tales es considerado el primer matemtico de la historia de nuestra
ciencia.
Estando en Egipto, Tales calcul la altura de la pirmide de Keops va
una ingeniosa idea de semejanza de tringulos; aprovech la sombra que la
pirmide produca en un determinado momento, aquel en que la longitud de
la sombra sea igual a la de la pirmide; en este momento los rayos del Sol
tienen una inclinacin de 45
.
Mas explicitamente, Tales conoca la longitud 11; esper el momento en
que la longitud de la sombra 1C de 11 fuera igual a la longitud de 11.
En ese instante la longitud de C, la longitud de la altura de la pirmide,
es igual a la longitud de CC, que es conocida pues la parte C1 se puede
medir externamente y la parte 1C es medible. Se arma que el Rey Amasis
qued maravillado de la genialidad de este cientco que orden el mayor de
los respetos a Tales por parte de la corte.
Por los trabajos histricos de Proclo, se atribuye a Tales los siguientes
resultados geomtricos:
(a). Los tringulos equingulos tienen sus lados proporcionales
(Euclides VI.4); este teorema lo aplic Tales para determinar la altura
54 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
de la pirmide de Keops conociendo las dimensiones de su sombra,
aunque existen dudas de que Tales conociera el llamado precisamente
Teorema de Tales.
(b). El ngulo inscrito en una semi-circunferencia es un ngulo
recto (Euclides III.31); este resultado es considerado como el mas no-
table de sus trabajos geomtricos. Asi, Tales sera el primer matemtico
en inscribir un tringulo rectngulo en una semi-circunferencia. Aristte-
les qued intrigado por este resultado; en uno de sus trabajos se pregun-
t: porqu el ngulo en una semi-circunferencia siempre es un ngulo
recto?
(c). Cuando dos rectas se cortan, los ngulos opuestos por el
vrtice son iguales (Euclides I.15). Proclo maniesta que Eudemo
atribuye a Tales el descubrimiento de este resultado pero fue Euclides
el primero en demostrarlo.
(d). Si un tringulo tiene dos ngulos iguales a dos ngulos de
otro tringulo, y un lado de uno igual a un lado del otro,
entonces tendrn tambin iguales los otros dos lados que se co-
rresponden, asi como tambin el tercer ngulo (Euclides I.26).
Segn Eudemo, Tales habra empleado este resultado para determinar
la posicin de un navo en el mar.
(e). El dimetro divide a la circunferencia en dos partes iguales.
(f). Son iguales entre si los ngulos de la base de cualquier trin-
gulo issceles (Euclides I.5).
(g). La suma de los ngulos en un tringulo es igual a dos ngulos
rectos.
En base a lo conocido por Tales, la demostracin de (b) sera hecha en
la forma siguiente. Segn el grco tenemos que C1 es issceles, luego
1.2. MATEMATICA GRIEGA. 55
]1C = ]1C = c; similarmente, ]CC = ]CC = ,.
Por tanto en el tringulo 1C se tiene:
2 ngulos rectos = c + , + (c + ,) = 2 (c + ,) .
de donde,
un ngulo recto = c + , = ]1C.
Tales fue uno de los primeros lsofos que razon con una mentalidad
matemtica; usaba la razn. De qu est hecho el universo?; segn l, la
tierra estaba sobre el agua.
Arm que todo es agua; asi su punto de vista es que el agua era el
elemento bsico de la realidad fsica, el principio de todas las cosas. Posi-
blemente esta armacin la hered de su conocimiento sobre la mitologa
oriental o capaz, segn otros historiadores, por su aguda observacin de su
entorno fsico. Tales fue un lsofo que explicaba las cosas va un razon-
amiento lgico; l no recurre a argumentos religiosos ni de la mitologa. Los
fenmenos fsicos tienen una causa fsica (el agua, segn l). Fue un constante
viajero por el mundo de entonces, algunas veces como comerciante, otras por
motivos de estudios. Estos viajes dieron a Tales mucha visin para elaborar
sus propias concepciones. Por su sabidura fue considerado miembro de los
legendarios Siete Hombres Sabios. Como tal, fue un hombre distraido y se le
atribuye algunas ancdotas, de las que citamos dos.
Sus contemporneos le criticaron que siendo un hombre inteligente no
haya ganado mucho dinero. Tales, molesto por estas crticas se propuso
hacerse rico haciendo uso de su razn; consigui controlar el precio de la
aceituna en el momento adecuado y de esta manera tuvo el control de la
cosecha obteniendo una buena ganancia en una sola cosecha. Habiendo
demostrado que si poda ganar dinero con su talento, dej los negocios
para dedicarse a la matemtica y a sus reexiones loscas.
56 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Cierta noche vagaba por el campo, sumido en sus pensamientos as-
tronmicos, y al andar no se di cuenta de un charco de agua, al que
cay. Una anciana al acudir en su ayuda, al reconocerlo le dijo: en-
tonces tu quieres hablar sobre las estrellas y no sabes lo que pasa bajo
tus pies.
Como hemos mencionado, con Tales se inicia una Escuela losca y una
manera razonada de estudiar a la matemtica; si bien las obras atribuidas
a l, algunos dudan de su veracidad, es con los griegos de su poca que se
inicia un perodo glorioso de investigacin cientca, en donde Tales debe
haber tenido una contribucin importante. Sus alumnos, sin embargo, no
se ocuparon de la matemtica pura, mas si a las aplicaciones, a la fsica
y a la astronoma; esto perdur hasta cerca del ao 400 A.C. Entre sus
sucesores mencionemos a Mamerco (un notable gemetra), a Anaximandro
(611-545 A.C.), a Anaxmenes (540-480 A.C.), quien consideraba al aire como
el principio de las cosas. Para Anaximandro lo era la materia.
En la isla de Samos surgira un personaje que, junto con su Escuela,
contribuira al engrandecimiento del pensamiento matemtico y losco de
los griegos. Su nombre es, Pitgoras.
1.2.2. Pitgoras y su Escuela.
(i)Aspectos Generales.
La gura de Pitgoras se confunde entre la realidad y lo mtico; es con-
siderado un semidios. Sobre su personalidad y su obra se ha escrito mucho;
sabemos de ello por los escritos de Herodoto en el siglo V A.C., de Digenes
Laercio y Porrio en el siglo III A.C., entre otros. Naci en la isla de Samos,
muy cerca a Mileto. El ao de su nacimiento no est bien denido, asi, Er-
atstenes seala al ao 600 A.C., en tanto que Aristoxeno al ao 570 A.C.
Su padre fue un rico comerciante que posiblemente brindara a su hijo las
condiciones favorables para el estudio. Se arma que Pitgoras viaj por el
mundo de entonces; estuvo en Egipto, en Fenicia y en Babilonia, en donde
bebera los conocimientos de tan celebradas civilizaciones. Regresa a Samos
en donde estuvo un tiempo, para luego viajar al sur de Italia.
Se arma que Pitgoras visit a Tales en Mileto, algo que seguramente
inuy mucho en su vocacin y produccin matemtica. Sus viajes al oriente,
en especial a Egipto y a Babilonia, debe haber sido de mucho estmulo en
1.2. MATEMATICA GRIEGA. 57
la madurez de su pensamiento losco-matemtico. Estando en la Magna
Grecia, al sur de Italia, mas concretamente en Crotona funda una secta de
carcter mstico y religioso. Los integrantes de esta agrupacin vivan juntos y
seguan estrictas reglas de vida. Pitgoras, se arma, ofreci grandes discursos
en Crotona que encerraban recomendaciones morales sobre la conducta del
hombre y que entusiasm a los pobladores no solo de Crotona si no de Italia
en general despertando una gran admiracin por el afamado lsofo.
En la Escuela de Pitgoras, una especie de academia, se estudiaba losofa,
matemticas y ciencias naturales.
Dada la complejidad de muchos de los temas que se estudiaban, hubo
una divisin en dos clases de miembros: los matemticos (que eran los cono-
cedores) y los acusmticos (que eran los oidores). A los primeros, Pitgoras
les revelaba los conocimientos cientcos que posea, y los segundos parti-
cipaban de las creencias y de los conocimientos, sin que tengan que conocer
profundamente los temas que enseaba el maestro.
Segn Van der Waerden, los pitagricos matemticos desarrollaron las
teoras y el pensamiento del maestro por mucho tiempo, entre los aos 530
y 360 A.C., y se destacan cinco generaciones que son:
Primera Generacin, 530-500, Pitgoras.
Segunda Generacin, 520-480, Hipaso de Metaponto, Alcmeon.
Tercera Generacin, 480-430, conjunto de matemticos annimos.
58 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Cuarta Generacin, 440-400, Filolao, Teodoro.
Quinta Generacin, 400-360, Arquitas de Tarento.
Aristteles se reere a los matemticos de la tercera generacin con mucha
admiracin, ya que se les atribuye la fundacin de una matemtica rigurosa
y madura, que posea una exactitud admirable en sus argumentos. De un
modo general, los pitagricos estaban interesados en investigar la armona
del cosmos. Para Pitgoras y sus seguidores, el universo es un cosmos, un
todo ordenado, con mucha armona. Los nmeros, las guras y las notas
musicales son ideas bsicas en tal armona csmica. Para los pitagricos, el
nmero entero era la base de la losofa que predicaban; todo es nmero
era una sentencia fundamental en la escuela pitagrica. Armaban que el
que llega a comprender la armona en trminos de nmeros se vuelve divino
e inmortal.
Debido a que el conocimiento que Pitgoras conaba a los matemticos
deba conservarse en estricto secreto, y que los acusmticos custodiaban tal
secreto, no se conoce con exactitud cuales fueron efectivamente los aportes
de Pitgoras y de los pitagricos en general.
Hay historiadores que sostienen que con Pitgoras realmente nace la
matemtica formal, en que se prueban las armaciones, inclusive se les atribuyen
descubrimientos dados a Tales.
Los pitagricos deban cumplir un juramento que les prohiba revelar los
descubrimientos de la Escuela. Ellos usaron al pentgono estrellado como una
seal de alianza entre ellos. Se narra la siguiente historia de un pitagrico que
enfermo y pobre, muere en una desconocida posada. Cierta noche de hace
500 aos antes de Cristo, un viajero llegaba a una casa de hospedaje de la
Antigua Grecia; el viajero, que era pobre y desdichado, se sinti mal durante
la noche; el dueo de casa trat de aliviarlo sin conseguirlo. El enfermo, al
presentir su muerte, le pidi una losa sobre la cual, con su mano trmula,
traz un pentgono estrellado; devolvi la losa a manera de pago y le pidi
que la ponga en la puerta de su casa. Luego muri. Despus de un tiempo,
un viajero que pasaba por el lugar descubrio la seal, indag su origen y
en compensacin a la bondad del dueo de la posada, le entreg una buena
cantidad de dinero.
Pitgoras muri en Metaponto en el ao 500 A.C., posiblemente de modo
violento. A su muerte, y por cerca de tres siglos, sus discpulos difundieron la
doctrina losca y la matemtica hecha en la Escuela; los alumnos siempre
1.2. MATEMATICA GRIEGA. 59
mantuvieron un gran respeto y admiracin por el Maestro. A la desapari-
cin fsica de ste, la Escuela Itlica fue dirigida por Hipaso, quien revel
por primera vez los elevados conocimientos de la Escuela como, por ejem-
plo, la inscripcin del dodecaedro en la esfera, asi como el descubrimiento
de los nmeros irracionales por Filolao, quien en su obra expone la doctrina
pitagrica. A nes del siglo V, a Hipaso le sucede Arquitas de Tarento (entre
430-365 A.C.), quien tuvo entre sus discpulos a Platn y fue un estadista-
lsofo que tuvo gran inuencia en su poca. Existieron muchos otros cient-
cos notables quienes tuvieron directa o indirectamente inuencia de Pitgoras
y de los pitagricos, como fueron: Hipcrates, Zenn, Demcrito de Abdera,
Anaxgoras (500-428), quien fu el ltimo representante de la Escuela Jni-
ca, ... Asi se va construyendo el camino hacia los grandes progresos de la
matemtica en las Escuelas atenienses.
Pitgoras divida la ciencia matemtica en cuatro partes: la aritmtica,
la msica, la geometra y la astronoma, lo que se llam el quadrivium y
que fue adoptado por Platn. La teora de nmeros, que fue estudiada sub-
stancialmente por los pitagricos, fue diferenciada en la Aritmtica (estudio
abstracto de los nmeros) y en la Logstica (el arte de calcular). Por otro lado,
a Pitgoras se le atribuye que elev la geometra a la categora de dignidad
moral de una ciencia. Para este afamado lsofo, el espacio es un ente
continuo e ilimitado. Estudiando las propiedades de los nmeros en relacin
con la geometra, los pitagricos llegaron a las grandezas inconmensurables.
Pitgoras, segn algunos investigadores de su obra, tuvo la idea de que la
Tierra es redonda, como una esfera que gira en torno de un eje que pasa por
su centro. Armaba tambin que el Sol era una esfera, as como la Luna;
opinaba que las estrellas eran soles que iluminaban a astros habitados. Las
ideas astronmicas de Pitgoras, y de los pitagricos, fueron continuados por
los siglos siguientes y en este camino est el surgimiento de la trigonometra.
A continuacin presentamos algunos aspectos matemticos de la Escuela
Pitagrica, fundamentalmente sobre la teora de nmeros y sobre geometra.
En realidad, es difcil separar ambos campos por la estrecha relacin que los
pitagricos encontraron en tales reas matemticas.
(ii)Teora de Nmeros.
La teora de nmeros se inicia con los trabajos de los pitagricos; estos
estudios fueron muy importantes en la evolucin de la matemtica pues lo
60 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
hecho ya tiene las caractersticas de una matemtica pura. Para los pitagri-
cos, los nmeros constituyen la materia misma de los objetos. Veamos. El
nmero 1 es indivisible e inmutable que satisface 1 1 = 1. 2 = 1 + 1. El 3
es interpretado como la imagen del tringulo y el 4 es la imagen del slido
y representa la materia compuesta con los cuatro elementos bsicos: fuego,
aire, tierra y agua. Si se observa la distribucin 1. 2. 3. 4. 5. 6. 7. 8. 9, se obser-
va que el nmero 5 es la media aritmtica de los pares equidistantes de 5. El
nmero 6 tiene la siguiente interesante propiedad:
6 = 1 2 3 = 1 + 2 + 3.
y por ello se llama un nmero perfecto. Si consideramos la primera dcada
de nmeros, del 1 al 10, vemos que 7 es el nico nmero que no es divisor ni
mltiplo de ninguno de los otros nmeros.
Todo es nmero fue una frase esencial para los pitagricos; el nmero
10 era considerado un nmero divino; ellos conocan la divisin de nmeros
pares e impares, asi como la de primos y compuestos.
Se atribuye a los pitagricos el descubrimiento de algunos nmeros espe-
ciales, como son,
dos nmeros son amigos si cada uno es la suma de los divisores del
otro. Por ejemplo, 284 y 220 son nmeros amigos pues
220 = 1 + 2 + 4 + 71 + 142
y
284 = 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110.
Los nmeros amigos fueron relacionados con la astrologa y con la bru-
jera.
Un nmero es llamado perfecto si es la suma de sus divisores propios;
6 = 1 + 2 + 3.
Un nmero es llamado deciente si es mayor que la suma de sus
divisores propios; 8 1 + 2 + 4; es llamado abundante si tal suma es
mayor que el nmero; 12 < 1 + 2 + 3 + 4 + 6.
A Nicmaco le debemos cuatro nmeros perfectos: 6, 28, 496 y 8128.
1.2. MATEMATICA GRIEGA. 61
Tambin le debemos el siguiente resultado si la suma 1+2+2
2
+...+2
n
=
j es un nmero primo, entonces 2
n
j es un nmero perfecto. Se arma que
Pitgoras conoca este resultado.
Los pitagricos encontraron una curiosa relacin entre los nmeros y
la geometra; es lo que se conoce como representacin geomtrica de los
nmeros. De un modo general, construyeron los nmeros poligonales. Comen-
zamos con los nmeros triangulares.
Como observamos, estos nmeros triangulares forman precisamente trin-
gulos y representan geometricamente la suma de los nmeros naturales, y
algebraicamente se tiene:
1 + 2 + 3 + ... + (: 1) + : =
:(: + 1)
2
.
Luego tenemos a los nmeros cuadrados,
62 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Tambin a los nmeros pentagonales,
De un modo general se tiene a los nmeros poligonales, que fueron
conocidos por Nicmaco, que representan geometricamente progresiones a-
ritmticas, cuyo primer trmino es 1 y la razn es un nmero arbitrario.
Asi, el nmero triangular que corresponde a : = 4 es
(4) (5)
2
= 10. Es
interesante observar que va estos nmeros geomtricos se obtienen algunas
interesantes relaciones, cuyas pruebas se pueden visualizar fcilmente. Asi
tenemos ([DUN.1]),
Teorema 1. Cualquier nmero cuadrado es la suma de dos nmeros trin-
gulares sucesivos.
Teorema 2. El nmero n-pentagonal es igual a : mas el triple de (: 1)
1.2. MATEMATICA GRIEGA. 63
nmeros tringulares.
Teorema 3. La suma de cualquier nmero de enteros impares consecutivos,
comenzando con 1, es un cuadrado perfecto. Asi:
1 + 3 + 5 + ... + (2: 1) =
:(2:)
2
= :
2
.
Observemos la ingeniosidad de los pitagricos para establecer estas, y
otras, propiedades de los nmeros desde una visualizacin geomtrica. Es
notable la simplicidad de como se puede comprobar tales teoremas.
A los pitagricos le debemos (o se les atribuye) tambin el estudio de la
teora de las proporciones y de las progresiones. Las proporciones fueron
investigadas antes del descubrimiento de la inconmensurabilidad de lneas
correspondientes a cantidades irracionales. Pitgoras y sus discpulos, con-
sideran las proporciones solo para magnitudes conmensurables. Probable-
mente se debe a Pitgoras la siguiente denicin sobre proporcionalidad, la
que aparece en los Elementos de Euclides (denicin 20, Libro VII): Los
64 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
nmeros son proporcionales si el primero es el mismo mltiplo, o la misma
parte, o las mismas partes del segundo que el tercero del cuarto.
Los pitagricos estudiaron a las proporciones: aritmtica c / = / c,
geomtrica
c
/
=
/
c
y la armnica
c /
/ c
=
c
c
, de donde se obtienen: la media
artmtica
c + /
2
, la media geomtrica
_
c/ y la media armnica
2c/
c + /
. En
la Antiguedad se lleg a establecer algunas relaciones entre la msica y la
matemtica; este estudio se inici con los egipcios, los babilonios y los caldeos,
y fue continuado por los pitagricos quienes recurrieron a una cuerda vibrante
tensa en sus extremos, a la que hicieron vibrar; de esta manera se produce
un sonido con un cierto tono. Si solo se hiciera vibrar la mitad de la cuerda,
el tono aumenta un octavo; si se vibra los
2
3
de la cuerda, el tono estar
1
5
mas de lo producido al inicio. Asi, los pitagricos construyeron las escalas
musicales. La relacin entre la porcin vibrante de la cuerda y la cuerda
entera fue expresada usando razones. Se dice que cuatro nmeros forman
una progresin musical cuando estn entre si como
c :
2c/
c + /
::
c + /
2
: /.
proporcin conocida por los babilonios y que fue llevada a Grecia por Pit-
goras. Por ejemplo, los nmeros 6. 8. 9 y 12 forman una progresin musical
pues
6 :
2 (6) (12)
6 + 2
::
6 + 12
2
: 12.
lo que es equivalente a 6 : 8 :: 9 : 12 (cierto ya que
3
4
=
3
4
).
Volvamos a los nmeros poligonales: triangulares, cuadrados, pentago-
nales, ... Ellos son llamados tambin nmeros gurativos y pueden ser
establecidos formalmente en la forma siguiente. Sea : un entero positivo y
t un entero no-negativo; se dene al nmero natural, (: + 2) poligonal,
va:
:
t
2
t
2
+ t.
Entonces, si : = 1 se tienen los nmeros 3poligonales o nmeros tri-
angulares 1.
t
2
t
2
+ t. Luego, si t = 0, se obtiene al nmero triangular 0; si
t = 1, al nmero triangular 1; si t = 2, al triangular 3, y asi sucesivamente.
1.2. MATEMATICA GRIEGA. 65
Si : = 2, se obtienen los nmeros cuadrados 0. 1. 4. 9. 16. ...; y si : = 3,
se obtienen a los nmeros pentagonales 0. 1. 5. 12. 22. ... Y asi sucesivamente.
Magnitudes Inconmensurables.
Por la tablilla Plimpton 322, ya los babilonios conocan al teorema de
Pitgoras pero fue Pitgoras o los pitagricos quienes dieron la primera
demostracin del teorema. En la Antiguedad se estudi al siguiente proble-
ma: encontrar enteros c. /. c los cuales representan los catetos y la hipotenusa
de un tringulo rectngulo. La terna (c. /. c) se llama un triple pitagri-
co. Por Plimpton 322 sabemos que los antiguos babilonios conocan como
calcular tales triples. Los pitagricos conocieron la frmula
:
2
+
_
:
2
1
2
_
2
=
_
:
2
+ 1
2
_
2
para : impar, y tambin a la frmula
(2:)
2
+
_
:
2
1
_
2
=
_
:
2
+ 1
_
2
para : impar o par. Sin embargo, ninguna de tales frmulas producen todos
los triples pitagricos. En los Elementos de Euclides se encuentra una solucin
completa de este problema.
Por el Teorema de Pitgoras se llega al siguiente crucial problema: es-
tudiar la razn entre la diagonal de un cuadrado con uno de sus lados. Por
simplicidad, consideremos un cuadrado de lado con longitud 1; entonces por
el Teorema de Pitgoras, la diagonal mide
_
2. Es
_
2 conmensurable con 1?
Segn el historiador Proclo, los pitagricos llegaron a la idea de un nmero
irracional.
_
2 puede ser ubicado en la recta (ver gura adjunta); sin embargo,
_
2 no es un nmero racional.
En efecto, supongamos que
_
2 fuera un nmero racional, es decir,
_
2 =
:
:
,
donde : y : son primos entre si. Entonces, :
2
= 2:
2
; luego, :
2
es par y
66 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
tambin lo es :. Como
:
:
es irreducible, : sera impar. Pero, si : es par,
:
2
es divisible por 4 y por tanto :
2
es divisible por 2, y asi : sera par.
Conclusin: si
_
2 fuera un nmero racional, : sera a la vez par e impar.
Luego,
_
2 es un nmero irracional
Una prueba geomtrica de la irracionalidad de
_
2 es como sigue.
Vamos a probar que un lado y la diagonal son inconmensurables. Supon-
gamos lo contrario, es decir, que fueran conmensurables, lo que signica que
existe un segmento C1 tal que C y C1, del cuadrado 1C1, son ambos
mltiplos enteros de C1. Sobre C, sea C
1
tal que C
1
= C1 y tracemos
C
1
1
1
tal que C
1
1
1
l C. Entonces, 1
1
1 = 1
1
C
1
= CC
1
.
Luego, C1
1
= C1 CC
1
y CC
1
son conmensurables con respecto a C1.
Pero, C1
1
y CC
1
son una diagonal y un lado de un cuadrado de dimensiones
menores que la mitad de aquellos del cuadrado original.
Repitiendo este proceso, podemos obtener nalmente un cuadrado cuya
diagonal C1
n
y lado CC
n
son conmensurables con respecto a C1 y C1
n
<
C1, lo que es un absurdo. Por lo tanto,
_
2 es irracional.
.
donde los dos factores son mayores que 1. Sin embargo, respecto al recproco,
si : = 11 (un nmero primo) se tiene que 2
m1
no es un nmero primo ya
que 2
11
1 = 2047 = (23) (89) .
Denicin. Los nmeros primos de la forma 2
m
1 se llaman primos
Mersenne en honor al Padre Marn Mersenne (1588-1648), quin estableci
que los ocho primeros nmeros perfectos son encontrados con : = 2. 3. 5. 7,
13. 17. 19 y 31.
(iii) Algebra Pitagrica.
El descubrimiento de la irracionalidad de
_
2, por parte de los pitagri-
cos, trajo muchas consecuencias interesantes. Por ejemplo ([BEK]), Cmo
duplicar un rea? Platn narra el siguiente dilogo:
Scrates seala un dibujo de un cuadrado que tiene de lado 2 pies (con
rea 4 pies cuadrados), y pide al esclavo de Menon que le muestre un
cuadrado con el doble de rea-8 pies cuadrados. El dice: Mustreme
exactamente el lado de este cuadrado. Si no puede decrmelo con nmeros,
mustreme entonces la longitud en el dibujo.
El esclavo propone enseguida uno con el lado de 4 pies por consiguiente el
doble del lado. Cuando Scrates dibuja la gura (1), el esclavo se da cuenta
que esta rea ser 4 veces ms grande, y corrige la proposicin a uno con el
lado de 3 pies.
Scrates dibuja la gura (2) que muestra que este cuadrado tambin es
demasiado grande - 9 pies cuadrados.
Al nal Scrates propone la gura (3).
1.2. MATEMATICA GRIEGA. 69
Observe que el lado del cuadrado construido mide
_
8, y el rea del cuadra-
do ser 8, como se pide.
Asi se tiene el problema de resolver la ecuacin r
2
= 8. En el lenguaje
de los antiguos griegos, la longitud del lado del cuadrado no es un nmero
racional. Desde que la idea de nmero irracional no estaba bien puesta, el
problema dado, de duplicar un rea, llev a una situacin crtica. Esta inter-
pretacin geomtrica de un nmero irracional los condujo a geometrizar
algunas identidades algebraicas. En el Libro II de los Elementos de Euclides
tenemos algunos resultados al respecto.
Proposicin 4. Si una lnea recta es dividida en dos partes cualquiera, el
cuadrado de la lnea total es igual a la suma de los cuadrados de las dos
partes junto con el doble del rectngulo contenido por las dos partes.
Prueba. Segn el grco adjunto, se tiene la identidad
(c + /)
2
= c
2
+ 2c/ + /
2
.
Casos Particulares.
Si Q = 2c y Q1 = 2/, entonces
4c/ + (c /)
2
= (c + /)
2
.
Si 1 = 2c y 1Q = /, entonces
(c + /) (c /) = c
2
/
2
.
La proposicin 5 est relacionada al siguiente argumento. Los pitagricos
estudiaron la solucin geomtrica de la ecuacin de segundo grado r
2
+jr +
= 0, en los casos en que hay raices reales. Estos casos corresponden a las
ecuaciones
(c) r
2
+ jr = ;
1.2. MATEMATICA GRIEGA. 71
(,) r
2
= jr + ;
() jr = r
2
+ .
Caso (c). La estrategia consiste en construir sobre el segmento dado Q =
j un rectngulo G11 igual a una rea dada , y tal que la diferencia
entre l y el rectngulo de base Q y de la misma altura sea un cuadrado
Q111 = r
2
(asi, Q1 = r). Siendo 1 el punto medio de Q, el cuadrado
1C11 resuelve el problema, tomando 1 en la prolongacin de Q; esta
transformacin geomtrica corresponde a la solucin algebraica
= r
2
+ jr =
_
j
2
+ r
_
2
_
j
2
_
2
.
Caso (,). Observemos que se tiene r
2
jr = , un caso anlogo a (c);
ahora hay que tomar r = 1 y proceder como antes en (c). Segn la gura
adjunta, observamos que si al rea del cuadrado de lado r le quitamos el
rea del rectngulo QQ
0
0
, igual a jr, nos queda exactamente el rea del
72 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
rectngulo 11G, que es .
Caso (). Se considera el punto 1 entre y Q, y a la transformacin ge-
omtrica le corresponde la solucin algebraica
jr r
2
= =
_
j
2
_
2
_
j
2
r
_
2
.
donde se tiene Q = j. 1Q =
j
2
. G11 = y Q111 = r
2
(r = 1Q) .
Observemos que
_
j
2
_
2
es el rea del cuadrado 1QQ
0
1
0
;
_
j
2
r
_
2
es el
rea del cuadrado 11
00
1
0
1. Luego,
_
j
2
_
2
_
j
2
r
_
2
= r
_
j
2
r
_
+ r
_
j
2
_
= rj r
2
= .
1.2. MATEMATICA GRIEGA. 73
=
1
2
, una
interesante relacin conocida en el Antiguo Egipto.
Viendo los polgonos de los poliedros citados, observemos que : y
son enteros mayores que 2 y por tanto se tendr: si : = 3. = 6, si
: = 4. = 4 y si : = 6. = 3. Esto signica que solo se deben usar
polgonos de 3, 4 y 6 lados, esto es, tringulos equilteros, cuadrados
y exgonos regulares. Remarcamos que para que se forme un ngulo
(diedro) se debe tener:
(: 2) 180
:
< 360
y por tanto se tendr
1
2
<
1
:
+
1
;
1.2. MATEMATICA GRIEGA. 77
de esta manera solo habr 5 posibilidades para : y . Tenemos, si:
j = 3 y = 3, obtenemos el tetahedro;
j = 3 y = 4, obtenemos el octahedro;
j = 4 y = 3, conseguimos el cubo;
j = 3 y = 5, conseguimos el icosahedro;
j = 5 y = 3, se obtiene el dodecahedro.
Platn, en su obra Timeo, describe a los cinco poliedros regulares y
muestra como construir modelos de esos poliedros juntando tringulos
equilteros, cuadrados y pentgonos para formar sus caras. Timeo de
Locri fu un pitagrico que conoci a Platn y posiblemente inter-
cambiaron ideas sobre los citados poliedros regulares. Timeo asocia el
tetahedro con el fuego, el octahedro con el aire, el icosahedro con el
agua y el cubo con la tierra; le fue difcil encontrar el asociado con el
dodecahedro; al nal lo asoci con el universo que nos limita. Es opor-
tuno mencionar que casi mil aos mas tarde, J. Kepler (1571-1630)
construy un modelo astronmico usando los cinco poliedros regulares,
algo que ya (de algn modo) Platn haba conocido en su poca. El
encuentra la siguiente ecuacin qumica
,
4
+ c
20
2 c
8
+ 2,
4
.
donde , denota al fuego, c el agua y c el aire; tal ecuacin se lee:
fuego con cuatro caras combinado con agua con veinte caras produce
2 tomos de aire, cada uno con ocho caras y 2 tomos de fuego, cada
uno con cuatro caras. Se observa que se tiene la igualdad:
4 + 20 = 2 8 + 2 4.
() El Teorema de Pitgoras.
Posiblemente el teorema de Pitgoras sea el resultado geomtrico mas
conocido por el comn de la gente. Es tradicin histrica asociar el
nombre del Maestro a tal teorema; sin embargo, existen conjeturas de
que ello no sea cierto, es decir, de que Pitgoras haya probado a la
proposicin. El teorema de Pitgoras es un profundo resultado rela-
cionado a los tringulos rectngulos y tuvo ocupado a los matemticos
durante muchos siglos; se obtuvieron muchsimas demostraciones. Un
78 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
profesor lleg a reunir 367 pruebas del teorema, muchas muy pareci-
das entre s. Para los griegos, el teorema es un resultado sobre reas
de cuadrados. Viendo el documento histrico adjunto, se observa que
dado un tringulo rectngulo, se construyen cuadrados sobre la
hipotenusa y sobre los catetos. El teorema establece que: el rea del
cuadrado sobre la hipotenusa es igual a la suma de las reas de los
cuadrados sobre los catetos. La idea de fondo es que se descompone
un cuadrado en otros dos cuadrados mas pequeos.
Remarquemos que si c denota a la hipotenusa (su longitud) y c. / a
los catetos, muchos siglos despus (con el advenimiento del lgebra) el
teorema de Pitgoras es conocido con la relacin c
2
= c
2
+/
2
. algo que
los antiguos griegos no lo hubieran reconocido ya que ellos no conocan
a los smbolos algebraicos ni a frmulas con exponentes.
Segn Vitruvius (primer siglo A.C.), Pitgoras primero descubri al
tringulo (3. 4. 5) y posiblemente el teorema fue sugerido al descubrirse
que este tringulo es un tringulo rectngulo, informacin que fue trai-
da a Grecia de los antiguos Egipcios y de los babilonios. Es un inters
histrico el conocer el mtodo utilizado por Pitgoras y por los pitagri-
cos para demostrar al teorema de Pitgoras. Es posible que se haya
seguido una de las dos formas siguientes ([HEA], vol. I):
1.2. MATEMATICA GRIEGA. 79
() Sea el tringulo 1C, recto en ; 1 es perpendicular a 1C;
entonces los tringulos 11 y 1C son semenjantes al tringulo
1C.
Luego (por los teoremas 4 y 17 del Libro VI. Elementos Euclides)
se tiene: 1
2
= 11.1C y C
2
= C1.1C. Por tanto,
1
2
+ C
2
= (11 + C1) .1C = 1C
2
.
2
= r
2
+ d
2
=
_
/
2
+ c
2
_
+ d
2
= 1 + C + 1.
rea semi-crculo 1
rea semi-crculo 2
=
d
2
1
2
.
Prueba del Teorema [H]. (Ver Figura L). Dado el 1C (rectngulo
en C) se construyen los semi-crculos 1C. C1
0
1 y C1 sobre los lados
C. C1 y 1 del tringulo rectngulo 1C. Por el teorema de Pitgoras
tenemos 1
2
= C
2
+ 1C
2
. Luego,
rea semi-crculoC1 = rea semi-crculo1C + rea semi-crculoC1
0
1
(+)
En efecto,
rea semi-crculo1C
rea semi-crculoC1
=
C
2
1
2
) C
2
=
rea semi-crculo1C
rea semi-crculoC1
.1
2
rea semi-crculo C1
0
1
rea semi-crculo C1
=
C1
2
1
2
) C1
2
=
rea semi-crculo C1
0
1
rea semi-crculo C1
.1
2
Sumando estas dos igualdades,
1
2
= (rea semi-crculo 1C+rea semi-crculo C1
0
1).
1
2
rea semi-crculo C1
.
de donde se obtiene (+).
Observemos que:
rea semi-crculo C1 = (c) + rea 1C + (,)
rea semi-crculo 1C = (c) + rea lnula 1C1
rea semi-crculo C1
0
1 = (,) + rea lnula C1
0
11
0
Luego, por (+),
(c) + rea 1C + (,) = (c) + rea lnula 1C1 + (,)
+rea lnula C1
0
11
0
.
86 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Simplicamos se obtiene:
rea 1C = rea lnula 1C1 + rea lnula C1
0
11
0
=
/
entonces
c
3
r
3
=
c
/
.
Ahora basta considerar c como la arista del cubo dado y tomar / = 2c para
obtenerse r
3
= 2c
3
.
Observemos que en el resultado de Hipcrates, la tesis est condicionada
a la construccin de las medias proporcionales r e . Hipcrates no consigui
88 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
tal construccin. Ello fue tarea de Arquitas de Tarento quin lo consigui
usando una curva de curvatura doble. Su idea es muy ingeniosa y profunda
para su poca (y an para la actual); es un modelo de uso de la geometra en el
espacio tridimensional. En el lenguaje de la geometra sinttica, la estrategia
es como sigue ([ALM], [BOY]):
Sobre el dimetro C de la base de un cilindro circular recto se describe
un semi-crculo, cuyo plano es perpendicular al de la base del cilindro
dado; y se hace girar el dimetro en torno de uno de sus extremidades
C. En este movimiento, este semi-crculo, en cada una de sus posiciones
sucesivas, encuentra a la supercie del cilindro en un punto, formando
una curva, que Arquitas genialmente hace interceptar con un cono de
revolucin de eje C, determinando asi un punto `, tal que la proyec-
cin de C` sobre la base del cilindro est para el radio del cilindro, en
la relacin del lado del cubo o buscado para el lado del cubo dado .
En otras palabras, la solucin de Arquitas consiste en encontrar un punto
de interseccin de un cilindro circular recto con un toro de dimetro interior
cero y con un cono circular recto. En el lenguaje de la geometra analtica
(de Descartes), el argumento es como sigue.
Sea c la arista del cubo a ser duplicado y considrese tres circunferencias
de radio c con centro en (c. 0. 0) y situadas cada una de ellas en un plano
perpendicular a uno de los ejes de coordenados. Por la circunferencia
perpendicular al eje CA se traza el cono circular de vrtice el origen
(0. 0. 0); por la circunferencia situada sobre el plano CA1 considrese
el cilindro circular recto de eje paralelo al eje C2, y hgase girar por
ltimo la circunferencia situada en el plano CA2 alrededor del eje C2
para engendrar asi un toro .
Se deduce que las ecuaciones de estas tres supercies son (respectiva-
mente),
r
2
=
2
+ .
2
. 2cr = r
2
+
2
y
_
r
2
+
2
+ .
2
_
= 4c
2
_
r
2
+
2
_
.
Estas tres supercies se interceptan en un punto cuya coordenada r es
igual a c
3
_
2, que es precisamente el valor de la arista del cubo buscado, ya
que su volumen es, desde luego, 2c
3
.
2
. Por lo tanto,
jseno
c
=
o
2
, que es la ecuacin polar de la
cuadratriz.
Veamos ahora como la cuadratriz sirve para dividir el ]Q
0
1 no sola-
mente en tres partes iguales, si no en cualquier razn dada. En efecto, sea
1
0
G dividida en G
0
en la razn dada. Consideremos G
0
1, paralela a 1, y
que encuentra a la curva en 1; unamos con 1 (1) y extendmosla hasta
encontrar a la circunferencia en el punto Q. Luego,
]Q
0
Q
]Q1
=
1
0
G
0
G
0
G
.
Examinemos a esta relacin. Dado el ngulo Q
0
1 (que mida, por ejemplo,
60 grados), deseamos trisectarlo. Para ello tomemos la razn
1
0
G
0
G
0
G
=
1
2
;
entonces,
]Q
0
1
]Q1
=
1
2
, esto es, ]Q1 = 2]Q
0
1. Por tanto,
]Q
0
1 = ]Q
0
Q +]Q1 = 3]Q
0
Q
1.2. MATEMATICA GRIEGA. 103
Luego, ]Q
0
1 mide 60 grados, ]Q
0
Q mide 20 grados y habremos tri-
sectado tal ngulo.
(iii)Platn. La Academia.
La etapa histrica que estamos estudiando se llama el Perodo Helnico,
una etapa muy fructfera en matemticos y pensadores, y que prepar al
gran Perodo Helenstico, poca cumbre de la matemtica griega y del
pensamiento cientco-losco.
El Perodo Helnico comprende desde Tales y sus contribuciones, asi como
a Pitgoras y su Escuela Pitagrica; incluye a Platn y su Academia. Este
perodo vi orecer matemticos de gran originalidad como Hipcrates de
Quos, Arquitas, Hipias, Menecmo, Dinstrato, Eudoxo, entre otros grandes
pensadores. En esta poca se plantearon los grandes problemas clsicos vistos
en (ii); en el intento de resolver estos problemas se introdujeron muchas bellas
ideas y mtodos que ubicaron a la geometra griega en un alto nivel. Entre
esas ideas se construyeron diversas nuevas curvas, todo una novedad en esa
poca.
Zenn de Elea (450 A.C.) se hizo clebre por las dicultades que cre a
travs de sus polmicos ejemplos que propuso con sus paradojas sobre Aquiles
110 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
y la tortuga y de la echa que vuela; ambas paradojas estn vinculadas a la
idea del innito y de las cantidades innitesimales, algo que fue profundo
para aquella poca. La paradoja de Aquiles lleva a considerar la suma innita
1 +
1
:
+
1
:
2
+
1
:
3
+ ...
En aquella poca, es claro, no se conoca la idea de lmite (tuvo que pasar un
promedio de dos mil aos para que se precise tal idea). Si : tiende a innito
sabemos que la suma tiende a 1. Es decir Aquiles alcanza a la tortuga y
no al contrario, como sostena Zenn. Su argumento fue mas losco que
matemtico, lo que produjo controvertidas discusiones sobre el innito y
sobre lo muy pequeo.
El mtodo dialctico de Zenn fue adoptado por Scrates (470-399 A.C.),
famoso lsofo, hombre sabio y que estuvo interesado en formar hombres;
no dej algo escrito pero conocemos de su losofa por los trabajos de su
clebre discpulo Platn (427-348 A.C.). La matemtica debe casi nada a
Scrates, salvo sus razonamientos rigurosamente matemticos, pero si a su
distinguido alumno.
Platn naci en Atenas; su familia era adinerada y noble. Se le llam
Platn por sus anchas espaldas; tuvo una cuidadosa educacin. Tena 20
aos cuando conoci a Scrates, el gran Maestro que inuira en su vida
de lsofo. Cuando muri Scrates, Platn viaj mucho por el mundo de
entonces; estuvo en Egipto, en el Oriente y en la Magna Grecia. A su regreso
a Atenas en el ao 377 fund una escuela de losofa, la Academia, la que fue
un ambiente de estudio, de meditacin y de discusiones de variados temas.
A diferencia de otros pensadores de la Antiguedad, la mayor parte de su
obra nos ha llegado; escribi diversas obras como son, La Repblica, Fedn,
Timeo, Teeteto y Epnomis.
Platn en si no fue un matemtico, menos an lo fue su maestro Scrates,
pero en la Academia orecieron bajo su estmulo, diversos matemticos que
contribuyeron con aportes valiosos a la matemtica. Alumno distinguido de
Platn fue Aristteles, quien fue un sabio lsofo y tuvo amplios conocimien-
tos de su poca. El perodo comprendido entre la muerte de Scrates y la de
Aristteles tuvo dignos representantes de la matemtica griega, como son:
Teodoro de Cirene (470-390 A.C.), Teeteto (415-369 A.C.), Eudoxo de Cnido
(408-355 A.C.), Menecmo (350 A.C.), Dinstrato (350 A.C.) y Autlico
de Pitania (330 A.C.). Platn fue cautivado por la belleza de la matemti-
ca de su poca, llegando a ponerla en la cumbre del pensamiento humano.
1.2. MATEMATICA GRIEGA. 111
Se arma que en la puerta de la Academia se escribi: No entre aqu nadie
que ignore la geometra. Platn fue un hacedor de matemticos y ah rad-
ica bsicamente su inuencia a la historia de la matemtica. Sus reexiones
son originales y de valor losco en particular; ellos se encuentran en sus
dilogos. Se arma que hizo algunas contribuciones matemticas propias;
se interes sobre: los slidos regulares y semi-regulares; sobre la construccin
de los slidos regulares; las medias geomtricas entre dos nmeros cuadrados
y dos nmeros cbicos; coment sobre el problema de la duplicacin del cubo;
le interes la delicada idea de los inconmensurables.
Segn Platn, su maestro Teodoro de Cirene fue el primer matemti-
co en demostrar la irracionalidad (en la terminologa actual) de las raices
cuadradas de nmeros naturales que no son cuadrados perfectos; demostr
que
_
2.
_
3. ....
_
17 son nmeros irracionales. Platn distingui entre la ar-
itmtica (teora de nmeros) y la logstica (tcnica de computar nmeros).
Debemos remarcar que estamos en el siglo IV A.C.; el anterior fue el siglo de
Pericles; entre ambos perodos se produjo un engrandecimiento del conocimien-
to en general, algo similar a lo que ocurrira muchos siglos despues en el Re-
nacimiento Italiano. Platn vive en el auge del siglo IV, as como su clebre
alumno Aristteles, quien funda el Liceo. La Academia y el Liceo fueron dos
grandes centros del saber, de la losofa y tuvieron inuencia en el desarrollo
de la matemtica. Platn solo reconoca a las construcciones hechas con regla
y comps por la belleza que se logra con tales instrumentos; la lnea y la cir-
cunferencia son la base para construir los entes geomtricos. Tambin alab
al tringulo pues las caras de los poliedros regulares pueden simplicarse a
tringulos y para Platn los poliedros regulares eran divinos objetos que los
utiliz para interpretar a la naturaleza. Platn idealiz a la matemtica en
contra de su origen histrico de haber surgido en ntima relacin con la natu-
raleza fsica. (Ver [ALM], [HEA] Vol. I para otros comentarios). El idealismo
platnico se orient a resaltar la naturaleza ideal de las verdades matemti-
cas; estas ya pre-existen en el universo eterno de las ideas. Sus argumentos
bsicos seran recogidos por Euclides en los Elementos.
La Academia de Platn fue el centro matemtico del mundo de entonces;
ah se cultivaron matemticos de gran nivel cientco, famosos maestros e in-
vestigadores. En opinin de los investigadores de la Historia de la Matemtica
fue Eudoxo de Cnido (408?-355?) el matemtico y astrnomo mas clebre
de su poca; fue el discpulo que gloric la inuencia que tuvo Platn en la
matemtica.
112 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
(iv)Eudoxo de Cnido.
En la Academia Platn tuvo distinguidos discpulos; uno de ellos fue
Teeteto de Atenas quien fue un brillante estudiante y en un combate fue
seriamente herido; llevado a casa de Platn falleci al poco tiempo. En memo-
ria a su alumno, el maestro public el dilogo Teeteto en donde narra un
dilogo entre Scrates, Teodoro y Teeteto, cuando ste era muy joven. Teete-
to prob que la raz cuadrada de un nmero natural es irracional si y solo
si el nmero natural no es un cuadrado. Se arma que su obra sirvi de
material para los Libros X y XIII de los Elementos de Euclides.
Otro distinguido estudiante de la Academia fue Eudoxo de Cnido. A los
23 aos viajo a Atenas para estudiar con Platn. Fue un hombre polifactico
pues fue lsofo, orador, astrnomo, mdico y famoso matemtico. Viaja a
Egipto para aprender la astronoma de los antiguos egipcios. Siendo ya un
renombrado cientco, cuando estaba en Atenas tena frecuentes discusiones
con su maestro sobre delicados temas del saber de la poca. Poco se sabe de
fuente directa de su obra; se la conoce a travs de los comentaristas. Sus dos
contribuciones mas importantes son: la teora de las proporciones, la
que encontramos en el Libro V de los Elementos; el mtodo exhaustivo.
Segn Proclo, Eudoxo contribuy con diversos teoremas en geometra, en
donde perfeccion el anlisis y la sntesis; estudi a los nmeros irracionales
con un rigor que perdur hasta el siglo XIX, poca en que se formaliza la
teora de los nmeros irracionales con Dedekind. Arqumedes reconoci que a
Eudoxo le pertenece el llamado axioma de continuidad que arma: dadas
dos magnitudes entre las que existe una razn, se puede encontrar un mltiplo
de uno de ellos que exceda a la otra. Este resultado fue vital en el desarrollo
posterior de la matemtica. Asi, se tiene el siguiente resultado, bsico en el
mtodo exhaustivo:
Proposicin [E]. Si de cualquier magnitud se sustrae una parte su-
perior o igual a su mitad y si del resto se sustrae una parte superior o igual
a su mitad, y si se contina este procedimiento de subdivisin, quedar una
magnitud mas pequea que cualquier magnitud dada de la misma especie.
Teora de las Proporciones.
Como el mtodo exhaustivo es una generalizacin de la teora de las pro-
porciones, comenzamos viendo algunos argumentos de sta teora, ([STI],
1.2. MATEMATICA GRIEGA. 113
[MOI]). La teora de las proporciones de Eudoxo es expuesta en el Libro V
de los Elementos de Euclides. La teora permite tratar a las longitudes como
nmeros, nmeros racionales. Remarcamos que los antiguos griegos no acept-
aban a los nmeros irracionales pero si a las longitudes irracionales, como es
la diagonal del cuadrado unitario, por ejemplo.
Una longitud es rracional si ella es mltiplo de una longitud ja. La
singular idea de Eudoxo fue: una longitud 1 es determinada por aquellas
longitudes racionales menores que ella, y por aquellas longitudes racionales
mayores que 1. Asi, si 1
1
y 1
2
son dos longitudes dadas, diremos que 1
1
=
1
2
si cualquier longitud racional menor que 1
1
es tambin menor que 1
2
, y
si cualquier longitud racional menor que 1
2
es tambin menor que 1
1
. Asi
tambin diremos que 1
1
< 1
2
si existe una longitud racional mayor que 1
1
pero menor que 1
2
.
En tales argumentos est presente la idea del innito, que los griegos
siempre evitaban, pero obsrvese que existe un nmero innito de longitudes
irracionales menores que 1. Eudoxo evita al innito usando la palabra
arbitraria longitud racional menor que 1. l estuvo muy cerca de construir
a los nmeros irracionales y no esperarse dos mil aos! para que se elabore
tal teora. La claricacin del innito fue logrado con la teora de conjuntos
de Cantor en el siglo XIX. Con esta teora y el trabajo de Dedekind (1872) se
pudo construir al nmero irracional. Es asombroso la similitud de la moderna
teora con lo hecho por el viejo matemtico griego. Asi,
_
2 es denido por
el par de conjuntos (: es nmero racional):
:,:
2
< 2 y :,:
2
2 .
La idea es similar para denir cualquier otro nmero irracional. Este
mtodo es la famosa Cortadura de Dedekind, algo que estaba latente
dos milenios atrs en la mente de Eudoxo.
El Mtodo Exhaustivo.
Los primeros problemas que ocurrieron en la historia del clculo estu-
vieron relacionados con la computacin de reas, volmenes y longitudes
de arcos. El mtodo exhaustivo, atribuido a Eudoxo, est en tal relacin y
es una generalizacin de la teora de las proporciones ya que asi como una
longitud irracional (por precisarse) es determinada por longitudes racionales
114 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
(conocidas), de un modo mas general ahora se trata de determinar cantidades
desconocidas va aproximaciones, bien cercanas, usndose guras conocidas.
El ejemplo histrico es el dado por Eudoxo, que aparece en el Libro XII de
los Elementos de Euclides, y que consiste en aproximar al crculo (su rea)
va polgonos (regulares) inscritos y circunscritos (ver gura (i) adjunta). En
esta direccin se tiene el
Figura (i)
Lema. La diferencia en rea entre un crculo y un polgono regular inscrito
puede hacerse tan pequeo como se desee.
Prueba.
Usaremos la Proposicin [E]. Sea 1 el lado del polgono inscrito y ` el
punto medio del arco 1.
Ver gura (ii). Se tiene, rea tringulo `1 =
1
2
(rea rectngulo 1o1).
Duplicando el nmero de lados del polgono, el rea del polgono crece
en mas de la mitad de la diferencia en rea entre el crculo y el polgono.
Repitiendo este argumento, es decir, duplicando el nmero de lados tanto
1.2. MATEMATICA GRIEGA. 115
como convenga, podemos hacer la diferencia en rea entre el crculo y el
polgono menor que cualquier rea asignada, por pequea que sea.
2
=
d
2
1
d
2
2
.
Es decir, las reas de dos crculos son proporcionales a los cuadrados de
sus dimetros.
Prueba.
Segn el mtodo griego, supongamos que tuviramos
1
2
d
2
1
d
2
2
, entonces
podemos inscribir en la primera circunferencia (cuyo crculo tiene rea
1
)
un polgono regular 1
1
cuya rea c (1
1
) diere tan poco de
1
tal que teng-
amos an
c (1
1
)
2
d
2
1
d
2
2
. Sea ahora 1
2
un polgono regular semejante a 1
1
,
circunscrito a la segunda circunferencia. Entonces, por un resultado sobre
polgonos regulares semejantes, se tiene que
c (1
1
)
c (1
2
)
=
d
2
1
d
2
2
.
Luego tenemos c (1
2
)
2
, de donde
c (1
1
)
2
c (1
1
)
c (1
2
)
=
d
2
1
d
2
2
.
lo que es absurdo. Con un argumento similar, si
1
2
<
d
2
1
d
2
2
, tendremos tambin
una contradiccin.
Conclusin:
1
2
=
d
2
1
d
2
2
.
Proposicin 11. Trazar una lnea recta en ngulos rectos a una lnea recta
dada desde un punto sobre ella.
Asi, sea 1 la lnea recta dada y C un punto sobre ella. Se requiere trazar
desde el punto C una lnea recta que haga ngulos rectos a la lnea recta 1.
Solucin.
Sea 1 un punto arbitrario sobre C; sea C1 igual a C1. Sobre 11
construimos un tringulo equiltero 111; unimos 1 con C. Yo digo (dice
Euclides) que la lnea recta 1C es la buscada. Porque, desde que 1C = C1
y C1 es comn, los dos lados 1C. C1 son iguales a los dos lados 1C. C1
respectivamente; la base 11 es igual a la base 11, luego el ngulo 1C1 es
igual al ngulo 1C1, y ellos son ngulos adyacentes.
Luego, por la Denicin 10, cada uno de esos ngulos iguales es recto.
1.2. MATEMATICA GRIEGA. 129
Luego cada ngulo 1C1. 1C1 es recto. Por tanto la lnea recta C1 es
la recta requerida.
Proposicin 15. Si lneas rectas se cortan una a otra, ellos hacen ngulos
verticales iguales uno a otro.
Prueba. Ejercicio.
Proposicin 16. En cualquier tringulo, si uno de los lados es extendido, el
ngulo exterior es mayor que cualquiera de los ngulos interiores opuestos.
Prueba.
Dado el tringulo 1C con 1C extendido a 1, debemos probar que
ngulo 1C es mayor que el ngulo C1 el ngulo C1.
Euclides bisecta C en 1 (Proposicin 10), luego traza la lnea 11
(primer postulado).
El postulado (2) le permite a l extender 11 y entonces construy 11 =
11 (Proposicin 3). Finalmente Euclides construye 1C.
Mirando a los tringulos 11 y C11, Euclides observa que 1 = C1
(biseccin); los ngulos verticales 11 y 11C son iguales (Proposicin 15);
adems, 11 = 11 (por construccin). Luego, tales tringulos son iguales
(congruentes) (LAL); entonces se tiene que ngulo 11 es igual al ngulo
1C1. Pero, ngulo 1C es mayor que el ngulo 1C1 (por (5)
0
). Luego,
el ngulo exterior 1C excede al ngulo interior opuesto 1C. En forma
similar se tiene que el ngulo 1C es mayor que el ngulo 1C.
130 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Hasta esta Proposicin 27, Euclides evit el uso del quinto postulado de
las paralelas. Sin embargo, al intentar probar el recproco de la Proposicin
27, no pudo evitar su uso. Asi tenemos la,
Proposicin 29. Una lnea recta cayendo sobre lneas rectas paralelas hace
ngulos alternos (internos) iguales, uno a otro.
Prueba.
Recordemos al quinto postulado: si una recta, al cortar a otras dos,
forma los ngulos internos de un mismo lado menores que dos rectos, esas
dos rectas prolongadas indenidamente se cortan del lado en que estn los
ngulos menores que dos rectos.
Euclides asume que 1 y C1 son lneas rectas paralelas. Desea probar
que: ngulo GH =ngulo GH1.
1.2. MATEMATICA GRIEGA. 133
Por el absurdo, nuevamente, supongamos que estos ngulos fueran difer-
entes; por ejemplo, ngulo GH ngulo GH1. Luego, por la Proposicin
13 (ver Ejercicios) tendremos, dos ngulos rectos = ngulo GH+ngulo
1GH ngulo GH1+ngulo 1GH.
En esta parte Euclides necesita del quinto postulado, especialmente
estructurado para esta situacin. Aceptado el postulado entonces se tendr
que las rectas 1 y C1 deben encontrarse en un punto hacia el lado derecho,
lo que es una contradiccin con la hiptesis. De esta manera, los ngulos
alternos (internos) mencionados, son iguales.
Nota. En la Proposicin 35, son iguales uno a otro signica que ambos
paralelogramos tienen la misma rea.
Observacin. En la anterior gura y considerando la segunda parte de la
Proposicin 34, se obtiene, rea tringulo 1C =
1
2
rea 1C1 =
1
2
rea
11C1 = rea tringulo 11C.
Cul es la moraleja de esta igualdad?
Proposicin 41. Si un paralelogramo tiene la misma base con un tringulo
y estn en las mismas paralelas, el paralelogramo es el doble del tringulo.
(El paralelogramo tiene rea doble que la del tringulo).
Proposicin 46. Dada una lnea recta, construir sobre ella un cuadrado.
1.2. MATEMATICA GRIEGA. 135
Con todos estos preliminares, Euclides est listo para probar al Gran
Teorema, el Teorema de Pitgoras.
Proposicin 47. En tringulos rectngulos, el cuadrado sobre el lado sub-
tendiendo el ngulo recto es igual a los cuadrados sobre los lados conteniendo
el ngulo recto.
Observacin. Notemos que Euclides considera al teorema de pitgoras como
la ecuacin algebraica
c
2
= /
2
+ c
2
si no como un problema geomtrico de construir cuadrados sobre los lados del
tringulo rectngulo y se propone probar que el rea del cuadrado construido
sobre 1C es igual a la suma de las reas de los cuadrados construidos sobre
1 y C.
En (iv).1.2.2 hemos considerado algunos argumentos sobre este famoso
teorema; observemos que la gura dada en esa oportunidad es similar a la
que estamos adjuntando ahora.
En la prueba del teorema, Euclides usa la Proposicin 31: Construir
una paralela a una lnea recta dada a travs de un punto que no est en
la lnea dada; tambin la Proposicin 14: si 1C y 11 suman dos
ngulos rectos, entonces C11 es una lnea recta.
Tambin se usar la proposicin 41.
Prueba.
136 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Por la proposicin 46 Euclides construye cuadrados sobre los tres lados,
y por la proposicin 31, traza AL, a travs de , paralela a 11. Luego traza
las lneas 1 y 1C; porqu hizo estos trazados? Un aspecto crucial para
Euclides fue establecer que C y G estn sobre una misma lnea recta.
Adems, l conoca que el ngulo 1C es recto por hiptesis y que el ngulo
G1 es recto por construccin; como estos ngulos suman dos rectos, por la
proposicin 14, GC es una lnea recta.
Ahora Euclides mira los tringulos 11 y 11C; se tiene 1 = 11 y
11 = 1C. Qu podemos decir de los correspondientes ngulos incluidos?
... Se tiene,
ngulo 11 = ngulo 1C+ngulo recto C11.
ngulo 11C = ngulo 1C+ngulo recto 11.
Aplicando el Postulado 4 y la Nocin Comn (2)
0
se obtiene: ngulo 11 =
ngulo 11C.
Luego, por la Proposicin 4, Euclides establece que: tringulo 11 =
tringulo 11C (congruente).
De esta manera, estos dos tringulos tienen la misma rea.
En seguida Euclides observa que el tringulo 11 y el rectngulo 111`
tienen la misma base, 11, y estn dentro de las mismas paralelas, 11 y 1;
luego, por la Proposicin 41 se tiene que el rea de 111` es el doble del
rea del tringulo 11.
De un modo similar, el tringulo 11C y el cuadrado 11G tienen la
misma base 11 y nuevamente por la Proposicin 41 se tiene que el rea del
cuadrado 11G. Luego,
rea rectngulo 111` = 2 rea tringulo 11
= 2 rea tringulo 11C
= rea cuadrado 11G
Esta conclusin es la mitad de la tarea de Euclides. Enseguida, l prueba
que:
rea rectngulo C11` = rea cuadrado C1H .
En efecto, Euclides traza 1 y 11; prueba que 1H es una lnea recta,
y usando LAL prueba que los tringulos C1 y 1C1 son iguales (con-
gruentes). An, por Proposicin 41, Euclides concluye que: rea rectngulo
1.2. MATEMATICA GRIEGA. 137
C11` = 2 rea tringulo C1 = 2 rea tringulo 1C1 =rea cuadrado
C1H.
Finalmente, Euclides concluye que: rea cuadrado 1C11 =rea rectn-
gulo 111`+rea rectngulo C11` =rea cuadrado 11G+rea cuadra-
do C1H, que es lo que Euclides desea probar.
LIBRO II
El Libro II contiene dos deniciones y catorce proposiciones; es uno de los
libros mas cortos de los Elementos. Trata de la transformacin de las reas
y del lgebra geomtrica, temas que casi no aparecen en los libros actuales;
esto debido a que los antiguos griegos no disponan de un algebra simblico
ni de una trigonometra. De alguna forma, este Libro II es una continuacin
de la tercera parte del Libro I. Veamos las dos deniciones.
Denicin 1. Se dice que cualquier paralelogramo rectngulo est contenido
por las dos rectas que forman el ngulo recto.
Denicin 2. En cualquier paralelogramo, cualquiera de los paralelogramos
descritos alrededor del dimetro con sus dos complementos se llamar gnomn.
La palabra gnomn parece tener un origen astronmico ya que indica la
posicin de una barra vertical descansando sobre un plano horizontal. Matem-
aticamente el gnomn es todo aquello que agregado a un nmero o gura los
convierte en un nmero o gura semejante. Las primeras diez proposiciones
del Libro II son sobre algebra geomtrica y constituyen la interpretacin
geomtrica de las siguientes propiedades algebraicas:
(1) :(c + / + c + ...) = :c + :/ + :c + ...
(2) (c + /) c + (c + /) / = (c + /)
2
.
(3) (c + /) c = c
2
+ c/.
(4) (c + /)
2
= c
2
+ /
2
+ 2c/.
1.2. MATEMATICA GRIEGA. 139
(5) c/ +
_
c + /
2
/
_
2
=
_
c + /
2
_
2
.
(6) (2c + /) / + c
2
= (c + /)
2
.
(7) (c + /)
2
+ c
2
= 2 (c + /) c + /
2
.
(8) 4 (c + /) c + /
2
= [(c + /) + c]
2
.
(9) c
2
+ /
2
= 2
_
_
c + /
2
_
2
+
_
c + /
2
/
_
2
_
.
(10) (2c + /)
2
+ /
2
= 2
_
c
2
+ (c + /)
2
.
Las restantes cuatro proposiciones tratan las cuestiones de dividir una rec-
ta en media y extrema razn; se estudia el problema de cuadrar cualquier
gura poligonal, asi como contiene la generalizacin del teorema de Pitgoras
para tringulos acutngulos y obtusngulos.
Proposicin 1. Dadas dos lneas rectas, y una de ellas es cortada en cualquier
nmero de segmentos, el rectngulo contenido por las dos lneas rectas es igual
a los rectngulos contenido por la lnea recta no cortada y cada uno de los
segmentos.
Prueba. Euclides plantea la solucin en la siguiente forma.
Sean . 1C dos lneas rectas y sea 1C cortada arbitrariamente en los
puntos 1. 1. Yo digo que el rectngulo contenido por . 1C es igual
al rectngulo contenido por . 11, que el contenido por . 11 y que el
contenido por . 1C, dice Euclides.
En efecto, constryase 11 perpendicular a 1C en el punto 1 (Proposicin
I.11); sea 1G tal que 1G es igual a (Proposicin I.3). A travs de G sea
GH construido paralelo a 1C (Proposicin I.31), y a travs de 1. 1. C
sean 11. 11. CH construidos paralelos a 1G. De esta manera, 1H es
igual a 11. 11. 1H (*). Ahora 1H es el rectngulo . 1C, porque el
est contenido por G1. 1C y 1G es igual a : 11 es el rectngulo
. 11, porque el est contenido por G1. 11 y 1G es igual a ; y 11
es el rectngulo . 11, porque 11, esto es, 1G es igual a (Proposicin
140 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
I.34).
De un modo similar 1H es tambin el rectngulo . 1C. Por tanto, el
rectngulo . 1C es igual al rectngulo . 11, al rectngulo . 11 y al
rectngulo . 1C.
Que es lo que Euclides desea probar.
c
=
/
c
ellos usaban la igualdad c = c/. No obstante la profundidad y
originalidad de este libro respecto a los otros, debido a la actual teora de los
nmeros reales (y del lgebra simblica) este libro aparece ahora como una
obra superua y es casi dejada de lado. Asi, el Libro V contiene las Leyes de
distributividad (izquierda y derecha), la asociatividad de la multiplicacin
y las propiedades generales de las proporciones y de las razones. Contiene
18 deniciones sobre las proporciones y 25 proposiciones. Estos resultados
Euclides los utiliza en el Libro VI para demostrar teoremas sobre razones
y proporciones en el estudio de los tringulos, paralelogramos y polgonos
semejantes; por ejemplo se encuentra en este Libro VI una generalizacin del
teorema de Pitgoras.
El Libro V fue vital en el desarrollo de la matemtica; l est relacionado
con los nmeros irracionales, algo que los griegos trataron de evitar en sus
estudios de la geometra. De algn modo, ac est la genesis de la futura
teora de los nmeros reales y sabemos del gran valor de esta teora en la
matemtica moderna.
Veamos las deniciones encontradas en el Libro V.
156 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Denicin 1. Una magnitud es parte de una magnitud, la menor de la
mayor, cuando mide a la mayor.
Parte signica sub mltiplo, como 3 es de 12, en tanto que 5 no es
submltiplo de 12.
Denicin 2. Y la mayor es mltiplo de la menor cuando es medida por la
menor.
Mltiplo signica mltiplo entero.
Denicin 3. Una razn es determinada relacin respecto a su tamao entre
dos magnitudes homogneas.
Denicin 4. Se dice que existe una razn entre magnitudes si, al ser mul-
tiplicadas, pueden sobrepasarse mutuamente.
Esta denicin es semejante al lema de Arqumedes. Ella signica que
las magnitudes c y / tienen una razn si algn entero mltiplo : (puede ser
: = 1) de c excede a /, y algn mltiplo entero (puede ser 1) de / excede a
c. Esta denicin excluye a magnitudes innitamente pequeas o grandes.
Denicin 5. Se dice que una primera magnitud guarda la misma razn con
una segunda magnitud, que una tercera magnitud con una cuarta magnitud,
cuando cualquier equimltiplo de la primera y la tercera exceden a la par,
sean iguales a la par o sean inferiores a la par, que cualquier equimltiplo de
la segunda y la cuarta, respectivamente y cogidos en el orden correspondiente.
Esta denicin nos dice que
c
/
=
c
d
si cuando multiplicamos c y c por
cualquier nmero (natural) :, digamos, y / y d por cualquier nmero (nat-
ural) :, entonces para tales elecciones de : y :, se tiene, si :c < :/ entonces
:c < :d. :c = :/ entonces :c = :d; adems, :c :/ implica :c :d.
Denicin 6. Se llaman proporcionales las magnitudes que guardan la mis-
ma razn.
Denicin 7. Entre los equimltiplos, cuando el mltiplo de la primera ex-
cede al mltiplo de la segunda pero el mltiplo de la tercera no excede al
mltiplo de la cuarta, entonces se dice que la primera guarda con la segunda
una razn mayor que la tercera con la cuarta.
Esta denicin nos dice que si :c :/ pero :c es no mayor que :d,
entonces
c
/
c
d
.
1.2. MATEMATICA GRIEGA. 157
Denicin 8. Una proporcin entre tres trminos es la menor posible. Asi,
c
/
=
/
c
.
Denicin 9. Cuando tres magnitudes son proporcionales, se dice que la
primera guarda con la tercera una razn duplicada de la que guarda con la
segunda.
Esto signica que si
c
/
=
/
c
, entonces c tiene la razn duplicada con c
que ella tiene con /. Esto signica que
c
c
=
c
2
/
2
(ya que c =
/
2
c
, luego
c
c
=
/
2
c
2
=
c
2
/
2
).
Denicin 10. Cuando cuatro magnitudes son proporcionales, se dice que
la primera guarda con la cuarta una razn triplicada de la que guarda con la
segunda, y asi siempre, sucesivamente, sea cual sea la proporcin.
Si
c
/
=
/
c
=
c
d
, entonces c tiene una razn triple con d que ella tiene con
/. Esto signica:
c
d
=
c
3
/
3
(ya que c =
/
2
c
entonces
c
d
=
/
2
cd
=
/
2
c
2
c
d
=
c
3
/
3
).
Denicin 11. Se llaman magnitudes correspondientes los antecedentes en
relacin con los antecedentes y los consecuentes con los consecuentes.
Denicin 12. Una razn por alternancia consiste en tomar el antecedente
en relacin con el antecedente y el consecuente en relacin con el consecuente.
Denicin 13. Una razn por inversin consiste en tomar el consecuente
como antecedente en relacin con el antecedente como consecuente.
Denicin 14. La composicin de una razn consiste en tomar el antecedente
junto con el consecuente como una sola magnitud en relacin con el propio
consecuente.
Denicin 15. La separacin de una razn consiste en tomar el exceso
por el que el antecedente excede al consecuente en relacin con el propio
consecuente.
Denicin 16. La conversin de una razn consiste en tomar el antecedente
en relacin con el exceso por el que el antecedente excede al consecuente.
158 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Denicin 17. Una razn por igualdad se da cuando, habiendo diferentes
magnitudes y otras iguales a las primeras en un nmero que, tomadas de dos
en dos, guardan la misma razn, sucede que como la primera es la ltima -
entre las primeras magnitudes -, asi pues - entre las segundas magnitudes - la
primera es a la ltima; o dicho de otra forma, consiste en tomar los extremos
sin considerar los medios.
Denicin 18. Una proposicin perturbada se da cuando habiendo tres mag-
nitudes y otras iguales a ellas en nmero, sucede que como el antecedente es
al consecuente - entre las primeras magnitudes -, asi pues - entre las segun-
das magnitudes - el antecedente es al consecuente, y como el consecuente es a
otra magnitud - entre las primeras magnitudes -, asi pues - entre las segundas
magnitudes - alguna otra magnitud es al antecedente.
Las primeras seis proposiciones del Libro V son simples resultados encon-
trados en la actual aritmtica; sin embargo, para aquella poca constituyen
un modo organizado de presentar tales resultados bsicos.
Proposicin 1. Si existe un nmero cualquiera de magnitudes cualesquiera,
equimltiplos respectivos de magnitudes cualesquiera, iguales en nmero, en-
tonces, cualquiera que sea el mltiplo, la suma de los equimltiplos es igual
al mltiplo de estas magnitudes.
En otras palabras,
:c + :/ + :c + ... = :(c + / + c + ...) .
Prueba.
Sea un nmero cualquiera de magnitudes cualquiera, 1 y C1, equimlti-
plos respectivos de magnitudes cualesquiera 1 y 1, iguales en nmero:
Armo que, cualquiera que sea el mltiplo que 1 es de 1. 1 y C1
sern este mismo mltiplo de 1 y 1.
Ya que, por ser 1 el mismo mltiplo de 1 que C1 es de 1, hay tantas
magnitudes iguales a 1 en 1 como en C1 iguales a 1. Dividamos 1 en
magnitudes G y G1 iguales a 1 y C1 en magnitudes CH y H1 iguales a
1.
Entonces la multitud de las magnitudes G y G1 ser igual a la de las
magnitudes CH y H1. Ahora puesto que G es igual a 1, y CH a 1. G
1.2. MATEMATICA GRIEGA. 159
es igual a 1, y G y CH igual a 1 y 1.
Por la misma razn, G1 es igual a 1, y G1 y H1 a 1 y 1. Asi, hay
tantas magnitudes en 1, cada una igual a 1, como en 1 y C1, cada una
igual respectivamente a 1 y 1. Por tanto, cualquiera que sea el mltiplo que
1 es de 1. 1 y C1 sern este mismo mltiplo de 1 y 1.
Esto era lo que haba que demostrar.
o = r
_
c
/r
c
_
. (+)
Entonces, la Proposicin 27 nos dice que
o es mximo cuando Q es G.
Pero 1 =
c
2
y 1G =
cc
2/
. De ac,
o _
c
2
c
4/
.
Por otro lado, la condicin de que la ecuacin (+), considerada como una
ecuacin cuadrtica en r tenga una raz real es que su discriminante sea
mayor o igual que cero. Esto es,
c
2
4
/
c
o _ 0.
lo que implica
o _
c
2
c
4/
.
Asi el mensaje de la Prop. 27 es que el posible mayor valor de
o es, para
todos los posibles valores, que existe un r el cual satisface (+), y adems, nos
da geomtricamente un lado, oQ, del rectngulo Q.
1.2. MATEMATICA GRIEGA. 173
Qu sucede si el paralelogramo G fuera un cuadrado?
Respecto a la Proposicin 28, ella es el equivalente geomtrico de la solu-
cin de la ecuacin cuadrtica
cr
/
c
r
2
=
o.
donde
o es el rea de una gura rectlinea dada y est sujeta a la condicin
para una solucin real, lo que signica que
o _
c
2
c
4/
.
En efecto, supongamos, por conveniencia que los paralelogramos sean
rectngulos;
o es la gura dada,
1 es otra gura rectangular dada con lados
c y /. c = 1. r es un lado del rectngulo deseado.
Euclides construye el rectngulo oQ1 de rea
o y tal que el defecto
1
0
sea semejante a
1.
Se tiene, oQ1 = 111
1
0
. Desde que
1
0
es semejante a
1 su rea
es
/r
2
c
. Luego,
o = cr
/
c
r
2
. (++)
De esta manera, construir oQ1 es encontrar o y r tal que r satisface
(++) .
En cuanto a la Proposicin 29, la gura rectilnea dada es
o y el paralel-
ogramo dado es
1. Desde el punto de vista algebraico, la proposicin lleva a
la ecuacin cr
/
c
r
2
=
o, donde c. /. c y
o son dados.
Nota. Es importante mencionar que los respectivos paralelogramos en las
proposiciones 28 y 29 fueron llamados por los griegos elleipsis e hyper-
bole. Por otro lado, un paralelogramo (de rea dada) construida sobre una
lnea recta dada en la Proposicin 44 Libro I, fu llamada parabole. Esta-
mos asi en la gnesis de las secciones cnicas, las que fueron estudiadas por
Apolonio.
174 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Proposicin 30. Dividir una lnea recta nita dada en extrema y media
razn.
Prueba.
Sea 1 la lnea recta nita dada. Se desea cortar 1 en extrema y media
razn.
Sobre 1 sea el cuadrado 1C descrito; y sea aplicado a C el paralelo-
gramo C1 igual a 1C y excediendo por la gura 1 semejante a 1C (Prop.
29.VI).
Ahora 1C es un cuadrado; luego 1 es tambin un cuadrado.
Y, desde que 1C es igual a C1, sea C1 substraido de cada uno de ellos;
luego el resto 11 es igual al resto 1.
Pero l es tambin equiangular con l; luego en 11. 1 los lados alrede-
dor los ngulos iguales son recprocamente proporcionales (Prop. 14. VI);
luego, como 11 es a 11, asi es 1 a 11.
Pero, 11 es igual a 1 y 11 a 1. Luego, como 1 es a 1, asi es
1 a 11. Y 1 es mayor que 1; luego 1 es tambin mayor que 11.
Luego la lnea recta 1 ha sido cortada en extrema y media razn en 1,
y el mayor segmento de ello es 1.
Esto se deseaba probar.
Proposicin 32. Si dos tringulos que tienen dos lados de uno propor-
cionales a dos lados del otro, se construyen unidos por un ngulo de manera
que sus lados correspondientes sean paralelos, los lados restantes de los trin-
176 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
gulos estarn en lnea recta.
Proposicin 33. En los crculos iguales, los ngulos guardan la misma razn
que las circunferencias sobre las que estn, tanto si estn en el centro como
si estn en las circunferencias.
La Teora de Nmeros: Libros VII, VIII y IX.
Los Elementos no trata solamente de la geometra conocida hasta Euclides,
sino tambin de la aritmtica cultivada en la Antiguedad, sobre todo del lega-
do que Euclides hered de Pitgoras y de su Escuela. La teora de nmeros
est magistralmente expuesta en un bloque constituido por tres libros, los
Libros VII, VIII y IX. En total hay 102 proposiciones (L. VII: 39, L. VIII: 27
y L. IX:36); en el L. VII se dan 22 deniciones, que Euclides propone como
base para construir la teora de nmeros de aquella poca. La presentacin
es terica y es la gnesis de la futura teora de nmeros, un rea terica por
excelencia.
Euclides representa a los nmeros como segmentos de lneas y al producto
de dos nmeros como un rectngulo; sin embargo, l realiza sus argumentos
de un modo independiente de la geometra. Es claro, para aquella poca,
que tanto las deniciones como las proposiciones no tengan el rigor en sus
enunciados; ellos fueron dados de un modo verbal. Algunos resultados en este
libro fueron ya considerados en el Libro V. Comienza deniendo las ideas de
unidad y nmero; con las palabras parte y partes se reere a la idea de
divisor y no divisor respectivamente. No considera axiomas ni postulados
1.2. MATEMATICA GRIEGA. 177
en este libro. Es interesante como Euclides construye la aritmtica, algo que
ha de gobernar por muchsimos siglos. Pasemos a ver algunos detalles.
LIBRO VII
Euclides considera 22 deniciones las que han de servir de base para
elaborar la teora de nmeros en este libro y en los dos siguientes.
Denicin 1. Una unidad es aquello en virtud de la cual cada una de las
cosas que hay, se llama una.
Denicin 2. Un nmero es una pluralidad compuesta de unidades.
Denicin 3. Un nmero es parte de un nmero, el menor del mayor, cuan-
do mide al mayor.
Denicin 4. Pero partes cuando no lo mide.
Denicin 5. Y el mayor es mltiplo del menor cuando es medido por el
menor.
Denicin 6. Un nmero par es el que se divide en dos partes iguales.
Denicin 7. Un nmero impar es el que no se divide en dos partes iguales,
o se diferencia de un nmero par en una unidad.
Denicin 8. Un nmero parmente par es el medido por un nmero par
segn un nmero par.
Denicin 9. Y parmente impar es el medido por un nmero par segn un
nmero impar.
Denicin 10. Imparmente par es el medido por un nmero impar segn un
nmero impar.
Denicin 11. Un nmero imparmente impar es el medido por un nmero
impar segn un nmero impar.
Denicin 12. Nmeros primos entre s son los medidos por la sola unidad
como medida comn.
178 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
Denicin 13. Nmero compuesto es el medido por algn nmero [diferente
de 1].
Denicin 14. Nmeros compuestos entre s son los medidos por algn
nmero como medida comn.
Denicin 15. Se dice que un nmero multiplica a un nmero cuando el
multiplicado se aade asi mismo tantas veces como unidades hay en el otro
y resulta un nmero.
Denicin 16. Cuando dos nmeros, al multiplicarse entre s, hacen algn
nmero, el resultado se llama nmero plano y sus lados son los nmeros
que se han multiplicado entre s.
Denicin 17. Cuando tres nmeros, al multiplicarse entre s, hacen algn
nmero, el resultado es un nmero slido y sus lados son los nmeros que
se han multiplicado entre s.
Denicin 18. Un nmero cuadrado es el multiplicado por si mismo el
comprendido por dos nmeros iguales.
Denicin 19. Y un nmero cubo el multiplicado dos veces por s mismo o
el comprendido por tres nmeros iguales.
Denicin 20. Unos nmeros son proporcionales cuando el primer es el
mismo mltiplo o la misma parte o las mismas partes del segundo que el
tercero del cuarto.
Denicin 21. Nmeros planos y slidos semejantes son los que tienen los
lados proporcionales.
Denicin 22. Nmero perfecto es el que es igual a la suma de sus propias
partes.
Respecto a las proposiciones, Euclides comienza considerando lo que ac-
tualmente es conocido como el algoritmo de Euclides, el que consiste
en encontrar la mayor medida comn de dos nmeros. La palabra medida,
Euclides la usa para denominar a la de divisor.
1.2. MATEMATICA GRIEGA. 179
Proposicin 1. Dados dos nmeros desiguales y restando sucesivamente el
menor del mayor, si el que queda no mide nunca al anterior hasta que quede
una unidad, los nmeros iniciales sern primos entre s.
Prueba.
Ya que, al ser el menor de los dos nmeros distintos 1 y C1 substraido
de modo continuo del mayor, asumamos que el resto no mide nunca al que
est antes que l, hasta que el resto es de una unidad.
Armo [dice Euclides] que 1 y C1 son primos entre s, esto es, que una
unidad sola mide 1 y C1.
Si 1 y C1 no fueran primos entre s, existen nmeros que los miden.
Supongamos que un nmero los mide, que 1 es este nmero y que C1, que
mide 11, deja 1, menor que l; que 1, que mide 1G, deja CG, menor
que l, y que GC, que mide 1H, deja una unidad H.
Puesto que entonces 1 mide C1, y C1 mide 11. 1 mide tambin 11.
Pero mide tambin 1 entero, y tambin medir el resto 1; pero 1 mide
1G y adems 1 mide tambin 1G, pero mide 1C entero, y por tanto medir
el resto CG.
Pero CG mide 1H : luego 1 mide tambin 1H, pero mide tambin 1
entero, asi medir el resto, la unidad H, lo que no es posible. Por tanto,
no existe ningn nmero que mida los nmeros 1 y C1; por lo tanto son
primos entre s, por la denicin 12. VII. Esto se desea demostrar.
La Demostracin de Gareld.
Un caso similar al presidente Gareld sucedi en el Per; el presidente
Manuel Prado estudi matemtica en la Universidad de San Marcos
216 CAPTULO 1. LA MATEMATICA EN LA ANTIGUEDAD
y se conjetura que obtuvo el doctorado. No conocemos que l haya
ejercido la docencia como profesor de matemticas (sus perodos como
presidente fueron, 1939 - 45 y 1956 - 62) ni que haya publicado algn
trabajo matemtico; mas bien algunos militares fueron profesores de
matemtica. En general es usual que alguien cultive alguna disciplina
ajena a su propia especialidad, como es el caso de la msica. Respecto
a Gareld, luego de obtener la licenciatura (en 1856) en el College de
Massachusetts, enseo matemtica por un tiempo. En aquella poca el
ambiente poltico en los EEUU estaba inquieto; se vena la guerra civil.
Gareld participa en el escenario poltico ocupando diversos cargos; en
1881 toma posesin como presidente del pas; asi se tuvo a un presidente
matemtico. Lamentablemente su perodo dur muy poco tiempo pues
muri en aquel ao. Dej su herencia como gobernante interesado en
la educacin de sus conciudadanos pero tambin nos dej una herencia
matemtica: un mtodo para resolver al teorema de Pitgoras.
El Mtodo Trapezoidal.
Sea el tringulo rectngulo C1. Por 1 construimos una perpendicular a
1 tal que 11 = c. De 1 construimos la perpendicular 11 a C1 (11 es la
prolongacin de C1). Se observa que el C1 es congruente con el 111
(ALA). Luego, ]C1 = ]111 y ]C1 = ]111. Sea el segmento 1.
El cuadriltero C11 es trapezoide
_
C,,11
_
.
Por otro lado,
rea trapecio C11 = suma de las reas de los tres tringulos.
Por tanto,
(base mayor + base menor) altura
2
= 2
_
c/
2
_
+
c
2
2
.
1.2. MATEMATICA GRIEGA. 217
de donde
(c + /) (c + /) = 2c/ + c
2
.
esto es,
c
2
+ 2c/ + /
2
= 2c/ + c
2
.
de donde se tiene la tesis, c
2
+ /
2
= c
2
.
. (Observaciones hechas
en 1919 dan el valor 89
50
0
).
Debemos resaltar que Aristarco us regla y comps en sus construcciones,
al estilo de la geometra euclideana. Teniendo un tringulo rectngulo con
un ngulo agudo igual a
29
30
de ngulo recto, l encuentra que la razn de
11 a 1o es de alrededor de
1
19
, mas precisamente llega a establecer que:
18 <
1o
11
< 20. [+]
2.2. ARQUMEDES. 227
Por tanto, Aristarco concluye que la distancia de la Tierra al Sol es de
alrededor 19 veces la distancia de la Tierra a la Luna. Reiteramos que si l
hubiera dispuesto de la trigonometra se hubiera tenido el siguiente simple
argumento:
Si ]o11 = 87
, entonces ]1o1 = 3
=
:
60
radianes; luego,
11
1o
=
sen
_
:
60
_
:
60
1
19
, tal como concluy Aristarco luego de tcnicos argu-
mentos geomtricos.
Precisemos que Aristarco estuvo en posicin de las siguientes arma-
ciones, algo extraordinario en un ser pensante en el siglo III A.C., ellos son:
la Tierra, el Sol y la Luna son esferas;
la Tierra gira alrededor del Sol, y la Luna alrededor de la Tierra;
la luz viaja a travs de lneas rectas;
la luz de la Luna es reexin de la luz del Sol;
los eclipses del Sol son causados por el bloqueo de la Luna de los rayos
solares que se dirigen a la Tierra, y los eclipses de Luna son causados
por el bloqueo de la Tierra de los rayos solares que se dirigen a la Luna.
Como observamos, Aristarco postul (tres siglos antes de Cristo) el sis-
tema heliocntrico de nuestro sistema solar. Coprnico, en el siglo XV, cono-
ci el trabajo de Aristarco?
Aplicando los anteriores argumentos, Aristarco establece que el Sol es
7 000 veces mas grande que la Luna; ahora se sabe que es de 64,000,000
veces. Sin embargo, an con las deciencias numricas de algunos de sus
resultados, producto de la ausencia de una matemtica adecuada, lo hecho
por este notable cientco est a la altura de los grandes pensadores de la
Escuela de Alejandra.
2.2. ARQUMEDES.
Sern mas queridos aquellos que hayan
contribuido en mayor grado a la elevacin
de la raza y de la vida humana
228 CAPTULO 2. ARQUMEDES - APOLONIO.
A. Einstein
Arqumedes, un cientco antiguo con una mente contempornea.
Posiblemente esta frase dena bien al personaje que vamos a estudiar en esta
oportunidad. En efecto, Arqumedes representa la inteligencia matemtica en
una elevada expresin, tanto como cientco puro como cientco aplicado, y
eso que algunas de sus obras se perdieron y nos son desconocidas. Es una de
las mentes mas brillantes en toda la historia de la matemtica. Es claro que
solo pretendemos presentar algunos aspectos de su rica produccin cientca.
2.2.1. Algunos Aspectos de su Vida.
Arqumedes vivi entre los aos 287 y 212 antes de Cristo; fue hijo del
astrnomo Fidias y naci en Siracusa, Sicilia. Tuvo excelentes relaciones con
el rey Hiern, quien admiraba su genio matemtico, al extremo que lleg a
proclamar:
Nadie en el reino podr dudar de una sola de sus palabras o de las
armaciones de Arqumedes .
Si bien Arqumedes lleg a ser genial en las aplicaciones de la matemtica,
fue el primer genio en la mecnica, l se senta mejor con sus estudios en
matemtica pura. Desde muy joven se dedic al estudio y a la investigacin,
lo que fue una caracterstica de toda su vida. A temprana edad viaj a
Alejandra, el mayor centro cientco de entonces, en donde aprendi e hizo
amistad con los Maestros de la Escuela de Alejandra. Toda su vida fue una
continua meditacin en la solucin de problemas de toda naturaleza; fue un
hombre abstraido en sus propios pensamientos pero pisaba tierra, y la pisaba
bien!
2.2. ARQUMEDES. 229
Hemos dicho que tuvo una mente contempornea; en efecto, sus tra-
bajos fueron verdaderos artculos de investigacin, al estilo de los actuales
tiempos; fue agudo y sagaz e inventaba sus propios recursos para resolver deli-
cados problemas, tanto en matemtica pura como en la aplicada. Arqumedes
fue un hombre al servicio de su ciudad; fue un sabio que se identic con sus
ciudadanos. Estando en Alejandra, Arqumedes estableci una gran amistad
con Eratstenes y Conon, ambos grandes matemticos y parece fueron las
nicas personas a quienes Arqumedes les con sus descubrimientos.
Pasemos a presentar, de un modo no formal matemticamente, algunas
contribuciones de Arqumedes a n de precisar mas su personalidad como
hombre al servicio de su comunidad. Algunas son ancdotas que algunos
autores le restan credibilidad. Veamos.
(i) Agua para el desierto. El problema consisti en obtener agua del ro
Nilo para irrigar ciertos sectores ridos del desierto. Arqumedes construy
un cilindro en cuyo interior puso una roscca helicoidal; luego, sumerga la
parte inferior poniendo en movimiento la rosca lo que produca que el agua
subiera y saliera por la parte superior, obtenindose el agua deseada.
(ii) Nace un planetario. Arqumedes construy una esfera para representar
al Sol, luego construy otras esferas para simbolizar a la Tierra, a la Luna y
a los planetas conocidos en esa poca. Todo este sistema lo movi con una
fuerza hidrulica e hizo una construccin tan perfecta y se producan las
fases de la Luna, los eclipses y otros fenmenos celestes con una precisin
admirable, tanto asi que Platn exclam: La ley de los movimientos celestes
es mas hermosa que la potica contemplacin de las estrellas.
(iii) Arqumedes mueve un barco. En cierta ocasin el gran siracusano
exclam: dadme un punto de apoyo y levantar al mundo. El rey Hiern le
di la oportunidad de probar tal armacin cuando sus ingenieros navales se
sintieron incapaces de lanzar al mar un enorme barco carguero. El rey propuso
el problema al matemtico, quien acept el desafo. Arqumedes construy
unas roldanas y dispuso un sistema de ellas alrededor del barco y entren
a un conjunto de hombres para su manejo. Al nal lig todas las roldanas
con una cuerda cuyo extremo puso en las manos de una frgil joven, quien
al jalar la cuerda puso el sistema de roldanas en movimiento y el barco se
movi lenta y majestuosamente hacia el mar. El rey sobrecogido por lo que
vi, decret: Nadie en el reino ... .
230 CAPTULO 2. ARQUMEDES - APOLONIO.
(iv) Se descubre una alteracin. El rey Hiern mand preparar una
rica corona para la cual entreg una gran cantidad de oro a un artista. Al
ser entregada la joya, el rey descon de la honradez del artista y encarg
a Arqumedes el problema de saber si hubo o no mezcla. El problema no
era fcil. Arqumedes fue un gran observador de las cosas que sucedan a su
alrededor; tena una rara y sorprendente combinacin de la intuicin objetiva
con una profunda abstraccin de las ideas que reciba del mundo fsico. Al
entrar a la tina a tomar un bao sinti la sensacin de que su cuerpo perda
peso. Medit en la idea y concluy que: un cuerpo sumergido en el agua
pierde de su peso tanto cuanto pesa el agua que l desaloj.
Esta conclusin le daba la solucin del problema. Se arma que Ar-
qumedes sali corriendo completamente desnudo exclamando: Eureka, eu-
reka (lo encontr, lo encontr). Se iniciaba as un captulo de la fsica: la
hidrosttica.
Solucin del problema: hizo confeccionar dos masas, una de oro y
otra de plata, de igual peso que la corona, luego midi el volumen del agua
desalojada por cada uno de esos cuerpos y veric que los volmenes eran
distintos. Luego, la corona fue mezclada con plata. Una mente genial la de
Arqumedes !
(v) Un matemtico contra un ejrcito. En esta historia veremos co-
mo el ingenio de un hombre es capaz de vencer a un ejrcito; de como el
conocimiento matemtico puede ayudarnos en nuestra sobrevivencia, pero
tambin puede servir para nuestra destruccin.
La ciudad de Siracusa fue sitiada por los soldados romanos al mando del
general Marcelo. La situacin era muy difcil para los siracusanos pues la
caida de la ciudad era inminente; el rey Hiern busca la ayuda del anciano
matemtico para que se dedicara a construir todo tipo de mquinas, tanto
para la ofensiva como para la defensiva. La mente creadora de Arqumedes
comienza a trabajar. Los romanos, dueos de una superioridad numrica,
pensaron que la dominacin de la ciudad era una cuestin fcil; de pronto !
... por las murallas de la ciudad aparecieron extraos aparatos que arrojaban
a gran velocidad todo tipo de proyectiles y grandes piedras que causaban
grandes daos a la tropa de Marcelo.
Cuando los romanos intentaron nuevamente el asalto por tierra y mar,
aparecieron por las murallas unos enormes brazos mecnicos que tomaban a
las naves, las sacudan, las levantaban y luego las sumergan causando muchos
2.2. ARQUMEDES. 231
estragos y bajas en las las romanas. Contra este tipo de ofensiva y armas,
Marcelo no poda hacer algo, por lo contrario el pnico se apoder de sus
soldados que vean en el autor de esas ingeniosas armas, al mismo demonio.
El general romano herido en su orgullo prometi no abandonar la lucha,
y el sitio de Siracusa dur mas de dos aos. En el transcurso de este tiempo,
y cuando los romanos atacaban otra vez, vieron aparecer por las murallas
unos espejos cncavos.
De qu se trataba esta vez?, alguna broma del enemigo?, pensaron los
romanos entre curiosos y atemorizados. El terror debe haber sido inmenso
cuando vieron que los espejos lanzaban rayos solares concentrados que provo-
caban incendios en las naves y en la gente que atacaba por tierra. Este cuadro
dantesco de destruccin era la aplicacin del conocimiento de Arqumedes so-
bre las leyes fsicas de los espejos cncavos.
Asi fue pasando el tiempo y Arqumedes era un hombre de ciencia que
no poda vivir sin sus meditaciones matemticas. Solo en estas circunstan-
cias, cuando el anciano se abstraa del mundo exterior, los romanos lograron
capturar a la ciudad, saquearla y destruirla. Marcelo orden que se respetara
la vida del genial matemtico, acto que amerita la sensibilidad del general.
Durante el saqueo, un soldado entra en una casa llena de aparatos y papiros;
en el jardn encuentra a un anciano encanecido y sentado en el mas comple-
to silencio y que meditaba sobre un problema geomtrico en base a guras
hechas en el piso. El soldado, que seguramente no saba ante quien estaba, le
orden que se presentara inmediatamente ante Marcelo, lo que Arqumedes
no acept sin antes resolver el problema y escribir la demostracin.
El soldado indignado por la respuesta sac su espada y lo atraves, siendo
no borres mis crculos las ltimas palabras de Arqumedes.
Esto es un episodio en que se enfrenta la inteligencia contra la estupidez y
la brutalidad de algunos hombres, algo que lamentablemente se ha de repetir
a travs de la historia de la ciencia.
Marcelo se indign de este trgico suceso y orden, como un homenaje
a un gran hombre, se construyera (como Arqumedes ya lo haba dispuesto)
sobre su tumba una placa en donde se aprecia uno de sus mas bellos teoremas:
una esfera inscrita en un cilindro.
El prestigioso matemtico contemporneo Whitehead dijo: Ningn ro-
mano ha perdido su vida por estar absorvido en la contemplacin de una
gura matemtica.
232 CAPTULO 2. ARQUMEDES - APOLONIO.
2.2.2. La Obra Cientca de Arqumedes.
La obra de este genial matemtico es muy amplia y compleja en sus argu-
mentos matemticos; conocemos parte de su obra pues algunos se perdieron
(cuntos?, qu contenan?, ...). Algunos de sus trabajos se conocen por es-
critos hechos por posteriores matemticos e historiadores de la ciencia griega.
Veamos una visin de las obras de Arqumedes, sin an usar argumentos
matemticos. Ellas son:
1. Primer libro de los equilibrios: trata de los centros de gravedad,
de los paralelogramos y de los tringulos.
2. Cuadratura de la parbola: estudia la cuadratura de cualquier
segmento parablico; da dos soluciones, una mecnica y otra geomtri-
ca.
3. Segundo libro de los equilibrios: trata de los centros de gravedad
de los segmentos de parbola.
4. Sobre la esfera y el cilindro I y II:
a) La supercie de una esfera es cuatro veces la del gran crculo.
b) La supercie de un segmento de esfera es igual a un crculo de
radio igual a un segmento de recta trazado desde el vrtice del
segmento al punto sobre la circunferencia de la base.
c) Si un cilindro est circunscrito a una esfera y su altura es igual
al dimetro de la esfera, entonces: el volumen y la supercie del
cilindro (con sus dos bases) son una vez y media el volumen, la
supercie, de la esfera respectivamente.
5. Sobre las espirales: estudia a la espiral , = :o, asi como a las
tangentes y a las reas barridas por el radio vector.
6. Sobre los conoides y los esferoides: trata sobre los volmenes
barridos por las elipses y las parbolas que giran alrededor de un eje de
simetra y por las hiprbolas que giran alrededor de un eje transversal.
7. Medida del crculo:
2.2. ARQUMEDES. 233
a) Prueba la equivalencia de los problemas de la cuadratura y de la
recticacin.
b) Prueba que el crculo es los
11
14
del cuadrado circunscrito si la
longitud de la circunferencia es 3 veces el dimetro mas
1
7
.
c) El permetro del crculo es menor que los 3
1
7
del dimetro.
8. Arenario: contiene un sistema de numeracin de grandes nmeros.
9. Los cuerpos otantes, libros I y II: trata del equilibrio de un
segmento de paraboloide de revolucin que ota en un lquido, etc.
10. Tratado del mtodo: Arqumedes revela a Eratstenes algunos
de sus mtodos de investigacin utilizados para descubrir varios de sus
teoremas.
Los trabajos de Arqumedes son originales, algunos de alta originalidad;
sus escritos aportaron ideas y mtodos nuevos; fue un matemtico puro con
mente moderna. Sigui rigurosamente el mtodo de Euclides de jar los pos-
tulados previamente, luego venan los teoremas, lo que eran tratados con
mucho cuidado y rigor. Contribuy notablemente en toda la matemtica gr-
iega (que era fundamentalmente la geometra y la aritmtica), pero tambin
contribuy con el progreso de la astronoma, de la hidrosttica y en la es-
ttica. Como hemos mencionado, en geometra escribi cuatro libros, dos de
geometra plana: De las espirales y De la medida del crculo; y dos de
geometra del espacio: De la esfera y del cilindro y De los conoides y de
los esferoides. Es tambin notable su trabajo cuadratura de la parbola,
que discutiremos despus.
En el libro De la esfera y del cilindro se encuentran seis deniciones,
que son, en las propias palabras de Arqumedes:
D.1. Existen en el plano ciertos arcos de curva totalmente situados de un
mismo lado de las rectas que unen los extremos del arco.
D.2. Llamo cncava en la misma direccin una lnea tal que la recta que
une dos puntos cualquiera de ella, o bien est toda del mismo lado de
la lnea o bien est parte del mismo lado y parte sobre la lnea misma.
234 CAPTULO 2. ARQUMEDES - APOLONIO.
D.3. De igual modo, hay ciertas porciones de supercies no situadas en un
plano pero cuya lnea extrema est en un plano situado totalmente del
mismo lado respecto de la supercie.
D.4. Llamo cncavas en la misma direccin a supercies tales que las
rectas que unen dos puntos cualesquiera de ellas, o bin estn todas del
mismo lado de la supercie o bien parte del mismo lado y parte sobre
la supercie misma.
D.5. y D.6. se reeren al sector esfrico y a un slido especial: el rombo
slido, constituido por dos conos de igual base y eje, y cuyos vrtices
estn en semi-espacios diferentes respecto de la base comn.
En relacin a las cuatro primeras deniciones estn asociados cinco pos-
tulados, que son:
P.1. La recta es la mas corta entre todas las lneas de iguales extremos.
P.2. En cuanto a las dems lneas planas con los mismos extremos, son de-
siguales cuando siendo cncavas en la misma direccin una de ellas
est totalmente comprendida entre otra y la recta con los mismos ex-
tremos, o en parte est comprendida y en parte es comn; y la lnea
comprendida es menor.
P.3. Del mismo modo, cuando varias supercies tienen los mismos extremos
y esos extremos estn en un plano, esa gura plana es la menor.
P.4. Por otra parte, entre las lneas, supercies y slidos desiguales, la mayor
excede a la menor de una cantidad tal que agregada as misma puede
superar a cualquier cantidad dada homognea con las dos anteriores
2
=
:1
2
1
:1
2
2
=
(21
1
)
2
(21
2
)
2
=
1
2
1
1
2
2
.
esto es,
1
1
2
1
=
2
1
2
2
= constante = /
1
.
En general,
1
2
= /
1
. Existe alguna conexin entre las constantes /
(uni-dimensional) y la constante /
1
(bi-dimensional)? Parece que Euclides
no encontr tal conexin. En el libro citado, Arqumedes prob la frmula
para encontrar el rea circular en funcin de :, estableciendo un puente
crtico entre la circunferencia y el rea del crculo. En esta direccin veamos
algunas ideas preliminares. Consideremos un polgono regular con centro C,
permetro 1 y apotema c. Se tiene el
Teorema 1. El rea de un poligono regular es
1
2
c1.
Prueba.
2.2. ARQUMEDES. 237
Supongamos que el polgono tuviera : lados, cada uno de longitud /.
Uniendo el centro C con los vrtices se obtiene : tringulos congruentes,
con base / y altura c. Luego, si es el rea del polgono regular, se tiene (:
veces)
=
1
2
/c + ... +
1
2
/c =
1
2
c (/ + ... + /) =
1
2
c1.
Ahora, la idea esencial es que este proceso puede ser continuado in-
denidamente; ac est la esencia del conocido mtodo del agotamiento
de Eudoxo.
Mtodo del Agotamiento de Eudoxo.
En la Antigua Grecia se calculaban reas, volmenes y longitudes de
arcos; ellos fueron, en algn sentido, los pioneros del clculo integral. En esta
direccin el mtodo del agotamiento o exhaustacin de Eudoxo (408 -
355 A.C.) fue vital para obtener resultados en tales clculos.
Proposicin [E]. Si de cualquier magnitud se substrae una parte no
menor que su mitad, y de esta diferencia se substrae otra parte no menor
que su mitad, y si asi continuamos habr una magnitud restante que ser
menor que cualquier magnitud preasignada .
En esta direccin se tiene el
Lema 1. La diferencia en rea entre un crculo y un polgono regular inscrito
puede ser hecho tan pequeo como se desee.
Prueba.
Sea 1 un lado de un polgono regular inscrito y ` el punto medio del
arco 1. Se tiene
rea `1 =
1
2
rea 1o1.
238 CAPTULO 2. ARQUMEDES - APOLONIO.
Entonces se obtendr, duplicando el nmero de lados del polgono, que el
rea del polgono se incrementar en mas de la mitad de la diferencia entre
el rea del crculo y el polgono.
Luego, continuando duplicando el nmero de lados con la frecuencia de-
seada, podemos hacer la diferencia en reas del crculo y del polgono tan
pequeo como se desee.
1
:
2
= 1
2
1
: 1
2
2
.
Prueba. Supongamos que tuviramos
1
:
2
1
2
1
: 1
2
2
. Entonces podemos
inscribir en la primera circunferencia un polgono regular cuya rea 1
1
diere
de
1
en una pequea magnitud tal que 1
1
:
2
1
2
1
: 1
2
2
. Inscribamos en la
segunda circunferencia un polgono regular, similar al anterior polgono, y sea
1
2
el rea del crculo asociado. Entonces, (se sabe para polgonos regulares
similares) 1
1
: 1
2
= 1
2
1
: 1
2
2
.
Entonces se tendr 1
1
:
2
1
1
: 1
2
, esto es, 1
2
2
, lo que es absurdo.
De un modo similar,
1
:
2
< 1
2
1
: 1
2
2
nos llevara a una contradiccin.
Conclusin:
1
:
2
= 1
2
1
: 1
2
2
. De este modo, en general, = /1
2
, donde
/ =
1
4
:.
Observacin. =
1
2
:C =
1
2
:2:: = ::
2
.
Por razones didcticas veamos el caso de un polgono de 16 lados inscrito
en una circunferencia de radio 1. Cunto valdr : en este caso?
Solucin.
Usando reiteradamente el teorema de Pitgoras, la gura nos lleva a C =
_
2
_
2.
Por tanto, si : = 8 tendremos
: =
C
1
permetro
1
=
8
_
2
_
2
2
= 4
_
2
_
2.
2.2. ARQUMEDES. 241
Esto es, : 3.061467...
Veamos el caso : = 16. Ahora el lado del polgono es 1. Nuevamente
por Pitgoras se tiene que
1 =
_
2
_
4 C
2
=
_
2
_
2 +
_
2.
Entonces,
:
permetro
1
=
16
_
2
_
2 +
_
2
2
3.121445...
Para : = 36 se calcula : 3.136548..., y para : = 64 se tiene :
3.140331... .
2.2.4. La Cuadratura de la Parbola.
Problema. Encontrar el rea de un segmento parablico oblcuo 1C, cor-
tado por la cuerda C, donde la tangente en 1 es paralela a C.
Solucin. Por hiptesis: `1`,,C.
242 CAPTULO 2. ARQUMEDES - APOLONIO.
Plan: construir una sucesin de guras agotadoras (
n
)
n=1;2;:::
.
Por construccin,
1
= 1C.
2
es construido va:
2
= 1C +11 +1C1
Cmo se construyen 11 y 1C1 ? ...
Se divide C en 4 partes iguales y se trazan 11,,C1 y G1,,C1.
Anlogamente se construyen
3
.
4
. ....
n
.
Lema 2. Se tiene
[1C[ = 4 ([11[ +[11C[) .
donde, en general, [1C[ signica rea del 1C.
Prueba.
Tomemos C1 y `` respectivamente como los ejes r e de un sistema
oblcuo de coordenadas. Las coordenadas del punto 1
_
.
1
2
_
satisfacen la
condicin
_
1
2
_
2
= :, de donde
=
2
4:
, G1 = r =
2
:
2
4:
=
3
4
2
:
=
3
4
r =
3
4
C1.
Desde que G1 =
1
2
C1, tenemos
11 =
1
4
C1 y G1 = 2 11.
2.2. ARQUMEDES. 243
Luego podemos comparar las reas de tales tringulos
[C1G[ = 2 [1C1[ = [1C1[ .
[C1C[ = 4 [G1C[ = 4 [1C1[ .
En forma anloga se obtiene la relacin:
[C1[ = 4 [11[ .
Por lo tanto,
[C1C[ +[C1[ = 4 ([1C1[ +[11[) .
lo que prueba el lema.
k=1
1
4
k
[[ =
4
3
[[
1
3
[[
4
n1
.
Como el substraendo puede ser hecho tan pequeo como se quiera, Ar-
qumedes arma que o =
4
3
[[ .
Conclusin. o =
4
3
[1C[, que es la respuesta al problema planteado.
_
rea supercie lateral del cono 1
1
_
= :1(q + q
1
) ::q
1
= : (1q + (1q
1
:q
1
)) .
Ahora observemos a los tringulos rectngulos semejantes 11 y 1C.
Se tiene,
q
1
q + q
1
=
:
q
, es decir, 1q
1
:q
1
= :q. Por tanto,
rea de la supercie lateral del tronco de cono = : (1q + :q) = :q (1 + :) .
0
1
1
/
=
r
.
Por lo tanto,
r/ = (1) (i)
Similarmente, el 11 es semejante al 111
0
(ambos contienen un
ngulo que vale c, y ]11 = ]111
0
). Entonces,
11
1
0
1
=
1
11
11
/
=
1
/
=
r
.
Luego,
r/ = (11) (ii)
Continuando se observa que el 111
0
es semejante al 1GC (porqu?
...)
Luego,
1G
CG
=
11
1
0
1
1G
c
=
11
/
=
r
(iii)
Continuando con el resto de tringulos semejantes, se obtienen las sigu-
ientes relaciones:
rc = (G1) (iv)
rd = (1H) (v)
rd = (H
0
) (vi)
Ahora Arqumedes suma: (i)+(ii)+...+(vi) para obtener
r/ +r/ +rc +rc +rd+rd = (1 + 11 + 1G + G1 + 1H + H
0
) .
2.2. ARQUMEDES. 253
esto es,
r (2/ + 2c + 2d) = (
0
) = 2:. (+)
Y ahora, cul ser la estrategia de Arqumedes?, cmo usar (+)?
El gran gemetra siracusano considera una esfera, la que es obtenida
haciendo girar (gran idea!) la gura A.1 alrededor del eje horizontal
0
. Ya Euclides deca que en este caso se obtiene una esfera y el
polgono de revolucin genera un slido que consiste en una serie de
troncos de conos (cuyas reas de sus supercies laterales ya conoca
Arqumedes) y con dos conos pegados en los extremos. Ver Figura A.2.
Se observa que la generatriz de cada cono y de cada tronco de cono es
r. Ahora estamos en condiciones de clcular el rea de la supercie de
este slido. Bien, veamos al cono de la izquierda: / es el radio de la base,
r es la generatriz, luego el rea de la supercie (lateral) de ese cono
es :r/. Continuando, el tronco de cono de la izquierda tiene generatriz
r. / como radio superior, c como radio inferior; luego, el rea de su
supercie (lateral) es :r (/ + c). El tronco de cono de la derecha es tal
que el rea de su supercie (lateral) es igual a :r (c + d), y
Figura A.2
el cono de la derecha tiene una supercie de rea (lateral) igual a :rd.
254 CAPTULO 2. ARQUMEDES - APOLONIO.
Conclusin:
rea de la supercie del slido inscrito =
:r/ + :r (/ + c) + :r (c + d) + :rd = :r (2/ + 2c + 2d) .
Observemos que en esta frmula est (+)!, y por tanto se tiene:
rea de la supercie del slido inscrito = : (2:) .
Observemos que en esta interesante frmula aparece , la longitud de
la enigmtica lnea
0
1. Tambin esa frmula nos sugiere porqu Ar-
qumedes impuso la condicin de que el polgono regular tenga un
nmero par de lados, pues asi cada radio /. c y d es compartido por
dos slidos.
Ahora, cmo obtener el rea de la supercie de la esfera? Posiblemente
el lector ya intudo el paso siguiente; esto ayudado por la idea de lmite
que ahora disponemos, pero que en el tiempo de Arqumedes no exista
(al menos formalmente!). Ac entr a trabajar la gran intuicin de
este notable gemetra. Es natural sentir que el rea de la supercie
del slido (del octgono en este caso) es una aproximacin del rea
de la supercie de la esfera, y tambin, es un sentimiento conable
creer que si el nmero de lados (par) del polgono regular aumenta en
nmero, entonces tal rea va aproximndose al rea deseada. Esto fue
la etapa cruccial en el argumento de Arqumedes.
Con los argumentos actuales se puede escribir:
rea de la supercie de la esfera = lm (rea de las supercies de
los slidos inscritos)
= lm: (2:) .
Nota. Enfatizamos que el lmite es tomado cuando el nmero de lados
del polgono crece y crece.
Ahora, otra vez apelamos a los sentimientos matemticos: viendo la
Figura A.2 se observa que
lm = lm
0
1 =
0
= 2:.
As, Arqumedes llega a la bella frmula:
rea de la supercie de la esfera = lm: (2:) = :2: lm = 4::
2
.
2.2. ARQUMEDES. 255
1
3
C
1
. Luego,
,
1
3
C
1
. Si hubieran (: 1) sectores, sus radios C1. CQ. ... forman
una progresin aritmtica creciente en la cual el menor trmino es igual
a la comn diferencia, y el mayor, como C1 , es igual a (: 1) C1.
Asi (Proposicin 10. Corolario 1) se tiene
:.C
2
3
_
C1
2
+ CQ
2
+ + C1
2
_
;
de ac, C
1
3, , <
1
3
C
1
, algo imposible ya que ,
1
3
C
1
. Luego,
1
1
1
3
C
1
.
2.2. ARQUMEDES. 271
Conclusin. Como 1
1
1
3
C
1
y 1
1
1
3
C
1
se tendr 1
1
=
1
3
C
1
.
1
=
_
1
6
+
1
7
_
( + n
1
) (j) .
Tambin se requiere que:
+ n = un cuadrado (o)
. + r = un nmero triangular (t)
La solucin general de las primeras siete ecuaciones es:
= 2.3.7.53.4657 : = 10366482 :.
2.2. ARQUMEDES. 285
n = 2.3
2
.89.4657 : = 7460514 :.
. = 3
4
.11.4657 : = 4149387 :.
r = 2
2
.5.79.4657 : = 7358060 :.
n
1
= 2
3
.3.5.7.23.373 : = 7206360 :.
r
1
= 2.3
2
.17.15991 : = 4893246 :.
1
= 3
2
.13.46489 : = 5439213 :.
.
1
= 2
2
.3.5.7.11.761 : = 3515820 :.
Se puede encontrar un valor de : tal que
+ n = un nmero cuadrado .
Esto se logra si : = 3.11.29.4657
2
= 4456749
2
, donde es cualquier
nmero entero. Entonces se tiene que: . +r es de la forma
1
2
( + 1),
un nmero triangular.
Histricamente, cuando Arqumedes escribe a Eratstenes de Cirene
sobre el problema del ganado lo hace con una prosa digna de un gran
escritor; asi, comienza diciendo:
Mide la cantidad de reses del Sol, oh extranjero, aplicando tu
esfuerzo, si participas de la sabiduria; de las reses que pastaban
en las llanuras de la isla de Sicilia Trinaquia divididos en cuatro
rebaos de colores distintos: el uno blanco como la leche, otro
brillando con un color azul, otro amarillo, y otro variado. En cada
rebao haba toros potentes en nmero componiendo esta simetra.
Imagina, oh extranjero !, a los de pelo blanco iguales a la mitad y
un tercio de los toros azules, y a todos los amarillos, pero los azules
iguales a la cuarta y quinta parte de los mezclados y, adems, a
todos los amarillos.
.
.
.
.
.
.
.
.
.
(Ver [NEW]. Vol. 1, pag. 125).
286 CAPTULO 2. ARQUMEDES - APOLONIO.
9. La inmensa y profunda obra matemtica de Arqumedes, incluyendo a
la fsica y a la astronoma, merece un estudio crtico y de divulgacin
en nuestro medio. El mensaje de sus originales ideas puede seguir mo-
tivando a las nuevas generaciones de matemticos. Esto es una tarea,
un reto, que habra que realizarse en alguna oportunidad.
2.2. ARQUMEDES. 287
EJERCICOS 2.1 - 2.2
1. (a). Explique cul fue la posicin astronmica de Aristarco respecto a
nuestro sistema solar.
(b). En una noche en que vemos a la Luna partida por la mitad, qu
puede armar del ngulo o11? (o =Sol, 1 =Luna y 1 =Tierra).
(c). Cules fueron algunas de las armaciones astronmicas que Aristar-
co di en el siglo III A.C.?
2. Redacte un breve informe sobre el estado de la astronoma en la An-
tiguedad, hasta la poca de Aristarco y de Arqumedes.
3. Redacte sobre algunas contribuciones de Arqumedes a situaciones de
su medio ambiente (agua para el desierto, mover un barco, ...).
4. D una visin sobre las obras escritas por Arqumedes, dando una sn-
tesis del contenido de cada una de ellas.
5. Porqu a Arqumedes se le considera como el descubridor del clculo
integral?
Si usted fuera un profesor de clculo, cmo motivara las ideas de
Arqumedes respecto a la nocin de integral?
6. Cul fue la estrategia de Arqumedes para encontrar un valor de :?
7. Cul es la idea del mtodo del agotamiento de Eudoxo?; Cmo lo
utiliz Arqumedes?
8. Explique cmo Arqumedes llega a armar que el rea de un crculo de
radio : es ::
2
.
9. D una visin matemtica de como Arqumedes ataca el problema de
encontrar el rea de un sector parablico.
10. Explique cmo Arqumedes llega a determinar el rea de la:
(i) supercie lateral de un cilindro recto,
(ii) supercie lateral de un cono recto,
(iii) supercie lateral de un tronco de cono,
288 CAPTULO 2. ARQUMEDES - APOLONIO.
(iv) (opcional) supercie de una esfera.
11. Exprese el resultado de Arqumedes relativo a una esfera inscrita en un
cilindro. D la demostracin de tal resultado. Trate tambin el caso de
los volmenes.
12. Imagine usted que Arqumedes hubiera tenido una idea formal de la
nocin de lmite; conjeture usted, a travs del libro Tratado de las
Espirales, a que nuevas ideas hubiera llegado el genial matemtico
siracusano.
13. Si Ud. fuera profesor de un curso bsico de geometra, proponga el
teorema de la cuerda rota a sus alumnos. Realice un trabajo de in-
vestigacin motivando al teorema y dando las sugerencias necesarias
para que los alumnos obtengan la demostracin del teorema.
14. Diversos matemticos antes de Arqumedes (Euclides, por ejemplo) de-
pendieron en gran medida de los trabajos de sus predecesores. Es esto
tambin cierto en el caso de Arqumedes?, porqu?
15. Segn su criterio y por lo estudiado sobre el trabajo de Arqumedes,
cul (o cules) podra (n) ser el (los) trabajo (s) que mas han inuen-
ciado en el desarrollo de la matemtica?
16. Si c
i
y
i
son, respectivamente, las reas de los polgonos regulares
de i lados inscrito y circunscrito a una circunferencia, compruebe con
algunos casos particulares se tienen las frmulas (inductivas)
c
2n
=
_
c
n
n
y
2n
=
2
n
c
2n
n
+ c
2n
.
2.3. APOLONIO.
2.3.1. Algunos Aspectos Biogrcos.
Poco se sabe sobre la vida de Apolonio. Herclides menciona que en Perga,
ciudad de Pamlie, naci el tercer gran matemtico de la Antiguedad que
se llam Apolonio, un nombre muy familiar en aquella poca. El ao que
ocurri su nacimiento no es bien determinado; unos opinan que fue en el
ao 262 A.C.; otros, entre 246 y 221. Fue aproximadamente 25 aos mas
2.3. APOLONIO. 289
joven que Arqumedes. Siendo joven fue a estudiar a Alejandra en donde
tuvo la oportunidad de aprender con los sucesores de Euclides; se radic un
buen tiempo en tal importante ciudad cultural, famosa por su Biblioteca y su
Museo. Luego pas a visitar Prgamo, en el oeste del Asia Menor, en donde
haba una universidad y una biblioteca a semejanza de la de Alejandra.
Tambin estuvo en el Efeso para retornar despus a Alejandra en donde
falleci alrededor del ao 190 A.C.
Se conjetura que la poca del mayor explendor de Apolonio fue al comien-
zo del siglo II A.C. durante el reinado de Tolomeo Filopator (222-205). Apolo-
nio fue un notable astrnomo y se admite que escribi sobre mltiples temas
matemticos, pero su mayor obra y que lo identica es sus Cnicas, que
es el nico escrito que poseemos de l, pero incompleto. Este tratado de
geometra superior consta de ocho libros, de los que poseemos los cuatro
primeros en su versin original; los tres siguientes se conocen a travs de tra-
ducciones rabes. El libro ocho est totalmente perdido pero lo conocemos
indirectamente por algunos comentarios de Pappus.
Cuando Apolonio estuvo en Prgamo conoci a Eudemo, quien fue uno
de los primeros historiadores de la matemtica y a quin dedic los libros
I, II y III. Apolonio se deleitaba escribiendo sus obras en donde contribua
admirablemente con nuevas ideas; asi, l proclamaba: La mayor parte y los
mas hermosos de estos teoremas son nuevos.
Si a Euclides se le identica con Los Elementos, dedicado a la geometra
bsica y tambin en parte, a la teora de nmeros, a Apolonio se le identica
290 CAPTULO 2. ARQUMEDES - APOLONIO.
con las secciones cnicas; se conjetura que tambin escribi sobre aritmti-
ca, sobre los irracionales no ordenados y que lleg a inventar un mtodo
para obtener una rpida aproximacin del nmero :. Se arma tambin que
con Apolonio se inicia la teora de la convergencia uniforme. Y por supuesto,
con l se inicia la importante teora de la geometra analtica de un modo
formal; esto en una poca en que no exista el lgebra de un modo organi-
zado que le hubiera sugerido, posiblemente, algebrizar a la geometra de las
cnicas, como lo hicieron muchos siglos despus, Kepler, Cavalieri y sobre
todo Descartes.
Euclides, Arqumedes y Apolonio son considerados como los tres mas
altos exponentes de la matemtica en la Antiguedad; pertenecen a la llamada
Edad de Oro de la matemtica griega y vivieron en torno del primer siglo
de la Epoca Helenstica. Apolonio mejor algunos resultados conseguidos
por Arqumedes; por ejemplo, se arma que lleg al valor 3.1416 para :
an cuando no se conoce como lo obtuvo. En la Antiguedad existi una
famosa coleccin llamada el Tesoro del Anlisis, la que inclua varias obras
de Apolonio, como su geometra analtica. Los mritos de Apolonio como
profundo matemtico le vali que fuera conocido en la Antiguedad como El
Gran Gemetra.
Euclides, Arqumedes y Apolonio desarrollaron sus privilegiados intelec-
tos dentro del estimulante escenario que ofreca el Museo y la Biblioteca de
Alejandra, alrededor de quienes oreci una plyade de pensadores de altsi-
mo nivel. La ciudad de Alejandra fue el faro que ilumin por muchos siglos
el desarrollo de la matemtica y del pensamiento universal.
2.3.2. Las Cnicas Antes de Apolonio.
La gran calidad matemtica de Apolonio se observa en el alto nivel en
que fueron escritos las Cnicas; esta perfeccin hizo que lo que se escribi
antes que l sobre las secciones cnicas pasaran al olvido. Sin embargo, des-
de el punto de vista histrico es conveniente rescatar los trabajos de, entre
otros posiblemente, Menecmo, Euclides y del mismo Arqumedes, quienes
aportaron ideas en el descubrimiento de las secciones cnicas.
Menecmo (aproximadamente 350 A.C.) fue alumno de Eudoxo y fue
un notable astrnomo y gemetra. (Ver 1.2.4 (ii)). Su contribucin mas im-
portante fue la creacin de las secciones cnicas, la que aplica en su estu-
dio del problema clsico de la duplicacin del cubo o Problema de Delos.
2.3. APOLONIO. 291
Hipcrates haba reducido este problema al de la bsqueda de dos medias
proporcionales entre dos rectas c y /. De esta manera se tiene
c
r
=
r
=
/
.
Si c = 2. / = 1, ello se reduce a r
2
= 2.
2
= r, y de esta manera r
3
= 2
3
,
es decir, el cubo de lado r es de volumen doble que el de lado . Observe-
mos que en las ecuaciones r
2
= c y r = c/ estn las ecuaciones de lo que
actualmente llamamos parbola e hiprbola equiltera (ambas son secciones
cnicas).
Cmo procedi Menecmo para obtener tales ecuaciones? Las cnicas eran
el lugar geomtrico de los puntos de interseccin de la supercie de un cono
(acutngulo, obtusngulo o rectngulo) con un plano perpendicular a una de
las generatrices del cono. Las secciones cnicas tuvieron un equivalente con
las ecuaciones algebraicas.
Veamos el caso de la parbola. ([HEA]. Vol. II)
Segn la gura adjunta, C1C representa una seccin a travs del eje
C1 de un cono - ngulo recto, y concibe una seccin a travs de G, que
es perpendicular a C y en ngulos rectos al plano de este papel. Si 1 es
cualquier punto sobre la curva y 1` es perpendicular a G, sea 1C trazada
a travs de ` perpendicular al eje del cono. Entonces 1 est sobre una seccin
circular del cono alrededor de 1C como dimetro.
Tracemos 1 paralelo a 1C, y 11. CG paralelos a C1, encontrando
1, extendido, en 1 y G. Entonces 1 y 1 son ambos bisectados por C1.
Si ponemos, 1` = . ` = r, entonces
2
= 1`
2
= 1`.`C. Pero,
292 CAPTULO 2. ARQUMEDES - APOLONIO.
1. . C. G son concclicos; luego,
1`.`C = `.`G = `.1 = `.21.
Luego,
2
= `.21 = 21.r
en donde se observa que 21 es el parmetro de la ordenada principal .
Caso de la hiprbola (equiltera). Segn la gura adjunta ([HEA]. Vol.
II), trazamos un cono con su ngulo - vrtice 1CC siendo obtuso (o obtusn-
gulo). Imaginemos una seccin perpendicular al plano de este papel y que
pasa a travs de G, el cual es perpendicular a C1. Extendamos G hasta
encontrar C1 extendido en el punto
0
y procedamos en forma similar a lo
hecho en el caso de la parbola.
Se tiene,
1`
2
= 1`.`C = `.`G .
Por tringulos semejantes,
`G : 1 = `C : 1 =
0
` :
0
.
Luego,
1`
2
= `.
0
`.
1
0
= 2
1
0
.`.
0
` .
ecuacin que caracteriza a la hiprbola, en donde
0
es lo que llamamos el
eje trasverso y 21 es el parmetro de la ordenada principal.
2.3. APOLONIO. 293
Remarcamos que Menecmo introduce esas curvas como secciones de un
cono circular recto con un plano perpendicular a una generatriz. La parbola
fue llamada la seccin de un cono rectngulo; la hiprbola a la seccin de
un cono obtusngulo, y la elipse a la seccin de un cono acutngulo. Aris-
teo (aprox. 320 A.C.) tambin estudi a las secciones cnicas; escribi una
importante obra al respecto, el Libro de los Lugares Slidos.
Euclides tambin se ocup de las cnicas llegando a escribir un libro, el
cual se perdi pero tenemos informacin de la obra a travs de Pappus. Las
propiedades fundamentales de las cnicas que Euclides considera son:
(i). 1`
2
: `.
0
` = 1
0
`
0
2
: `
0
.
0
`
0
= 1C
2
: C
2
para la elipse;
(ii). 1`
2
: `.
0
` = 1
0
`
0
2
: `
0
.
0
`
0
para la hiprbola;
(iii). 1`
2
= j
a
.` para la parbola.
El gran Arqumedes trabaj tambin con las secciones cnicas. Algunas
de las propiedades a las que lleg este notable matemtico fueron entre otras
las siguientes (para las cnicas centrales).
(a). La propiedad de las ordenadas de cualquier dimetro 11
0
.
Q\
2
: 1\.1
0
\ = Q
0
\
0
2
: 1\
0
.1
0
\
0
.
(b). La lnea recta trazada desde el centro de una elipse, o el punto de
interseccin de las asintotas de una hiprbola, a travs del punto de
contacto a cualquier tangente, bisecta todas las cuerdas paralelas a la
tangente.
(c). En la elipse, las tangentes en las extremidades de uno de los dos dimet-
ros conjugados son ambos paralelos al otro dimetro.
(d). Si en una hiprbola la tangente en 1 encuentra al eje transverso en 1,
y 1` es la ordenada principal, entonces ` 1.
(e). Si un cono, recto o oblicuo, es cortado por un plano encontrando todos
los generadores, la seccin es o un crculo o una elipse.
294 CAPTULO 2. ARQUMEDES - APOLONIO.
Nota. Arqumedes proporciona criterios para la semejanza de cnicas y de
secciones de cnicas, lo que hizo de un modo similar a como lo di Apolonio.
Respecto a la parbola, Arqumedes proporcion tambin algunas propiedades
fundamentales, como son las siguientes.
(a). En una parbola, si j
a
representa el parmetro de las ordenadas prin-
cipales y j es el parmetro de las ordenadas del dimetro 1\ , las
propiedades fundamentales aparecen en la forma:
1`
2
: 1
0
`
0
2
= ` : `
0
1`
2
= j
a
.` .
Q\
2
: Q
0
\
0
2
= 1\ : 1\
0
Q\
2
= j.1\.
Nota. Arqumedes se reere solamente como parmetro al parmetro
de las coordenadas principales.
(b). Cuerdas paralelas son bisecadas por una lnea recta paralela al eje, el
cual pasa a travs del punto de contacto de la tangente paralela a las
cuerdas.
(c). Todas las parbolas son semejantes.
(d). Si la tangente en Qencuentra el dimetro 1\ en 1, y Q\ es la ordenada
al dimetro, entonces 1\ = 11.
2.3.3. Descripcin de los Libros de las Cnicas.
Apolonio escribi bellos prefacios a sus libros en donde da importantes
referencias histricas de la evolucin de las ideas sobre las cnicas. Veamos
algunos aspectos de tales prefacios.
Libro I. En la introduccin de este libro, Apolonio dice a Eudemo ([HEA].
Vol. II, pag. 128): De los ocho libros, en los primeros cuatro se en-
cuentran los elementos de la teora. El primero contiene la generacin de
las tres secciones cnicas y de las secciones opuestas, as como sus princi-
pales propiedades expuestas de una manera ms completa y general de lo
que lo haban hecho nuestros predecesores. El segundo libro se reere a los
dimetros y ejes de las secciones y a las asntotas, elementos que tienen una
2.3. APOLONIO. 295
importancia aun mayor y esencial en los diorismas; en ese mismo libro se dan
las deniciones de dimetros y de ejes. El tercer libro encierra muchos teo-
remas notables, tiles en la sntesis y diorismas de los lugares slidos; en su
mayora son hermosos y nuevos. Despus de haberlos descubierto advert que
Euclides no haba obtenido la sntesis de los lugares relativos a las tres rectas
y a las cuatro rectas; an ms, que no era posible completar adecuadamente
esta sntesis sin los teoremas que yo he descubierto.
El cuarto libro ensea de cuntas maneras pueden intersecarse dos cni-
cas o una cnica y una circunferencia, y muchas otras cosas que mis prede-
cesores no han advertido, como el nmero de puntos en que dos secciones
opuestas cortan a una cnica o a una circunferencia o a otras dos secciones
opuestas. Los otros cuatro libros comprenden consideraciones de orden su-
perior. En efecto, el quinto trata ampliamente de mximos y mnimos; el
sexto de cnicas iguales o semejantes; el sptimo de teoremas relativos a
los diorismas, y el octavo contiene problemas sobre las cnicas en los cuales
se imponen condiciones mediante diorismas .
Libro II. El prefacio de este libro dice solamente que Apolonio est
enviando el segundo libro a Eudemo va su hijo Apolonio, y suplica a Eudemo
que lo comunique a sus jvenes estudiantes interesados en el tema, y en
particular a Filnides, el gemetra a quien Apolonio present a Eudemo.
Libro III. Este libro no tiene prefacio alguno. Se informa que la obra fue
enviada a Eudemo.
Libro IV. Apolonio se dirije a Atalo (posiblemente el rey Atalo I de
Prgamo, quin rein en el perodo 241 - 197 A.C.):
Hace un tiempo yo expuse y envi a Eudemo de Prgamo los primeros
tres libros de mis cnicas que yo he recopilado en ocho libros, pero como l ha
fallecido, he decidido dedicar el resto de mis libros a Usted por su temprano
deseo de poseer mis trabajos. Este libro contiene una discusin de la cuestin
de saber en cuantos puntos a lo mas es posible para que secciones de conos
encuentre a otra y la circunferencia de un crculo, bajo la hiptesis de que
ellos no coinciden en todas partes, y adems en cuantos puntos a lo ms
una seccin de un cono o la circunferencia de un crculo puede encontrar la
hiprbola con dos ramas; y adems de esas cuestiones, el libro considera un
nmero de otras (cuestiones) de similar tipo.
296 CAPTULO 2. ARQUMEDES - APOLONIO.
Todas las materias referidas, las cuales yo no las he encontrado en parte
alguna, requiere para su solucin varios y diversos nuevos teoremas, la may-
ora de los cuales yo tengo encontrado y fueron puestos en los tres primeros
libros, mientras que el resto de ellos estn contenidos en el presente libro.
Esos teoremas son de considerable uso ambos para la sntesis de problemas
y para los diorismas.
.
Libro V. Apolonio saluda nuevamente a Atalo.
En este quinto libro yo he tratado proposiciones relativas a lneas rectas
relacionadas con mximos y mnimos. Usted debe saber que mis predecesores
y contemporneos han tocado solo supercialmente sobre la investigacin de
las lneas mas cortas, y tienen solamente probado que lneas rectas tocan
las secciones y conversamente, que propiedades ellos tienen en virtud de los
cuales ellos son tangentes. Por mi parte, yo tengo probado esas propiedades
en mi primer libro, ya que como yo dese colocar ellas en cerrada conexin
con aquella parte del tema en el cual yo trato sobre la produccin de las tres
secciones cnicas, en orden a demostrar al mismo tiempo que en cada de las
tres secciones incontables propiedades y resultados necesarios aparecen, como
ellos hacen con referencia al dimetro (transverso) original. Las proposiciones
en el cual yo discuto las lneas mas cortas yo tengo separado ellas en clases,
y yo tengo tratado con cada caso individual va una cuidadosa demostracin;
yo tengo tambin conectado la investigacin de ello con la investigacin de
las mas grandes lneas antes mencionadas, porque yo consider que aquellos
quienes cultivan esta ciencia necesitan de esos resultados para obtener un
conocimiento del anlisis y determinar los lmites de posibilidades, de prob-
lemas asi como de sus sntesis; en adicin a los cuales, el tema es uno de
aquellos los cuales parecen ser dignos de estudio por su propia causa. Adios.
2
< jr ,
2
= jr
2
jr .
En realidad, en los casos de la elipse y la hiprbola, se tiene
2
= jr (
jr
2
d
.
donde d es la longitud del dimetro a travs del vrtice .
Conclusin: la geometra analtica fue una invencin de los griegos !
Apolonio en su Libro III considera una gran variedad de teoremas, como
son, por ejemplo, los siguientes:
Si las tangentes en cualquier dos puntos y 1 de una cnica se
intersectan en C y tambin intersectan los dimetros, a travs de 1 y
, en 1 y 1, entonces los tringulos C11 y C1 tienen la misma
rea.
300 CAPTULO 2. ARQUMEDES - APOLONIO.
Si dos cuerdas 1Q y ``, paralelas a dos direcciones dadas, se in-
tersectan en C, entonces
1C.CQ
`C.C`
es constante, independiente de la
posicin de C.
Gran parte del conocimiento del trabajo matemtico de Apolonio le debe-
mos a Pappus, quin di breves indicaciones del contenido de otros seis tra-
bajos del gran gemetra; lamentablemente solo uno de tales trabajos ha so-
brevivido al tiempo, Sobre la Seccin Proporcional, en el que considera el
problema general:
Dadas dos lneas c y / con puntos jos sobre c y 1 sobre /, trazar
a travs de un punto dado C una lnea C
0
1
0
cortando c en
0
y a / en 1
0
,
tal que
0
11
0
= /. / una constante dada .
Se arma que Apolonio consider 77 diferentes casos de este problema.
Una segunda cuestin es, bajo las anteriores hiptesis, se considera ahora la
condicin,
(
0
) (11
0
) = /.
Un tercer problema establece: dado cuatro puntos . 1. C y 1 sobre
una lnea, encontrar un punto 1 sobre la lnea tal que
1.C1
11.11
= / .
Otros dos teoremas son:
Si y 1 son puntos jos y / es una constante dada, entonces el
lugar geomtrico de un punto 1 tal que
1
11
= /, es un crculo (si
/ ,= 1) o una lnea recta (si / = 1). El crculo es llamado el crculo
de Apolonio.
2.3. APOLONIO. 301
Si . 1. ... son puntos jos y c. /. .... / son constantes dadas,
entonces el lugar geomtrico de un punto 1 tal que
c (1)
2
+ / (11)
2
= /.
es un crculo .
Otro fundamental resultado debido a este notable gemetra es:
Si una misma esfera pasa a travs de los vrtices de un icosaedro y
por los vrtices de un dodecaedro, entonces tenemos
rea de la supercie del dodecaedro
rea de la supercie del icosaedro
=
volumen del dodecaedro
volumen del icosaedro
.
Apolonio descubri a la transformacin inversa. Veamos algunos ar-
gumentos. Sea : un nmero positivo. Sea 1 un punto en el segmento C1
0
.
Se dice que 1 y 1
0
son inversos entre si con respecto a la circunferencia
de centro C y radio :, si
C1.C1
0
= :
2
.
Obsrvese que un punto sobre la circunferencia es inverso de s mismo.
Apolonio dedujo una serie de interesantes resultados en esta direccin. En
su libro perdido, Tangencias, Apolonio (usando la inversin) va regla y
comps construye una circunferencia tangente a tres circunferencias dadas.
2.3.4. Algunos Resultados Matemticos.
Apolonio fue un gran gemetra; la calidad matemtica de su obra asi lo
amerita; las Cnicas fueron escritas con un especial lenguaje, a veces difcil
de seguir (an en nuestra poca). Sus ideas son de gran originalidad; se puede
armar que el estuvo mas cerca de los gemetras de los siglos XVII y XVIII
que los de su poca. Euclides simboliza a la geometra bsica, Apolonio a la
geometra superior.
Apolonio comienza su gran obra describiendo un cono circular doble oblic-
uo en el mas amplio contexto. Asi nos dice, dado un crculo y cualquier punto
fuera del plano del crculo y que en general no est sobre la lnea recta a travs
del centro y perpendicular a su plano, una lnea recta pasando por el punto y
prolongada indenidamente en ambas direcciones es hecha moverse, siempre
302 CAPTULO 2. ARQUMEDES - APOLONIO.
pasando a travs del punto jo, asi como pasando sucesivamente a travs de
todos los puntos del crculo. De esta manera, la lnea recta describe un cono
doble, el cual es en general un cono oblicuo, y que Apolonio llam un cono
escaleno.
Luego Apolonio d diversas deniciones. Nos dice:
En cualquier curva, yo doy el nombre de dimetro a cualquier lnea
recta la cual, trazada desde la curva, bisecta a todas las lneas rectas trazadas
(cuerdas) paralelas a cualquier lnea recta, y yo llamo la extremidad de la
lnea recta (el dimetro) el cual est sobre la curva un vrtice de la curva y
cada una de las lneas rectas paralelas (cuerdas) una ordenada al dimetro.
Apolonio da el nombre de dimetro transverso a cualquier lnea recta
que bisecta a todas las cuerdas en ambas curvas (hiprbola con dos ramas)
las cuales son paralelas a una lnea recta dada, y el nombre de dimetro
erecto a cualquier lnea recta la cual bisecta a todas las lneas rectas trazadas
entre una curva y la otra las cuales son paralelas a cualquier lnea recta; las
ordenadas a cualquier dimetro son an las lneas rectas paralelas bisectados
por ella. Los dimetros conjugados en cualquier curva o par de curvas son
lneas rectas cada una de las cuales bisectan cuerdas paralelas a las otras. Ejes
son los dimetros particulares los cuales cortan en ngulos rectos a las cuerdas
paralelas las cuales ellas bisectan; y ejes conjugados estn relacionados en
la misma forma como los dimetros conjugados.
Luego de haber descrito a un cono, en general oblicuo, Apolonio dene al
eje como la lnea recta trazada desde el vrtice al centro de la base circular.
Verica que todas las secciones paralelas a la base son crculos, pero observa
de que existe otro conjunto de secciones circulares diferentes de aquellas !
Veamos lo que nos dice Apolonio respecto a la construccin de las cnicas.
2.3. APOLONIO. 303
Proposicin 7. Si se corta un cono con un plano a travs del eje,
y si se corta tambin con otro plano que corte el plano en el cual
est la base del cono segn una lnea recta perpendicular a la base del
tringulo axial (el tringulo a travs del eje) o a la base formada,
el plano que corta formar una seccin en la supercie del cono, y las
lneas rectas trazadas en l paralelas a la lnea recta perpendicular a
la base del tringulo axial, encontrarn la seccin comn del plano que
corta y el tringulo axial, y prolongndolas hasta la otra parte de la
seccin, sern bisectadas por ste; si el cono es recto, la lnea recta en
la base ser perpendicular a la seccin comn del plano que corta y el
tringulo axial; pero si es escaleno no ser siempre perpendicular sino
slo cuando el plano a travs del eje sea perpendicular a la base del
cono.
Consideremos un cono con vrtice en el punto teniendo como base al
crculo 11; cortmoslo por un plano a travs del eje; esta seccin forma
al tringulo 11. Cortmoslo con otro plano que corte el plano que
contiene el crculo 11 en una lnea recta 1, que, o es perpendicular a
11 o a la prolongacin de 11, y forme la seccin 21 en la supercie
del cono; la seccin comn del plano que corta y del tringulo 11 es
2H. Tomemos un punto o en 21, y tracemos o1 por o, paralela a
1.
Digo que o1 encuentra a 2H, y que si se prolonga la otra parte de la
seccin 21, ser bisectada por la lnea 2H.
Puesto que el cono cuyo vrtice es el punto y su base el crculo 11,
est cortado por un plano a travs del eje y la seccin resultante es el
304 CAPTULO 2. ARQUMEDES - APOLONIO.
tringulo 11, y se ha tomado un cierto punto o en la supercie, que no
est en ningn lado del tringulo 11, y H es perpendicular a 11,
por lo tanto la lnea recta trazada a travs de o y paralela a H, que
es o1, encontrar al tringulo 11 y, si se prolonga a la otra parte de
la supercie, estar bisectada por el tringulo. Asi pues, como la lnea
recta trazada a travs de o y paralela a 1 encuentra al tringulo
11 y est en el plano que contiene la seccin 21, pertenecer a la
seccin comn del plano que corta y el tringulo 11.
Pero la seccin comn de estos planos es 2H; por lo tanto, la lnea
recta trazada a travs de o y paralela a 1, encontrar a 2H; y si se
prolonga a la otra parte de la seccin 21, ser bisectada por la lnea
recta 2H.
Ahora bien, o el cono es recto, o el tringulo axial es perpendicular al
crculo 11, o no ocurre ni una cosa ni otra.
Supongamos primero que el cono es recto; el tringulo 11 ser per-
pendicular al crculo 11 ([Euclides. XI, 18]). Como el plano 11 es
perpendicular al plano 11, y se traza 1 en uno de los planos perpen-
diculares a su seccin comn 11. 1 ser perpendicular al tringulo
11 ([Euclides. XI, Def. 4]); por lo tanto, es perpendicular a todas las
lneas rectas del tringulo 11 que la encuentran ([Euclides. XI, Def.
3]). Por lo tanto, es perpendicular a 2H.
Supongamos ahora que el cono no sea recto. Si el tringulo axial es
perpendicular al crculo 11, podemos demostrar igualmente que 1
es perpendicular a 2H. Supongamos que el tringulo axial 11 no es
perpendicular al crculo 11. Digo que 1 tampoco es perpendicular
2.3. APOLONIO. 305
a 2H. Porque si as fuese, 1 tambin sera perpendicular a 11. Por
lo tanto, resulta 1 perpendicular al plano que pasa por 11. 2H
([Euclides XI, 4]). Pero el plano que pasa por 11. 2H es 11; luego
1 es perpendicular al tringulo 11. Por consiguiente, todos los
planos por 1 son perpendiculares al tringulo 11 ([Euclides XI,
18]). Pero el crculo 11 es uno de los planos que pasa por 1; por lo
tanto, el crculo 11 es perpendicular al tringulo 11. Por lo tanto,
el tringulo 11 es perpendicular al crculo 11; lo cual es contrario
a la hiptesis. Por consiguiente, 1 no es perpendicular a 2H.
Corolario. Est claro de esto que 2H es un dimetro de la seccin
21, porque bisecta las lneas rectas trazadas paralelamente a la lnea
recta dada 1, y estas paralelas pueden ser bisectadas tambin por el
dimetro 2H, sin que sean perpendiculares a l.
Ahora pasemos a describir lo que Apolonio llama parbola, hiprbola
y elipse. ([FAU-GRA]).
Proposicin 11. Libro I. Si se corta un cono con un plano a travs
del eje, y si se corta tambin con otro plano que corta la base del
cono segn una lnea perpendicular a la base del tringulo axial, y
si adems el dimetro de la seccin se hace paralelo a un lado del
tringulo axial, cualquier lnea recta trazada desde la seccin del cono
paralela a la seccin comn del plano que corta y la base del cono
hasta el dimetro de la seccin, tendr su cuadrado igual al rectngulo
limitado por la porcin de dimetro que comprende en la direccin
del vrtice de la seccin y otra lnea recta cualquiera; esta lnea recta
tendr la misma razn a la porcin abarcada entre el ngulo del cono
y el vrtice del segmento como el cuadrado en la base del tringulo
axial al rectngulo limitado por los dos lados restantes del tringulo;
llamemos a esta seccin parbola.
En efecto, sea un cono, cuyo vrtice es el punto y cuya base es el
crculo 11; cortmosle con un plano a travs del eje; la seccin obtenida
el tringulo 11. Cortemos el cono con otro plano que corte su base
segn una lnea recta 1 perpendicular a 11; la seccin obtenida en
la supercie del cono es 21. El dimetro de la seccin 2H es paralelo
a 1, uno de los lados del tringulo axial; tracemos 2o perpendicular
a 2H, siendo
11
2
: 1.1 = 2o : 2.
306 CAPTULO 2. ARQUMEDES - APOLONIO.
Tomemos al azar un cierto punto de la seccin y tracemos a travs de
1. 1 paralela a 1. Digo que 1
2
= o2.2.
En efecto, tracemos `` a travs de , paralelo a 11. Como 1 es
paralela a 1, el plano que pasa por 1. `` es paralelo al plano
que pasa por 1. 1 ([Euclides XI, 15]), que es la base del cono.
Por consiguiente, el plano que pasa por 1. `` es un crculo, cuyo
dimetro es `` [Proposicin 4]. Y 1 es perpendicular a ``, puesto
que 1 es perpendicular a 11 ([Euclides XI, 10]).
Luego, `.` = 1
2
. Y puesto que 11
2
: 1.1 = o2 : 2 y
11
2
: 1.1 = (11 : 1) (11 : 1) tendremos,
o2 : 2 = (11 : 1) (11 : 1) .
Pero, 11 : 1 = `` : ` = ` : 2, ([Euclides VI, 4]), y 11 :
1 = `` : ` = 1` : `2 = `1 : 2 ([Euclides VI, 2]).
2.3. APOLONIO. 307
Luego, o2 : 2 = ` : 2.
Sin embargo se tiene
(` : 2) (` : 2) = `.` : 2.2.
Por lo que
o2 : 2 = `.` : 2.2.
Pero o2 : 2 = o2.2 : 2.2, tomando una altura comn 2;
ser
`.` : 2.2 = o2.2 : 2.2.
Por lo que `.` = o2.2 ([Euclides V, 9]).
Pero `.` = 1
2
y tambin 1
2
= o2.2.
Llamemos a esta seccin parbola y llamemos lado recto a o2,
parmetro de las ordenadas al dimetro 2H.
. En esa poca no
se conocan las tablas trigonomtricas y era complejo determinar el valor
de sen 3
. entonces
sen c
sen ,
<
c
,
<
tg c
tg ,
. (+)
resultado que fue usado por Aristarco para concluir que
1
20
< sen 3
<
1
18
y asi proclamar que el Sol est mas de 18 veces, pero menos que 20 veces,
mas alejado de la Tierra que la Luna. (Ver 2.1).
Nota. En su obra Sobre los Tamaos y Distancias del Sol y la Luna,
Aristarco usa las desigualdades (+).
Va la observacin de eclipses de Luna, los astrnomos de aquellos tiempos
dedujeron diversas conjeturas matemticas, con muy buenas aproximaciones.
Aristarco fue un agudo pensador y meticuloso en sus observaciones. Asi, si
1
s
. 1
T
y 1
L
son los radios del Sol, de la Tierra y de la Luna respectivamente,
l llega a la interesante conclusin,
108
3
<
1
T
1
L
<
60
19
y
19
3
<
1
S
1
T
<
43
6
.
La trigonometra debe a Eratstenes sus notables mediciones astronmi-
cas, las que motivaron nuevas ideas rumbo a una nueva rea de la matemtica.
Ver 2.4.2.
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 321
Hiparco de Nicea [180 - 125 A.C.].
Por un perodo de al menos dos siglos y medio, los gemetras griegos se
dedicaron a estudiar las relaciones entre rectas y circunferencias, obteniendo
resultados que fueron aplicados a diversos problemas astronmicos. AHipar-
co de Nicea, quien fue un notable astrnomo, se le atribuye la construccin
de la primera tabla trigonomtrica y por ello, l es conocido como el padre
de la trigonometra. En la construccin de su tabla, Hiparco us frmulas
que podran corresponder a
sen (r ) = sen r cos cos r sen y 2 sen
2
_
r
2
_
= 1 cos r.
Hiparco vivi en Rodas y estuvo relacionado con la Universidad de Ale-
jandra (161 - 126). Segn Ten, Hiparco escribi una obra de 12 libros sobre
el clculo de las cuerdas en un crculo, obra que lamentablemente se perdi.
Como astrnomo se le atribuye, entre otras contribuciones, la determinacin
de la inclinacin de la eclptica y tambin el estudio de las irregularidades
del movimiento de la Luna. Como matemtico, su trabajo sobre las cuer-
das inuy en el uso del crculo de 360
. Por
otro lado, se sabe que Hiparco propuso localizar los puntos sobre la supercie
de la Tierra va latitudes y longitudes. l fue un precursor de lo que ahora
llamamos proyeccin estereogrca.
Hiparco organiz un catlogo de 1022 estrellas jas, el que sirvi de base
para que Ptolomeo organizara el suyo; tambin hizo una importante recti-
cacin al valor de la duracin del ao. A Hiparco se le atribuye la primera
de las tablas de cuerda de arco, las que han de permitir el desarrollo de
la trigonometra en la Antiguedad pues con ellas y la geometra plana (en
especial el teorema de Pitgoras) fue posible resolver problemas relativos a
la nueva rea matemtica.
Menelao de Alejandra [100 D.C.].
A este gemetra griego se le considera como el fundador de la trigonometra
esfrica por sus importantes trabajos sobre el tringulo esfrico. Como sucedi
con muchos de sus contemporneos, varias de sus obras se perdieron. Menelao
escribi unos Elementos de Geometra; de su obra Esfrica se preservan
tres libros (en versin rabe). En el Libro I se dene por primera vez al
tringulo esfrico; la idea de Menelao es establecer para el tringulo esfrico
322 CAPTULO 2. ARQUMEDES - APOLONIO.
muchas proposiciones que Euclides di para el tringulo plano. En el caso es-
frico sucede que se tiene: dos tringulos esfricos son congruentes si tienen
sus ngulos correspondientes iguales, (lo que no sucede en el caso plano).
Adems, se establece que la suma de los ngulos de un tringulo esfrico
es mayor que dos ngulos rectos. En el Libro II se encuentran teoremas de
inters para la astronoma. El Libro III contiene el conocido teorema de
Menelao:
si una transversal intersecta los lados 1C. C y 1 de un tringulo
1C en los puntos 1. ` y ` respectivamente, entonces
`
`1
.
11
1C
.
C`
`
=
1 .
Menelao establece un anlogo resultado para los tringulos esfricos.
Menelao fue un notable astrnomo y se sabe que escribi varias obras
sobre astronoma; escribi su obra: Sobre el clculo de las rectas inscritas
en un crculo. Escribi tambin sobre hidrosttica y diversos escritos sobre
geometra.
Veamos algunas ideas sobre la trigonometra esfrica de Menelao. Sea el
tringulo esfrico 1C (gura (*)) y cualquier gran crculo que corta los
lados del tringulo (alargado donde sea necesario). Menelao entenda el seno
de un arco, por ejemplo, (o el seno del correspondiente ngulo central en el
centro de la esfera) como la cuerda del doble del arco 1. Con la actual
nocin de seno, el Teorema de Menelao se traduce por
sen 1
1
. sen 1
2
1. sen 1
3
C = sen 1
1
C. sen 1
2
. sen 1
3
1.
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 323
resultado que fue probado por Menelao.
En el Libro III tambin aparece el siguiente teorema. Remarcamos previ-
amente que el arco c es el arco opuesto al ngulo en el tringulo 1C. Se
tiene:
Si 1C y
0
1
0
C
0
son dos tringulos esfricos y si =
0
y C = C
0
C es suplementario a C
0
, entonces
sen c
sen c
=
sen c
0
sen c
0
.
Tambin en el Libro III se prueba el siguiente resultado:
Si cuatro grandes arcos circulares parten de un punto C y 1C1 y
0
1
0
C
0
1
0
son grandes crculos cortando a aquellos cuatro, entonces
(gura (**))
sen 1
sen 1C
.
sen 1C
sen 1
=
sen
0
1
0
sen 1
0
C
0
.
sen 1
0
C
0
sen
0
1
0
.
324 CAPTULO 2. ARQUMEDES - APOLONIO.
Veamos an los siguientes argumentos geomtricos considerados por Menelao
y sus contemporneos. Observando la gura (+), actualmente diramos que
la cuerda 1 es el
doble del seno de la mitad del ngulo C1, multiplicado por el radio del
crculo. Sin embargo, para Menelao, y su entorno, 1 es simplemente la
cuerda correspondiente al arco 1.
Sea 1C1
0
un dimetro de un crculo (gura (++)). Entonces la cuerda
1
0
es el doble del coseno de la mitad del ngulo C1, multiplicado por el
radio del crculo.
Figura (++)
Por otro lado, por el teorema de Pitgoras, 1
2
+1
02
= 4:
2
, lo que es
equivalente a
(2: sen o)
2
+ (2: cos o)
2
= 4:
2
sen
2
o + cos
2
o = 1.
una identidad que posiblemente obtuvo Menelao y capaz fue conocida por
Hiparco; an mas, se conjetura que tambin conocan otras identidades trigonomtri-
cas, como ya hemos insinuado anteriormente.
En la obra de Menelao se encuentran los dos siguientes resultados.
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 325
En un crculo de centro C, si una cuerda 1 se corta por un radio C1
en un punto C, entonces se tiene
C
C1
=
sen
_
1
sen
_
11
.
Si la prolongacin de la cuerda 1 corta a la prolongacin del
radio C1
0
en C
0
, entonces se tiene
C
0
1C
0
=
sen
_
1
0
sen
_
11
0
.
Nota. Menelao no prueba estos dos resultados porque, capaz, ya eran cono-
cidos y estn en la obra de Hiparco.
La gran obra matemtica y astronmica de Menelao sirvi de base para
el trabajo de Claudio Ptolomeo, quien ha de impulsar signicativamente al
progreso de la trigonometra y de la matemtica en general.
Claudio Ptolomeo ([85 A.C. - 165 D.C.]).
Fue un astrnomo que perteneci a la Universidad de Alejandra en el
perodo 125 - 160 de nuestra era. Se conjetura que fue natural de Ptolemaida,
326 CAPTULO 2. ARQUMEDES - APOLONIO.
en Egipto; sus contemporneos lo llamaron el sublime y divino. Fue un gran
observador y calculador como lo testimonia su famosa obra, la Composicin
o Sintaxis Matemtica, que con el tiempo los rabes lo conocieron con el
nombre de Almagesto, que signica el mayor. Este trabajo es una
obra por excelencia y consta de 13 libros; fue traducida al latin en 1175. El
Almagesto es para la astronoma lo que es Los Elementos de Euclides para
la matemtica. Esta obra sirvi de base para el estudio de la astronoma por
un buen tiempo, hasta nales de la Edad Media.
Para su obra astronmica, Ptolomeo utiliz los dados numricos y los
clculos de Hiparco y de sus sucesores inmediatos, a lo que uni sus obser-
vaciones hechas en Alejandra entre 123 y 151. Segn Laplace, la Sintaxis es
uno de los mas preciosos monumentos de la Antiguedad. Solo los trabajos
de Coprnico y de Kepler, hechos muchos siglos despus, puso n a la in-
uencia de tan apreciada obra, surgiendo asi la astronoma moderna. En el
Almagesto se encuentran unas interesantes y tiles tablas trigonomtricas,
asi como tambin una explicacin de los mtodos usados en su construccin.
Hasta que punto estas tablas fueron extraidas de las tablas de Hiparco?
En todo caso, Ptolomeo hizo un aporte fundamental al progreso de la as-
tronoma. Dividi a la circunferencia en 360
8
0
30
00
;
asi llega a establecer que : = 3+
8
60
+
30
60
2
, lo que proporciona: : = 3.14166.
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 327
En la elaboracin de su tabla de cuerdas de arco, Ptolomeo introduce una
mtrica que le sirve de sustento, la cual es obtenida de la construccin del
lado del pentgono y del lado del decgono inscritos en un crculo de radio
:. l considera : = 60 partes y extrae ciertas raices cuadradas para obtener
cuerda 36
= 37
p
.4
0
.55
00
y cuerda 72
= 70
p
.32
0
.3
00
.
Estos valores se obtienen observndose que se tiene, para el primer caso,
|
5
=
_
:
2
+ |
2
10
y |
10
=
_
:
2
+
:
2
4
:
2
;
luego
|
10
=
_
5
4
60
2
60
2
=
_
4500 30 = 67
p
.4
0
.55
00
30
p
= 37
p
.4
0
.55
00
.
Ptolomeo calcula otras cuerdas. Para ello veamos lo que l nos dice en el
Libro I del Almagesto:
Para facilitar la tarea prctica construiremos una tabla de estos seg-
mentos, dividiendo la circunferencia en 360 partes, tomando los arcos
de medio grado en medio grado y dando para cada arco el valor de
la cuerda respectiva suponiendo dividido el dimetro en 120 partes. El
uso demostrar que estos nmeros son los ms cmodos. Ante todo,
demostraremos que con un cierto nmero, el menor posible, de teore-
mas, y siempre los mismos, se podr componer un mtodo general y
rpido para encontrar aquellos valores. No nos limitaremos a presen-
tar tablas con esos valores, sino haremos conocer la teora para facili-
tar la manera de encontrarlos y vericarlos, exponiendo su mtodo de
construccin. Para evitar las fracciones utilizaremos la divisin sexa-
gesimal, y en las multiplicaciones y divisiones tomaremos siempre los
valores ms aproximados, de manera que no obstante lo que desprecia-
remos los resultados sern sensiblemente exactos .
Es asi como para construir su tabla, Ptolomeo considera los polgonos reg-
ulares de 3. 4. 5. 6. 10 lados, cuyos lados dan las cuerdas de 36
. 60
. 72
. 90
y 120
y 72
. El siguiente re-
sultado, conocido como el Teorema de Ptolomeo, es til para el clculo de
cuerdas.
328 CAPTULO 2. ARQUMEDES - APOLONIO.
Teorema de Ptolomeo. Sea 1C1 un cuadriltero inscrito en un crculo
y sean las diagonales C y 11. Entonces se tiene:
C 11 = 1 C1 + 1 1C.
Prueba.
Constryese el ngulo 11 igual al ngulo 11C. Luego, el ngulo 11
es igual al ngulo C11; tambin son iguales los ngulos 11 y 1C1 (ambos
tienen por medida la mitad del arco
_
1). Entonces los tringulos 11 y
11C son semejantes y se tiene: 1C 1 = C1 11.
Tambin el ngulo 1C es igual al ngulo 11C y entonces son seme-
jantes los tringulos 1C y 11C. Luego, 1C1 = 111. Finalmente,
sumando miembro a miembro,
1 C1 + 1C 1 = 1 11 + C1 11
= (1 + C1) 11
= C 11.
1)
[*]
cuerda 1 cuerda (180
C) .
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 329
Nota. Si C = 2c. 1 = 2/ y 1 = 1, [*] nos dice
(2c 2/) .2 = 2c (: 2/) 2/ (: 2c)
= 2c
_
2
:
2
2/
_
2/
_
2
:
2
2c
_
.
de donde se obtiene la conocida frmula trigonomtrica
sen (c /) = sen c. cos / sen /. cos c .
Ptolomeo lleg tambin a la siguiente relacin:
cuerda r
2
= 21 .
1
2
[21 cuerda (180
2r)] [**]
la que es equivalente a la conocida identidad: sen
2
r =
1 cos 2r
2
.
De la relacin [*], Ptolomeo, conociendo las cuerdas de 72
y 60
, calcula
la cuerda (diferencia) de 12
. 3
. 1
.30
0
y 0
.45
0
. Asi
tambin, en base a argumentos geomtricos, Ptolomeo formula las desigual-
dades
cuerda 1
.30
0
1
.30
<
cuerda 1
<
cuerda 0
.45
0
0
.45
.
de donde
2
3
cuerda 1
.30
0
< cuerda 1
<
4
3
cuerda 0
.45
0
.
y como se conocen
cuerda 1
.30
0
= 1
p
.34
0
.15
00
cuerda 0
.45
0
= 0
p
.47
0
.8
00
.
330 CAPTULO 2. ARQUMEDES - APOLONIO.
llega a establecer el valor de la cuerda de 1
= 1
p
.2
0
.50
00
.
Con este valor de la cuerda 1
= cuerda 1
= 1
p
.2
0
.50
00
se obtendr (el objetivo deseado: el valor de :)
: =
360 (1
p
.2
0
.50
00
)
120
p
= 3.14166...
Este valor de : es adoptado por Ptolomeo, diciendo que : es igual a
3
p
.8
0
.30
00
, esto es, 3 +
8
60
+
30
60
2
, lo que expresa la relacin entre la circun-
ferencia y el dimetro. Dbese remarcar que Ptolomeo no explica como llega
a este valor; solo menciona que el valor de : est comprendido entre 3
1
7
y
3
10
71
, estimativa que ya haba sido encontrada por Arqumedes.
Debemos remarcar que va los argumentos hechos por Ptolomeo, tambin
se puede llegar a las actuales identidades trigonomtricas
sen (c + /) = sen c cos / + cos c sen /
y
cos (c /) = cos c cos / (sen c sen /,
frmulas que, a veces, se les conocen como las frmulas de Ptolomeo. An
mas, Ptolomeo formula el siguiente resultado,
Teorema. Dados dos arcos desiguales, ambos menores que un recto, la
razn entre el arco mayor y el menor, es mayor que la razn entre las cuerdas
respectivas.
En el contexto actual, este resultado nos dice que la funcin
sen r
r
es una
funcin decreciente en el primer cuadrante; dbese remarcar que este teorema
ya era conocido por Arqumedes y por Aristarco. Este teorema fue probado
por Ptolomeo. De algn modo este resultado est en la lnea de lo presentado
2.5. LA TRIGONOMETRA EN LA ANTIGUEDAD. 331
anteriormente. Lo importante es que los teoremas usados por Ptolomeo en la
construccin de las tablas de cuerdas encierran las principales relaciones
de las funciones circulares que se usan en la trigonometra.
En orientacin similar est el llamado Teorema de Menelao pues mien-
tras el teorema de Ptolomeo permite hallar relaciones trigonomtricas planas,
el de Menelao satisface el mismo papel en la esfera. Es natural que Ptolomeo
trabaje con tringulos esfricos en sus investigaciones astronmicos y sea
la trigonometra esfrica una necesidad para l. Ptolomeo prueba el lla-
mado: Teorema de Menelao: Si se cortan dos rectas 1 y C con
otras dos rectas C1 y 11, que se interceptan en 1, entonces se tiene
C
1
=
C1
11
.
11
11
.
Ptolomeo an, usando (*), obtiene otras relaciones respecto al tringulo
C1, que es cortado por la transversal 111, que en el lenguaje del trin-
gulo esfrico C1, cortado por un arco de crculo mximo 111, obtiene el
teorema de Menelao para la esfera:
sen C1
sen 1
=
sen C1
sen 11
.
sen 11
sen 1
.
Con esta relacin, Ptolomeo resuelve diferentes problemas en relacin con
los tringulos esfricos.
En el Libro II del Almagesto, Ptolomeo indica las zonas en que el cielo es
dividido y estudia el movimiento de los astros durante el da. En el Libro III
estudia la teora del Sol siguiendo las ideas de Hiparco. En el IV trata la teora
de la Luna en donde realiza interesantes contribuciones; postula que la Luna
se mueve segn una trayectoria que corresponde a un epiciclo. En el Libro V,
este notable astrnomo - matemtico describe a los instrumentos necesarios
332 CAPTULO 2. ARQUMEDES - APOLONIO.
para las observaciones astronmicas. En los Libros VI a VIII construye un
catlogo de las estrellas y una teora de los planetas (Mercurio, Venus, Marte,
Jupiter y Saturno).
Con el devenir de los siglos, el sistema Cosmognico de Ptolomeo fue
sometido a rigurosas crticas, como el realizado por Coprnico (1473 - 1543),
quien prepar el camino para los clebres trabajos de Kepler y de Newton.
Sin embargo, los trabajos realizados por los sabios de la Antiguedad, Apolo-
nio, Hiparco y Ptolomeo, fueron de un valor extraordinario considerando las
condiciones en que trabajaron en aquellos lejanos tiempos. Al respecto se
lleg a decir:
La Tierra, inmovil en el centro del Mundo, en nada interviene en la di-
reccin del movimiento general, al paso que el Sol, con cuyos movimien-
tos todo se relacionaba, conduca en torno de l al cortejo de los plane-
tas, empujando gallardamente las redes, que, despus de pasar sobre los
centros de los epiciclos como sobre roldanas, se tornaban en seguidas
paralelas entre si .
En conclusin: Le debemos a Ptolomeo, por su obra matemtica y as-
tronmica, los progresos necesarios para que la ciencia del cosmos tuviera
las motivaciones de lograr nuevas conquistas. l, junto con Hiparco, ocupan
un sitial de honor en la astronoma de la Antiguedad; ellos son los represen-
tantes de alto nivel a que lleg la gloriosa Escuela de Alejandra, un faro que
iluminara an por muchos siglos ms !
2.6. LTIMOS APORTES. EL FINAL DE
UNA GRAN CULTURA.
2.6.1. Generalidades.
De un modo global, el perodo histrico de la matemtica griega va des-
de los aos 600
0
s A.C. (poca de Tales de Mileto) hasta los aos 600
0
s D.C.
en que se produjo el incendio de la ltima biblioteca de Alejandra. Es un
perodo promedio de mil aos de produccin matemtica, con etapas de
altsimo nivel cientco, y otros de declive con algunos resurgimientos ais-
lados. Si bien en los ltimos cuatro siglos no hubieron matemticos de la
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 333
categora de los maestros Euclides, Arqumedes y Apolonio entre otros, si ex-
istieron pensadores que aportaron resultados importantes para el desarrollo
de la matemtica. Quizs, el mayor aporte de los ltimos matemticos de la
Epopeya Griega sea el que algunos de ellos escribieran sobre los trabajos de
sus predecesores (lamentablemente algunos de tales trabajos se perdieron)
y gracias a estos esfuerzos es que ahora conozcamos gran parte de lo que
ocurri en la Antiguedad respecto a la matemtica y a la astronoma.
Al iniciarse nuestra Era Cristiana, la matemtica griega va perdiendo su
explendor y entra en una etapa de decadencia pero an han de surgir algunos
matemticos que aportaron algo a lo hecho por sus ilustres antecesores; ya
no han de aparecer guras creadoras del nivel de Arqumedes o de Apolo-
nio, por ejemplo. La mayora de los nuevos personajes fueron comentadores,
glosadores y epgonos, es decir, siguieron las huellas de lo hecho por sus an-
tecesores. Sin embargo, es justo reconocer que algunos resultados producidos
en este perodo fueron importantes en la evolucin de la matemtica, como
fue el aporte de Diofanto de Alejandra en el lgebra.
2.6.2. Nicmaco de Gerosa (Aproximadamente 50 -
110 D.C.)
Nicmaco fue un judo y un lsofo neo - pitagrico que vivi cerca de
Jerusaln; se dedic tambin a la msica. Se conoce muy poco de su vida.
Pappus lo llamaba el pitagrico. Su mas conocida obra es la Introduc-
cin Aritmtica, en donde nos hace conocer lo que los griegos conocan de
aritmtica. Su libro sirvi, durante toda la Edad Media, como texto para la
enseanza de la aritmtica.
La Introduccin Aritmtica consta de dos libros. En el Libro I, Nic-
maco considera algunos aspectos loscos relacionados con la matemtica;
luego pasa a denir al nmero y sigue una clasicacin de los nmeros en
pares e impares (lo usual en aquella poca), as como en primos y com-
puestos; cuenta los primeros nmeros primos usando la criba de Eratstenes.
Fundamentalmente, l recoge lo ya hecho por sus predecesores pero hizo al-
gunas contribuciones propias. En el Libro II, de inicio trata con sucesiones de
nmeros; considera una progresin geomtrica cuyo trmino general es de la
forma n
n
= :
n
. : = 0. 1. 2. 3. ... , luego pasa a la progresin geomtrica cuyo
trmino general es
n
= :
n1
+ :
n
. : = 1. 2. 3. ... . Luego pasa a la progre-
sin geomtrica con trmino general n
n
= (:
n2
+ :
n1
) + (:
n1
+ :
n
) . : =
334 CAPTULO 2. ARQUMEDES - APOLONIO.
2. 3. 4. ... , y asi contina sucesivamente. Observemos que siempre se tiene
n
n
n
=
:
n
+ :
n1
:
n
= 1 +
1
:
=
: + 1
:
.
n
n
n
=
:
n
+ :
n1
+ :
n1
+ :
n2
:
n1
+ :
n
=
: + 1
:
.
Nicmaco considera tambin a los nmeros poligonales, repitiendo diver-
sas aseveraciones de los Pitagricos (estos nmeros ya haban sido conocidos
por Hipsicles (180 A.C.), segn Diofanto). Nicmaco observa que la suma
de dos nmeros triangulares consecutivos es un nmero cuadrado, y recpro-
camente (ver 1.2.2 (ii)). Asi,
(: 1) :
2
+
:(: + 1)
2
= :
2
.
Observa que el nmero poligonal de orden : y (d + 2) lados es igual al nmero
poligonal de orden : y (d + 1) lados mas el nmero triangular de orden :1;
esto es,
2 + (: 1) (d 1)
2
: +
:(: 1)
2
=
2 + (: 1) d
2
: .
Nicmaco descubre la interesante propiedad: si escribimos la sucesin de
nmeros impares 1. 3. 5. 7. 9. 11. 13. 15. entonces el primero es el cubo de
1, la suma de los dos siguientes es el cubo de 2; la suma de los siguientes
tres nmeros es el cubo de 3 y asi sucesivamente. En forma mas sugestiva
pongamos
1
3 5
7 9 11
13 15 17 19
Entonces se tiene 1 = 1
3
. 3 + 5 = 8 = 2
3
. 7 + 9 + 11 = 27 = 3
3
. (suma
de los elementos de la la :) = :
3
.
l tambin nos proporciona cuatro nmeros perfectos: 6. 28. 496 y 2128;
reitera la frmula de Euclides para nmeros perfectos. Luego pasa a consid-
erar los nmeros slidos, en particular a los nmeros piramidales de cualquier
base.
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 335
Posiblemente la Introduccin Aritmtica (ver [BOY], pag. 238) fue con-
cebida como un manual que deba contener a los elementos esenciales de la
matemtica para entender a la losofa pitagrica y a la platnica. En este
sentido, Nicmaco fue imitado por muchos escritores en la posteridad.
2.6.3. Diofanto de Alejandra. (Aproximadamente nes
del Siglo III, D.C.)
Poco se sabe sobre la vida de Diofanto asi como de su nacionalidad; se
le ubica de que vivi a nes del siglo III de nuestra Era. Segn un proble-
ma algebraico vivi hasta los 84 aos. Estudi en Alejandra donde fue un
reconocido maestro de la matemtica, mas exactamente del naciente lge-
bra. Por el ao 250 D.C., los cristianos eran ejecutados por negarse a creer
en dioses paganos; en Roma se predicaba el Platonismo y por esta poca
Diofanto trabajaba en su famosa obra Aritmtica. Se conjetura la posi-
bilidad de que Diofanto haya sido cristiano. Diofanto escribi tres trabajos:
(i) la Aritmtica, en trece libros, de los cuales heredamos seis; (ii) Sobre
los Nmeros Poligonales, del que se tiene solo algunos fragmentos, y (iii)
Porismas, obra que se perdi.
La Aritmtica est divorciada de los mtodos geomtricos de sus ante-
cesores; ella representa una nueva tendencia con planteamientos diferentes.
l tuvo una gran importancia en el desarrollo del lgebra e inuy en el tra-
bajo de los futuros algebristas europeos; por esta asociacin, a Diofanto se
le conoce como el Padre del lgebra, pero a decir de algunos historiadores
del lgebra esto no es muy exacto ya que sus obras no son un estricto desar-
rollo del lgebra. En sus trabajos, l emplea algunas abreviaturas pero ello
no es una simbolizacin completa, como se usa en el lgebra actual, pero si
hay algn avance con respecto a la etapa retrica en que los problemas se
escriban con palabras usuales.
Mencionemos algunos problemas que aparecen en la Aritmtica. (Ver
[COL], vol. I).
Problema 1. Dividir un nmero dado en dos partes, cuya diferencia sea
dada. Sean 100 el nmero y 40 la diferencia.
Solucin. Sea r el menor de los nmeros. Se tiene 2r + 40 = 100, de donde
r = 30.
Luego, los nmeros buscados son 70 y 30. En realidad Diofanto dice:
336 CAPTULO 2. ARQUMEDES - APOLONIO.
si r es el menor nmero y 1 es la diferencia, el mayor ser r+1; luego,
r+r+1 = o, esto es, 2r+1 = o. Luego, el menor nmero es
o 1
2
y el mayor es 1 +
o 1
2
".
Problema 27. Encontrar dos nmeros tal que su suma y su producto sean
nmeros dados.
Solucin.
Condicin Necesaria: el cuadrado de la mitad de la suma debe exceder
el producto por un nmero cuadrado. Demos la suma 20, demos el producto
96.
2r la diferencia de los nmeros requeridos.
Luego los nmeros son 10 + r. 10 r.
Entonces, 100 r
2
= 96. Luego, r = 2. Y los nmeros requeridos son 12,
8.
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 337
Problema 39. Dados dos nmeros, encontrar otro tal que las sumas de
los distintos pares, multiplicadas por el tercer nmero, proporcionen tres
nmeros en progresin aritmtica. Nmeros dados: 3 y 5; nmero buscado:
r.
Solucin.
Los tres productos son 3r + 15. 5r + 15 y 8r.
3r + 15 es el trmino medio o el menor de los tres, y 5r + 15 es el mayor
o el trmino medio. Se tienen los casos:
5r+15 es el mayor, 3r+15 el menor. Luego, 5r+15+3r+15 = 2 (8r),
de donde, r =
15
4
.
5r+15 es el mayor, 3r+15 el trmino medio. Asi, (5r + 15)(3r + 15) =
(3r + 15) 8r; de donde, r =
15
7
.
8r es el mayor, 3r +15 el menor; entonces, 8r +3r +15 = 2 (5r + 15);
de donde, r = 15.
Problema 20. (Libro II). Encontrar dos nmeros de manera que el cuadrado
de uno sumado al otro d un cuadrado.
Solucin. Sean r y 2r + 1 que, por su forma, satisfacen una condicin.
La otra condicin es: 4r
2
+ 5r + 1 = cuadrado = (2r 2)
2
.
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 339
Luego r =
3
13
, y los nmeros son
3
13
y
19
13
.
Problema 28. (Libro II). Encontrar dos nmeros cuadrados tales que su
producto mas uno de ellos, es un nmero cuadrado.
Solucin. Diofanto obtiene
_
3
4
_
2
y
_
7
24
_
2
. [Asi se tiene,
9
16
.
49
576
+
9
16
=
_
25
32
_
2
].
Problema 6. (Libro III). Encontrar tres nmeros tales que la suma de todos
es un cuadrado y la suma de dos cualquiera de ellos tambin es un cuadrado.
Solucin. Diofanto encuentra que los tres nmeros son 80. 320 y 41.
Problema 7. (Libro III). Encuentre tres nmeros en progresin aritmtica
sabiendo que la suma de dos cualquiera de ellos es un cuadrado.
Solucin. Diofanto encuentra que los tres nmeros son
120
1
2
, 840
1
2
y 1560
1
2
.
Problema 9. (Libro III). Dado un nmero, encontrar otras tres de manera
que la suma de dos cualesquiera de ellos menos el nmero dado sea un cuadra-
do, y que sea tambin un cuadrado la suma de los tres menos el nmero dado.
Sea 3 el nmero dado.
Solucin.
Supongamos que el primero de los nmeros buscados mas el segundo es
igual a r
2
+ 3, el segundo + el tercero = r
2
+ 2r + 4, la suma de los tres
= r
2
+ 4r + 7.
Luego, el tercero = 4r + 4, el segundo = r
2
2r, el primero = 2r + 3.
Finalmente, el primero + el tercero 3 = 6r + 4 = un cuadrado = 64.
De esta manera, r = 10. 23. 80 y 44 es una solucin.
Problema 10. (Libro III). Encontrar tres nmeros tal que el producto de
cualquier par de ellos, agregado a un nmero dado, d un cuadrado.
Solucin.
340 CAPTULO 2. ARQUMEDES - APOLONIO.
Sea 12 el nmero dado. Tomemos un cuadrado (digamos 25) y sub-
strayamos 12. Tomemos la diferencia (13) por el producto de los nmeros
primero y segundo, y sean esos nmeros 13r.
1
r
respectivamente.
An substrayamos 12 del otro cuadrado, digamos 16, y sea la diferencia
4 el producto de los nmeros segundo y tercero.
Luego, nmero tercero = 4r.
La tercera condicin da: 52r
2
+ 12 = un cuadrado; ahora; 52 = (4) (13)
y 13 no es un cuadrado; pero, si fuera un cuadrado, la ecuacin sera fcil de
resolverse. Asi, debemos encontrar dos nmeros que reemplacen 13 y 4 tal
que su producto sea un cuadrado, mientras +12 tampoco es un cuadrado.
Ahora, el producto es un cuadrado si ambos son cuadrados; luego, debe-
mos encontrar dos cuadrados tal que tampoco +12 = un cuadrado.
Esto es fcil, y como dijimos (dice Diofanto), ello hace que la ecuacin
sea fcil de resolverse.
Los cuadrados 4.
1
4
satisface la condicin.
Retrocediendo, pongamos ahora 4r.
1
r
y
r
4
ser los nmeros; tenemos
que resolver la ecuacin r
2
+ 12 = cuadrado = (r + 3)
2
, digamos.
Luego, r =
1
2
y 2. 2.
1
8
es una solucin.
Problema 13. (Libro III). Encontrar tres nmeros tales que el producto de
dos cualquier de ellos, sumado el tercero, es un cuadrado.
Solucin.
Si : es un nmero (racional positivo) y si:
r = :
2
, = (: + 1)
2
, . = 2 (r + + 1)
se tiene que
r + . = [:(: + 1) + 2]
2
.
De igual manera se verica que r. + . . + r son nmeros cuadrados.
Problema 15. (Libro III). Encuentre tres nmeros tales que el producto de
dos cualquier de ellos sumado con la suma de los mismos nmeros, es un
cuadrado.
Solucin.
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 341
Tomemos :. r. . . como en el problema 13. Entonces se tiene que
r + r + , . + + . , .r + . + r
son nmeros cuadrados.
Problema 1. (Libro IV). Dividir un nmero dado en dos cubos tal que la
suma de sus lados es un nmero dado.
Solucin. Diofanto da 370 y 10 como la suma de sus lados. Encuentra que
los nmeros son 343 y 27. En efecto, se tiene: 370 = 7
3
+ 3
3
y 7 + 3 = 10.
Problema 9. (Libro IV). Encontrar dos nmeros cbicos los cuales incluyen
un cuadrado.
Solucin.
Pongamos 4r como el lado del mas grande cubo y r como el lado del
mas pequeo cubo, entonces el mas grande cubo es 64r
3
, el mas pequeo r
3
,
y el nmero que ellos abarcan es 64r
6
; ste debe ser un nmero cuadrado.
Nosotros ponemos como lado de los r
2 0
s, el coeciente del cual es igual al
lado del cuadrado surgiendo de la multiplicacin del 64 por el 4, asi 256,
teniendo como lado 16. Luego, nosotros ponemos como el lado del cuadrado
342 CAPTULO 2. ARQUMEDES - APOLONIO.
16r
2
, asi que el cuadrado es 256r
4
. Entonces 64r
6
es igual a 256r
4
. Asi que
nosotros dividimos el todo por r
4
, desde que los r
4 0
s son de grado menor que
los dos lados; la divisin de 64r
6
por r
4
da 64r
2
, en tanto nosotros obtenemos
256 de la divisin de 256r
4
por r
4
. Luego, 64r
2
es igual a 256, de ac r
2
igual
a 4; r
2
siendo un cuadrado, asi como 4, sus lados son asi iguales; el lado de r
2
siendo r, y aquel de 4 siendo 2. r es 2. Entonces, desde que nosotros pusimos
r como el lado del cubo mas pequeo, el mas pequeo cubo es 8, y desde que
nosotros pusimos 4r, esto es 8, como el lado del mas grande cubo, el cubo
mayor es 512. Cuando nosotros multiplicamos l por el mas pequeo cubo,
el resultado es el nmero 4096, el cual es un cuadrado teniendo 64 como su
lado. Luego, hemos encontrado dos nmeros cbicos los cuales abarcan un
nmero cuadrado, as 8 y 512, que es lo que desebamos encontrar.
Problema 10. (Libro IV). Encuentre dos nmeros tal que su suma es igual
a la suma de sus cubos.
Solucin.
Diofanto encuentra que tales nmeros son
5
7
y
8
7
.
[En efecto,
5
7
+
8
7
=
13
7
=
_
5
7
_
3
+
_
8
7
_
3
=
637
343
].
Problema 11. (Libro IV). Encuentre dos cubos de manera que su diferencia
sea igual a la diferencia de sus lados.
Solucin.
Sean 2r y 3r los lados, [asi 3r2r = r. (3r)
3
(2r)
3
= 19r
3
]. Luego,
19r
3
= r y r es irracional. Tenemos por tanto que buscar dos cubos cuya
diferencia al cuadrado sea a la diferencia de sus lados como un cuadrado a
un cuadrado. Sean (. + 1)
3
y .
3
estos cubos; la diferencia de sus lados es
un cuadrado, 1.
Asi, 3.
2
+ 3. + 1 = cuadrado = (1 2.)
2
, y . = 7.
Empecemos de nuevo, sean los lados 7r y 8r, as 169r
3
= r y r =
1
13
.
Los lados de los cubos son entonces
7
13
y
8
13
.
Problema 34. (Libro IV). Hallar dos nmeros en trminos generales, tales
que su producto ms su suma rehaga un nmero dado.
Solucin.
Sea 8 el nmero dado y r uno de los nmeros buscados. Suponiendo que
3 es el otro nmero, el producto de los dos nmeros mas su suma ser igual
a 4r +3, y este nmero es igual a 8, lo que d para r el valor
5
4
, siendo 3 el
otro nmero.
Considero ahora (dice Diofanto) al modo de como se obtiene r =
5
4
. ste
nmero es el cociente de 5, exceso de 8 sobre 3, por 4, que es 3 aumentado de
1. Por eso, si al segundo de los nmeros dados atribuimos un valor cualquier
r, para obtener el valor del primero bastar dividir por r + 1 el exceso de
8 sobre r. Haciendo, por ejemplo, el segundo nmero igual a r 1, como 8
menos r 1 es igual a 9 r, ser el primer nmero igual a
9 r
r
=
9
r
1.
Tal es, en trminos generales, la solucin del problema: producto mas
suma igual a 8. La solucin es, en trminos generales, para cada valor atribui-
do a r, se obtiene una solucin distinta.
3
= c
3
.
3
c
3
. + .
2
1 .
de donde n = c.. Poniendo = c. 1 se obtiene
c
3
.
3
3c
2
.
2
+ 3c. 1 = c
3
.
3
c
3
. + .
2
1 .
de donde
. =
3c + c
3
1 + 3c
2
. = c
3c + c
3
1 + 3c
2
1 =
c
4
1
3c
2
+ 1
.
Haciendo c = 2, se tiene
r =
112
13
. =
27
169
. n =
28
13
. =
15
13
.
Problema 9. (Libro V). Dividir la unidad en dos partes tal que, si el mismo
nmero es aadido a cada parte, resultar un cuadrado.
Solucin.
Condicin Necesaria. El nmero dado no debe ser impar y el doble
de l +1 no debe ser divisible por cualquier nmero primo el cual, cuando
incrementando en 1, es divisible por 4 (esto es, cualquier nmero primo de
la forma 4: 1).
Demos el nmero 6. Luego 13 debe ser dividido en dos cuadrados cada
uno de los cuales 6. Si entonces nosotros dividimos 13 en dos cuadrados,
la diferencia de los cuales < 1, nosotros habremos resuelto el problema (dice
Diofanto).
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 345
Tomemos la mitad de 13, 6
1
2
y tenemos que agregar a 6
1
2
una pequea
fraccin la cual hara a l un cuadrado, o multiplicando por 4, nosotros ten-
emos que hacer a
1
r
2
+ 26 un cuadrado, esto es, 26r
2
+ 1 = un cuadrado
= (5r + 1)
2
, digamos; de aqu r = 10.
Esto es, en orden a hacer 26 un cuadrado, nosotros debemos agregar
1
100
,
, hacer 6
1
2
un cuadrado, nosotros debemos agregar
1
400
, y
1
400
+ 6
1
2
=
_
51
20
_
2
. Por lo tanto, nosotros debemos dividir 13 en dos cuadrados tales que
sus lados deben ser tan cercanos como posible igual a
51
20
.
Ahora 13 = 2
2
+ 3
2
. Luego nosotros procuramos dos nmeros tal que 3
menos el primero =
51
20
, asi que: el primero =
9
20
, y 2 mas el segundo
=
51
20
, asi que: el segundo =
11
20
.
Nosotros escribimos por consiguiente (11r + 2)
2
. (3 9r)
2
para los
cuadrados requeridos (substituyendo r por
1
20
).
La suma = 202r
2
10r + 13 = 13. Luego, r =
5
101
, y los lados son
257
101
.
258
101
. Restando 6 de los cuadrados de cada uno de ellos, nosotros
tenemos como partes de la unidad,
4843
10201
.
5358
10201
.
Problema 20. (Libro V). Dividir una fraccin dada en tres partes de manera
que una cualquiera de ellas menos el cubo de su suma sea un cuadrado.
Solucin.
Sea
1
4
la fraccin dada. Asi, cada parte =
1
64
+ un cuadrado y la suma
de los tres =
1
4
= la suma de tres cuadrados +
3
64
.
Ahora tenemos que dividir
13
64
en tres cuadrados, lo que es fcil.
13
64
=
9
64
+
1
25
+
9
400
346 CAPTULO 2. ARQUMEDES - APOLONIO.
y
1
4
queda dividido entonces en
250
1600
.
89
1600
.
61
1600
.
Problema 11. (Libro VI). Encontrar un nmero cbico tal que si le aadi-
mos, su cuadrado, el resultado es un nmero cuadrado.
Solucin.
Pongamos con r el lado del nmero cbico, as que el nmero cbico es
r
3
. Aadamos r
3
a su cuadrado, esto es, r
6
, para obtener r
6
+ r
3
, el cual
debe ser un cuadrado. Vamos a poner para su lado un nmero de r
3 0
s tal
que cuando nosotros substraemos de sus cuadrados r
6
, el residuo es un cubo;
tal es 3r
3
: cuando nosotros substraemos r
6
del cuadrado de 3r
3
, nosotros
obtenemos 8r
6
, el cual es un nmero cbico.
De ac, si nosotros igualamos 8r
6
con un nmero cbico, el problema
sera soluble y el tratamiento no ser imposible. Vamos a multiplicar 3r
3
por
s mismos, asi nosotros obtenemos 9r
6
, el cual entonces iguala a r
6
+ r
3
.
Nosotros quitamos de r
6
lo que es comn, as 8r
6
es igual a r
3
. La divisin
de los dos lados por r
3
da 8r
3
igual a 1; de ac r
3
es
1
8
, una parte de 8.
Si nosotros aumentamos esto por su cuadrado, esto es, [por] una parte de 64
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 347
partes de la unidad, el resultado es 9 partes de 64 partes de la unidad, el cual
es un nmero cuadrado con 3 partes de 8 como su lado.
Por consiguiente, nosotros hemos encontrado un nmero cumpliendo la
condicin impuesta a nosotros, y esta es una parte de 8 partes de la unidad.
Esto es lo que intentamos encontrar.
Problema 16. (Libro VI). Hallar un tringulo rectngulo cuyos lados y una
bisectriz de un ngulo agudo sean racionales.
Solucin.
Sea 1C un tringulo rectngulo en 1, que satisfaga las condiciones del
problema.
(Diofanto dice:) La bisectriz C1 es representada por 5r y 11 por 3r;
entonces
1C
2
= 25r
2
9r
2
= 16r
2
. 1C = 4r.
Supongamos ahora 1 un mltiplo de 3. 3 por ejemplo; queda 1 =
3 3r y C = 4 4r pues
C
C1
=
1
11
.
Entonces
(4 4r)
2
= 3
2
+ (4r)
2
.
16 32r + 16r
2
= 9 + 16r
2
. r =
7
32
;
multiplicando por 32 los lados del tringulo, se obtiene
1C = (4) (7) = 28 . 1 = (3) (32) = 96 . C = 100 ;
y la bisectriz es C1 = (5) (7) = 35.
348 CAPTULO 2. ARQUMEDES - APOLONIO.
0
. 1
0
. C
0
sobre otra lnea, entonces los tres puntos de interseccin
1 = 1C
0
C1
0
, Q = 1
0
1
0
y 1 = C
0
C
0
354 CAPTULO 2. ARQUMEDES - APOLONIO.
son colineales.
(Ver [ANG - LAM], pag. 107).
Prueba.
Llamemos l =
0
1 1
0
C. \ = C
0
0
1 y \ = 1
0
C C
0
.
Miremos al tringulo l\ \; a l le aplicaremos el teorema de Menelao
(2.5.2) cinco veces. Veamos, desde que
0
C1. 1C
0
1. 1
0
Q.
0
1
0
C
0
y
1C son colineales, se tiene
\ 1.\C.l
0
= 1\.Cl.
0
\ .
\ C
0
.\1.l1 = C
0
\.1l.1\ .
\ .\1
0
.lQ = \.1
0
l.Q\ .
\ C
0
.\1
0
.l
0
= C
0
\.1
0
l.
0
\ .
\ .\C.l1 = \.Cl.1\ .
Luego tenemos:
\ 1.\C.l
0
.\ C
0
.\1.l1.\ .\1
0
.lQ
\ C
0
.\1
0
.l
0
.\ .\C.l1
=
1\.Cl.
0
\.C
0
\.1l.1\.\.1
0
l.Q\
C
0
\.1
0
l.
0
\.\.Cl.1\
.
de donde, \ 1.\1.lQ = 1\.1l.Q\ . Aplicando nuevamente el teorema
de Menelao, concluimos que los puntos 1. Q y 1 son colineales.
, pruebe que:
sen c
sen ,
<
c
,
<
tg c
tg ,
.
Este resultado fue usado por Aristarco de Samos en sus estudios de
astronoma.
14. Pruebe el teorema de Menelao: si una transversal intersecta los lados
1C. C y 1 de un tringulo 1C en los puntos 1. ` y ` respec-
tivamente, entonces
`
`1
.
11
1C
.
C`
`
= 1 .
15. Pruebe el teorema de Hern (2.6.4). Previamente pruebe las proposi-
ciones 1, 2, 3, 4 y 5.
16. D los detalles de la prueba de la generalizacin del teorema de Pit-
goras segn Pappus (2.6.5).
17. Redacte un estudio crtico sobre el contenido de este libro; exprese sus
propios sentimientos sobre lo logrado por los babilonios, los egipcios y
los griegos.
2.6. LTIMOS APORTES. EL FINAL DE UNA GRAN CULTURA. 363
BREVE RESUMEN DE LOS CAPTULOS 1 Y 2.
Captulo 1. Posiblemente en algn momento de su evolucin, el hombre
tuvo alguna sensacin de la idea de cantidad. Con el transcurrir de los siglos
diversas comunidades y culturas surgieron en diversas regiones, entre ellas
hemos tratado a la babilnica y a la egipcia. En la matemtica babilnica
podemos apreciar que dispusieron de un sistema de numeracin; llegaron a
conocer al nmero
_
2 y a otros nmeros irracionales, llegando a establecer
tcnicas para obtener buenas aproximaciones. Asi mismo resolvieron ciertos
problemas que llevaron a ciertas ecuaciones algebraicas que llegaron a resolver
de alguna manera. A travs de la tablilla Plimpton 322 hemos aprendido
diversos resultados, como son los triples pitagricos. La geometra babilnica
era un conjunto de reglas para realizar medidas prcticas. Dividieron a la
circunferencia en 360 partes iguales.
Para los egipcios, la matemtica provena de una fuente divina; desar-
rollaron un sistema de numeracin y supieron realizar diversas operaciones
aritmticas; supieron descomponer ciertos nmeros racionales. Llegaron a es-
tablecer ciertas frmulas geomtricas y sobre todo nos dejaron el testimonio
eterno: las Pirmides, en donde aplicaron conocimientos geomtricos.
La matemtica griega se inicia (propiamente) con Tales de Mileto (640
A.C.); se le atribuye diversos resultados geomtricos que fueron la base para
posteriores desarrollos. Pitgoras y su Escuela jug un papel importante en el
desarrollo de la matemtica pura: teora de nmeros, magnitudes inconmen-
surables, algebra geomtrica, .... Hipcrates de Quos y Arquitas de Tarento
contribuyeron al desarrollo de la matemtica griega. Euclides y su entorno
constituye el inicio de una etapa gloriosa en la historia del pensamiento. La
matemtica va llegando a niveles avanzados; se realizan diversas construc-
ciones geomtricas. Los tres clsicos problemas planteados en la Antiguedad:
duplicacin del cubo, triseccin de un ngulo y la cuadratura del crculo,
realizados solo con regla y comps, jugaron un papel importante en el de-
sarrollo de la matemtica. Platn y la Academia impuls el desarrollo del
pensamiento en aquellos tiempos con an proyecciones en la poca mod-
erna. Alrededor de Platn surgieron excelentes matemticos; su discpulo
predilecto fue Aristteles. Por esta poca el mtodo exhaustivo fue un arma
de razonamiento matemtico.
Alejandra, con su Biblioteca y Museo, fue el centro del conocimiento
de aquellos lejanos tiempos, en donde se cultivaban las diferentes ramas del
364 CAPTULO 2. ARQUMEDES - APOLONIO.
saber. En tal ambiente surgi una de las obras mas bellas y completas que
se hayan escrito en la matemtica: Los Elementos de Euclides, obra que
consta de trece libros, los que fueron presentados con cierto detalle.
Captulo 2. En este captulo estudiamos a Aristarco, Arqumedes, Apolonio
y a Eratstenes; asi mismo presentamos algunos aspectos sobre el surgimiento
de la trigonometra en la Antiguedad, en donde resaltamos el trabajo de
C. Ptolomeo. El captulo, y este volumen, culmina con la declinacin de la
matemtica griega.
El trabajo matemtico de Aristarco es orientado a las aplicaciones de la
matemtica a la astronoma, y en este campo contribuy al nacimiento de
la trigonometra. Son notables sus ideas en el estudio del Sol, de la Tierra y
de la Luna. Arqumedes, el mas grande matemtico de la Antiguedad y uno
de los mas notables cientcos de todos los tiempos, es estudiado con cierto
detenimiento; presentamos algunos aspectos de su obra matemtica. Apolo-
nio, el mas grande gemetra de la Antiguedad y fundador (esencialmente)
de la geometra analtica, tambin es presentado con algunos detalles que
exige su tan importante obra matemtica. Eratstenes, capaz poco conocido
en nuestro ambiente, forma parte de este cuarteto de notables pensadores.
Un estudio mas detallado, crtico y analtico, sobre la obra de estos cuatro
hombres de ciencia, sera un interesante proyecto que se puede formular.
Finalmente, se presentan los aportes de un conjunto de matemticos,
que sin tener el nivel y la profundidad de sus antecesores, lucharon por al
menos mantener la llama viva de aquella gloriosa matemtica; ellos dieron
algunos aportes en el campo de la investigacin pero lo mas importante es
que escribieron sobre la obra matemtica de los Maestros, a n de perpetuar
sus obras en la posteridad.
Bibliografa
[ALE-otros] Aleksandrov, A.D. - Kolmogorov, A.N. - Laurentiev, M.A. -
otros.: La Matemtica: su contenido, mtodos y signicado.
Vols. 1,2,3. Alianza Editorial. 1981.
[ALM] Almeida, Fernando de.: Histria das Matemticas na Antigu-
idade. Ailland e Bertrand. Paris - Lisboa.
[ANG] Anglin, W. S.: Mathematics: A Concise History and Philoso-
phy. Springer. 1994.
[ANG-LAM] Anglin, W.S. - Lambek, J.: The Heritage of Thales. Springer.
1995.
[BEK] Bekken, Otto.: Una Historia Breve del Algebra. SMP. Lima.
1983.
[BOS] Bos, Henk. J. M.: Lectures in the History of Mathematics.
History of Mathematics. Vol. 7. AMS. 1993.
[BOY] Boyer, Carl B.: Historia de la Matemtica. Alianza Editorial.
1987.
[COL] Collete, Jean - Paul: Historia de las Matemticas. Vols. I - II.
Siglo XXI. 1986.
[COU-ROB] Courant, R. - Robbins, H.: What is Mathematics Oxford Uni-
versity Press. Segunda Edicin. 1996.
[DUN.1] Dunham, William: Journey Through Genius. Wiley. 1990.
[DUN.2] Dunham, William: El Universo de las Matemticas. Edic.
Pirmide. 1995.
365
366 BIBLIOGRAFA
[EVE] Eves, Howard.: Introduo Histria da Matemtica. UNI-
CAMP. 1997.
[FAU-GRA] Fauvel, J. - Gray, J. [Editores]: The History of Mathematics.
A Reader. The Open University. 1987.
[GUZ.1] de Guzmn, Miguel.: Lecciones pitagricas para el siglo 21.
Internet.
[GUZ.2] de Guzmn, Miguel.: Matemticas y Estructura de la Natu-
raleza. Internet.
[GUZ.3] de Guzmn, Miguel.: Apolonio. Internet.
[HEA] Heath, Thomas.: A History of Greek Mathematics. Vols. I-II.
Oxford at the Clarendon Press. 1921.
[JAH] Jahnke, Hans N. Editor.: A History of Analysis. AMS. History
of Mathematical. Vol. 24. 2003.
[JOY] Joyce, D. E.: Los Elementos de Euclides. Internet. Clart Uni-
versity. 1997. www.xtec.es/~jdomen28/introduccin.htm.
[KLI] Kline, Morris.: Mathematical Thought from Ancient to Modern
Times. Vols. 1,2,3. Oxford University Press. 1990.
[LAU-PEN] Laubenbacher, R. - Pengelley, D.: Mathematical Expeditions.
Springer. 1999.
[MAN] Mankiewiez, Richard.: Historia de las Matemticas. Paidos.
2000.
[MLO] Mlodinow, L.: Euclid
0
s Window. The Free Press. 2001.
[MOI] Moise, Edwin E.: Elementary Geometry from an Advanced
Stand point. Addison - Wesley. Pub. 1964.
[NAV] Navarro L., Juan.: Los Elementos de Euclides. Internet. Es-
paa.
[NEW] Newman, James R.: El Mundo de las Matemticas. Sigma.
Vols. 1,2,3,4,5,6. Ediciones Grijalbo. S.A. 1969.
BIBLIOGRAFA 367
[PEL] Pelletier, Jean - Louis.: Etapas de la Matemtica. Edit. Losa-
da. Bs. As. 1958.
[PER] Perero, Mariano.: Historia e Historias de Matemticas. Grupo
Editorial Iberoamericana. 1994.
[REY-BAB] Rey Pastor, J. - Babin, J.: Historia de la Matemtica. Espasa.
1951.
[RIB] Rbnikov, K.: Historia de las Matemticas. Mir. 1987.
[SER] Serres, Michel. Editor.: Historia de las Ciencias. Ctedra.
1991.
[STI] Stillwell, John.: Mathematics and its History. Segunda Edi-
cin. Springer. 2002.
Nota. La mayora de los libros citados se encuentran en la biblioteca de
Ciencias de la PUCP.
368 BIBLIOGRAFA
INDICE ALFABTICO
Academia 110,111
Alejandra 118
lgebra
babilnica 17
egipcia 36
pitagrica 68
Algoritmo (de Euclides) 180, 224
Almagesto 331, 337
Anaxgoras 1, 59
Anaximandro 56
Apolonio 4, 119, 227, 293, 364
Area 135
Aristeo 207
Aristarco 227, 286, 325
Aritmtica 339, 341, 355
Arqumedes 101, 107, 108, 113, 119, 229, 364
Arquitas 58, 81, 87, 99, 110
Aristteles 1, 25, 52, 66, 111
Autlico 111
Biseccin (de un ngulo) 0
Cantor 114
Cilindro 198, 248
Crculo 125, 148
de Apolonio
Cisoide 99
Cnicas (las) 295, 299,306
Construccin (con regla y comps) 90
Conmensurable 193
Coprnico 338
Cortadura de Dedekind 114
Criba (Eratstenes) 318
Cuadratriz 102
Cuadratura
de lnulas 82, 85
BIBLIOGRAFA 369
del tringulo 83
del polgono 84
del crculo 104
de la parbola 234, 244
Deniciones 125, 147, 155, 157, 179, 236
Demcrito 1, 59
Dinstrato 105, 106, 110, 117
Diocles 99
Diofanto 341
Divisin(urea) 166
de guras 209
Duplicacin del cubo 98, 323
Elementos (los) 69, 76, 91, 118, 122, 207, 219
Elipse 313
Epicicloide 317
Eratstenes 88, 98, 227, 317, 365
Escuela
Jnica 51
Pitagrica 56, 59
Czica 117
de Alejandra 118
Esfera 197, 248, 258
Espiral 264
Euclides 118, 119, 120, 207, 298, 364
Eudemo 52, 54, 74
Eudoxo 99, 110, 111, 113, 365
Eutoquio 362
Fermat 262, 344
Filolao 87
Gareld 218
Gauss 98
Geometra
primitiva 10
babilnica 21
egipcia 39
pitagrica 73
(del) espacio 196
(de los) slidos 196
370 BIBLIOGRAFA
Gnomn 140, 172,
Guzmn (M. de) 220
Herodoto 11, 51, 53, 56
Hern 356
Hipaso 76
Hipcrates 2, 59, 81, 87, 110, 122
Hiprbola 313
Hiparco 326
Hipsicles 208
Hypata 361, 367
Inconmensurable 193
Kepler 77, 262, 281, 338
Kolmogrov 4
Leibniz 5, 262
Liceo 112
Lindemann 97, 109
Mamerco 56
Matemtica
babilnica 12
egipcia 24
griega 50
Menecmo 99, 105, 110, 117, 295
Menelao 327
Mtodo
exhaustivo (agotamiento) 113, 114, 117, 201, 239, 246
trapezoidal 218
Neugebauer 19, 21, 22
Newton 3, 262, 338
Nicmaco 339
Nociones (comunes) 124
Nmero
primo 68
triangular 61
cuadrado 61
pentagonal 62
poligonal 62
perfecto 60, 67, 180
transcendente 109
BIBLIOGRAFA 371
algebraico 109
plano 180
slido 180
cubo 180
irracional 192
Papiro
Mosc 25, 26, 36, 39, 41, 50
Rhind 25, 26, 36, 41, 105
Pappus 102, 105, 357
Parbola 311
Perodo
Helnico 110, 118
Helenstico 110
Pi 238, 334
Pitgoras 1, 56
Pitagricos 59, 64
Platn 1, 77, 110, 111
Plimpton 22, 49
Poliedro (regular) 75, 205
Porisma 209
Postulado(s) 124, 236
Problema de
Apolonio 97, 315, 363
Delos 98, 295
(del) ganado 287
Pre-Historia 7
Primo Mersenne 68
Proclo 53, 65, 117, 362
Progresin (musical) 64
Ptolomeo C. 119, 331
Quadrivium 59, 88
Quinto (Postulado) 126, 133
Quipu 43
Regla de tres 36
Simplicio 362
Sistema (de numeracin) 13, 27
Scrates 1, 68, 110
Slidos 196, 279
372 BIBLIOGRAFA
Tales de Mileto 1, 50, 74
Teorema de
Tales 54, 166
Pitgoras 15, 78, 137, 215
Dinstrato 106
Arqumedes 107, 119, 229
Pitgoras (generalizado) 176, 259
fundamental de la Aritmtica 223
(la) cuerda rota 282
Ptolomeo 333
Menelao 337
Pappus 360
Teodoro (de Cirene) 111
Ten 327, 361
Teeteto 111, 113, 195, 207
Teora de
nmeros 60, 178, 188
las proporciones 113
Timeo (de Locri) 77
Tratado del mtodo
Trigonometra 324, 325
esfrica 328
Triple Pitagrico 18
Triseccin del ngulo 99, 100, 278
ltimo Teorema de Fermat 344
Vitruvius 79
Wantzel, P. 97, 104
Zenn 59, 110