LA

MATEMTICA
GRIEGA



Historia General de la Ciencia I
Grado en Filoso9a
INTRODUCCIN

Contar, medir y calcular (aritm'ca, geometra y

lgebra) son necesidades bsicas de cualquier
civilizacin
Los primeros smbolos escritos se usaron
precisamente para representar can'dades
Las anMguas culturas de Mesopotamia (sumerios,
babilonios), Egipto, China e India desarrollaron
tcnicas de clculo relaMvamente sosMcadas,
transmiMdas en forma de problemas o
recetas (es decir, aplicadas slo a casos
concretos, y sin acompaar de una demostracin)
ALGUNOS ENLACES SOBRE LA MATEMTICA
PRE-HELNICA

MatemMca babilnica (wikipedia)

MatemMca babilnica (vdeo)

MatemMca egipcia (wikipedia)
MatemMca egipcia (vdeo)

MatemMca india (wikipedia, ingls)
MatemMca china (wikipedia, ingls)
MatemMca india y china (y rabe) (vdeo)
 La matemMca (y la ciencia) griegas forman parte
de esa nueva acMvidad que los griegos
denominaron philosopha (amor al saber) y
theora (contemplacin).
CarctersMcas del saber terico:
Universal/Abstracto: No limitado a casos concretos
Intelectual: Valora ms la comprensin que la
aplicacin prcMca (aunque sin despreciar sta)
Demostra'vo: Intenta jusMcarse como la conclusin
de una argumentacin racional
La matemMca fue para los griegos el mejor
paradigma de este Mpo de saber, y el terreno en
que alcanzaron sus mayores xitos cienccos
 No se conserva ninguna obra matemMca
completa anterior a los Elementos de Euclides
(ca. 300 aC), slo referencias en otras obras
(salvo La esfera en movimiento, de Autlico de
Pitane, nal s. IV aC).
Los primeros Elementos los escribi Hipcrates
de Quos (mediados s. V aC). Probablemente los
dos primeros libros de los Elementos de Euclides
se basan en aquellos.
La primera Historia de las matem'cas fue
compuesta por Eudemo de Rodas (peripatMco,
2 mitad s. IV aC), pero slo se conservan
resmenes posteriores
PANORAMA DE LA MATEMTICA GRIEGA

SIGLO

VI aC: Tales de Mileto, Pitgoras de Samos

V aC:
Hpaso de Metaponto, Teodoro de Cirene
(nmeros irracionales)
Hipcrates de Quos (Elementos, cuadratura de
lnulas, media geomtrica)
AnMfonte y Brison de Heraclea (estimacin de )
Hipias de Elis y Arquitas de Tarento (curvas
definidas por movimiento; duplicacin del cubo)
Demcrito (volmen del cono y la pirmide)
Siglo IV aC:
Eudoxo de Cnido (mtodo de exhaucin,
variables continuas)
Teeteto (irracionales, slidos regulares)
Autlico de Pitane (esfera)
Dinstrato (cuadratriz)
Menecmo (cnicas)
Euclides (Elementos, cnicas, trigonometra
esfrica, ptica -reflexin y perspectiva-)
Siglo III aC:
Conn de Samos (cnicas, espirales)
Apolonio de Prgamo (cnicas, epiciclos,
tangencias, secciones de segmentos -lgebra-)
Arqumedes de Siracusa (cnicas, espirales,
estimacin de , aritmtica, aplicacin de la
geometra a la mecnica y la hidrulica)
Eratstenes (nmeros primos, mediciones
astronmicas)
Siglo II aC:
Hiparco de Nicea (trigonometra, geometra
esfrica -paralelos y meridianos-)
Teodosio de BiMnia (Esfrica, eclptica)

Siglo I dC:
Hern de Alejandra (suprficies y volmenes)
Menelao de Alejandra (geometra esfrica)
Nicmaco de Gerasa (aritmtica, tablas multipl.)

Siglo II dC:
Claudio Ptolomeo (geometra esfrica, ptica)

Siglo III dC:

Diofanto de Alejandra (aritmtica, lgebra)
Pappus de Alejandra (Collectio, geometra)

Siglo IV-V dC:

