Professional Documents
Culture Documents
1 de octubre de 2011
Resumen
Este artculo pretende dar una visin general de las que hoy da son
consideradas las dos primeras escuelas matemticas griegas modernas.
Se hace un repaso de ambas escuelas, la Escuela Jnica personificada
en Ta-les de Mileto y la Escuela Pitagrica personificada en Pitgoras de
Samos. Ambos personajes fueron un referente para otros filsofos y
matemticos posteriores.
1. Introduccin
Podemos considerar que con la aparicin de las Escuelas Jnica y
Pitag-rica, se dej atrs la historia matemtica antigua y comenz la era
cientfica moderna. Desafortunadamente la mayora del legado de ambas
escuelas no ha sobrevivido al tiempo y es escaso el material que ha llegado
a nuestros das. Afortunadamente hacia el 450 a.C. tenemos constancia de
los primeros comen-tarios histricos que realiz el historiador Proclo acerca
de los Elementos de Eu-clides, que estaba familiarizado con la obra de
Eudemo de Rodas, discpulo ste a su vez de Aristteles.
Tambin podemos encontrar extractos de la obra Doctrina (o Teora) de las
Matemticas de Gmino de Rodas sobre el ao 50 a.C. conservados a travs de
autores como Proclo, Eutocio, Al Nayrizi y otros. En l, divide a las matemti-cas
en dos partes: Mental y Observable, o en trminos actuales Pura y Aplicada,
donde se realiza una comparativa de los mtodos de demostracin usados por
los primeros gemetras griegos con los mtodos actuales.
1
Tales de Mileto
Historias de Matemticas - Las Escuelas Jnica y Pitagrica Jos Manuel Snchez Muoz
Tambin han llegado a nuestros das las biografas de algunos de los mate-mticos
ms relevantes de esa poca, as como de la vida y obra de otros ms modestos.
2. La Escuela Jnica
2. Los ngulos de la base de un tringulo con dos lados iguales son iguales.
(Euc. I, 5). Proclo parece dar a entender que esta afirmacin fue demostrada
considerando otro tringulo issceles idntico, dndole la vuelta y su-
perponindolo al primero, una especie de demostracin emprica.
3. Los ngulos opuestos de lneas rectas que se intersectan, son iguales. (Euc.
I, 15). Tales poda haber considerado sto como obvio, para Proclo fue Eu-
clides el primero que dio una demostracin correcta de esta afirmacin.
4. Si dos tringulos son tales que dos ngulos y un lado de uno son iguales a dos
ngulos y un lado del otro, entonces los tringulos son congruentes. (Euc. VI,
2
Eudemo de Rodas discpulo de Aristteles que disput con Teofrasto el puesto de director
del Liceo. En el ao 320 a.C. hace referencia a Tales en su Historia de las Matemticas. Este
documento, que fue una historia completa de la geometra griega que cubra el perodo anterior
a 335 a.C., se perdi y antes de que esto ocurriera, lleg a existir un resumen del mismo que
posteriormente desapareci tambin.
3
En el Sumario de Eudemo escrito por Proclo en el siglo V a.C., aparece un resumen con un
Comentario sobre el Libro I de Los Elementos de Euclides.
4, o Euc. VI, 2). Digenes Laertes, junto con Plinio y Plutarco apuntan
que Tales hizo uso de esta propiedad cuando estaba en Egipto para
encontrar la altura de la Gran Pirmide. Parece ser que el teorema era
desconocido para los egipcios.
Historias de Matemticas - Las Escuelas Jnica y Pitagrica Jos Manuel Snchez Muoz
r y s son paralelas.
Entonces A1 A2 A2 A1 forman un paralelogramo y entonces de este
modo d(A1, A2) = d(A1 , A2 ). Anlogamente d(A3, A4) = d(A3 , A4 ) y as
se obtiene la igualdad.
r y s no son paralelas.
Entonces la paralela a s desde A1 cor-
A1 A1
ta A2 A2 en B1 y la paralela a s desde
A B1 A A3 corta a A4 A4 en B2. Los tringulos
2 2
A1 A2 B1 y A3 A4 B2 son iguales por
A3 A3 tener un lado igual y los ngulos ad-
yacentes comprendidos entre paralelas
A B con lo que d(A1, B1) = d(A3, B2). Pero
4 2 A4
ahora A1 B1 A 2 A1 y A3 B2 A4 A3 son para-
lelogramos y razonando igual que antes
r s
se obtiene la identidad.
5 Cabe destacar que los axiomas de geometra que hoy da se utilizan no son los originales
que aparecen en Los Elementos de Euclides, sino unos ms sofisticados que el matemtico
David Hilbert public en 1899 en su famosa obra Los Fundamentos de la Geometra y que trata
la axiomatizacin y el tratamiento formal riguroso y desde una perspectiva moderna, de la
geometra eucldea. La diferencia fundamental de estos Axiomas con los de Euclides estriba en
que Hilbert no define los conceptos de punto y recta sino que estos se suponen existentes.
d(B, C) d(B , C )
Demostracin. Distinguiremos dos casos en la demostracin:
d(A, B) n
= Q con n, m Z.
d(B, C) m
En este caso dividimos el segmento [A, B] en n partes iguales de longitud
l, [A, A1], . . . , [A n 1, B] y el segmento [B, C] en m partes iguales de lon-gitud l,
[B, B1], . . . , [Bm1, C]. Calculamos ahora las proyecciones de los
puntos de divisin sobre la recta s y los denotamos por A1 , . . . , A n1, B1 ,
. . . , Bm 1. Por el Teorema sobre proyecciones oblicuas se tiene que
los segmentos que definen estos puntos tienen la misma longitud, l , y
de aqu se obtiene la igualdad pedida.
d(A, B)
d(A, B) d(A, B)
Supongamos que 6= con lo cual existe m N tal
que d(B, C) d(B , C )
d(A, B)
d(A , B ) >1
d(B, C) d(B , C ) m
d(A, B)
n <
d(A, B) <
n+1
m d(B, C) m
6
y aplicando el Axioma IIb de orden, obtenemos que A [A1 , A2 ] con
lo que
nd(A , B ) n + 1
m < d(B , C) < m
de donde se deduce que
d(A, B) d(A , B ) <1
d(B, C) d(B , C ) m
d(B, C) d(B , C )
Una versin reducida de este Teorema se utiliza para establecer
relaciones de semejanza en tringulos, tal y como muestra la siguiente
demostracin del mismo.
Anaximandro detalle
de La Escuela de
Atenas de Rafael
Sanzio (1512-1514)
Historias de Matemticas - Las Escuelas Jnica y Pitagrica Jos Manuel Snchez Muoz
problema. Es la primera vez que se tiene constancia del estudio de este famoso
problema que se encargara de fascinar a los matemticos ms de 2000 aos.
Tras este suceso, march exiliado a Jonia y se estableci en Lmpsaco (una co-
lonia de Mileto), donde, segn dicen, se dej morir de hambre.
Poco ms puede comentarse sobre los sucesores de Tales. La escuela
conti-nu en plena actividad aproximadamente hasta el ao 400 a.C., debido
a que multitud de sus miembros centraron su inters fundamentalmente
hacia temas filosficos en detrimento de asuntos matemticos. Se sabe muy
poco acerca de los matemticos que formaron esta escuela, pero segn
parece eran fervientes devotos de la astronoma. Los Jnicos ejercieron una
gran influencia en el desa-rrollo ulterior de las matemticas, que llegaron a su
apogeo con los Pitagricos, quienes no slo desarrollaron en gran medida la
geometra, sino que sentaran las bases de la ciencia de los nmeros, o lo
que actualmente se denomina Teo-ra de Nmeros. Si Tales fue el primero
que centr su atencin en la geometra, citando a Eudemo, Proclo comenta:
3. La Escuela Pitagrica
Historias de Matemticas - Las Escuelas Jnica y Pitagrica Jos Manuel Snchez Muoz
cedi parte de su casa a Pitgoras con el fin de que crease su propia escue-
la. Pitgoras se cas con Teano a pesar de la disparidad de sus edades.
Teano escribi una biografa de su marido, pero desafortunadamente se
perdi y no tenemos constancia alguna de esta obra.
Cuando la escuela pitagrica se encontraba en su mayor esplendor, Hipa-so,
quien haba sido expulsado de la orden por revelar algunos de los cono-
cimientos de la misma, y que lideraba el partido democrtico de Crotona que
representaba una corriente en contra de la ortodoxia y los valores conservado-
res que caracterizaban la orden pitagrica, llev a cabo acusaciones infundadas
contra sus antiguos compaeros. La escuela fue disuelta, y las propiedades de la
orden fueron confiscadas y Pitgoras mandado al exilio.
Pitgoras vivi en Tarento, pero tambin all el
partido democrtico se alz con el poder, y Pitgo-ras
fue expulsado a Metaponto donde alarg su po-bre
existencia y muri hacia el 500 a.C. All se pro-dujo una
revuelta liderada por miembros del recin llegado al
poder partido democrtico. Estos rodearon la casa
donde se reunan los pitagricos, taparon las salidas y
le prendieron fuego. Muchos de los discpu-los
murieron. Los supervivientes huyeron y este triste
hecho sirvi para que algunos de ellos como Filolao de
Tarento les fuera encargada la tarea de divulgar los
Pitgoras de Jos Ribera el
conocimientos de la hermandad, constituyendo entre
Espaoleto (1640)
otros el germen de la Academia de Platn.
ningn animal ante el temor de que pudiera ser la nueva morada del alma de un
amigo muerto; entre otros tabs de la escuela estaba la prohibicin de co-mer
judas (o quizs ms exactamente, lentejas); su disciplina era severa, y su modo
de vida estaba gobernado por el autocontrol, la abstinencia, la pureza y la
obediencia. Esta estricta disciplina y el secretismo de su organizacin le otor-
garon a la secta de los pitagricos una supremaca, que hizo que otras clases
privilegiadas se sintieran amenazadas; y finalmente, instigados por los rivales
polticos de Pitgoras, la mayora de sus seguidores fueron asesinados.
Aunque la influencia de los Pitagricos sobre la poltica fue destruida con
el asesinato de la mayora de sus miembros, parece que los pocos que
quedaron se reagruparon en torno a una sociedad filosfica y matemtica,
considerando Tarento como su centro de operaciones y continuaron an con
sus actividades durante ms de cien aos.
Probablemente la caracterstica ms notable de la orden pitagrica era su
enorme dedicacin al estudio de la filosofa y las matemticas, hasta el punto
de asumir a estas como base moral para la direccin de su vida. Parece ser
que las propias palabras filosofa (o amor a la sabidura) y matemticas
(o aquello que se aprende) fueron trminos acuados por el propio
Pitgoras para describir actividades intelectuales.
Pitgoras no public libro alguno; es asumido que todo el conocimiento y los
logros a los que lleg esta escuela fueron desarrollados de forma comn por los
integrantes de la sociedad y vetados al mundo exterior. Era tal la devocin que
los pitagricos sentan por sus principios que casi rozaban el fundamen-talismo
religioso. Como ejemplo de este hecho, parece ser que en torno al ao 470 a.C.,
Hipaso de Metaponto, miembro de la orden, rompi el voto de silen-cio que los
pitagricos haban impuesto a sus miembros, revelando al mundo parte de los
9
conocimientos de la orden, como la existencia del dodecaedro como uno de los
slidos regulares enunciado por Pitgoras, o los llamados in-conmesurables
(irracionales). Este hecho hizo que fuera expulsado de manera inmediata y que
los pitagricos erigieran metafricamente una tumba con su nombre, mostrando
as que para ellos, l estaba muerto. La sociedad pitagrica fue perdiendo
adeptos y los estrictos compromisos fueron abandonados gra-dualmente, y los
logros y sus doctrinas fueron plasmados en libros. El primer libro (que se
conozca) que recoge parte de la naturaleza de los conocimientos pitagricos se
escribi por Filolao de Crotona en torno al ao 370 a.C., y se di-ce que Platn
mantuvo en su poder una copia del mismo. Podemos decir sin lugar a equvocos
que durante la primera mitad del siglo V a.C., los Pitagri-cos fueron la punta de
lanza en cuanto avances cientficos con respecto a sus contemporneos, pero al
final todos sus descubrimientos, y sus conocimientos fueron revelados al mundo,
lo que hizo que Atenas adquiriera el privilegio de erigirse como el centro de la
nueva actividad intelectual.
Aunque es imposible separar de forma precisa a quien correspondi cada
uno de los logros intelectuales de los Pitagricos debido fundamentalmente al
carcter comunitario e impermeable de la orden, sabemos segn Proclo que fue
Pitgoras quien le dio a la geometra un carcter deductivo riguroso que se ha
9En el Libro XIII de Los Elementos de Euclides aparece un comentario que dice que los
pitagricos slo conocan tres de los poliedros regulares: el tetraedro, el cubo y el dodecaedro.
H K
C L
2 2
Los nmeros de la forma (2n + 2n + 1), (2n + 2n), y (2n + 1) posean una
10 proporcionales.
11 Se llama terna pitagrica a toda terna de nmeros (x, y, z) que satisface la ecuacin
2 2 2
pitagrica x + y = z ; si adems, mcd(x, y, z) = 1, es decir son primos entre s, dicha terna se
denomina primitiva.
2 2 2
Proposicin. Las soluciones de la ecuacin x + y = z , con x, y, z > 0, x par, mcd(x, y, z) = 1 son x
2 2 2 2
= 2st, y = s t , z = s + t , donde s > t, s y t tienen distinta paridad y mcd(s, t) = 1.
Demostracin.
) Sea (x, y, z) una terna pitagrica primitiva; entonces x e y tienen distinta paridad pues
Si x = 2p, y = 2q, resulta
2 2 2 2
z = 4p + 4q = (2s )
luego mcd(x, y, z) 6= 1.
Si x = 2p + 1, y = 2q + 1, resulta
2 2 2
z = (2p + 1) + (2q + 1) = 4s + 2
lo cual no es posible porque todo cuadrado es de la forma 4k o 4k + 1.
Por consiguiente, supongamos x par e y impar, en consecuencia, z es impar. De aqu z y y z
+ y son pares, esto es, z y = 2p y z + y = 2q. As
x 2
2 2
x2 = z y = 4pq 2 = pq
Adems, mcd(p, q) = 1; de lo contrario, existe d 6= 1 tal que d |p y d|q (d es divisor de p y q),
2
lo que conlleva que d|(q p) = y, d|(p + q) = z, y tambin d|x . Por otro lado, o bien d es primo,
luego d|x y esto no es posible ya que mcd(x, y, z) = 1, o bien d contiene un factor primo, lo que
conduce a la misma conclusin.
2 2
En definitiva, pq es un cuadrado y mcd(p, q) = 1, luego necesariamente p = t y q = s ; por
2 2 2 2
consiguiente, resulta x = 2st, y = q p = s t , z = q + p = s + t .
Adems mcd(s, t) = 1, ya que mcd(p, q) = 1; s > t, segn se deduce de z = 2q > 2p = y; s y t
tienen distinta paridad, pues de lo contrario sera par y tambin x, lo que no es posible.
) Recprocamente, en las condiciones dadas, se verifica
2 2 22 4 4 22 2 22 2 2
z = (s + t ) = s + t + 2s t + (s t ) = x + y
Adems, la terna pitagrica es primitiva, ya que mcd(x, y, z) = d = 1; de lo contrario, si d
contiene un factor primo p, entonces p|z, siendo z impar, p 6= 2.
2 2 2 2
Por lo tanto, p|(z + y) = 2s y p|(z y) = 2t y como p 6= 2, entonces p|t y p|s , y al ser p
primo, tambin p|t y p|s lo que contradice el hecho de que mcd(s, t) = 1.
n + (n 1 ) + ( n 2 ) + . . . + 2 + 1
y por lo tanto tendrn la expresin general de la forma:
n(n + 1)
Tn =2
Con respecto a los nmeros triangulares existe un teorema que dice que
la suma de un numero triangular y su inmediatamente anterior es un
cuadrado perfecto, o haciendo uso de la terminologa pitagrica es un
nmero cuadrado. La demostracin es sencilla. Dados
Tn = n(n + 1)
2
T = (n 1)(n 1 + 1) = n(n 1)
n1 2 2
sumando:
2
Tn + T = n(n + 1) + n(n 1) = n q.e.d
n1 2 2
12
La suma de dos nmeros triangulares iguales nos da un nmero oblongo ;
n(n + 1)
Tn + Tn = 2Tn = 2 2 2Tn = n(n + 1)
Por lo tanto el nmero triangular correspondiente a 4 es 10. Sobre este
hecho existe una ancdota que comenta que en cierta ocasin un mercader
le pregun-t a Pitgoras qu le poda ensear. Pitgoras le replic Te
ensear a contar y el mercader le contest Ya s contar; Pitgoras le
pregunt Cmo cuentas?, y el mercader le respondi Uno, dos, tres,
cuatro entonces Pitgoras le inte-rrumpi y le dijo Para. Lo que consideras
cuatro es diez, un tringulo perfecto, y uno de nuestros smbolos.
Tambin se atribuye a los pitagricos el conocimiento de las tres medias:
aritmtica, geomtrica y armnica. Esta ltima designacin es una
reminiscen-cia pitagrica que ha llegado hasta nuestros das, proviene de
que las razones que caracterizan la octava, la quinta y la cuarta musicales
pueden formarse con la terna 6, 8, 12 que constituye una terna en progresin
armnica. Si conside-ramos que c y h son las medias aritmtica y armnica
de los nmeros a y b respectivamente, entonces:
ca=bc
(h a ) =(b h) c = 1 (a + b) ; h = 2ab
a b 2 (a + b )
12 Resultan de la suma de una sucesin de nmeros pares de la forma 2 + 4 + 6 + 8 + . . . + 2n =
n(n + 1), cada uno de los cuales es el doble de un nmero triangular.
y=n
1 2
z = 2 (n + 1 )
con n impar, solucin que probablemente dedujeron de la propiedad
conocida de que todo nmero impar es diferencia de dos nmeros
cuadrados, de ma-nera que si, a su vez, ese impar es un cuadrado, queda
satisfecha la ecuacin. Posteriormente otros autores obtuvieron otros
14
mtodos para resolver con n-meros la ecuacin pitagrica.
1. Mtodo de Platn. Sea m cualquier nmero par divisible por 4; entonces m,
2 2
m m
4 1, y 4 + 1 son las tres soluciones para obtener los nmeros que
cumplen la ecuacin pitagrica. Basta demostrar que:
2 2 4 2 4 2 2 2
m m m m m m
2 2
m + 4 1 = m + 16 2 + 1 = 16 + 2 + 1 = 4 +1
2. Mtodo de Euclides. Sean x e y dos nmeros pares o impares cualesquiera,
tales que x e y no tienen factores comunes mayores que 2, y xy es un
cuadrado. Entonces xy , x y , y x + y son las soluciones para obtener
2 2
los nmeros que cumplen la ecuacin pitagrica. Basta demostrar que:
2 2 2 2 2
( xy ) + xy = xy + x 2xy + y = x+y
2 4 2
3. Mtodo de Maseres (1721-1824). Sean m y n dos nmeros pares o impares
2
m2 + n
cualesquiera, tales que m > n, y sea un nmero entero. Entonces
2n
2 2 2 2 2
m , m n y m + n son las soluciones para obtener los nmeros que
2n 2n
cumplen la ecuacin pitagrica. Basta demostrar que:
2 2 2 2 2 4 2 2 4 2 2 2
m + m n =4m n + m 2m + n + n = m +n
2
2n 4n 2n
4. Mtodo de Dickson. Sean m y n dos nmeros primos entre s cualesquiera,
uno par y otro impar, m > n y 2mn es un cuadrado. Entonces m + 2mn, n
+ 2mn, y m + n + 2mn son las soluciones para obtener los nmeros que
cumplen la ecuacin pitagrica. Basta demostrar que:
2 2 2 2
(m + 2mn) + (n + 2mn) + m + n + 4mn + 2m 2mn + 2n 2mn =
2
= (m + n + 2mn)
14 Los griegos utilizaban este trmino para referirse a los nmeros enteros positivos. Puede con-
siderarse a Diofanto de Alejandra (s.III d.C.) como el principal impulsor de la resolucin de ecuacio-
nes en nmeros enteros, que constituyen una de las principales semillas de lo que hoy conocemos
como Teora de Nmeros.
r sen = 2a cos
y el cono:
1
sen cos = 2
Estas tres superficies se cortan en un punto de tal modo que
3 1
sen = 2
16
de los nmeros enteros no cuadrados (2, 3, 5 . . .) al menos hasta 17 a base
del mtodo tradicional pitagrico de usar la reduccin al absurdo y llegar a una
inconsistencia relacionada con pares e impares. Tambin desarroll la espiral
que lleva su nombre usando el Teorema de Pitgoras y aadiendo perpendi-
cularmente a un segmento una unidad lo que forma grficamente tringulos
cuyas hipotenusas son las sucesivas races de los nmeros naturales.
Referencias
[1] BABINI, Jos y REY PASTOR, Julio. Historia de la Matemtica (vol. 1), pp.
39 50, Editorial Gedisa, Barcelona, 1985.
[2] BOYER, Carl Benjamin. Historia de la Matemtica, pp. 7194, 96, 103104
Alianza Editorial, Madrid, 2010.
[3] CAJORI, Florian. A History of Mathematics, p. 17, The MacMillan
Company, 2nd Edition, New York, 1929.
[4] HILBERT, David. The Foundations of Geometry, pp. 216, The Open Court
Publishing Company Co., Reprint Edition. Guttembergs Project
(http://www.gutenberg.org/files/17384/17384-pdf.pdf), Illinois, 1950.
[5] LOMBARDO RADICE, Lucio. La matemtica de Pitgoras a Newton, pp. 15
17, 2229, Editorial Laia, Barcelona, 1983.
[6] LOOMIS, Elisha Scott. The Pythagorean Proposition, pp. 111, 1920,
Classics in Mathematics Education, Council of Teachers of Mathematics,
2nd. Edi-tion , Michigan, 1940.
[7] ROUSE BALL, Walter William. A Short Account of the History of
Mathematics, pp. 1330, MacMillan and Co., Limited, Londres, 1919.
[8] WIKIPEDIA,
Anaxgoras de Clazomene, http://es.wikipedia.org/wiki/Anaxgoras
Anaximandro de Mileto, http://es.wikipedia.org/wiki/Anaximandro_de_Mileto Arquitas
de Tarento, http://es.wikipedia.org/wiki/Arquitas
Escuela de Mileto, http://es.wikipedia.org/wiki/Escuela_jonica
Gnomon, http://es.wikipedia.org/wiki/Gnomon
Hipaso de Metapongo, http://es.wikipedia.org/wiki/Hipaso_de_metaponto La
Escuela de Atenas, http://es.wikipedia.org/wiki/La_escuela_de_Atenas Los
Pitagricos, http://es.wikipedia.org/wiki/Pitagricos
Pitgoras de Samos, http://es.wikipedia.org/wiki/Pitagoras_de_Samos
Tales de Mileto, http://es.wikipedia.org/wiki/Tales_de_Mileto Teodoro de
Cirene, http://es.wikipedia.org/wiki/Teodoro_de_cirene
16 Demostr geomtricamente que los nmeros actualmente representados como 3, 5, 6, 7,
8, 10, 11, 12, 13, 14, 15, y 17 eran inconmensurables o como hoy da los defini-mos, eran
irracionales.Previamente Pitgoras ya haba demostrado esta condicin para 2.
Sobre el autor:
Nombre: Jos Manuel Snchez Muoz
Correo Electrnico: jmanuel.sanchez@gmx.es
Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico. Univer-
sidad Politcnica de Madrid, Espaa.