HipaMa de Alejandra (cnicas, aritmtica)
LA MATEMTICA GRIEGA ANTERIOR A EUCLIDES
La tradicin atribuye a Tales y a Pitgoras la
introduccin del conocimiento matemMco en
Grecia a parMr de Oriente, aunque incorporado a
un deseo de comprensin terica (y en el caso de
Pitgoras, msMca) del mundo
Es imposible saber, de todos modos, si los
teoremas que se les atribuyen eran realmente
conocidos por ellos, y menos an si ellos llegaron
a ofrecer alguna demostracin
TEOREMAS DE TALES

Primer teorema
Si en el interior de un tringulo se traza una lnea
paralela a uno de sus lados, se obMene un tringulo
semejante al primero

ABC es semejante a ABC

AB/AC = AB/AC
Los ngulos en B y C son
iguales a los ngulos en B
y en C, respecMvamente
Segn la tradicin, Tales uMliz este teorema para
medir la altura de la Gran Pirmide de Keops
Segundo teorema
El tringulo que forman los dos extremos (A, C) del
dimetro de una circunferencia y un punto
cualquiera de la circunferencia (B) es rectngulo,
con un ngulo recto en ese punto
Al contrario que con el primer teorema, la validez
del segundo no es tan inmediatamente obvia, y
requiere alguna demostracin
2 + = 2 + = 180
2 + + 2 + = 360
Pero + = 180
Luego 2 + 2 = 180
O sea, + ( + ) + = 180




Otra posible demostracin
En este ejemplo ya podemos apreciar algunas
contribuciones importantes de los griegos al
razonamiento matemMco:
El uso del diagrama con letras, que permite ir
siguiendo los pasos de la demostracin
La necesidad de basarse en resultados previos (p.ej.,
que los ngulos de un tringulo suman 180)
La generalidad del resultado, pese a que el diagrama
muestra un solo ejemplo (da igual dnde coloquemos
el punto B, siempre que est sobre la circunferencia)
La frecuente necesidad de construir con la
imaginacin elementos aadidos a la figura original,
para explorar las consecuencias que se siguen de ellos
acerca de sta (p.ej., el radio BD, o el tringulo
inferior, en la pg. precedente)
PITGORAS

No est claro que el mismo Pitgoras hiciera

contribuciones signicaMvas a la matemMca. En
realidad, todo lo que se cuenta sobre l es bastante
legendario, y es muy probable que las matemMcas
pitagricas sean ms bien el conjunto de teoremas
demostrados por algunos de sus seguidores.

Parece que tena una visin msMca de la realidad,

cuyos principios lMmos pensaba que eran nmeros,
y gobernada por la oposicin par-impar.

Se le atribuye tambin la aplicacin de la aritmMca

a la msica (intervalos sonoros como proporciones)
TEOREMA DE PITGORAS

En un tringulo rectngulo, el cuadrado de la hipotenusa es
igual a la suma de los cuadrados de los catetos

Los babilonios conocan, ya hacia el 1800 aC, numerosas

ternas pitagricas (enteros a, b, c, tales que a + b = c, y
que permiten, por tanto, construir tringulos rectngulos).
Pero el teorema, como propiedad general de los tringulos
rectngulos, no limitada a nmeros enteros, slo fue
formulado y demostrado en Grecia

Un aspecto interesante del teorema es que su validez no es
intui'vamente obvia en absoluto, al contrario que la de los
teoremas de Tales
No se conservan las demostraciones originales del teorema
(ms adelante veremos la de los Elementos de Euclides).
Una prueba sencilla es la siguiente (el rea sombreada en el
cuadrado de la izquierda es igual a la sombreada en el de la
izquierda, o sea, 4 tringulos, cada uno de rea ab/2):
LOS NMEROS IRRACIONALES

Los pitagricos se aplicaron con fruicin a explorar

las consecuencias de su teorema. Una de ellas fue
especialmente sorprendente:

No hay ninguna unidad A para la que existan dos
nmeros naturales n y m, tales que, si el lado de un
cuadrado mide nA unidades, la diagonal mida mA
unidades

(i.e.: la diagonal no es conmensurable con el lado)
En parMcular, si consideramos un cuadrado cuyo
lado mide 1, lo que dice este teorema es que no hay
ninguna razn n/m entre nmeros naturales n y m,
tal que la diagonal mida exactamente n/m

O sea, esa diagonal (que por el teorema de Pitgoras
mide 2) es irracional (a-lgica, in-expresable)

Parece que esto supuso un jarro de agua fra para
la pretensin pitagrica de reducir toda la realidad a
nmeros

pero contribuy considerablemente al desarrollo

de la matemMca
La prueba ms conocida es uno de los primeros
ejemplos de demostracin por reduccin al absurdo

Supongamos que 2= n/m, y que hemos eliminado

todos los factores comunes que puedan tener n y m
Esto implica que n y m no pueden ser ambos pares,
pues seran divisibles por un factor comn (2)
Pero si n/m = 2, entonces (n/m)2 = 2 = n2/m2
Luego n2 = 2m2, y por lo tanto, n es par (pues los
nmeros cuadrados pares son siempre el cuadrado de
un nmero par), y habr un nmero p tal que n = 2p
Por tanto, (2p)2=2m2, o sea: 4p2=2m2
De aqu se sigue que m2=2p2
Luego m es tambin un nmero par! CONTRADICCIN
La suposicin de partida, por lo tanto, es falsa
LA PROPORCIN UREA
(O seccin de un segmento en extrema y media razn)

Otra consecuencia importante del teorema de Pitgoras fue
el descubrimiento de la seccin urea (este nombre lo dio
Luca Pacioli a principios del s. XVI): cmo dividir un
segmento en dos subsegmentos a y b, de tal modo que

(a+b)/a = a/b =

= (a+b)/a
= (a/a) + (b/a) =
1 + 1/ =
1 = 1/
2 = 1 2 = + 1
2 1 = 0
Aunque en Euclides la seccin aparece como
solucin de un problema (dividir un segmento de
tal modo que), es posible que fuese descubierta
explorando las propiedades del tringulo rectngulo
en el que un cateto mide el doble que otro (en cuyo
caso la hipotenusa mide 5 por el cateto menor)
Por simplicidad, suponer que
CD=1 y AC=2

Entonces, AD=5, BD=1,

AB = AB = 5-1
y BC = 2-(5-1) = 3-5

AB y BC estn en proporcin
aurea, i.e., AB/BC = AC/AB
Si formamos un tringulo
issceles (dos lados iguales)
cuyos lados diferentes
estn en proporcin urea
A
(AC/DC = AC/AB = ),

obtenemos los
componentes de un
pentgono regular! E B

D C
Este descubrimiento
llev posiblemente a los
pitagricos a elegir el
pentagrama (estrella de
5 puntas) como su
emblema simblico

Tambin demostraron que la proporcin urea es

irracional: el lado y la diagonal de un pentgono
son inconmensurables entre s
LOS TRES GRANDES PROBLEMAS

En el siglo V aC, los matemMcos descubrieron tres

problemas aparentemente sencillos, pero que no fueron
capaces de resolver, si se limitaban a construcciones que
pudieran hacerse usando solo regla y comps:

La cuadratura del crculo (dibujar un cuadrado de rea

igual a un crculo dado; este problema equivale a dibujar
una recta de longitud igual a una circunferencia)
La triseccin del ngulo (dividir un ngulo en tres partes
iguales)
La duplicacin del cubo (construir un cubo cuyo volumen
sea el doble que un cubo dado)

Solo en el siglo XIX se pudo demostrar que los tres

problemas son irresolubles
En principio, estos problemas parecan resolubles porque se
haban resuelto problemas parecidos:

Cuadratura de polgonos (tringulos, rectngulos, etc.), e
incluso de algunas guras circulares (lnulas)
Biseccin de un ngulo dado
Duplicacin del cuadrado (curiosidad: es el caso que usa
Platn en el Menn como argumento sobre la anmesis)

Lnulas de Hipcrates
Duplicacin del cuadrado
Algunas ideas importantes que fueron desarrolladas
tratando de resolver estos problemas fueron:

Media proporcional, o geomtrica:

X es la media proporcional entre A y B si A/X = X/B,

i.e, AB = X2, y por tanto X = (AB)
Hipcrates demostr que se podra duplicar el cubo
encontrando dos medias proporcionales entre 1 y 2,
i.e., X e Y tales que 1/X = X/Y = Y/2, pues en ese caso,
(1/X)3 =(1/X)(X/Y)(Y/2) = 1/2, ergo X3=2, o sea, X = 32

Las proporciones en forma a/b = b/c = c/d = d/e =

forman lo que hoy llamamos una progresin geomtrica.
El mtodo de exhaucin:

AnMfonte y Bryson pensaron que se poda aproximar el

tamao de una circunferencia rodendola de polgonos
cada vez con un mayor nmero de lados
Demcrito demostr que el volumen de una pirmide es
1/3 del de un prisma de base igual (o el de un cono
respecto a un cilindro), suponiendo que esos cuerpos se
dividan en capas innitamente delgadas
Eudoxo, Euclides y Arqumedes aplicaron este mtodo a
casos ms complejos. ConsMtuye un precedente del
clculo ingegral de Newton y Leibniz
Curvas no circulares:

Curva de Arquitas
Curvas no circulares:

Trisectriz de Hipias o Cuadratriz de Dinstrato

Curvas no circulares:

Cnicas (Menecmo, Apolonio)

Curvas no circulares:

Espiral de Arqumedes
PLATN Y ARISTTELES

Aunque los dos grandes lsofos de la AnMgedad no

hicieron contribuciones a la matemMca, tuvieron gran
inuencia en su desarrollo.
PLATN convirM el quadrivium pitagrico (aritmMca,
geometra, astronoma y msica) en un elemento bsico de la
enseanza en la Academia, form en torno suyo la mayor
escuela de matemMcos de la primera mitad del siglo IV aC
(Eudoxo, Teeteto, Menecmo), y estableci bastantes de los
criterios de rigor que deba tener una prueba matemMca
(p.ej., reduccin al uso de regla y comps, no uMlizacin de
medios mecnicos, primaca de geometra sobre aritmMca)
Como se sabe, tambin hizo de la matemMca un elemento
clave de su cosmovisin (teora de las ideas, elementos como
slidos regulares, etc.)
 ARISTTELES no daba primaca ontolgica a los entes
matemMcos, pero s consider la matemMca como el
paradigma de conocimiento ciencco, y estableci el ideal de
conocimiento demostraMvo en los Anal'cos Posteriores:
Todo el conocimiento debe ser demostrado mediante
silogismos a parMr de deniciones y primeros
principios (verdades evidentes por s mismas); tambin se
admite la demostracin por reduccin al absurdo, pero es
inferior a la demostracin directa porque no muestra el por
qu (la causa formal) de lo demostrado.
El conocimiento matemMco sera el ms cierto porque es
conocimiento de formas sin materia; el resto de ciencias
seran intrnsecamente ms imprecisas. No est claro, de
todos modos, la relacin entre las guras matemMcas como
formas y otros usos aristotlicos de esta nocin.
LOS ELEMENTOS DE EUCLIDES

No se sabe casi nada de la vida de Euclides, salvo que

vivira en Alejandra a caballo de los siglos IV y III aC
Hubo al menos otras tres obras anteriores Mtuladas
Elementos (empezando con Hipcrates de Quos). Su
signicado viene a ser el de una recopilacin y
ordenacin de materiales bsicos, necesarios para la
resolucin de problemas matem'cos en general.
Tampoco se sabe con seguridad qu parte de los
Elementos de Euclides sera original, y qu parte es
recopilacin de obras anteriores.
En todo caso, la ordenacin sistemMca y deducMva
(axiom'ca) del libro en su conjunto s parece que sera
obra del propio Euclides.
Contenido de los Elementos
(para ver los diagramas, consultar esta pgina)

Libros 1 a 4: Geometra plana
1. Postulados. Tringulos, paralelas y paralelogramos.
Teorema de Pitgoras
2. Rectngulos (lgebra geomtrica)
3. Crculos
4. Polgonos regulares inscritos en crculos

Estos libros parecen formar una unidad, y quiz
reproduzcan gran parte del material de los Elementos
anteriores a Euclides
 Libros 5 y 6: Teora de las proporciones (Eudoxo?)
5. Teora general de las proporciones, tanto de
magnitudes conmensurables como inconmensurables
6. Aplicacin de la teora de las proporciones a la
geometra plana
Libros 7 a 9: Aritmtica
7. Proporciones y productos entre nmeros. Mximo
comn divisor y mnimo comn mltiplo
8. Nmeros en progresin geomtrica
9. Nmeros primos
Libro 10: Magnitudes inconmensurables (Teeteto?)
Libros 11 a 13: Geometra slida
11. Elementos bsicos
12. Mtodo de exhaucin (Eudoxo?)
13. Slidos regulares (Teeteto?)
El mtodo axiomMco

Euclides disMngue:
Deniciones (p.ej., punto es lo que no Mene partes,
una lnea recta es aquella que yace por igual respecto
de los puntos que estn en ella)
Nociones comunes (p.ej., dos cosas iguales a una tercera
son iguales entre s, el todo es mayor que la parte) y
Postulados (principios ms especcos que los comunes,
y que son lo nico que se pide para demostrar todos
los teoremas de la obra)

Cada paso que se da en la obra se deduce de la combinacin

de alguno de estos principios, o de otra proposicin que se
haya demostrado con anterioridad
 Los tres primeros postulados arman que se pueden
realizar las siguientes acciones:
Trazar un segmento recto entre dos puntos cualesquiera
Prolongar un segmento recto indenidamente
Trazar un crculo tomando un punto como centro a travs de
otro punto
El 4 postulado establece que todos los ngulos rectos
son iguales entre s
El 5 postulado arma que si una recta corta a otras dos,
y estas forman ngulos en un lado de la primera menores
que dos ngulos rectos, las dos rectas se cortarn si se
prolongan por ese lado.
 Todos los libros (salvo los 8-9 y 12-13) conMenen
deniciones, pero slo el libro 1 conMene nociones
comunes y postulados. La ausencia de las primeras
parece lgica (por eso son comunes), pero es extraa
especialmente la ausencia de postulados en los libros
sobre aritmMca, pues ninguna de sus proposiciones es
derivada de los teoremas de libros anteriores
Los matemMcos de la AnMgedad ya mostraron
extraeza por la diferencia cualitaMva entre el 5
postulado (de las paralelas) y los otros 4, y pensaron
que tena que ser posible deducirlo como teorema a
parMr de ellos y de las otras nociones bsicas (en el siglo
XIX se demostr su independencia, al construirse las
geometras no eucldeas, en las cuales ese postulado
no se cumple)
Algunos teoremas

Pons asinorum
 El libro II desarrolla un
lgebra geomtrica: operaciones que
nosotros realizamos operando con
ecuaciones y variables, conceptos no
desarrollados en la matemMca griega
 Libro VI. Proposicin 13
Dadas dos rectas, hallar una media proporcional

Este problema equivale a encontrar geomtricamente una raz cuadrada.
Z es la media proporcional (o geomtrica) entre X e Y si Z=(XY), es decir, si X/
Z=Z/Y
Sea X la longitud de la recta AB, e Y la de la recta BC. Formamos la recta AC
combinando X e Y, que ser el dimetro de un semicrculo. Sobre el punto B
elevamos una recta que intersecta con el crculo en el punto D. La recta BD tiene
una longitud Z que es igual a (XY)
PRUEBA: Por 2 teorema de Tales, el ngulo en D es rectngulo. Por tanto, los
tringulos ABD y DBC son semejantes (sus ngulos son iguales), y as:
AB (X) es a BD (Z) como BD (Z) es a BC (Y)

P. ej., si X=6 e Y=4,

Z XY=24, y por tanto
BD= 24
X Y
 Libro I. Proposicin 47
(Teorema de Pitgoras)

Como en el libro I an no se ha
desarrollado el lgebra del libro
II, la demostracin se basa en
proposiciones demostradas ya en
el propio libro I, en parMcular, en
la de que dos paralelogramos
cuyas bases son iguales y estn en
las mismas paralelas Menen reas
iguales (I.36)
 Libro IX. Proposicin 20 (Teorema de Euclides)
Hay ms nmeros primos que cualquier can'dad propuesta de
nmeros primos

Supongamos que hubiese una cantidad dada de nmeros primos, A, B, , C

Formemos el producto de AxBxxC y summosle 1. Sea D el resultado
O bien D es primo, o bien no lo es
Si D es primo, existe un nmero primo mayor que A, B, , C, en contra de lo
que habamos supuesto
Si D no es primo, ser divisible por algn nmero primo (proposicin VII.31)
Pero D no es divisible por A, ni por B, , ni por C (pues al dividirlo por
cualquiera de ellos, queda como resto 1)
Luego D ser divisible por algn nmero primo que no estaba comprendido en
A, B, , C, en contra de lo que habamos supuesto
Por lo tanto, A, B, , C no pueden ser todos los nmeros primos. QED
DESPUS DE EUCLIDES

La poca inmediatamente posterior a Euclides (s. III-II aC)

consMtuye la Edad de Oro de la matemMca griega, con
una amplia comunidad de sabios alrededor de Alejandra
y en otras ciudades helnicas, destacando las
contribuciones de Arqumedes (s. III), Apolonio (s. III-II) e
Hiparco (s. II aC)
De Apolonio slo ha sobrevivido su tratado sobre las
Cnicas, que ampla y sistemaMza los descubrimientos de
Menecmo y otros; fue l quien les dio los nombres de
elipse, parbola e hiprbola.
Tambin se deben a Apolonio los conceptos
astronmicos de excntrica, epiciclo y deferente, que
ms tarde sern desarrollados por Hiparco y Ptolomeo.
 Arqumedes es seguramente el ciencco griego cuyo
pensamiento fue ms inuyente en el desarrollo de la
ciencia, sobre todo a parMr de la Edad Moderna.
Al introducir la nocin de peso como una magnitud con
propiedades matemMcas anlogas a las de longitud y
volumen, ampli el dominio de la matemMca eucldea
desde la geometra pura a la mecnica (equilibrio de
lneas y planos) y la hidrost'ca (teora de los cuerpos
otantes)
La concepcin dominante durante la AnMgedad y la
Edad Media, de todas formas, fue la de una tajante
separacin entre matemMca (que estudiara formas
abstractas, y en la que cabran resultados exactos) y
9sica (que estudiara cuerpos materiales, y en la que
predominara el anlisis cualitaMva y teleolgico)
 El trabajo de Arqumedes es sorprendente por la amplia
diversidad de los problemas que aborda, por la
profundidad con la que aplica los mtodos anteriores
(proporcionalidad, exhaucin, etc.), y por la gran
imaginacin y creaMvidad de sus soluciones (p.ej.,
considerar un problema geomtrico como si fuese uno
mecnico para hallar la solucin, y una vez hallada,
ofrecer una demostracin puramente geomtrica).
En la mecnica (Sobre el equilibrio de los planos), la
nocin fundamental es la de centro de gravedad: el
punto en el que una lnea o gura se mantendra en
equilibrio si estuviese apoyada en l. A parMr de esta
idea, Arqumedes demuestra la ley de la palanca (ya
conocida) y determina los centros de gravedad de
numerosas guras y cuerpos geomtricos
 En hidrostMca (Sobre los cuerpos otantes), formul el
principio de Arqumedes, considerando los pesos a los
que estn someMdos los volmenes de un lquido en la
esfera de la Merra, y susMtuyendo mentalmente esos
volmenes por otros idnMcos de materiales ms o
menos pesados. Posteriormente, analiza las condiciones
de otacin y de equilibrio de diversos slidos
(segmentos esfricos y paraboloides)
En cuanto sus obras estrictamente matemMcas,
destacan Sobre la esfera y el cilindro (frmulas para los
volmenes de estos cuerpos), Sobre la medida del crculo
(clculo aproximado de ), Sobre conoides y esferoides
(volmenes de cuerpos de revolucin), La cuadratura de
la parbola, o El arenario (invencin de un sistema de
numeracin para nmeros muy elevados)
 Arqumedes tambin destac por la
invencin y diseo de numerosas
mquinas (p.ej., el tornillo de
Arqumedes), aunque es di9cil
saber muchos detalles sobre ellas,
o en qu medida algunas son
legendarias.
Se le atribuye tambin la
construccin de un planetario
mecnico, un arMlugio
posiblemente a base de ruedas
dentadas que permica calcular las
posiciones de los astros. Quiz el
mecanismo de AnMquitera sea una
copia de ese planetario, o de alguna
mquina basada en l.
 LA
MATEMTICA
GRIEGA



Historia General de la Ciencia I
Grado en Filoso9a