Elements Euclides 1

La Historia de la Matemtica como recurso
didctico e instrumento de integracin cultural

de la Matemtica
HISTORIA DE LA MATEMTICA PARA
LA ENSEANZA SECUNDARIA
ESTUDIO CRTICO DE TRES OBRAS CUMBRES DE
LA LITERATURA MATEMTICA:
LOS ELEMENTOS DE EUCLIDES
EL MTODO DE ARQUMEDES
LA GEOMETRA DE DESCARTES
Pedro Miguel Gonzlez Urbaneja
pgonzale@pie.xtec.es
No hay una Matemtica, hay muchas Matemticas. [...] El espritu antiguo creo su
Matemtica casi de la nada. El espritu occidental, histrico, haba aprendido la
Matemtica antigua, y la posea aunque slo exteriormente y sin incorporarla a su
intimidad; hubo, pues, de crear la suya modificando y mejorando, al parecer, pero
en realidad aniquilando la matemtica euclidiana, que no le era adecuada.
Pitgoras llev acabo lo primero; Descartes lo segundo. Pero los dos actos son, en
lo profundo, idnticos
O.Spengler. La decadencia de Occidente. Austral, Madrid, 1998.Cap.I.1. p.144.
La lectura de Euclides a los 11 aos fue uno de los grandes acontecimientos de mi
vida, tan deslumbrante como el primer amor
B.Russell. Autobiography. Little, Brown & Co, Boston, 1951, p.37.
Haba ms imaginacin en la cabeza de Arqumedes que en la de Homero.
Voltaire. Diccionario filosfico.
La Geometra analtica, mucho ms que cualquiera de sus especulaciones
metafsicas, inmortaliza el nombre de Descartes y constituye el mximo paso
hecho en el progreso de las ciencias exactas.
J.Stuart Mill. (citado por E.Bell en Les grands mathmaticiens. Payot, Pars, 1950. p.46.
Pedro Miguel Gonzlez Urbaneja
pgonzale@pie.xtec.es
NDICE
ESTUDIO CRTICO DE TRES OBRAS CUMBRES
DE LA LITERATURA MATEMTICA:
LOS ELEMENTOS DE EUCLIDES,
Introduccin. .............................................................................................................. 5
LOS ELEMENTOS DE EUCLIDES. BIBLIA DE LAS MATEMTICAS. .................... 12
El marco histrico-cultural de Los Elementos. ................................................................... 14
Euclides, el autor de Los Elementos. .................................................................................... 16
El propsito de Los Elementos de Euclides. ....................................................................... 19
Citas Organizacin y metodologa de Los Elementos de Euclides. ................................... 25
Definiciones, postulados y nociones comunes. ........................................................ 25
Las Proposiciones. ....................................................................................................... 33
Los libros geomtricos de Los Elementos de Euclides. ..................................................... 35
El Libro I. ........................................................................................................................ 35
El Libro II. ...................................................................................................................... 51
El Libro III. ..................................................................................................................... 58
El Libro IV. ..................................................................................................................... 66
El libro V. ........................................................................................................................ 76
El Libro VI. ...................................................................................................................... 94
El libro X. ........................................................................................................................ 107
El Libro XI. ...................................................................................................................... 112
El Libro XII. ..................................................................................................................... 121
El Libro XIII. .................................................................................................................... 138
Los Libros apcrifos XIV y XV. .................................................................................... 156
La influencia histrica de Los Elementos de Euclides. ...................................................... 157
El sustrato filosfico de Los Elementos de Euclides. ........................................................ 160
La transmisin de Los Elementos de Euclides. Las diversas ediciones. ......................... 168
La dimensin escolar y el valor didctico de Los Elementos de Euclides. ...................... 183
Consideraciones finales sobre Euclides y Los Elementos. ................................................ 192
Anexo: La edicin visual de Los Elementos de O.Byrne (1847). ... ..................................... 193
Bibliografa. .............................................................................................................................. 209
EL MTODO SOBRE LOS TEOREMAS MECNICOS DE ARQUMEDES................ 215
Introduccin: del mtodo mecnico de Arqumedes al Calculo Integral. ......................... 217
La originalidad y el estilo matemticos de Arqumedes. .................................................... 220
La obra matemtica de Arqumedes. .................................................................................... 225
Descubrimiento y demostracin en Arqumedes. ............................................................... 229
El Mtodo sobre los Teoremas Mecnicos de Arqumedes (EL MTODO). ..................... 232
La naturaleza del MTODO como tratado matemtico. ............................................. 232
Las vicisitudes histricas del MTODO y la reconstruccin de Heiberg. .............. 233
El contenido matemtico del MTODO. ...................................................................... 236
El Prembulo dirigido a Eratstenes y los Lemas del MTODO. ............................. 238
Las Proposiciones del MTODO. ................................................................................. 239
La Cuadratura del segmento parablico. .......................................................... 239
La Cubatura de la esfera. .................................................................................... 248
Anlisis crtico del mtodo mecnico de Arqumedes. ...................................................... 254
El mtodo de exhaucin en Arqumedes. La cuadratura de la espiral. ............................. 258
La influencia de Arqumedes en la gnesis del Calculo Integral. ....................................... 263
El mtodo mecnico de Arqumedes y los Indivisibles de Cavalieri. ........................ 265
El mtodo de exhaucin en Arqumedes y los lmites. .............................................. 270
Eplogo: los mtodos de Arqumedes y el Calculo Integral. .............................................. 273
Bibliografa. ............................................................................................................................. 276
LA GEOMETRA DE DESCARTES . .......................................................................... 281
Introduccin .............................................................................................................. 283
Del lgebra Geomtrica griega a la Geometra Analtica Cartesiana. ...................... 283
El lgebra Geomtrica del Libro II de Los Elementos de Euclides. ......................... 287
Coordenadas en Las Cnicas de Apolonio. ............................................................... 292
El Anlisis Geomtrico griego y la Geometra Analtica. ........................................... 294
La Geometra de Descartes. .................................................................................... 299
La formacin de Descartes en La Flche. ................................................................... 299
Citas memorables de Descartes. ................................................................................. 302
Citas memorables sobre Descartes. ............................................................................ 303
Los sueos de Descartes y los orgenes de La Geometra. ...................................... 304
Las Regulae, El Discurso del Mtodo y La Geometra. .............................................. 307
La percepcin de Descartes sobre el eco cientfico de La Geometra. .................... 314
El contenido de La Geometra. ..................................................................................... 317
La construccin geomtrico-algebraica de las operaciones aritmticas. ....... 322
La notacin matemtica cartesiana. .................................................................. 324
Anlisis y Sntesis: planteamiento y resolucin de las ecuaciones. .............. 330
Sistemas de referencia. El Problema de Pappus. ............................................. 336
Las rectas normales a una curva. El Mtodo del crculo. ................................ 341
La Geometra de Descartes y la Geometra Analtica. ............................................... 353
La proyeccin histrica de la Geometra Analtica cartesiana. ........................................... 360
Bibliografa. ............................................................................................................................. 371
5
TRES OBRAS CUMBRES DE LA MATEMTICA:
LOS ELEMENTOS DE EUCLIDES, EL MTODO DE ARQUMEDES
Y LA GEOMETRA DE DESCARTES
Introduccin
Euclides, Arqumedes y Descartes son tres figuras histricas de la mayor relevancia en el
mbito escolar por la ingente repercusin que sus obras han tenido en la conformacin de la
Matemtica acadmica elemental a lo largo de la Historia de la Educacin matemtica. Una
nica obra ha bastado en el caso de Euclides, Los Elementos, y tambin en el caso de
Descartes, La Geometra, para asegurar su inmortalidad en la Historia de la Ciencia y la
permanencia en la Escuela de sus autores; la primera para determinar el contenido de la
Matemtica elemental, la segunda para introducir un instrumento, la Geometra Analtica,
que con el concurso del lgebra se ha convertido en el lenguaje ineludible de las ciencias y
las tcnicas. La aportacin de Arqumedes el ms importante de los matemticos de la
antigedad clsica griega es enormemente ms rica todava, por su amplitud, rigor y
profundidad, pero de su inmenso caudal cientfico hablaremos ante todo de una obra, El
mtodo sobre los teoremas mecnicos cuyo largo ttulo indicaremos por EL MTODO, en
la cual lo que nos interesa es el proceso heurstico que sigue la investigacin matemtica y
las cuestiones epistemolgicas involucradas acerca de la relacin entre los procesos de
descubrimientoinvencin y los mtodos de exposicindemostracin, todo ello en un
mbito muy importante de la Matemtica y de la Educacin matemtica: el Clculo Integral.
An hoy, despus de 2300 aos desde que Euclides los compuso, la lectura de Los
Elementos sigue provocando una profunda admiracin, seguida de fruicin intelectual, por el
derroche inusitado de ingenio, lgica, rigor, didctica, exactitud, certeza, pureza, belleza,
coherencia y elegancia. Todo lo que se haya dicho y se diga sobre la obra euclidiana, que
es mucho, siempre resulta insuficiente: Tesoro matemtico de la humanidad, cumbre de la
Matemtica griega, compilacin de la Geometra platnica, una de las voces ms
importantes de la herencia clsica, Biblia de las Matemticas, demostracin de humanidad y
manifestacin de cultura y civilizacin superiores, Geometra popular de todos los tiempos,
cima del pensamiento matemtico, codificacin de los fundamentos de la Geometra de la
regla y el comps, libro secular ms estudiado de toda la Historia, primera teora
propiamente dicha que registra la Historia, el libro ms grande y ms maravilloso de las
Matemticas, el ms famoso libro de texto, y un largusimo etctera.
Los Elementos de Euclides es el tratado de Matemticas que mayor influencia ha tenido a lo
largo de toda la Historia de la Cultura incluso mucho ms all de la propia Matemtica y
ciencias afines y que ms veces se ha editado, despus de la Biblia. La principal obra de
Euclides ha constituido, como autoridad indiscutida, el cuerpo de doctrina central de la
totalidad de las ciencias matemticas elementales hasta mediados del siglo XIX, del que se
puede derivar el resto y ha sido a lo largo de la Historia de la Ciencia y de la Educacin el
principal vehculo de la transmisin del saber matemtico hasta mediados del siglo XX. Pero
an hoy la carrera de Euclides no ha concluido, porque Los Elementos de Euclides siguen
siendo, por una parte, una fuente inagotable de estudios epistemolgicos y de
investigaciones histricas, y por otra, una fuente fundamental del currculum de la
Matemtica elemental, que determina el contenido y el orden lgico secuencial y por tanto la
ordenacin curricular de los diversos temas y captulos de los Libros de Texto de la
Matemtica escolar bsica y secundaria.
Hemos emprendido, pues, un estudio crtico de Los Elementos de Euclides, guiados por los
presupuestos que hemos sealado ms arriba. Estudiamos, en una primera parte, la
organizacin y la metodologa de la obra euclidiana en cuanto al significado de Definiciones,
Postulados, Axiomas y Proposiciones; sigue el contenido matemtico de todos y cada uno
de los libros geomtricos (Libros I, II, III, IV, V, VI, X, XI, XII, XIII); y despus, el marco
histrico-cultural del mundo griego helenstico donde aparecen Los Elementos; breves
6
aspectos biogrficos de su autor, Euclides; y presunciones, ms o menos fundamentadas en
documentos histricos, sobre la finalidad de la obra como tratado recopilador y
sistematizador de los informes y heterogneos conocimientos matemticos anteriores, con
propsito compilador, cientfico, acadmico, didctico, etc. En una segunda parte intentamos
dilucidar la influencia histrica de Los Elementos de Euclides, el sustrato filosfico que
subyace en la obra y estudiamos la transmisin de Los Elementos de Euclides a lo largo de
los tiempos, con la descripcin de las ms importantes ediciones de la obra y su
trascendencia cientfica. A continuacin, en una tercera parte, tratamos la dimensin escolar
histrica y el valor didctico de Los Elementos de Euclides a lo largo de la Historia de la
Educacin matemtica, dando cuenta del proceso de escolarizacin del tratado que tiene
lugar en las diversas ediciones. Finalmente, exponemos unas consideraciones finales sobre
Los Elementos y su autor. Acabamos con un anexo donde reproducimos, en su versin
original, algunas proposiciones que consideramos muy importantes, desde nuestro criterio,
en la prctica matemtica escolar, extractadas de una curiosa versin, la edicin visual de
Los Elementos de Euclides O.Byrne (Londres,1847).
La descripcin del contenido de cada Libro de Los Elementos de Euclides, est precedida
de un estudio general de los temas que trata aspectos de atribuciones histricas de
matemticos anteriores a Euclides, influencias ulteriores, disquisiciones, presunciones,
relevancia de algunas cuestiones desde el mbito cientfico o didctico, etc. Despus se
describen, proposicin a proposicin, los diversos resultados, y en algunos problemas
matemticos escolares muy importantes se hace un estudio particular de la adaptacin
didctica al aula del correspondiente teorema o problema euclidiano. De esta forma vemos,
acompaados con bellsimas ilustraciones de las proposiciones extradas de ediciones
histricas de Los Elementos de Euclides, en su contexto histrico y en su evolucin hacia su
tratamiento acadmico y escolar, multitud de problemas universales de las Matemticas
elementales escolares, como por ejemplo:
Libro I. Construcciones elementales con regla y comps, congruencias de tringulos y
cuadrilteros, desigualdades relativas a ngulos y lados de un tringulo. Paralelismo,
Teorema de Pitgoras.
Libro II. Equivalencias geomtricas de identidades algebraicas elementales, resolucin
geomtrica de ecuaciones, Divina Proporcin, Teorema del coseno, Cuadratura de
figuras rectilneas.
Libro III. Geometra del crculo: cuerdas, tangentes, secantes, ngulos centrales y
ngulos inscritos, Potencia de un punto respecto de una circunferencia.
Libro IV. Construcciones con regla y comps de polgonos regulares inscritos y/o
circunscritos en crculos.
Libro V. Magnitudes inconmensurables.
Libro VI. Teoremas fundamentales sobre semejanza de figuras geomtricas: Teorema de
la bisectriz, Teorema de Tales, Teoremas del cateto y de la altura, construcciones de la
tercera, la cuarta y la media proporcional.
Libro X. El Mtodo de Exhaucin.
Libro XI. Geometra del espacio: paralelismo y perpendicularidad, ngulos slidos,
paraleleppedos.
Libro XII. rea del crculo, volmenes de pirmides, cilindros y conos y esferas.
Libro XIII. Construccin de los cinco poliedros regulares.
Ante este despliegue de problemas matemticos escolares presentes en Los Elementos de
Euclides, apreciamos el inconmensurable valor didctico e histrico de la obra, por su
fructfera dimensin escolar, como cuerpo de doctrina geomtrica de lectura obligada para
todos los estudiantes de Matemticas, durante veintitrs siglos, en manuales inspirados en
la obra de Euclides, que hoy sigue siendo la base informativa de toda disciplina cientfica
matemtica elemental en la Enseanza Secundaria.
7
En el prlogo de la obra de B.Levi Leyendo a Euclides, escribe el filsofo M.Bunge (Zorzal,
Buenos Aires, 2001, p.61):
La sistematicidad y su rigor lgico hace que el estudio de la Geometra de Euclides
sea acaso ms formativo que el de la Geometra Analtica o el Clculo Infinitesimal.
Teora stas que poseen algoritmos que se aplican uniformemente y en muchos casos
mecnicamente. se es uno de los motivos por los cuales Los Elementos de Euclides
fueron libros de texto en todo el mundo durante dos milenios. Su estudio exige tanto
ingenio y empeo como rigor. Forma tanto matemticos como abogados.
Esto mismo deba pensar el presidente Lincoln cuando aseguraba que haba aprendido a
pensar con Lgica leyendo Los Elementos de Euclides, donde haba encontrado, tambin, el
sentido de lo que significa demostrar, es decir el rigor apodctico por encima de la intuicin,
la opinin y el juego retrico y dialctico de la persuasin. Aqu, entre otros muchos puntos
singulares, reside el alto valor educativo y formativo de las Matemticas, que ya le asign y
reivindic Platn, con obligaciones polticas hacia su cultivo, y que se manifiesta desde la
lejana poca alejandrina que dio a luz Los Elementos de Euclides herederos de la
Matemtica platnica hasta hoy y siempre. Por eso podemos leer en un Tratado de
Geometra del Siglo XVIII de autor annimo:
La lectura de Euclides no slo hace gemetras a los jvenes, sino que
insensiblemente los va habituando a ser excelentes lgicos.
En la segunda obra analizada, EL MTODO de Arqumedes, adems de relatar algunos
episodios de ingenio, originalidad y sagacidad increbles, ms o menos legendarios segn
Voltaire haba ms imaginacin en la cabeza de Arqumedes que en la de Homero, que
una copiosa Literatura Cicern, Plutarco, Silio Itlico, Vitrubio, Valerio Mximo, Tito Livio
se encarg de embellecer, describimos su inmensa contribucin a la magnificacin del
patrimonio matemtico eucldeo, y nos interesamos sobre todo por la superacin
arquimediana de los prejuicios platnicos acerca de la actividad cientfica, a base de
combinar el rigor intelectual con la intuicin sensorial para vincular la especulacin abstracta
con las realizaciones tcnicas, que requiere la necesidad de resolver problemas concretos,
desarrollando una concepcin matemtica casi experimental, origen de una tradicin
cientfica llamada despus Filosofa Natural y mucho ms tarde Fsica Matemtica, que es
retomada por Galileo para establecer las bases de la Revolucin cientfica del siglo XVII.
En concreto la obra que estudiamos, EL MTODO, contiene los procedimientos heursticos
de tipo mecnico Arqumedes aplica la famosa Ley de la Palanca que rige la ms sencilla
de sus mquinas que el gran sabio de Siracusa utilizaba tanto para alumbrar sus
extraordinarios descubrimientos como para emprender la demostracin de los resultados
matemticos obtenidos. En palabras de uno de los ms egregios matemticos y pedagogos
del siglo XX, F.Klein (Matemtica elemental desde un punto de vista superior. Vol. II.
Geometra Biblioteca Matemtica. Dtor: J.Rey Pastor. Madrid, 1931, pp.254255):
Arqumedes fue un gran investigador que en cada uno de sus escritos avanza un
paso ms, sobre lo ya conocido. [...]. El procedimiento de exposicin [en su obra EL
MTODO] es exactamente igual que nuestra manera de ensear en la actualidad,
pues procede genticamente, indicando el proceso mental seguido y no utilizando
nunca el rgido encadenamiento de hiptesis, tesis, demostracin y determinacin
que domina Los Elementos de Euclides.
Como aplicacin didctica especfica de los aspectos histricos, describimos, adems, lo
que tal vez es el ejemplo ms representativo de la aplicacin del mtodo demostrativo de
exhaucin de la Geometra griega la Cuadratura de la Espiral, lo que nos permite valorar
la trascendente influencia de Arqumedes en la gnesis del Clculo Integral, a travs de dos
analogas manifiestas el mtodo mecnico de descubrimiento y los Indivisibles del siglo
XVII, por una parte, y el mtodo de demostracin por exhaucin y los lmites de la
aritmetizacin del Anlisis del siglo XIX, dos de los ingredientes importantes de la
Matemtica escolar secundaria.
8
En la tercera obra que analizamos, La Geometra de Descartes, se intenta desentraar las
races de la Geometra Analtica en el pensamiento cartesiano a base de estudiar el anclaje
de La Geometra de Descartes en su obra filosfica y en particular en El Discurso del
Mtodo y en las Reglas para la direccin del espritu, tratados donde se sita la metodologa
cartesiana, en particular los preceptos del Anlisis y la Sntesis que Descartes aplica de
forma constante en La Geometra. Pero para comprender la relevancia histrica y la
gestacin de La Geometra de Descartes rastreamos los orgenes de la Geometra Analtica
desde los primeros estadios de la Matemtica helnica, de modo que arrancamos del
lgebra Geomtrica del Libro II de Los Elementos de Euclides, estructura que adquiere la
Matemtica griega como consecuencia de la crisis de fundamentos que acarre la aparicin
de los inconmensurables y estudiamos el Anlisis Geomtrico griego del que la Geometra
Analtica hereda no slo el nombre sino tambin los procedimientos que utilizaba un
equivalente de las coordenadas pero slo empleaba lgebra Geomtrica y el Arte Analtica
de Vieta que desarrolla el lgebra Simblica pero no usaba coordenadas. Al aunar ambos
instrumentos coordenadas y lgebra literal Descartes (y tambin Fermat) alcanza la
Geometra Analtica estableciendo un puente para transitar entre la Geometra y el lgebra,
lo que le permite asociar curvas y ecuaciones, a base de aplicar el Anlisis Algebraico de
Vieta a los problemas de lugares geomtricos de Apolonio y Pappus, definidos, en un
sistema de coordenadas, por una ecuacin indeterminada en dos incgnitas.
Descartes crea una herramienta geomtrica nueva y revolucionaria que permite fundir en un
slo acto intelectual el descubrimiento y la demostracin que tan separadas estaban en la
Geometra griega mediante una potente metodologa geomtrica y algebraica que
reemplaza las complejas e ingeniosas construcciones de la rgida lgebra Geomtrica de los
griegos por sistemticas operaciones algebraicas y se convierte en un poderoso instrumento
de investigacin y exploracin con el que el filsofo resuelve con plenitud heurstica, de
forma elegante, rpida, brillante y prodigiosa, numerosos problemas, clsicos y modernos,
como abundantes cuestiones de lugares geomtricos, extremos, tangentes y cuadraturas y
otros que se haban resistido a lo largo de la historia como el famoso Problema de Pappus.
Por primera vez en la Historia de la Matemticas se tiene la conciencia de haber superado a
los antiguos griegos en algn aspecto. En palabras de Spinoza, el filsofo del more
geometrico (Los Principios de la Filosofa cartesiana):
Descartes, mediante un mtodo nuevo, hizo pasar de las tinieblas a la luz cuanto en
las Matemticas haba permanecido inaccesible a los antiguos y todo cuanto los
contemporneos haban sido incapaces de descubrir; luego puso los cimientos
inquebrantables de la Filosofa sobre los cuales es posible asentar la mayor parte de
las verdades en el orden y con la certidumbre de las Matemticas.
La Geometra Analtica domina el pensamiento matemtico desde la poca de su creador,
Descartes. El empleo sistemtico de las coordenadas tratadas con el clculo algebraico es
una poderoso instrumento algortmico de resolucin de problemas geomtricos, un mtodo de
una capacidad y una universalidad tan eficaces en la Matemtica, que supera cualquier otra
herramienta anterior, y ms all de la Geometra y de la Matemtica, la Geometra Analtica
revoluciona todas las ciencias vinculadas al tiempo y al espacio, a travs del concepto de
funcin, el utensilio ms importante para el conocimiento y dominio de la naturaleza. Por eso
como escribe el historiador de la Matemtica y pedagogo M.Kline (El pensamiento
matemtico de la Antigedad a nuestros das. Vol. 1. Alianza Universidad. Madrid, 1992.
vol.1, p.425
La Geometra Analtica cambi la faz de las Matemticas.
La fuerza algebraica inexorable de la Geometra Analtica al aportar simplificacin,
generalizacin, mecanizacin, unificacin, flexibilidad, versatilidad, claridad, economa,
brevedad y difusin, se convierte en el lenguaje universal de las ciencias. Merced a la
Geometra Analtica, el ingenio y la imaginacin que exiga la comprensin de la obra de
Euclides puede ser sustituido por la simplicidad de procedimientos algortmicos automticos.
Adems, la notacin cartesiana se convirti en definitiva, por eso La Geometra de
9
Descartes es el primer texto matemtico en el que un estudiante actual no encontrara
dificultades con la notacin. La Geometra Analtica es una poderosa herramienta de la
actividad matemtica que potencia la intuicin y facilita la investigacin, y al unir la
Geometra con la Aritmtica, a travs del lgebra, democratiza la Geometra y la Matemtica
en general, porque sus tcnicas permiten que cualquier persona que tenga pequeos
rudimentos de lgebra pueda resolver problemas geomtricos, aunque no tenga un gran
talento y una gran sagacidad y sutileza intelectual. As que, parafraseando a Descartes en El
Discurso del Mtodo, con la Geometra Analtica: se ejercita el entendimiento sin fatigar
mucho la imaginacin (DM.AT,VI,17). En este sentido decimos que la Geometra Analtica
es una geometra democratizadora, y por tanto un potente utensilio de la Matemtica
escolar. As que allende la frase de M.Kline podemos decir que la Geometra Analtica
cambi no slo la faz de las Matemticas sino tambin la faz la de la Educacin matemtica.
Los argumentos que se despliegan a lo largo de este escrito se sustentan de forma esencial
en numerosos textos originales de los matemticos y filsofos griegos, as como en los
textos de las Obras de Descartes y otros filsofos y matemticos. Tambin se apoyan en
las opiniones y reflexiones que sobre el trabajo matemtico de Euclides, Arqumedes y
Descartes han vertido numerosos pedagogos, historiadores y filsofos de la Ciencia y de la
Matemtica, e incluso escritores, literatos y artistas. Estos textos originales cumplen una
funcin muy importante. Son textos con autntica atribucin histrica y bibliogrfica, elegidos
muy cuidadosamente de forma erudita, extrados directamente de los escritos originales de
los creadores de la Matemtica y de los filsofos e historiadores, y en muchos casos en
torno a estos textos se articula la descripcin de la Historia del Pensamiento matemtico. De
estos textos surgen numerosas citas extradas directamente y referenciadas, con autor,
texto y pgina, reseados en la generosa bibliografa que incluye junto a las fuentes, tanto
obras de largo aliento como otras de divulgacin cientfica con indicacin de los captulos
que interesan a cada tema.
A lo largo del documento se insertan numerosas y originales ilustraciones que siempre
tienen una relacin contextual con el tema que se esta tratando. Son piezas artsticas de
una gran belleza en las que la Matemtica o los matemticos son los protagonistas
principales y el objeto de expresin. Bastantes de estas ilustraciones son portadas o pginas
significativas de famosas ediciones de obras matemticas clsicas que son crnicas
visuales y autnticas joyas matemticas iconogrficas, a las que acompaan breves
explicaciones sobre la evolucin de la edicin matemtica, en manuscrito o impresin, o
sobre el simbolismo emblemtico o metafrico que trasmite su iconografa, y con un sucinto
estudio de la importancia de la edicin de la obra en la Historia de las Matemticas. En
general se alude al lugar biblioteca, museo, universidad, ... donde se ubica la obra
descrita. Tambin se insertan portadas de ediciones modernas pero de gran relevancia
editorial y se hace una valoracin crtica acerca de su aportacin a la historiografa. Se
trata de obras que se han consultado de forma intensa en la elaboracin de este escrito.
Tambin insertamos numerosos cuadros de texto enfatizado con esquemas, sinopsis y
resmenes; ampliaciones del contenido general, datos biogrficos y bibliogrficos; textos de
carcter pico; recopilacin de citas; una condensacin de ideas referentes a una cuestin
matemtica; una descripcin que de un mismo problema matemtico realizan varios autores;
cuestiones de historiografa y su incidencia en el desarrollo de algunas teoras matemticas;
aplicaciones de tcnicas y mtodos matemticos a la resolucin de ciertos problemas
histricos; interpretaciones de problemas matemticos con el simbolismo algebraico actual;
aspectos curiosos y singulares; importancia e influencia histrica ulterior de tcnicas y
mtodos matemticos y vnculos con otros temas; conexiones con cuestiones eruditas de
gran relevancia en la Historia de la Cultura y del Pensamiento; relaciones de las cuestiones
matemticas sobre hechos cientficos y filosficos; etc. Estos cuadros pueden ir solos o
acompaados de alguna ilustracin ad hoc y permiten una doble lectura de los documentos.
Pero su omisin en la lectura del grueso del texto no resta inteligibilidad. No obstante, por su
contenido, estos cuadros son interesantes centros de atencin que discurren a lo largo de
todo el documento y constituyen un buen complemento en muchos aspectos.
13
BIBLIA DE LAS MATEMTICAS
Los Elementos de Euclides como codificacin de los fundamentos de la Geometra
de la regla y el comps son el Tesoro matemtico de la humanidad desde hace
ms de dos mil aos.
REY,A. El apogeo de la ciencia tcnica griega. UTEHA, Mxico 1962. Vol.1. Cap.4. p.176.
Este maravilloso libro [Los Elementos de Euclides] ha sido, es y ser el libro de
texto de Matemticas ms grande de todos los tiempos.
T.L.Heat. History of Greek Mathematics. Dover, New York, 1981. Vol.1. p.358.
Los Elementos de Euclides reducen a todos sus predecesores a objetos de mero
inters histrico.
O.Neugebauer. The exacts Sciences in antiquity. Dover. New York, 1969. p. 145.
Con Euclides comienza verdaderamente la edad de oro de la Geometra griega.
W.Knorr Matemticas (en El Saber griego. Akal, Madrid, 2000, p.322).
El marco histrico-cultural de Los Elementos.
Euclides, el autor de Los Elementos.
El propsito de Los Elementos de Euclides.
Citas memorables sobre Los Elementos de Euclides.
Organizacin y metodologa de Los Elementos de Euclides.
Definiciones, postulados y nociones comunes.
Las Proposiciones.
Los libros geomtricos de Los Elementos de Euclides.
El Libro I.
El Libro II.
El Libro III.
El Libro IV.
El libro V.
El Libro VI.
El libro X.
El Libro XI.
El Libro XII.
El Libro XIII.
Los Libros apcrifos XIV y XV.
La influencia histrica de Los Elementos de Euclides.
El sustrato filosfico de Los Elementos de Euclides.
La transmisin de Los Elementos de Euclides. Las diversas ediciones.
La dimensin escolar y el valor didctico de Los Elementos de Euclides
Consideraciones finales sobre Euclides y Los Elementos.
Anexo: de la edicin visual de Los Elementos de O.Byrne (1847).
Bibliografa.
14
El marco histrico-cultural de Los Elementos de Euclides
A la muerte de Alejandro Magno se inicia una feroz lucha por el poder entre sus generales
ms renombrados que conduce a la divisin del imperio alejandrino. Hacia el ao 306 a.C.,
Ptolomeo I Soter (el Salvador) consolida su poder en la parte egipcia del imperio y
favorece el flujo de cientficos, artistas y tcnicos procedentes de todos los rincones del
mbito helnico, iniciando una encomiable labor de mecenazgo cultural y cientfico, acorde
con su espritu ilustrado, de modo que el centro de la Cultura griega se desplaza de Atenas
a Alejandra, que se convierte en la verdadera capital de la civilizacin helenstica y se
transforma en el foco de la cultura, la ciencia y el saber ms importante del mundo
mediterrneo, situacin que se prolongara mucho ms all de la dominacin romana, hasta
la cada de la ciudad en manos de los rabes en el ao 641 de nuestra era.
Ptolomeo estableci una de las instituciones cientficas ms relevantes en toda la Historia de
la Cultura, el Museo de Alejandra nombre que proviene de los antiguos cenculos
pitagricos de carcter cientfico, filosfico y religioso que con el tiempo se convirti en el
centro principal de estudio e investigacin del Mediterrneo, foco de atraccin para los
estudiosos y ncleo de la cultura helenstica. Todava permanece en Atenas la Academia de
Platn y el Liceo de Aristteles, pero ms bien entregados al cultivo de la Filosofa, mientras
que debido a que la Biblioteca de Alejandra dispona prcticamente todo el material
bibliogrfico conocido y a la proteccin que ejerca oficialmente la dinasta de los Lgidas
que instaura el fundador, Ptolomeo I, el Museo lleg a albergar a los ms importantes
cientficos y eruditos, en condiciones de seguridad y bienestar reciban un salario del
Estado y vivienda lo que facilitaba su dedicacin exclusiva a la enseanza aunque el
dictado de las lecciones no era regular y a la investigacin, en aras de la magnificacin del
acervo cientfico y del desarrollo de un ambiente docente cuyo magisterio beneficiaba a
multitud de estudiantes y estudiosos provenientes de todos los rincones del mundo
helenizado. El Museo era en cierto modo comparable a una universidad estatal actual donde
investigaban y enseaban ms de un centenar de investigadores, que se consideraban de
dos tipos: los fillogos dedicados al estudio crtico de los textos, a la Historiografa, la
Mitografa y la Gramtica y los filsofos, que en realidad eran los cientficos.
La ciencia alejandrina haba recibido una gran influencia aristotlica. Algunos miembros del
Liceo aristotlico, como Estratn de Lmpsaco, haban sido llamados a Alejandra,
llevndose gran parte de los fondos bibliogrfico del Liceo, que iban a constituir el primer
ncleo bibliogrfico de la Biblioteca, que en sus mejores tiempos lleg a disponer de ms de
setecientos mil ejemplares. No obstante, la ciencia del Museo abandon la exigencia
filosfica aristotlica acerca de la bsqueda de la unidad del saber y se aplic a la rigurosa
investigacin sectorial sobre problemas de disciplinas autnomas concretas: Medicina,
Astronoma, Matemticas, Mecnica, etc. Por eso el sabio tpico del Museo es el docto
competente y especializado en una materia singular, seria y rigurosa, a la que otorga toda
su dedicacin. A esta imagen responde con exactitud Euclides que trabaj en Alejandra
cuando empezaba uno de los perodo ms gloriosos y de mayor florecimiento, hacia
comienzos del siglo III a.C.
Ms importante an que la ascendencia aristotlica fue el influjo de la Filosofa platnica, de
donde proviene la gran dedicacin de los cientficos alejandrinos a la Geometra y a la
Astronoma, basando estas ciencias en el puro razonamiento y hacindolas independientes
de toda experiencia sensible y de todo aspecto prctico y concreto de la realidad.
Adems de Euclides, investigaron y escribieron en Alejandra la mayor parte de los grandes
matemticos posteriores a Platn: Aristarco (hacia 280 a.C.), Eratstenes (h.240 a.C.) que
lleg a ser el bibliotecario, Hipsicles (h.150 a.C.), Hiparco (h.140 a.C.), Menelao (h.100 a.C.),
Hern (h.65 d.C.), Ptolomeo (h.150 d.C.), Diofanto (h.250 d.C.), Pappus (h.325 d.C.), Ten
(h.390 d.C.), su hija Hipatia (h.410 d.C.). Al nombre de todos estos clebres matemticos
acompaa siempre el gentilicio de Alejandra. Otros matemticos importantes como
Arqumedes (h.250 a.C.), Apolonio (h.200 a.C.), Nicmaco (h.100 d.C.) y Proclo (h.460
d.C.) no vivieron de forma permanente en Alejandra, pero se formaron, se informaron y
visitaron el gran emporio cientfico secular.
15
La Gran Sala de la antigua Biblioteca de Alejandra. Reconstruccin basada en datos documentales. La
ilustracin procede de la obra de Carl Sagan Cosmos (Planeta, Barcelona, 1982, p.21)
El gran divulgador de la Historia de la Ciencia C.Sagan escribe en su famosa obra (pp. 1821):
La Biblioteca y el Museo Alejandra fueron en su poca el cerebro de la mayor ciudad del planeta, el
primer autntico instituto de investigacin de la historia del mundo. [...] Haba en la Biblioteca una
comunidad de eruditos que estudiaban el Cosmos entero. Exploraban la fsica, la literatura, la medicina, la
astronoma, la geografa, la filosofa, las matemticas, la biologa y la ingeniera. La ciencia y la erudicin
haban llegado a su edad adulta. El genio floreca en aquellas salas. La Biblioteca de Alejandra es el lugar
donde los hombres reunieron por primera vez de modo serio y sistemtico el conocimiento del mundo.
Adems de Eratstenes, hubo el astrnomo Hiparco, que orden el mapa de las constelaciones y estim el
brillo de las estrellas; Euclides, que sistematiz de modo brillante la geometra [...], Dionisio de Tracia, el
hombre que defini las partes del discurso y que hizo en el estudio del lenguaje lo que Euclides hizo en la
geometra; [...] Hern, inventor de cajas de engranajes y de aparatos de vapor, y autor de Autmata, la
primera obra sobre robots; Apolonio, el matemtico que demostr las formas de las secciones cnicas [...]
las curvas que como sabemos hoy siguen en sus rbitas los planetas, los cometas y las estrellas;
Arqumedes, el mayor genio mecnico hasta Leonardo de Vinci; y el astrnomo y gegrafo Ptolomeo, que
compil gran parte de lo que es hoy la seudociencia de la astrologa: su universo centrado en la Tierra
estuvo en boga durante 1500 aos, lo que nos recuerda que la capacidad intelectual no constituye una
garanta contra los yerros descomunales. Y entre estos grandes hombres hubo una gran mujer, Hipatia,
matemtica y astrnoma, la ltima lumbrera de la Biblioteca, cuyo martirio estuvo ligado a la destruccin
de la Biblioteca siete siglos despus de su fundacin [...].
Los reyes griegos de Egipto que sucedieron a Alejandro tenan ideas muy serias sobre el saber. Apoyaron
durante siglos la investigacin y mantuvieron la Biblioteca para que ofreciera un ambiente de trabajo a las
mejores mentes de la poca. La Biblioteca constaba de diez grandes salas de investigacin, cada una
dedicada a un tema distinto, haba jardines botnicos, un zoo, salas de diseccin, un observatorio, y una
gran sala comedor donde se llevaban a cabo con toda libertad las discusiones crticas de las ideas.
El ncleo de la biblioteca era su coleccin de libros. Los organizadores escudriaron todas las culturas y
lenguajes del mundo. Enviaban agentes al exterior para traer libros que eran copiados y devueltos luego a
sus propietarios. [...] Parece probable que la Biblioteca contuviera medio milln de volmenes, cada uno
de ellos un rollo de papiro escrito a mano. [...] Alejandra era la capital editorial del planeta. [...] El arte de
la edicin crtica se invent all. [...] Los Ptolomeos dedicaron gran parte de su enorme riqueza a la
adquisicin de todos los libros griegos [...]. En raras ocasiones un Estado ha apoyado con tanta avidez la
bsqueda del conocimiento. [...] Los Ptolomeos no se limitaron a recoger el conocimiento conocido, sino
que animaron y financiaron la investigacin cientfica y de este modo generaron nuevos conocimientos.
Los resultados fueron asombrosos.
LA BIBLIOTECA Y EL MUSEO DE ALEJANDRA
SEGN CARL SAGAN
16
Euclides, el autor de Los Elementos
Euclides y Arqumedes son las dos figuras ms importantes de la Matemtica griega.
Mientras que Arqumedes es el investigador por excelencia, que incrementa de forma muy
considerable el caudal matemtico griego, la trascendente tarea de Euclides estriba en
estructurar el patrimonio matemtico griego en un entramado consistente, claramente
organizado mediante una concatenacin lgica de los resultados Los Elementos. As que
ms que crear unas matemticas nuevas (lo que hizo toda una brillante plyade de
matemticos anteriores Tales, Pitgoras, Hipcrates, Demcrito, Arquitas, ... y sobre todo
los de la Academia de Atenas Teeteto, Eudoxo, Menecmo, Dinostarto, ... que bajo la
direccin matemtica y filosfica platnica realizaron el llamado milagro griego en
Matemticas), a Euclides le cabe el inmenso mrito de la ordenacin y sistematizacin de la
Geometra griega elemental, de manera que con independencia de sus aportes originales,
su mayor contribucin se le reconoce como gran compilador y creador de un estilo de
exposicin el mtodo axiomtico, de modo que en lenguaje actual diramos que Euclides
es un gran maestro y su obra fundamental un Libro de Texto, que establece un frreo
paradigma de exposicin y de demostracin en Matemticas, una especie de norma
acadmica de obligado respeto para todo matemtico.
Hay una notable discrepancia entre el valor inconmensurable de la obra de Euclides y la
ignorancia que se tiene en torno a su persona y las circunstancias de su vida, incluso la
fecha y el lugar de nacimiento. Los exiguos datos biogrficos se reducen a unos pocos
comentarios y algunas ancdotas que se fueron recogiendo en ciertas obras escritas varios
siglos despus de su existencia, sobre todo al final de la cultura grecoromana y a lo largo
de la Edad Media. La informacin no puede ser, pues muy fidedigna. Incluso sabios
prximos en el tiempo, como Arqumedes de Siracusa y Apolonio de Perga, sobre los que la
obra eucldea tuvo una influencia capital, apenas lo mencionan. Apolonio lo cita en un
prlogo y en Arqumedes hay slo dos citas de Los Elementos de Euclides; estn ambas en
el tratado Sobre la Esfera y el Cilindro, en las proposiciones I.2 (refirindose a la Proposicin
I.2 de Los Elementos) y en la I.6 (refirindose a la Proposicin XII.2).
Hacia el ao 300 a.C. Euclides debi de llegar a Alejandra, requerido como profesor por las
instituciones docentes del Museo, y all vivi el resto de su vida enseando y escribiendo
sobre Matemticas. Por la naturaleza de su obra, Euclides habra estudiado probablemente
con los discpulos de Platn y tal vez en la Academia misma, donde habra conocido los
ltimos resplandores de su foco cientfico, siendo responsable de su irradiacin hacia la
nueva sede del Saber, Alejandra.
Las referencias ms fiables sobre Euclides seran las que relata Proclo (siglo V d.C.) en su
famoso Comentario al Libro I de Los Elementos de Euclides una de las principales fuentes
sobre la Matemtica griega, a la que aludiremos de forma reiterada, donde el filsofo
neoplatnico da unas valiossimas referencias biogrficas y bibliogrficas, que constituyen
un resumen sumario de la Historia de las Matemtica griega desde los orgenes hasta
Euclides, y que tiene la excepcional importancia de ser uno de los escasos documentos
escritos sobre los primeros matemticos griegos. Transcribamos algunos fragmentos del
mismo referentes a Euclides, tomados de El principal texto antiguo relativo a la Historia de la
Geometra (en A.Rey, El apogeo de la ciencia tcnica griega, UTEHA,Mxico,1962. pp.79):
Euclides vivi en los das de Ptolomeo I, pues es citado por Arqumedes, que naci
en las postrimeras del reinado de aquel soberano y, por otra parte, se cuenta que
Ptolomeo pregunt cierto da a Euclides si no haba un camino ms corto para la
Geometra que Los Elementos; obtuvo la siguiente respuesta: "En la Geometra no hay
camino para los reyes".
As pues, Euclides es ms reciente que los discpulos de Platn, pero ms antiguo que
Eratstenes y que Arqumedes, contemporneos segn el mismo Eratstenes.
[...] Le debemos [adems de Los Elementos] otras muchas obras de Matemticas,
escritas con singular exactitud y llenas de ciencia terica. Tales son sus pticas, sus
Catptricas, sus Elementos de Msica y tambin su libro Sobre las Divisiones.
17
Euclides a los pies de la Geometra. Coleccin Camb. Barcelona
Las leyendas asociadas a Euclides lo describen como el tpico sabio bonachn, modesto y amable,
pero no exento de cierta irona mordaz. Cuenta una leyenda relatada por Estobeo (siglo V d.C) que
cuando uno de sus alumnos le espet al maestro la consabida pregunta: Para que sirve el estudiar
Geometra?, Euclides llamo su esclavo y le dijo Dale unas monedas a ste, ya que necesita sacar
provecho de lo que aprende.
Esta ancdota es coherente con un aspecto fundamental de la Matemtica griega: e carcter de
ciencia liberal y desinteresada. En efecto los griegos independizaron las Matemticas del
pragmatismo emprico y de la utilidad inmediata, porque como aduce Platn en la Repblica (525a
534a) las ciencias matemticas tienen la misin pedaggica de formar mentes bien hechas,
cumpliendo con el fin propedutico de servir de introduccin al estudio de la Filosofa. Las
Matemticas, segn los griegos, deben estudiarse por la aficin y el amor al saber en s mismo, es
decir las Matemticas deben estudiarse por Filosofa y para la Filosofa.
EUCLIDES Y LA MATEMTICA
COMO CIENCIA LIBERAL
18
PITGORAS, PLATN Y EUCLIDES
TRES HITOS DE LA MATEMTICA GRIEGA
1. Sello con la efigie de Pitgoras. San Marino, 1983.
2. Sello con la efigie de Platn. Espaa, 1998.
3. Sello con la efigie de Euclides. Maldivas, 1988
La Matemtica griega se desarrolla en tres fundamentales estadios temporales (siglos VI, IV, III, A.C) y
geogrficos (la magna Grecia del sur de Italia, Atenas y Alejandra) y sus figuras principales son
Pitgoras, Platn y Euclides. Cada uno de ellos aporta una singularidad esencial:
Pitgoras es el instaurador de la tradicin matemtica griega y el artfice de la fundamentacin
filosfica e ideolgica de la Matemtica.
Platn es la figura central en todos los sentidos; su actividad es la que confiere un estatuto
gnoseolgico y ontolgico a la Geometra griega. Adems, cre un entorno acadmico donde se
potenciaron hasta el paroxismo los estudios geomtricos.
Euclides es el sistematizador de todos los conocimientos matemticos elementales precedentes. Su
obra, Los Elementos, se convierte en el canon normativo de exposicin y demostracin en la
Geometra griega, y como tal marca una pauta a lo largo de veintids siglos.
La tradicin matemtica de la Escuela Pitagrica es recogida por Platn y la Academia de Atenas para
ponerla en manos de Euclides, que en la compilacin enciclopdica de Los Elementos crear un modelo
geomtrico estructural paradigmtico.
La tradicin matemtica griega, instaurada por Pitgoras, es la base de los estudios matemticos de la
Academia de Platn y en manos de Euclides alcanza el carcter de modelo geomtrico cannico en Los
Elementos, gran parte de cuyo contenido, sobre todo los Libros I, II, III, IV, VII y XIII es de raz
pitagrica, siendo el resto de origen platnico. A Euclides hay que atribuirle el inmenso mrito de la
demostracin original de algunas Proposiciones de Los Elementos (por ejemplo la I.47 Teorema de
Pitgoras) y sobre todo la estructuracin lgica con el estilo axiomtico de presentacin.
19
El propsito de Los Elementos de Euclides.
Los Elementos de Euclides vertebran la Geometra griega elemental en toda su extensin y
son el marco inevitable de referencia. A veces se cree que Los Elementos de Euclides
contienen un resumen sumario y exhaustivo de toda la Geometra griega; pero en realidad la
obra de Euclides es un compendio, en lenguaje geomtrico, de todos los conocimientos de
la Matemtica elemental, es decir, por una parte, la Geometra sinttica plana puntos,
rectas, polgonos y crculos y espacial planos, poliedros y cuerpos redondos; y por otra
parte, una Aritmtica y un lgebra, ambas con una indumentaria geomtrica. As pues, Los
Elementos de Euclides son una exposicin en orden lgico de los fundamentos de la
Matemtica elemental, y por tanto no contienen, por ejemplo, el estudio de las Cnicas de
Menecmo ni de otras curvas planas superiores la Hipopede de Eudoxo, la Cuadratriz de
Hipias o Dinostrato, la Concoide de Nicomedes, la Cisoide de Diocles, etc. que eran bien
conocidas y utilizadas en la poca en la resolucin de problemas geomtricos, considerados
de naturaleza superior, como los Tres Problemas Clsicos cuadratura del crculo,
duplicacin del cubo y triseccin del ngulo. A este respecto escribe Proclo en su
Comentario sobre Euclides:
Son singularmente admirables sus Elementos de Geometra por el orden que reina
en ellos, la seleccin de los teoremas y problemas tomados como elementos pues no
insert en modo alguno todos los que poda dar, sino nicamente aquellos que son
susceptibles de desempear el papel de elementos, y tambin la variedad de los
razonamientos desarrollados de todas las maneras y que conducen a la conviccin, ya
partiendo de las causas, ya remontndose a los hechos, pero que son siempre
irrefutables, exactos y del ms cientfico carcter.
Pero cul sera el propsito de Euclides escribiendo Los Elementos?
El mismo Proclo al final de su Comentario nos dice algo al respecto:
Los Elementos son una gua segura y completa para la consideracin cientfica de los
objetos de la Geometra.
Y en un prrafo anterior Proclo escribe:
Euclides dio los procedimientos que emplea la perspicaz inteligencia y por los cuales
es posible ejercitar a los principiantes en el estudio de la Geometra para que
reconozcan los paralogismos y eviten los errores.
El propsito de Euclides escribiendo Los Elementos sera pues de ndole metodolgico,
construyendo una especie de manual, a base de estructurar en una secuencia jerrquica
lgica los resultados geomtricos de sus antecesores, en particular los de Tales, Pitgoras,
Hipcrates, Demcrito, Eudoxo y Teeteto. En efecto, Proclo escribe en otro prrafo:
Euclides, el autor de los Elementos orden diversos trabajos de Eudoxo, mejor los
de Teeteto y produjo tambin demostraciones irrefutables para aquello que sus
predecesores no haban probado de manera rigurosa.
Pero es muy probable que Euclides tuviera un propsito mucho ms ambicioso todava, que
sera plasmar en un cuerpo de doctrina geomtrico, la forma definitiva que deba estructurar
toda la Matemtica despus de la solucin que dio la Academia platnica a la tremenda
crisis de fundamentos que produjo la aparicin de las magnitudes inconmensurables. De
hecho Proclo enfatiza en su Comentario:
Euclides era platnico en cuanto a su opinin y la filosofa del maestro le era muy
familiar, [...].
20
Euclides. Fragmento de una miniatura medieval. Oxford Bodleian Library.
Portada de El Comentario al Libro I de los Elementos de Euclides de Proclo en una edicin de 1560.
El Comentario de Proclo es uno de los documentos histrico-crticos ms valiosos y excepcionales sobre la Historia
de la Geometra Griega que contiene numerosas referencias biogrficas y bibliogrficas, que son las nicas que
conocemos de algunos gemetras anteriores al helenismo, y de algunas cuestiones matemticas que interesaron a
los antecesores de Euclides.
El texto de Proclo tal vez se compona de apuntes para sus lecciones diarias de Geometra en La Academia de
Atenas, la cual lleg a dirigir 800 aos despus de la muerte de su fundador. Proclo escribi, adems, amplios
comentarios a algunos dilogos de Platn (la Repblica, el Timeo y el Parmnides) y diversas obras sobre
Astronoma. Para sus comentarios crticos, Proclo debi tener a su disposicin materiales bibliogrficos antiguos,
por eso se ha ponderado tanto su labor de transmisin del conocimiento matemtico. Son muy interesantes
tambin sus disquisiciones de Filosofa de la Matemtica, que tratan aspectos como diferencia entre axiomas y
postulados, teoremas y problemas, naturaleza de los objetos matemticos y en general sobre la esencia matemtica,
y analizan con detalle los dos aspectos, inteligible y sensible, de la Matemtica, es decir, la Geometra y la
Aritmtica, por una parte, y la Mecnica, la Astronoma, la ptica, la Geodesia y la Logstica, por otra. A Proclo se
le debe, adems, las primeras tentativas de demostrar el famoso quinto postulado de Euclides de las paralelas, con
sus implicaciones filosficas.
El Comentario al Libro I de los Elementos de Euclides de Proclo es un libro de textos del siglo V d.C. sobre una obra
que databa de ms de 700 aos. Proclo fue mejor filsofo de credo platnico que matemtico, pero sobre todo fue
un crtico muy agudo, competente e instruido que posea en su mente todos los conocimientos de ms de mil aos
de investigacin matemtica. Proclo considera a Euclides como miembro de la antigua Academia platnica a la que
habra glorificado concluyendo Los Elementos con uno de los tpicos ms queridos por Platn: los slidos
regulares del Timeo. Como buen comentarista, Proclo explica el significado del trmino Elementos que da ttulo a
la obra de Euclides (Proclo de Licia [en Cientficos griegos. Estudio prelim. de F.Vera, Aguilar, 1970, pp. 115758]):
Son singularmente admirables sus Elementos de Geometra por el orden que reina en ellos, la seleccin de los
teoremas y problemas tomados como elemento, pues no insert en modo alguno todos los que poda dar, sino
nicamente aquellos que son susceptibles de desempear el papel de elementos, es decir, de informar sobre los
primeros principios geomtricos. [...] Para el aprendiz, Los Elementos se proponen iniciarlo en el estudio de toda la
Geometra, porque empezando por ellos llegar a conocer las otras ramas de esta ciencia, [...] porque es aqu donde
estn reunidos y ordenados convenientemente los teoremas que parecen ms primitivos, ms sencillos y ms
prximos a las primeras hiptesis, sobre los que se apoyan los dems. [...] Elemento es lo ms sencillo en que se
resuelve lo complejo, siendo elementos las cosas ms primitivas que se establecen par a un resultado, como los
axiomas, que son los elementos de los teoremas, y esta es la significacin que en sus Elementos dio Euclides [...]
donde contempla las figuras ms primordiales, y pasa de las cosas sencillas a las complejas y establece sus
especulaciones partiendo de nociones comunes que le dan claridad y orden.
Para Proclo el trmino elemento tiene dos sentidos que se corresponden con las dos acepciones habituales.
Elementos son los fundamentos o conocimientos bsicos sobre los que se edifica una teora cientfica, pero a su vez
una cuestin se concibe como elemental cuando en general es bien conocida.
EL COMENTARIO DE PROCLO AL LIBRO I
DE LOS ELEMENTOS DE EUCLIDES
21
Portada y dos pginas de la Editio princeps de Los
Elementos de Euclides (S.Grynaeus el viejo, Basilea,
1533) que fija por primera vez el texto estndar en
griego con base en dos manuscritos griegos: uno de
Venecia (codex venetus marcianus 301) y otro de Pars
(codex Paris gr. 2343).
Los Elementos de Euclides son un Corpus geomtrico
que compila de forma enciclopdica la Geometra
griega elemental. Se componen de trece libros,
organizados en 465 proposiciones, 23 definiciones, 5
postulados y 5 nociones comunes (axiomas).
En Los Elementos, Euclides establece un frreo
paradigma estilstico axiomtico-deductivo de
exposicin y de demostracin en Matemticas, a base
de ordenar en una secuencia jerrquica lgica los
resultados geomtricos de sus antecesores (en
particular los de Tales, Pitgoras, Hipcrates,
Demcrito, Eudoxo y Teeteto) plasmando en un
cuerpo de doctrina geomtrica la forma definitiva que
deba estructurar toda la Matemtica griega despus
de la solucin que dio la Academia platnica a la
tremenda crisis de fundamentos que produjo la
aparicin de las magnitudes inconmensurables. El
estilo sinttico eucldeo se impondr en los ms
importantes tratados de la Matemtica griega , en
particular Las Cnicas de Apolonio y Las Obras de
Arqumedes.
Los Elementos de Euclides es el texto que ms veces se
ha editado, despus de La Biblia, siendo, adems, la
obra ms influyente de toda la literatura matemtica.
LA EDICIN PRINCEPS DE LOS ELEMENTOS DE EUCLIDES
22
CITAS MEMORABLES SOBRE EUCLIDES
1. Euclides, el autor de los Elementos orden diversos trabajos de Eudoxo, mejor los de Teeteto
y produjo demostraciones irrefutables para aquello que sus predecesores no haban probado
de manera rigurosa. [...]. Son singularmente admirables sus Elementos de Geometra por el
orden que reina en ellos, la seleccin de los teoremas y problemas [...] siempre irrefutables,
exactos y del ms cientfico carcter. [...]. Euclides dio los procedimientos que emplea la
perspicaz inteligencia y por los cuales es posible ejercitar a los principiantes en el estudio de la
Geometra para que reconozcan los paralogismos y eviten los errores. [...]. Este Libro
[Pseudaria] tiene por objetivo la purificacin y el adiestramiento de la inteligencia mientras
que Los Elementos son una gua segura y completa para la consideracin cientfica de los
objetos de la Geometra. Proclo. Comentarios al Libro I de los Elementos de Euclides (en A.Rey, El
apogeo de la ciencia tcnica griega, UTEHA, Mxico, 1962, pp.89).
2. Se cuenta que Ptolomeo pregunt cierto da a Euclides si no haba un camino ms corto para la
Geometra que Los Elementos; obtuvo la siguiente respuesta: "En la Geometra no hay camino
para los reyes". Proclo. Comentario al Libro I de Los Elementos de Euclides (en A.Rey, p.9)
3. Mientras admiro a los que han observado la verdad de este teorema [Proposicin I.47 Teorema
de Pitgoras], ensalzo ms todava al escritor de Los Elementos, no slo porque consigui una
demostracin mucho ms lcida, sino tambin porque obtuvo un teorema mucho ms general
[Proposicin VI.31] mediante los irrefutables argumentos del Libro VI. Proclo. Comentarios al
Libro I de los Elementos de Euclides.
4. El muy sagaz Euclides recopil los fundamentos de la Geometra. Quien los conozca bien, no
tiene ninguna necesidad de lo escrito a continuacin, [...]. A.Durero. De la Medida. Akal, Madrid.
2000. p.133.
5. Hasta los 40 aos no se interes por la Geometra, hecho que ocurri por accidente al hojear
casualmente en una biblioteca un libro de Los Elementos de Euclides, abierto por la
Proposicin I.47. Vive Dios! exclam Esto es imposible! As que se puso a leer la
demostracin que le llev a otras anteriores y stas le remitieron a otras, que tambin ley,
hasta que qued absolutamente convencido de esa verdad. Esto le hizo enamorarse de la
Geometra. J.Aubrey. De la vida de T.Hobbes (en Brief Lives), Londres, 1694.
6. Entre Pitgoras y Euclides, La Geometra plana ha sufrido en su conjunto una revisin
profunda, cuyo momento decisivo ha sido el trabajo de Eudoxo sobre las proporciones.
P.Tannery. La gomtrie grecque. Gauthier-Villars, Pars,1887, p.98.
7. Lincoln: He aprendido a pensar con lgica leyendo los Elementos de Euclides. [...] Tras la lectura
de todas las proposiciones de los seis primeros libros de Euclides, encontr el sentido de lo que
significa demostrar. J.Mellon. The Face of Lincoln, Viking, New York, 1979, p.67).
8. Einstein: A los 12 aos un to mo me haba contado el Teorema de Pitgoras antes de que la
Santa Geometra de Los Elementos de Euclides cayera en mis manos. [...]. Es maravilloso que un
hombre sea capaz de alcanzar tal grado de certeza y pureza haciendo uso exclusivo de su
pensamiento. P.A.Schilpp. Sketch autobigrfico sobre A.Einstein. Philosopher-Scientist., 1951.
9. Einstein: Si Euclides no es capaz de encender tu entusiasmo juvenil, entonces no has nacido
pasa ser un pensador cientfico. Americam Mathematical Montly, vol.99, n8, 10/1992, p.773.
10. Los Elementos es el libro ms reproducido de todo el patrimonio cultural despus de la Biblia.
[...]. Es una de las voces ms importantes de la herencia clsica, una especie de propiedad
sagrada como demostracin de humanidad y manifestacin de cultura y civilizacin
superiores. [...]. Euclides no es un mero recopilador y ordenador, aunque dicha actividad ya
sera suficiente para elevarle a la categora de inmortal, porque se trata nada menos que de la
concepcin unitaria de la Matemtica .[...]. Los Elementos capacitan para aduearse de toda la
Matemtica, son un camino real sino el nico que conduce al dominio de las Matemticas.
E.Colerus. Breve historia de las Matemticas. Doncel, Madrid, 1972. Vol.1, pp. 47,48, 49,53.
23
11. La lectura de Euclides a los 11 aos fue uno de los grandes acontecimientos de mi vida, tan
deslumbrante como el primer amor. B.Russell. Autobiography. Little, Brown & Co, Boston, 1951,
p.37.
12. Mientras no existi una teora aritmtica adecuada de los inconmensurables, el mtodo de
Euclides [Libro V de Los Elementos] era el mejor posible en Geometra. Cuando Descartes
introdujo la geometra coordenada, dando el lugar supremo a la Aritmtica, supuso la
posibilidad de una solucin del problema de los inconmensurables, aunque entonces no fue
encontrada. B.Russell. Historia de la Filosofa occidental. Austral.Madrid,1995. Vol.1. Libro 1.Cap.3.
p.73.
13. Eudoxo construy una profunda teora que aparece descrita en el Libro V de Los Elementos de
Euclides, y que es considerada por muchos matemticos modernos como el logro ms
depurado de las Matemticas griegas. Esta teora es sorprendentemente moderna en espritu, y
puede ser considerada como el principio de la moderna teora de nmeros irracionales, que ha
revolucionado el Anlisis Matemtico y ha tenido mucha influencia en la filosofa reciente.
G.H. Hardy. Apologa de un matemtico. Nivola, Madrid, 1999. pp.9899.
14. Eudoxo est en la cumbre de las matemticas griegas por su Teora de las Proporciones. [...].
Eudoxo ha encontrado el primer mtodo lgicamente satisfactorio, que Euclides ha
reproducido en el Libro V de sus Elementos, para resolver los problemas de la continuidad, los
enigmas del infinito y los ddalos de los nmeros irracionales estos problemas. E.Bell. Les
grands mathmaticiens. Payot. Pars, 1950, pp.3637.
15. La Geometra euclidiana, que es idntica, grosso modo, a la Geometra popular de todos los
tiempos, no coincide con la intuicin sino en muy estrechos lmites, en el papel. [...] Euclides
procede de acuerdo con el sentir antiguo que obedece al terror csmico ante lo
inconmensurable. O.Spengler. La decadencia de Occidente. Austral, Madrid, 1998. Cap.I.1. p.155.
16. La obra ms representativa del saber geomtrico griego es el famoso tratado llamado Elementos
de Euclides, de tan extraordinario valor, que puede afirmarse que jams otro alguno ha
ocupado en la Ciencia tan preeminente lugar. [...]. El papel verdadero de Los Elementos de
Euclides fue el de una introduccin al estudio de la Geometra y de la Matemtica en general,
con la tendencia de tratar sta segn las ideas de la escuela platnica, como preparacin para
estudios filosficos generales. [...]. La teora de las Proporciones es un ejemplo caracterstica de
la tenacidad con que la tradicin eucldea se conserva en la enseanza geomtrica. [...]. En el
quinto Libro de Euclides se establece por primera vez la licitud del clculo con nmeros
irracionales, sobre la base de definiciones rigurosas. [...]. La meta ideal que procura alcanzar
Euclides es deducir de un modo rigurosamente lgico todas las propiedades geomtricas de
ciertas premisas establecidas al principio. En la importancia de este intento reside la clave de la
significacin histrica de Los Elementos de Euclides. F.Klein. Matemtica elemental desde un
punto de vista superior. Vol. II. Geometra Biblioteca Matemtica. Dtor: J.Rey Pastor. Madrid, 1931.
pp. 251, 253, 257, 258, 260, 319.
17. Los Elementos de Euclides como codificacin de los fundamentos de la Geometra de la regla y
el comps son el Tesoro matemtico de la humanidad desde hace ms de dos mil aos. A.Rey.
El apogeo de la ciencia tcnica griega. UTEHA, Mxico 1962. Vol.1. Cap.4. pg.176.
18. Este maravilloso libro [Los Elementos de Euclides] ha sido, es y ser el libro de Matemticas
ms grande de todos los tiempos. T.Heat. History of Greek Mathematics. Dover, N. York, 1981.
Vol.1. p.358.
19. Los Elementos de Euclides reducen a todos sus predecesores a objetos de mero inters
histrico. O.Neugebauer. The exacts Sciences in antiquity. Dover. New York, 1969. p.145.
20. La introduccin de los postulados en Los Elementos de Euclides revela una lgica matemtica
mucho ms sutil que la lgica aristotlica. [...] La originalidad de Los Elementos reside el
sumo cuidado con el cual, con el mnimo de postulados, se esfuerza en obtener el mximo de
resultados. J.Itard. Essais dHistoire de les Mathematiques. Blanchard, Pars, 1984. p.91.
24
21. La lectura de Euclides no slo hace gemetras los jvenes, sino que insensiblemente los va
habituando a ser excelentes lgicos. Annimo. Tratado de Geometra. Siglo XVIII
22. Con todo derecho la Geometra de Euclides habra que denominarla Geometra platnica.
G.Reale. Platn. En bsqueda de la sabidura secreta. Herder, Barcelona, 2001, p.213.
23. Ninguna obra cientfica, filosfica o literaria, como Los Elementos de Euclides, en su largo
caminar desde la antigedad hasta el presente, ha cado bajo la pluma de un editor con tanta
frecuencia. J.Murdoch. Euclid: Transmission of the Elements. Citado por L.Vega en la Introduccin
general de Euclides: Elementos. Gredos. Madrid, 1996. Vol. 1, p.123.
24. Hasta mediados del siglo XIX no hay un sistema de Geometra digno de tal nombre que se
aparte sustancialmente del plan trazado en Los Elementos de Euclides. [...] Es un tratado que
funda de una vez por todas una disciplina cientfica que representa por ms de veinte siglos el
espejo y la norma del rigor en sta y otras ciencias afines. La fundacin de la Geometra y del
llamado mtodo axiomtico con Los Elementos de Euclides es un caso nico en la historia de
las fundaciones. [...]. La larga historia de los intentos fallidos de apear de su pedestal el
postulado eucldeo de las paralelas es la ms popular de cuantas se refieren al desarrollo de las
Matemticas. Luis Vega (en Introduccin general de Los Elementos de Euclides de Editorial Gredos.
Madrid, 1996. pp. 7, 57.
25. Los Elementos de Euclides constituyen, sin ninguna duda, el libro sobre Matemticas de mayor
influencia que jams se haya escrito, llegando a formar parte de toda educacin liberal. [...] El
efecto que le produjo la lectura de Euclides al artista del Renacimiento (Durero, Leonardo, ...)
fue arrollador. [...]. D.Pedoe. La Geometra en el arte. Gustavo Gili. Barcelona, 1979, pp.123, 126.
26. Euclides es el autor del texto de Matemticas de xito ms fabuloso que se haya escrito nunca.
[...]. Los Elementos de Euclides es la ms famosa obra matemtica de la Historia. [...]. No slo
fueron la primera obra matemtica griega de importancia que ha llegado hasta nosotros, sino
tambin el libro de texto que ha ejercido una mayor influencia de todos los tiempos. [...] Fue
uno de los primersimos libros matemticos que se imprimi; se estima que desde entonces se
han publicado ms de un millar de ediciones. Ningn libro, salvo la Biblia puede jactarse de
haber tenido tantas, y desde luego ninguna obra matemtica ha tenido una influencia
comparable. C.B.Boyer. Historia de las Matemticas. Alianza Universidad. Madrid. 1986. pp. 141,
146, 162.
27. El grandioso conjunto de Los Elementos de Euclides fue autoridad indiscutida en las
Matemticas elementales hasta el siglo XIX. [...]. Con el Libro V nos encontramos ante una de
las cimas del pensamiento matemtico, y puede afirmarse que este libro fue en verdad
asimilado y superado tan slo hace un siglo, ms o menos. R.Taton (compilador). La Ciencia
helenstica (en Historia general de las Ciencias. Orbis. Barcelona, 1988, vol.2, Lib.2, cap.2). p.350.
28. Los Elementos de Euclides ha sido durante 2300 aos un documento insuperado. Como toda
obra maestra puede ser ledo una y otra vez, suministrando nuevos aspectos del genio de su
creador. An hoy, estos viejos escritos constituyen una fuente ilimitada de goce para los que
disfrutan con la ingeniosidad y el artificio de un argumento matemtico elegante. W.Dunham.
Viaje a travs de los genios. Pirmide. Madrid, 1992. p.116.
29. El nombre de Euclides ha atravesado los siglos hasta nuestros das, cargado con un valor
simblico para la totalidad de la Matemtica, tal como la conceban idealmente los sabios y
pensadores. [...].Constituyen el cuerpo de doctrina central de las ciencias matemticas, del que
se puede derivar el resto. [...]. Fueron el principal vehculo de la transmisin del saber
matemtico de base en las pocas helenstica y romana. [...]. Los Elementos de Euclides
permanecen como ncleo de investigaciones dinmicas y su carrera, en este sentido, todava no
ha concluido. M. Caveing. Euclides (en El Saber griego. Akal, Madrid, 2000, pp.479, 480, 482, 485.
30. Los Elementos de Euclides han constituido el modelo de demostracin sistemtica de un
conjunto de conocimientos, modelo que tendr influencia mucho ms all de las Matemticas.
G. Lloyd. La demostracin y la idea de ciencia. (en El Saber griego. Akal, Madrid, 2000, p.479).
25
Organizacin y metodologa de Los Elementos de Euclides.
Los Elementos de Euclides constan de 465 Proposiciones organizadas en trece libros. Los
Libros I, II, III y IV tratan sobre las propiedades bsicas de figuras rectilneas y crculos. El
Libro V expone la Teora de la Proporcin de Eudoxo, que resuelve de forma brillante la
crisis producida por la aparicin de las magnitudes inconmensurables. El Libro VI aplica esa
teora al estudio de las figuras semejantes. Los Libros VII, VIII y IX tratan de Teora de
Nmeros, es decir de las propiedades de los nmeros enteros y la divisibilidad. El Libro X
introduce el Mtodo de Exhaucin y clasifica de forma sistemtica los segmentos
inconmensurables. Los Libros XI y XII estudian la geometra de slidos aplicando el Mtodo
de Exhaucin de Eudoxo al clculo del rea del crculo y algunos volmenes. Finalmente el
Libro XIII est dedicado al estudio exhaustivo de los cinco poliedros regulares.
Los Elementos de Euclides estn escritos en un lenguaje sinttico que ordena las diversas
proposiciones en una concatenacin lgica de forma que cada resultado se remonta a los
anteriores, sin introducir en el razonamiento ningn elemento antes haber demostrado su
existencia por medio de una construccin, prerrequisito que Euclides satisface en general
con gran habilidad y sofisticacin. Para la elevacin de su edificio geomtrico, Euclides
utiliza un mtodo de trabajo que requiere asumir ciertas afirmaciones previas, cuya exactitud
se considera evidente, as como ciertas construcciones que se suponen conocidas, es decir,
las definiciones, los postulados y los axiomas, de ah el nombre de mtodo axiomtico-
deductivo.
As pues, aunque no hay ninguna introduccin o prembulo de la obra, previamente, en el
Libro I, Euclides introduce unos preliminares a base de veintitrs definiciones, cinco
postulados y cinco nociones comunes o axiomas.
Definiciones, postulados y nociones comunes
Los Elementos de Euclides se inician en el Libro I con 23 definiciones de conceptos punto,
recta, superficie, ngulos, rectas perpendiculares y paralelas, crculo, semicrculo, los
diversos tipos de tringulos y cuadrilteros, etc., elementos geomtricos que se utilizarn
en la primera parte de la obra y que con gran probabilidad son debidos a la Academia
platnica. A lo largo del texto eucldeo se van aadiendo nuevas definiciones hasta un total
de ciento dieciocho. En Los Elementos las definiciones son frases breves y precisas con las
que se introducen los conceptos matemticos y se da nombre a los diversos elementos
geomtricos que intervienen en las proposiciones. Transcribiremos aqu las primeras
definiciones siguiendo las diversas ediciones de Los Elementos referenciadas en la
bibliografa.
Definiciones:
D.I.1. Punto es lo que no tiene partes.
D.I.2. Lnea es la longitud sin anchura.
D.I.3. Los extremos de la lnea son puntos.
D.I.4. Lnea recta es la que yace por igual sobre sus puntos.
D.I.5. Superficie es lo que slo tiene largo y ancho.
D.I.6. Los extremos de la superficie son lneas.
D.I.7. Superficie plana es la que yace por igual sobre sus rectas.
D.I.8. Angulo plano es la inclinacin de dos lneas que se encuentran en un plano y no
yacen las dos sobre una recta.
D.I.9. Si las dos lneas que contienen el ngulo son rectas, el ngulo se llama rectilneo.
D.I.10. Si una recta trazada sobre otra forma con ella dos ngulos contiguos iguales cada
26
uno de ellos es recto, y la recta se llama perpendicular a aquella sobre la cual se
traz.
D.I.11. ngulo obtuso es el mayor que el recto.
D.I.12. ngulo agudo es el menor que el recto.
D.I.13. Lmite es el extremo de algo.
D.I.14. Figura es lo comprendido por uno o varios lmites.
D.I.15. Crculo es una figura plana limitada por una sola lnea que se llama periferia
[circunferencia], respecto de la cual son iguales las rectas que inciden sobre ellas
trazadas desde uno de los puntos situados en el interior de la figura.
D.I.16. Este punto se llama centro del crculo.
D.I.17. Dimetro del crculo es una recta cualquiera que pase por el centro y cuyas dos
partes tengan sus extremos en la periferia. Esa recta divide al crculo en dos partes
iguales.
D.I.18. Semicrculo es la figura limitada por un dimetro y la periferia. El centro del
semicrculo es el mismo que el del crculo.
D.I.19. Figuras rectilneas son las limitadas por rectas. Trilteras si lo estn por tres,
cuadrilteras por cuatro y multilteras por ms de cuatro.
D.I.20. Entre las figuras trilteras el tringulo es equiltero si tiene los tres lados iguales,
issceles si solo tiene dos lados iguales y escaleno si sus tres lados son desiguales.
D.I.21. Entre la figuras trilteras, el tringulo rectngulo es el que tiene un ngulo recto;
obtusngulo, el que tiene un ngulo obtuso, y acutngulo, el que tiene sus tres
ngulos agudos.
D.I.22. Entre las figuras cuadrilteras, el cuadrado es equiltero y equingulo; el rectngulo,
equingulo, pero no equiltero; el rombo es equiltero, pero no rectangular; el
romboide, sin ser equiltero ni equingulo, tiene iguales los lados y los ngulos
opuestos. Las dems figuras cuadrilteras se llaman trapecios.
D.I.23. Rectas paralelas son las que, estando en el mismo plano y prolongadas al
indefinidamente, no se encuentran.
Claramente se pueden plantear algunas objeciones a la vaguedad y debilidad que presentan
algunas de las definiciones. Pero hay que tener cierta indulgencia lgica ya que no hay
ningn conjunto previo de elementos indefinidos en trminos de los cuales definir los dems,
es decir, en cualquier estructura lgica no se pueden definir todos los trminos, ya que toda
definicin consta de trminos, que a su vez habra que definir, de modo que la pretensin de
definirlo todo es quimrica y est condenada a la circularidad lgica. Un sistema lgico debe
arrancar de unos cuantos trminos no definidos sobre los que se basan todas las
definiciones posteriores. El numero de trminos no definidos debe ser lo mas exiguo posible,
pero su consideracin es inevitable. Por eso en las geometras modernas las nociones de
punto y recta son primigenias y permanecen si definir. Euclides con sus definiciones
pretende darnos una cierta imagen mental, fsica, intuitiva y convincente de los elementos
geomtricos.
En ninguna parte de Los Elementos de Euclides aparece el concepto de grado como unidad
de medida de los ngulos. La nica medida de ngulo considerada es el ngulo recto
definido por perpendicularidad como uno de los ngulos adyacentes iguales a lo largo de
una lnea recta.
Con base en estas definiciones, Euclides presenta a continuacin una lista de cinco
postulados y cinco nociones comunes (o axiomas). Los selecciona de forma muy juiciosa
para evitar reiteraciones o inconsistencias lgicas. Aqu Euclides sigue la orientacin de
Aristteles en el sentido de distinguir de forma clara entre axiomas como verdades
autoevidentes por ser comunes a todas las ciencias y postulados como verdades menos
27
obvias que se refieren solamente a la materia concreta de que se trate, en este caso a la
Geometra. Posteriormente a Euclides se distingua entre axioma como algo conocido o
aceptado como evidente y postulado como algo que se debe exigir. Digamos que
terminologa aparte, en el desarrollo ulterior de la Geometra tanto los axiomas como los
postulados de Euclides fueron aceptados como verdades incuestionables, al menos hasta el
advenimiento de las Geometras no Eucldeas.
Postulados:
P1. [Es posible] trazar una lnea recta desde un punto cualquiera a otro punto cualquiera.
P2. [Es posible] prolongar de una manera ilimitada en lnea recta una recta limitada.
P3. [Es posible] describir un crculo para cada centro y cada radio.
P4. Todos los ngulos rectos son iguales.
P5. Si una recta, al incidir sobre otras dos, forma del mismo lado ngulos internos menores
que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en
que estn los ngulos menores que dos rectos.
Los dos primeros postulados proporcionan la base lgica para realizar las construcciones
geomtricas que se pueden trazar con una regla no graduada, ya que nos permiten unir dos
puntos con una lnea recta (P1) y extender cualquier lnea recta dada (P2). El tercer
postulado aporta la base lgica para trazar un crculo de centro y radio dados. As pues, los
tres primeros postulados justifican los usos de los instrumentos euclidianos, la regla y el
comps, herramientas geomtricas por excelencia.
Aquilatando el significado del tercer postulado, digamos que el comps ideal de Euclides no
permite transportar una distancia igual a un segmento sobre otro segmento ms largo, a
partir de uno de sus extremos, es decir, el comps eucldeo es colapsable; permite dibujar
crculos, segn el tercer postulado, pero slo mantiene su rigidez mientras se traza un
crculo determinado, ya que las puntas del comps se cierran en cuanto se levanta alguna
de ellas. Euclides no incluy un postulado ms para apoyar la trasferencia de longitudes,
porque no era necesario, ya que en las tres primeras proposiciones del Libro I demostrar la
posibilidad de esta operacin, bajo la interpretacin estricta del tercer postulado del comps
como colapsable. As vemos como Euclides, dando muestra de agudeza geomtrica, evit
desde el principio postular lo que poda deducir, manteniendo en un mnimo el nmero sus
postulados.
Los dos primeros postulados tal como fueron formulados por Euclides no garantizan ni la
unicidad de la lnea recta que pasa por dos puntos (suposicin implcita en la Proposicin I.4
y explcita en la XI.1), ni su infinitud. Sin embargo, Euclides hace uso tcito en sus
demostraciones de la unicidad y la infinitud desde el comienzo del Libro I.
A pesar de algunas omisiones y pequeos errores, uno de los grandes mritos de Los
Elementos de Euclides es la eleccin de los principios, en cuanto al nmero y al tipo de
ellos. A partir de un exigua cantidad de ellos, Euclides prueba cientos de teoremas, muchos
de ellos de una gran profundidad.
Efectivamente los principios son elegidos de una forma muy inteligente, sobre todo en el
ms importante y controvertido de los postulados, el quinto postulado, llamado Postulado
de las paralelas. Euclides no es ajeno a que cualquier principio sobre las paralelas debe
afectar de forma implcita o explcita a cuestiones geomtricas que lindan con el infinito, tan
denostado en la Matemtica griega y por el que sentan los griegos una especie de terror
csmico ante las limitaciones de la experiencia humana para manejar fsicamente una
extensin infinita. Pero al ser consciente de que algn postulado en relacin con las
paralelas era imprescindible, Euclides eligi una versin del mismo donde quedara
camuflado la temible presencia del infinito, estableciendo condiciones bajo las que dos
rectas se cortan en un punto a distancia finita.
28
De acuerdo con la figura, el Postulado
de las paralelas asegura, que si la
suma de los ngulos y es menor
que dos rectos, entonces las rectas AB
y CD se cortan en las prolongaciones
de B y D.
Este postulado es de naturaleza muy
diferente a los anteriores. Su enunciado
es mucho ms prolijo, requiere un grfico
para su perfecta comprensin y no es
muy evidente. Por ello muchos
matemticos han mantenido a lo largo de
la historia la ntima conviccin de que el
quinto postulado debera ser en realidad
un teorema y son legin los que
derrocharon esfuerzos en intentar
demostrarlo. Como en otros temas, estos
intentos no fueron efmeros ya que
alumbraran dos mil aos despus de
Euclides el panorama de las Geometras
no Eucldeas. El mismo Euclides, que sin
duda ostenta la paternidad del postulado,
manifiesta una actitud un tanto rara ante
el mismo, al intentar demostrar todos los
teoremas que pueda sin recurrir a l,
evitando en lo posible su uso, incluso a
costa de incrementar la dificultad de las
pruebas. De hecho Euclides difiere su
utilizacin hasta la Proposicin I.29.
Nociones Comunes:
NC1. Cosas iguales a una misma cosa son iguales entre s.
NC2. Si a cosas iguales se agregan cosas iguales, los totales son iguales.
NC3. Si de cosas iguales se quitan cosas iguales, los restos son iguales.
NC4. Las cosas que se superponen una a la otra son iguales entre s.
NC5. El todo es mayor que la parte.
La primera de estas Nociones Comunes es la ley transitiva que podemos considerar como el
silogismo fundamental de la Geometra. Las dos siguientes se refieren a la legitimidad de
sumar y restar cosas iguales. La ltima introduce la desigualdad.
La cuarta de las Nociones Comunes merece una atencin. Euclides viene a decir que si una
figura se puede trasladar sobre el plano de modo que al colocarse sobre otra, ambas figuras
coinciden perfectamente se superponen, entonces las dos figuras son iguales en todos
sus aspectos, es decir, tiene los mismos ngulos, los mismos lados y dems elementos.
Ante el enunciado debemos reprochar que esta cuarta nocin, en la que se basan las
pruebas mediante congruencia, es de carcter geomtrico, y por tanto en el sentido
aristotlico, aceptado por Euclides, debera ser un postulado.
Despus de las nociones comunes vienen las proposiciones, teoremas y problemas, que
estn demostrados y resueltos, respectivamente, con el rigor lgico apodctico eucldeo,
apoyndose en los principios asumidos (Postulados y Nociones Comunes) y asegurando en
los problemas la existencia de la solucin por medio de construcciones con regla y comps.
A
C
B
D
El Postulado de las Paralelas en la edicin de Tartaglia

de Los Elementos de Euclides (Venecia, 1569).
29
EUCLIDES Y LOS ELEMENTOS
SEGN FELIX KLEIN
Felix Klein. Matemtica elemental desde un punto de vista superior
Vol. II. Geometra. Biblioteca Matemtica. Dr: J.Rey Pastor. Madrid, 1931. pp.251278
La obra ms representativa del saber geomtrico griego es el famoso tratado llamado Elementos
de Euclides, de tan extraordinario valor, que puede afirmarse que jams otro alguno ha ocupado
en la Ciencia tan preeminente lugar. (p.251). [...].
La personalidad de Euclides es muy poco conocida, sabindose nicamente que vivi en
Alejandra hacia el ao 300 a.C. Se conoce en cambio bastante sobre el movimiento cientfico en
Alejandra por tal poca. A la fundacin del imperio de Alejandro, sigui la necesidad de
recoger todo lo que en el orden cientfico haba sido creado en los siglos precedentes, dndole
unidad y formando con ello un sistema cientfico. As se desarroll la famosa Escuela de
Alejandra, cuya enseanza tena algunos puntos en comn con la universitaria actual, ya que
su papel era recoger y ordenar los materiales procedentes de la libre investigacin, no siendo,(272)
pues, de extraar que tendiese en cierto modo al dogmatismo escolar. (p.251252). [...].
La significacin cientfica de Los Elementos de Euclides y la enorme fama y difusin que han
alcanzado ha promovido un culto a la obra en la que se cree ver la base de todo sistema
geomtrico completo.(p.252). [...].
Euclides al escribir sus Elementos no se propuso de ningn modo condensar en una
enciclopedia la totalidad de los conocimientos geomtricos de su poca, puesto que entonces no
hubiera prescindido de algunas teoras que, como la de las secciones cnicas y curvas de orden
superior, haban sido ya estudiadas el mismo Euclides escribi un trabajo sobre cnicas que no
ha llegado a nuestras manos, aunque hasta Apolonio (200 a.C.) no alcanzasen su forma
completa. El papel verdadero de Los Elementos de Euclides fue el de una introduccin al estudio
de la Geometra y de la Matemtica en general, con la tendencia de tratar sta segn las ideas de
la escuela platnica, como preparacin para estudios filosficos generales. As se comprende la
razn de que la obra fundamental est escrita atendiendo en primer lugar a la conexin lgica,
que ha de dar por fruto un sistema completo de Geometra, mientras que las aplicaciones
prcticas estn excluidas sistemticamente. En dicho sistema Euclides sobrepas en algunas
partes los conocimientos tericos de su tiempo, ya que no todos estaban suficientemente
desarrollados para su adaptacin. (p.253). [...].
Generalmente se cree que Los Elementos de Euclides no constituyeron una obra nica sino la
recopilacin de diferentes trabajos anteriores. Realmente acerca del autor nada de cierto se
conoce, pues todas las noticias que hoy se tienen de Euclides y sus contemporneos, no arrojan
ninguna luz sobre esto. En el casi actual, la tradicin se remonta al comentador de Euclides
Proclo Diadoco, que vivi hacia el ao 450 d.J., es decir, ms de 700 aos despus, y si, por
diferentes motivos, no se atribuyen caracteres de certeza a algunas de sus afirmaciones, mucho
menos puede concedrseles a los que hoy intentan establecer una teora acerca del autor de una
obra escrita 1200 aos antes. (p.258). [...].
Una ojeada general sobre el contenido de la obra [...] descubre que la meta ideal que procura
alcanzar Euclides es deducir de un modo rigurosamente lgico todas las propiedades geomtricas
de ciertas premisas establecidas al principio. En la importancia de este intento reside la clave de
la significacin histrica de Los Elementos de Euclides. (p.260). [...].
La gran importancia histrica de Los Elementos de Euclides consiste en haber establecido para
lo sucesivo como ideal de la Geometra el alcanzar un encadenamiento lgico perfecto. En lo que
se refiere al modo de acercarse a este ideal, hay que reconocerle muchos aciertos. (p.278). [...].
30
LA PRIMERA EDICIN IMPRESA DE LOS ELEMENTOS DE EUCLIDES
Pgina inicial de la primera impresin de Los Elementos de Euclides que tiene lugar en Venecia en 1482
y se debe al impresor E.Ratdolt. Pertenece a un incunable de la Biblioteca Nacional de Espaa.
Esta edicin se hizo a partir de una versin arbigo-latina que a su vez era una reelaboracin de la
traduccin latina de Adelardo de Bath de 1142, comentada por Campano de Novara, a mediados del
siglo XIII. Seguramente este texto contiene la primera impresin de figuras geomtricas en un libro de
contenido matemtico. Para ello dispone de un margen de 8 cm. Ratdolt asegura haber desarrollado
una tecnologa que le permita imprimir cualquier figura con la misma facilidad que el texto.
En el largo El ttulo Euclidis Megarensis ... Geometricorum Elementorum Opus, ab Adelhardo
Bathoniensi traslata, cum annotationibus Johannis Campani se confunde al verdadero autor de Los
Elementos con el filsofo Euclides de Megara, coetneo de Platn y por tanto casi un siglo anterior. Esta
confusin se mantendr en muchas ediciones posteriores, a pesar de que Commandino la despejar en
sus versiones de Los Elementos.
La edicin de Ratdolt, adems de ser la primera que aparece en imprenta, es posiblemente una de las
ms conocidas. Sin embargo, por su procedencia arbigo-latina, su fiabilidad respecto a la tradicin
eucldea fue puesta en entredicho por las traducciones latinas de Zamberti y Commandino.
31
Pgina que contiene los Postulados, las Nociones Comunes y la primera Proposicin (Folio 4 recto),
en la edicin de Ratdolt de Los Elementos de Euclides (Venecia, 1482). Ejemplar de la Biblioteca del
Monasterio de San Milln de Yuso.
LA PRIMERA EDICIN IMPRESA DE LOS ELEMENTOS DE EUCLIDES
32
EUCLIDES ESCRITOR DE LIBROS DE GEOMETRA
En El Comentario al Libro I de los Elementos de
Euclides, Proclo nos informa de otros escritos de
Euclides aparte de Los Elementos:
[...] Le debemos [adems de Los
Elementos] otras muchas obras de
Matemticas, escritas con singular
exactitud y llenas de ciencia terica. Tales
son sus pticas, sus Catptricas, sus
Elementos de Msica y tambin su libro
Sobre las Divisiones.
Proclo no menciona otras obras importantes de
Euclides sobre Geometra, Astronoma y
Mecnica, aunque lleg a escribir unos doce
tratados dedicados posiblemente a la Enseanza
de las Matemticas en Alejandra, lo que
permite asegurar que Euclides era un brillante
cientfico con excelentes dotes pedaggicas.
Entre las otras obras escritas por Euclides cabe
citar los Porismas (obra perdida), que sera una
aproximacin a una especie de Geometra
Analtica y funciones, en la que, segn Pappus
se estudiara algo intermedio entre un teorema,
en que se propone algo para ser demostrado y
un problema, en que se propone algo para ser
construido. Segn otros comentadores un
Porisma sera una proposicin en la que se
determina una relacin entre cantidades
conocidas y variables, es decir algo parecido a
una funcin.
Otras obras perdidas seran:
Lugares de Superficie, Lugares Slidos (que
era el nombre griego para las Cnicas de
Menecmo, ampliado de forma muy
considerable su estudio por las obras de
Apolonio).
Pseudaria (sobre argumentaciones falaces en
Matemticas, destinado a ensear la forma de
evitar los paralogismos).
Fenmenos (sobre Geometra esfrica para
uso de astrnomos).
Otra obra muy importante de Euclides es los
Datos que nos ha llegado a travs de Pappus.
Este tratado habra sido escrito por Euclides para
complementar Los Elementos, como gua
analtica de los problemas de Geometra para
descubrir los resultados lo que puede ser
determinado, en una figura plana, cuando se
dan algunos datos, es decir, en cierto modo,
esta obra presenta la Geometra Plana de Los
Elementos de Euclides pero dejando patente de
forma heurstica y gentica el camino que sigue
la investigacin matemtica.
Otro tratado interesante es La seccin del Canon
que contiene la teora aritmtica de los
intervalos musicales de tradicin pitagrica.
Euclides tambin pudo ser el autor de algunos
de los llamados Hipomnemata, una especie de
cuadernos sueltos que reproducan las
conferencias orales con las lecciones que se
impartan en Alejandra.
Euclides y la Geometra.
Fragmento del cdice de Nicolo da Bologna Las Virtudes
y las Artes de 1355.
Biblioteca Ambrosiana de Milan.
33
Las Proposiciones
En Los Elementos de Euclides las proposiciones son los enunciados que se demuestran a
partir de las proposiciones anteriores y las asunciones aceptadas en Postulados y Nociones
Comunes. En sus demostraciones, Euclides justifica todos los pasos que da, pero no suele
mencionar de forma exhaustiva todos los resultados anteriores que aplica, en particular, a
partir del Libro I, no se alude a los Postulados y Nociones Comunes como justificacin, ya
que se suponen conocidos de forma de forma implcita. No obstante, al considerar las
referencias explcitas e implcitas vemos que Los Elementos de Euclides constituyen una
complejo y tupido entramado lgicomatemtico donde no sobra nada y donde cualquier
aadido u omisin cambiara la estructura global de la magna obra euclidiana.
Hay dos tipos de proposiciones:
Teoremas: enuncian propiedades de los entes matemticos.
Problemas: explican cmo se construyen los objetos matemticos.
A veces, en algunas ediciones de Los Elementos de Euclides, la diferencia entre Teoremas
y Problemas se advierte d forma exclusiva por el hecho de que los Teoremas acaban con la
frase: como queramos demostrar, mientras que los problemas terminan con la
expresin: como queramos hacer.
En sus Comentarios al Libro I de los Elementos de Euclides, Proclo dedica una larga
digresin a la distincin entre Teoremas y problemas en Los Elementos de Euclides.
Veamos algunas de sus frases:
Las cosas que se derivan de los principios se dividen, a su vez, en problemas y teoremas. Los
primeros se ocupan de la generacin de las figuras y de sus acciones, ablaciones, adjunciones,
y, en general, de todas sus afecciones, mientras que los segundos estudian los casos
particulares de cada figura. [Algunos] prefieren llamar problemas a todas las cosas porque
creen que el nombre de teorema conviene ms a las esencias contemplativas que se ocupan
de las cosas eternas. [Para muchos] los problemas tienen un doble efecto: conseguir las cosas
que se buscan, y una vez conseguidas, ver qu son, su naturaleza, sus propiedades y sus
relaciones con otras cosas. Hay, pues, problemas y teoremas geomtricos, y como la
especulacin predomina en la Geometra y las operaciones en la Mecnica, todos los
problemas tiene una parte especulativa; pero la recproca no es cierta porque las
demostraciones son obra exclusiva de la especulacin.
Todo lo que en Geometra sigue a los principios se ha obtenido por medio de la demostracin,
[...] Los teoremas no exigen problemas, pero los hay que tienen por s mismos la demostracin
de la cosa que se busca. [...]. Inscribir un tringulo equiltero en un crculo [Euclides IV.2] es un
problema porque tambin se puede Inscribir un tringulo no equiltero; construir un tringulo
equiltero sobre una recta dada [Euclides I.12] es tambin un problema porque se puede
construir un tringulo que no sea equiltero; pero cuando decimos que los ngulos en la base
de un tringulo issceles son iguales [Euclides I.5], enunciamos un teorema porque es
imposible que dichos ngulos no sean iguales; y si pedimos inscribir un ngulo recto en un
semicrculo, formulando la peticin como problema, la consideracin extraa a la Geometra
porque todo ngulo inscrito en un semicrculo es recto [Euclides III.31].
De aqu se deduce que las cuestiones generales deben llamarse teoremas y las particulares
que no se refieren absolutamente a lo que se propone, problemas, [...] diferencia que se
observa en cada proposicin [...] y en el hecho de que el propio Euclides agrega la frase: lo
que queramos hacer al final de las cosas buscadas y lo que queramos demostrar que
caracteriza a los teoremas
De las 465 proposiciones de Los Elementos de Euclides son problemas 93; y se reparten
ms o menos por igual en los trece libros, salvo en el Libro IV, que slo contiene problemas
y los Libros V y IX que slo tiene teoremas.
En el cuadro siguiente se describe de forma muy sucinta el contenido temtico de cada uno
de los trece libros, con la correspondiente presumible atribucin a algunos de los
matemticos anteriores a Euclides. A continuacin, se relacionan las Proposiciones de Los
Elementos de Euclides, que tengan alguna incidencia sobre la Matemtica escolar.
34
RESUMEN DE LOS RESULTADOS MATEMTICOS MS
IMPORTANTES DE LOS ELEMENTOS DE EUCLIDES
I. Pitgoras. 48 Proposiciones. Construcciones elementales con regla y
comps. Congruencias de tringulos y cuadrilteros. Desigualdades
relativas a ngulos y lados de un tringulo. Paralelismo con el
resultado fundamental de que los ngulos de un tringulo suman dos
rectos, I.32. Teorema de Pitgoras y su recproco (I.47, I.48).
II. Pitgoras. 14 Proposiciones. Equivalencias geomtricas de varias
identidades algebraicas elementales (II.1II.10). Resolucin de
ecuaciones mediante la Aplicacin de las reas del lgebra
Geomtrica (II.5, II.6). Seccin urea (II.11). Generalizacin del
Teorema de Pitgoras (II.12, II.13), conocida como Teorema del coseno.
Cuadrado equivalente a una figura rectilnea (II.14).
III. Pitgoras, Hipcrates. 37 Proposiciones. Geometra del crculo: cuerdas,
tangentes, secantes, ngulos centrales y ngulos inscritos. Teorema de
Tales del semicrculo (III.31). Potencia de un punto respecto de una
circunferencia (III.35III.37).
IV. Pitgoras, Hipcrates. 16 Proposiciones. Construcciones con regla y
comps de polgonos regulares de 3, 4, 5, 6 y 15 lados inscritos y/o
circunscritos en crculos.
V. Eudoxo. 25 Proposiciones. Teora de la Proporcin. Resolucin de la
crisis de los inconmensurables.
VI. Eudoxo. 33 Proposiciones. Reconstruccin de Eudoxo de los teoremas
pitagricos sobre proporciones. Teoremas fundamentales sobre
semejanza de tringulos y otras figuras. Teorema de la bisectriz (VI.2).
Teorema de Tales (VI.2). Teorema del cateto y de la altura (VI.8).
Construcciones de la tercera, la cuarta y la media proporcional (VI.11,
VI.12 y VI.13). Generalizacin de la Aplicacin de las reas y solucin
geomtrica de las ecuaciones cuadrticas. Seccin urea (VI.30).
Generalizacin del Teorema de Pitgoras (VI.31).
VII, VIII, IX. Pitgoras, Euclides. 102 Proposiciones. Teora elemental de
Nmeros. Divisibilidad de nmeros enteros: nmeros primos,
Algoritmo de Euclides para el clculo del m.c.d (VII.1, VII.2), Teorema
de Euclides (VII.30), relacin mcd-mcm (VII.34), Teorema fundamental
de la Aritmtica (IX.14), Teorema de la infinitud de nmeros primos
(IX.20). Suma de trminos de una progresin geomtrica (IX.35).
Nmeros perfectos (IX.36).
X. Eudoxo, Teeteto. 115 Proposiciones. Principio de Eudoxo (Mtodo de
exhaucin, X.1). Clasificacin de inconmensurables cuadrticos.
XI. Eudoxo. 39 Proposiciones. Geometra del espacio: paralelismo y
perpendicularidad, ngulos slidos, paraleleppedos semejantes.
XII. Demcrito, Eudoxo. 18 Proposiciones. Mtodo de exhaucin de Eudoxo
aplicado a la cubatura de pirmides, cilindros y conos.
XIII. Pitgoras. Teeteto. 18 Proposiciones. Las diagonales de un pentgono
se cortan en seccin urea (XIII.8). Propiedades relativas del
pentgono, hexgono y decgono inscritos en una circulo. Inscripcin
de los cinco poliedros regulares en una esfera (XIII.13XIII.17).
Teorema de clasificacin de los poliedros (XIII.18).
35
El Libro I
El Libro I de Los Elementos de Euclides, como es natural, es la parte de la obra ms
conocida y mejor estudiada. El Libro I empieza con la construccin del tringulo equiltero y
termina con el Teorema del cuadrado de la hipotenusa, resultados pitagricos que como
todos los dems que contiene son bien conocidos para un estudiante de Enseanza
Secundaria:
Teoremas sobre congruencias de tringulos (los cuatro patrones de congruencia lado-
ngulo-lado, lado-lado-lado, ngulo-lado-ngulo y ngulo-ngulo-lado).
Resultados sobre tringulos issceles.
Construcciones elementales con regla y comps (tringulo equiltero, trasferencia de
longitudes, bisectriz de un ngulo, biseccin de un segmento, trazado de
perpendiculares).
Estudio de ngulos (adyacentes, externos e internos de un tringulo, opuestos por el
vrtice, alternos e internos, correspondientes, suma de los ngulos de un tringulo).
Igualdades y desigualdades relativas a ngulos y lados de un tringulo.
Teoremas sobre paralelismo de rectas.
Relaciones entre tringulos y paralelogramos y sus reas.
Como ya se ha indicado Euclides difiere todo lo que puede la cuestin de las paralelas, por
eso los resultados sobre paralelogramos aparecen bastante al final del Libro. Entre ellos
debemos mencionar la proposicin I.45 donde se construye un paralelogramo equivalente a
una figura rectilnea dada, uno de los primeros problemas de transformacin de un rea en
otra, Teora llamada Aplicacin de las reas (problemas a los que Euclides dedicar el
segundo Libro), que Eudemo (segn Proclo) atribua a los pitagricos y en la que se basara
la cuadratura de figuras poligonales.
Un aspecto muy interesante del Libro I es que en l Euclides realiza, cuando puede, una
inversin de inferencias, es decir, estudia cundo el resultado de un teorema se puede
invertir, obteniendo el teorema inverso, as lo hace en las proposiciones 5-6, 13-14, 18-19,
24-25, 27-29, 47-48.
Alguna de las proposiciones adolece de cierta insuficiencia, y se echa de menos algn que
otro postulado, de modo que hay una justificacin visual de tipo ilustrativo, lo que
contraviene el propio deseo de Euclides de desterrar de su Geometra las demostraciones
grficas, al basar el argumento exclusivamente en la lgica y derivar todo resultado de los
postulados y axiomas. Como contrapunto, en otras ocasiones, Euclides demuestra con una
soberbia lgica impecable, algunas verdades que por ser tan evidentes a los sentidos,
alguien estara tentado de incluirlas en los postulados; por ejemplo la Proposicin I.20:
cada lado de un tringulo es menor que la suma de los otros dos llamada desigualdad
triangular, equivalente a que la lnea recta es la distancia ms corta entre dos puntos. En
esta ocasin, Euclides tambin evit suponer lo que poda deducir.
En el texto de Euclides aparece a partir de la Proposicin I.35 cierta ambigedad entre
igualdad de rea y congruencia, que evitaremos indicando por equivalentes las figuras que
tienen el mismo rea aunque no necesariamente la misma forma.
Termina el primer Libro con uno de los ms fascinantes e importantes teoremas de la
Geometra elemental: El Teorema de Pitgoras la Proposicin I.47, donde alcanza un
verdadero clmax geomtrico la hermossima forma magistral con que Euclides realiza la
hazaa geomtrica de demostrar el Teorema, con una lgica impecable y una economa de
medios increble. Adems, Euclides da una magnfica demostracin del teorema inverso la
Proposicin I.48, de modo que ambas proposiciones caracterizan a los tringulos
rectngulos.
36
Las Proposiciones del Libro I:
Proposicin I.1. Construir un tringulo equiltero sobre un segmento dado.
Proposicin I.2. Construir en un punto dado un segmento igual a otro dado.
Proposicin I.3. Dados dos segmentos desiguales, restar del mayor otro segmento igual
al menor.
Euclides y la Geometra representados sosteniendo la figura de la Proposicin I de Los Elementos.
Pertenece a una coleccin de telas que representan a las siete Arte Liberales del currculum medieval.
En esta primera Proposicin, Euclides indica cmo se construye un tringulo equiltero. Mediante
este problema se demuestra que los tringulos equilteros existen. Euclides haba introducido la
nocin de tringulo equiltero en la Definicin I.20. Vemos, pues, desde el mismo comienzo de Los
Elementos, que Euclides tiene muy claro que la definicin de un objeto matemtico no implica su
existencia. Adems en la Proposicin I Euclides halla una construccin necesaria para demostrar la
Proposicin II, en la que ensea como se trasladan segmentos. Ya que para aadir, quitar o comparar
segmentos se precisa colocarlos juntos, la Proposicin II es capital para el curso posterior del texto
euclidiano.
En las construcciones de las dos primeras proposiciones de Los Elementos, Euclides supone que
existen puntos de corte entre rectas y circunferencias, sin que la continuidad de la recta se haya
postulado explcitamente con anterioridad. Los crticos han querido ver en esta situacin uno de los
punto dbiles de la obra de Euclides.
La Proposicin I.2 de Los Elementos de Euclides en la edicin de E.Ratdolt (Venecia, 1482). Ejemplar
de la Biblioteca del Monasterio de San Milln de Yuso
37
LA PRIMERA PROPOSICIN DE LOS ELEMENTOS DE
EUCLIDES ENLA PRIMERA EDICIN ESPAOLA
La Proposicin I de Los Elementos de Euclides en la edicin de Rodrigo amorano,
primera en idioma castellano, Sevilla, 1576.
38
Proposicin I.4. Si dos tringulos tienen dos lados del uno iguales a dos lados del otro e
iguales los ngulos comprendidos por los lados iguales, tendrn iguales sus bases y los dos
tringulos sern iguales.
Proposicin I.5. En los tringulos issceles, los ngulos en la base son iguales entre s
[este teorema se conoca en la Edad Media con el nombre latino de Pons asinorum, ya
que la figura de Euclides simula vagamente un puente, que metafricamente las
personas con limitadas dotes para el argumento lgico, no podan atravesar].
Proposicin I.6. Si dos ngulos de un tringulo son iguales, los lados opuestos a estos
ngulos tambin sern iguales.
Proposicin I.8. Si dos tringulos tiene dos lados del uno iguales a los lados del otro e
iguales las bases, tendrn iguales los ngulos comprendidos por los lados iguales.
Proposicin I.9. Dividir en dos un ngulo rectilneo dado.
Proposicin I.10. Dividir un segmento en dos partes iguales.
Proposicin I.11. Desde un punto dado en una recta, trazar una recta que forme ngulos
rectos.
Proposicin I.12. Dada una recta indefinida, trazar desde un punto que no est sobre ella
una recta perpendicular.
Proposicin I.13. Si una recta levantada sobre otra forma ngulos, sern rectos o igual a
dos rectos.
Proposicin I.14. Si respecto de una recta cualquiera y en un punto de ella, dos rectas no
situadas en el mismo lado de ella, forman ngulos contiguos iguales a dos rectos, las
dos rectas estn sobre la misma recta.
Proposicin I.15. Si dos rectas se cortan, forman ngulos opuestos por el vrtice iguales.
Proposicin I.16. Si se prolonga uno de los lados de un tringulo, el ngulo externo es
mayor que cada uno de los ngulos internos y opuestos.
Proposicin I.17. Dos ngulos de un tringulo son menores que dos rectos.
Proposicin I.18. En todo tringulo el lado mayor subtiende el ngulo mayor.
Proposicin I.19. En todo tringulo el ngulo mayor subtiende el lado mayor.
Proposicin I.20. En todo tringulo dos lados cualesquiera en conjunto, son mayores que
el otro lado [desigualdad triangular].
Proposicin I.22. Construir un tringulo con tres segmentos iguales a otros tres dados.
Pero es necesario que dos de ellos tomados juntos de cualquier manera sean mayores
que el restante [primer diorismo en el contexto de un problema de Los Elementos].
La Proposicin I.22 de Los Elementos de Euclides en la edicin de E.Ratdolt (Venecia, 1482).
39
Proposicin I.26. Si dos tringulos tienen dos ngulos y un lado iguales, ya sea este lado
el situado entre los ngulos iguales o el subtendido por uno de los ngulos iguales,
tendrn iguales los otros dos lados y el tercer ngulo.
Proposicin I.27. Si una recta al incidir sobre otras dos, forma ngulos alternos iguales,
dichas rectas sern paralelas.
Proposicin I.29. Una recta que incide sobre dos paralelas forma ngulos alternos iguales
entre s.
Proposicin I.31. Por un punto dado trazar una recta paralela a otra recta dada.
Proposicin I.32. Si se prolonga uno de los lados de un tringulo, el ngulo externo es
igual a los dos internos y opuestos, juntos, y los tres ngulos internos del tringulo son
iguales a dos rectos.
Proposicin I.33. Los segmentos que unen los extremos de segmentos iguales y
paralelos en la misma direccin son tambin iguales y paralelos.
Proposicin I.34. Los lados y los ngulos opuestos de una regin paralelogrmica son
iguales entre s y la diagonal divide la regin en dos partes iguales.
Proposicin I.35. Los paralelogramos que estn sobre la misma base y entre las mismas
paralelas, son equivalentes [tienen el mismo rea aunque no necesariamente la misma
forma].
Proposicin I.36. Los paralelogramos colocados sobre bases iguales y entre las mismas
paralelas son equivalentes.
Proposicin I.38. Los tringulos colocados sobre bases iguales y entre las mismas
paralelas son equivalentes.
Proposicin I.39. Tringulos equivalentes colocados sobre la misma base y del mismo
lado, estn entre las mismas paralelas.
Proposicin I.40. Tringulos equivalentes colocados sobre bases iguales y del mismo
lado, estn entre las mismas paralelas.
Proposicin I.41. Si un paralelogramo tiene la misma base que un tringulo y estn
colocados entre las mismas paralelas, el paralelogramo es doble que el tringulo [el
rea de un tringulo es la mitad del producto de su base por la altura].
Proposicin I.42.Construir en un ngulo rectilneo dado un paralelogramo igual a un
tringulo dado.
Proposicin I.43. En todo paralelogramo los complementos de los paralelogramos
situados en torno a la diagonal son equivalentes.
Proposicin I.44. Aplicar a una recta dada en un ngulo rectilneo dado, un paralelogramo
equivalente a un tringulo dado.
Proposicin I.45. Construir en un ngulo rectilneo dado un paralelogramo equivalente a
una figura rectilnea dada.
Proposicin I.46. Trazar un cuadrado a partir de una recta dada.
Proposicin I.47. En los tringulos rectngulos el cuadrado del lado que subtiende el
ngulo recto es equivalente a los cuadrados de los lados que comprenden el ngulo
recto [Teorema de Pitgoras].
Proposicin I.48. Si en un tringulo el cuadrado construido sobre uno de los lados es
equivalente a la suma de los cuadrados construidos sobre los restantes lados del
tringulo, el ngulo comprendido por estos dos lados es recto [recproco del Teorema
de Pitgoras].
40
EL TEOREMA DE PITGORAS
PARADIGMA DE LA MATEMTICA
PARADIGMA DE LA EDUCACIN MATEMTICA
El Teorema de Pitgoras es tal vez la relacin matemtica ms importante, ms
conocida, ms admirada, ms aludida, ms popular, que ms nombres y ms pruebas
ha recibido, y la que ocupa el primer plano en el recuerdo de los tiempos escolares.
Todo ello hace justicia a su relevante valor prctico, terico y didctico. Al ser la fuente
de todas las relaciones mtricas que aparecen en la Geometra elemental, el Teorema de
Pitgoras es el ms til y esplndido.
La magnfica grandeza del Teorema de Pitgoras inicia una decisiva inflexin
intelectual entre la prctica emprica e inductiva y la argumentacin deductivo-
demostrativa, tanto en el devenir histrico cultural matemtico germen de la
Matemtica racional en Grecia como en el espacio escolar de la Educacin matemtica
umbral de la Matemtica deductiva elemental.
He aqu lo que han escrito, en trminos panegricos, algunos grandes matemticos sobre
Teorema de Pitgoras:
Este teorema con la multitud de demostraciones del mismo ilustra de forma
sorprendente el hecho de que hay muchas formas de alcanzar la misma verdad.
E.S.Lomis. The Pythagorean Proposition. NCTM, 1968. p.3.
El Teorema de Pitgoras ha tenido ocupados a los matemticos desde la poca clsica
hasta el presente. [...] Sus mltiples demostraciones ilustran la agilidad de los
matemticos al atacar el mismo problema desde ngulos diferentes. [...] Con
independencia de la frecuencia con que se demuestre, el Teorema de Pitgoras logra
siempre retener su belleza, su frescura y su eterno sentido de admiracin.
W.Dunham. El Universo de las Matemticas. Pirmide. Madrid, 1995. pp.136, 153.
La contestacin ms frecuente a la cuestin de lo que se recuerda de la Matemtica
escolar es el Teorema de Pitgoras. [...] Debemos considerar al Teorema de Pitgoras
como un activo cultural de primer orden que pertenece a la base intelectual comn de
la humanidad. [...] En sentido cultural, Homero es a Grecia, lo que la Biblia es a la
Edad Media, Shakespeare a Inglaterra (Goethe a Alemania y Cervantes a Espaa) y lo
que el Teorema de Pitgoras es a las Matemticas, que es independiente de los
lenguajes especficos y trasciende las fronteras culturales. Es con razn y con
frecuencia un smbolo de todas las Matemticas.
B.Artmann. EuclidThe Creation of Mathematics. Springer. N. York, 1996. pp.5758.
41
EL TEOREMA DE PITGORAS. LA DEMOSTRACIN
Y EL MILAGRO GRIEGO EN MATEMTICAS
Sellos emitidos en Grecia el 20 de agosto de 1955 con ocasin de un Congreso sobre Pitgoras
conmemorativo del 2500 aniversario de la fundacin de la primera Escuela de Filosofa de la Historia. El
primero representa al propio Pitgoras retratado en una moneda encontrada en Samos y el segundo es
una imagen visual del Teorema de Pitgoras aplicado al sagrado tringulo egipcio.
En sus Comentarios al Libro I de los Elementos de Euclides, Proclo escribe sobre Pitgoras:
Pitgoras transform la doctrina de Tales en enseanza liberal, examin desde lo alto los
principios de la Geometra, investig los teoremas de un modo inmaterial e intelectual y descubri la
dificultad de los nmeros irracionales y la construccin de las figuras csmicas [poliedros].
Segn Proclo, Pitgoras marca un hito en la historia de la Matemtica, porque transform el saber
geomtrico en disciplina puramente terica, investigando los teoremas de manera inmaterial y abstracta,
es decir sin instrumentos ni mediciones materiales, sin referencia a materiales concretos y slo por
medio de la intuicin de ideas y del discurso mental, dando el gran salto cualitativo, que supone el
verdadero nacimiento en Grecia de las Matemticas como ciencia especulativa y deductiva, ms all de la
prctica emprica e inductiva de las civilizaciones del prximo, medio y lejano oriente. Con Pitgoras
podemos hablar del Milagro griego en Matemticas como parte del milagro que supuso la inflexin
radical que realizaron los griegos en el mbito general de la Cultura y el Pensamiento.
En concreto respecto del Teorema atribuido por tradicin a Pitgoras, digamos que ste realiza la
primera demostracin del mismo. Entre la ley general que establece el Teorema y los casos especficos
de la Geometra babilnica, egipcia, hind o china, hay el abismo que media entre un instrumento
primitivo que no se pregunta cmo funciona y un mecanismo universalmente aplicable. El aporte
esencialmente original es que el Teorema da una verdad general y universal independiente de los
particulares valores de los lados del tringulo rectngulo.
He aqu, pues, en la demostracin, la aportacin fundamental del Pitagorismo a la Matemtica, valorado
siempre muy por encima de sus magnficas contribuciones particulares en mbitos concretos de esta
ciencia, siendo considerada, adems, la demostracin, como elemento esencial en el trnsito del mito al
logos que tiene lugar en la cultura griega. La demostracin va mucho ms all de la mera persuasin de
la Retrica en la que los griegos eran grandes maestros, pues es posible con persuasin argir lo falso
contra lo verdadero de ah los reproches de Scrates hacia los sofistas. La demostracin convence por
la ilacin argumental incontrovertible que alcanza algo legtimo mientras no se pongan en entredicho las
leyes de la lgica. Por eso a partir de Pitgoras la Matemtica es universalmente considerada como un
manantial primario de verdad objetiva.
42
La Matemtica conduciendo a Pitgoras. Fragmento de la tabla de Da Ponte Las Artes Liberales.
Museo del Prado. Madrid.
La emergencia del Teorema de Pitgoras en el horizonte histrico cultural seala el primer salto
intelectual entre los confines de la especulacin emprica y los dominios del razonamiento
deductivo. El Teorema de Pitgoras pudo estar en el origen de la demostracin que caracteriza a la
Matemtica con respecto a las dems ciencias ya que la prueba pitagrica del Teorema de Pitgoras
tal vez sea la primera demostracin verdaderamente matemtica de la Historia.
Sobre la importancia histrica del Teorema de Pitgoras como origen de la aparicin del fenmeno
de la demostracin que en el mundo griego dar carta de naturaleza a la Geometra racional, y por
ende al verdadero nacimiento en Grecia de las Matemticas como ciencia especulativa y deductiva,
transcribimos unas significativas citas de dos importantes historiadores de la Matemtica:
Abel Rey (El apogeo de la ciencia tcnica griega, UTEHA, Mxico, 1962. Vol.1. pp.11, 13):
La demostracin gui a los pitagricos. Desde entonces el mtodo y la actitud del
pensamiento son bsqueda de lo necesario y de lo universal, y el Teorema de Pitgoras, en
primer lugar, sirve en esto de completa ilustracin.
La universalidad del teorema de Pitgoras y la invencin de la demostracin geomtrica son
las hadas que vemos en torno a la cuna de la Geometra griega, del milagro griego en
matemtica y del espritu cientfico que ha llegado hasta nosotros.
H.G.Zeuthen. (Thorme de Pythagore, origine de la Gomtrie scientifique, II Congreso
internacional de Ginebra, 1904):
El Teorema de Pitgoras constituy el origen de la Geometra racional en la Escuela
Pitagrica y las deducciones que paulatinamente fue realizando la Escuela, tuvieron por objeto
lograr una demostracin general del teorema, advertida su verdad en casos particulares.
EL TEOREMA DE PITGORAS. LA DEMOSTRACIN Y EL
MILAGRO GRIEGO EN MATEMTICAS
43
EL TEOREMA DE PITGORAS
EN LOS ELEMENTOS DE EUCLIDES
Euclides enuncia y demuestra el Teorema de Pitgoras en la Proposicin I.47 de Los
Elementos. La demostracin de Euclides del Teorema de Pitgoras es una prueba muy
elegante, que la tradicin se la ha atribuido y que precisa un bagaje considerable de
conocimientos geomtricos, desarrollados por Euclides en las proposiciones anteriores de
Los Elementos. La diferencia con la prueba de Pitgoras estriba en que Euclides utiliza las
relaciones entre paralelogramos y tringulos con la misma base y situados entre las
mismas paralelas, en vez de proporciones que ya no podan ser utilizadas, en forma
pitagrica, despus del descubrimiento de las magnitudes inconmensurables.
Parece que Euclides est ansioso de situar lo ms pronto posible el Teorema de Pitgoras
en Los Elementos, ante la perentoria necesidad de utilizarlo ulteriormente con asiduidad,
pero ante la imposibilidad de aplicar de forma tan temprana la Teora de la Proporcin de
Eudoxo que ser desarrollada en los Libros V y VI, basndose en las proposiciones
descritas (I.36, I.41), realiza, con una esttica inefable y con un ingenio sublime, la
siguiente demostracin:
B C
D
A
E
H
F
I
J
G
K
Los paralelogramos que tienen la misma base y
estn situados entre las mismas paralelas tiene el
mismo rea (Euclides I.36).
Si un paralelogramo tiene la misma base que un
tringulo y estn situados entre las mismas paralelas
el rea del paralelogramo es doble de la del
tringulo (Euclides I.41).
Los tringulos DCB y ABI son iguales
ya que AB=BD, BI=BC y el ngulo B
del tringulo DCB es igual al ngulo
B del tringulo ABI.
El rea del cuadrado ABDE es doble
del rea del tringulo DCB ya que
tienen la misma base y estn situados
entre las mismas paralelas.
El rea del rectngulo BIKJ es doble
del rea del tringulo ABI ya que
tienen la misma base y estn situados
entre las mismas paralelas.
De modo que se verifica :
BIKJ=2ABI=2DCB=ABDE
Razonando de forma anloga se tiene :
CHKJ = 2AHC=2BCG = ACGF .
De donde resulta : ABDE + ACGF =
BIKJ + CHKJ = BIHC.
44
LA FIGURA EUCLDEA DE LA DEMOSTRACIN
DEL TEOREMA DE PITGORAS
La demostracin eucldea del Teorema de Pitgoras es de
naturaleza estrictamente geomtrica, y en ella juega un
papel fundamental una figura que procede de una
secuencia de construcciones que mediante ciertas
congruencias de tringulos va transformando los cuadrados
sobre los catetos en dos rectngulos que al encajarse
componen el cuadrado sobre la hipotenusa
La figura que utiliza Euclides en su demostracin del el
Teorema de Pitgoras se ha hecho famosa tambin por la
gran cantidad de calificaciones curiosas que se le han dado.
E. Lucas en Recrations mathmatiques dice que los rabes
le llamaban silla de la novia, porque se parece a la silla
que en algunos pases orientales llevaba un esclavo a la
espalda para transportar a la novia hasta la ceremonia.
Tambin se ha llamado calesa de la mujer recin casada
(Bhaskara), capucha de franciscano, cola de pavo real,
figura del molino de viento.
El filsofo Schopenhauer, que muy impresionado por el
hecho del teorema, siempre se pregunt por la razn natural
de la relacin pitagrica, llamaba a la demostracin de
Euclides una prueba paseando en zancos y tambin
prueba de la ratonera.
Retrato caricaturesco de Euclides. En el ttulo
se confunde, como es habitual, al autor de Los
Elementos con el filsofo socrtico Euclides de
Megara.
Caricatura alegrica de la silla de la novia del
Teorema de Pitgoras en Los Elementos de Euclides, en
el contexto de la primera guerra mundial, que aparece
en The Mathematical Gazette 11 (1922), pg.346.
45
EL TEOREMA DE PITGORAS EN ANTIGUAS EDICIONES
1. La Proposicin I.47 (Teorema de Pitgoras)
en un manuscrito del siglo IX de la
coleccin vaticana (Vat. gr. 190, vol. 1 fol..
39 recto math01 NS.01 ).
en la edicin Princeps (Basilea, 1533).
en la primera impresin (edicin de
E.Ratdolt ,Venecia, 1482).
D.Smith y F.Klein, grandes matemticos,
excelentes pedagogos, brillante historiador de la
Matemtica el primero y muy conocido en el
segundo la aplicacin del Mtodo gentico en la
Educacin matemtica que se sustenta en la
Historia de las Matemticas, escriben sobre la
prueba eucldea del Teorema de Pitgoras:
Cientos de pruebas ha sugerido la proposicin
pitagrica. [...] Una de las primeras es la de Los
Elementos de Euclides que ha soportado la
prueba del tiempo mejor que cualquier otra.
D.Smith. History of Mathematics. Dover. New
York, 1958. Vol.2, p.289.
En la demostracin de Euclides [del Teorema
de Pitgoras] estn tan mezcladas de tal modo
la intuicin y la lgica, que cada paso lgico
est evidenciado intuitivamente, lo cual puede
muy bien considerarse como el ideal.
F.Klein. Matemtica elemental desde un
punto de vista superior. Vol.2, Biblioteca
matemtica, Madrid, 1931, p. 319.
46
ILUSTRACIONES HISTRICAS
DEL TEOREMA DE PITGORAS EN EUCLIDES
1. El Teorema de Pitgoras en griego. Manuscrito de Los Elementos de Euclides del siglo XII.
Biblioteca Nacional de Pars.
2. El Teorema de Pitgoras en latn. Traduccin de Los Elementos de Euclides al latn de fecha
incierta.
Los Elementos de Euclides es, sin duda alguna, el libro cientfico ms traducido y divulgado a lo
largo de la Historia de la Cultura. Es el texto que ms veces se ha editado, despus de La Biblia,
siendo, adems, la obra ms influyente de toda la literatura matemtica.
47
ILUSTRACIONES HISTRICAS
DEL TEOREMA DE PITGORAS EN EUCLIDES
1. Teorema de Pitgoras
en rabe. Pgina de un
Comentario de 1250
sobre Euclides.
2. Teorema de Pitgoras
en chino. Manuscrito
del siglo XVII.
48
EL RECPROCO DEL TEOREMA DE PITGORAS
PROPOSICIN I.47 DE LOS ELEMENTOS DE EUCLIDES
La Proposicin I.47 marca la cumbre del Libro I de Los Elementos, pero el ingenio de
Euclides va todava ms all demostrando el resultado inverso del Teorema de
Pitgoras en la Proposicin I.48 que es un increble modelo de economa de recursos
en Geometra :
Si en un tringulo el cuadrado construido sobre uno de los lados es igual a la
suma de los cuadrados construidos sobre los restantes lados del tringulo, el
ngulo comprendido por estos dos lados es recto.
En la demostracin Euclides traza un segmento AD=AB y perpendicular a AC.
De la hiptesis: AB
2
+ AC
2
= BC
2
,
y al ser rectngulo el tringulo ADC, resulta:
AD
2
+ AC
2
= DC
2
(I.47, Teorema de Pitgoras).
Pero como AB=AD, ser:
BC
2
= AB
2
+ AC
2
= AD
2
+ AC
2
= DC
2
.
por tanto BC=DC; de manera que los tringulos DAC y CAB son congruentes, ya que
al ser el lado AC comn los dos tringulos tienen los tres lados iguales.
Por tanto el ngulo CAB que es igual al CAD (Euclides I.8), debe ser recto.
D
C
B A
Dos notas son dignas de ser remarcadas sobre esta demostracin: su concisin y el
hecho de gran valor lgico-deductivo de que Euclides aplica el propio Teorema de
Pitgoras para demostrar su recproco.
Por desgracia esta sencilla demostracin es obviada en los libros de texto aunque
paradjicamente es utilizada implcitamente tanto como el propio Teorema de
Pitgoras y ello desde los antiguos agrimensores egipcios. En efecto, es curioso que
mientras cualquier persona se enfrenta al Teorema de Pitgoras en su etapa escolar,
muy pocas personas conocen la demostracin del teorema inverso, aunque estn
seguros de su legitimidad y de hecho lo aplican cuando es necesario.
Las dos proposiciones, I.47 y I.48 constituyen una unidad secuencial con la que se
alcanza el esplendor geomtrico en el Libro I de Los Elementos, ya que tomadas en
conjunto caracterizan por completo los tringulos rectngulos, es decir:
Un tringulo es rectngulo si y slo si el cuadrado sobre la hipotenusa es igual a
la suma de los cuadrados sobre los catetos.
49
EL GRAN TEOREMA: EL TEOREMA DE PITGORAS
EN UN TEXTO DE W.DUNHAM
Viaje a travs de los genios. Pirmide. Madrid, 1992.
Cap. 2 (la demostracin de Euclides del Teorema de Pitgoras ), p.76-82.
[...] Este hito histrico se conoca mucho antes de la poca de Euclides, de manera que en
absoluto lo descubri l. Sin embargo merece que se reconozca su particular demostracin,
una prueba que muchos creen que es original de Euclides. Su belleza radica en la economa
de sus presupuestos; despus de todo Euclides dispona de sus postulados, sus nociones
comunes y las primeras 46 proposiciones una caja de herramientas ms bien escasa para, a
partir de ellos montar una demostracin. Considrense los temas de Geometra de los que
an no se haba ocupado: los nicos cuadrilteros por l investigados eran los
paralelogramos; los crculos en su prctica totalidad an estaban inexplorados, y el tema
extremadamente importante de la semejanza no se mencionara hasta el Libro VI. Con toda
seguridad es posible disear demostraciones breves del Teorema de Pitgoras utilizando
tringulos semejantes, pero Euclides no quiso diferir la demostracin de su importante
proposicin hasta el Libro VI. Claramente pretenda demostrar el Teorema de Pitgoras de
la manera ms rpida y directa posible y, en consecuencia, dise una demostracin que se
convertira en la proposicin 47 de Los Elementos. Desde esta perspectiva, se puede
considerar que gran parten de lo que haba precedido estaba apuntando al gran Teorema de
Pitgoras, que sirve de adecuado clmax al Libro I
La Proposicin I.47 marca la cima del Libro I, pero Euclides tena un resultado final que
demostrar, la inversa del Teorema de Pitgoras. En este caso el ingenio y la economa de
medios son innegables. Por desgracia, esta demostracin no es tan bien conocida como
debiera serlo. De hecho, mientras la mayora de los estudiantes se tropiezan con una
demostracin del Teorema de Pitgoras en algn momento de sus vidas, muy pocos ven una
demostracin de la inversa, o lo que es equivalente, estn seguros de su validez.
El Teorema de Pitgoras y su inverso Proposiciones I.47 y I.48 de Los Elementos de Euclides en la edicin
de Rodrigo amorano, primera en idioma castellano, Sevilla, 1576.
50
Pster de la celebracin en Espaa del Ao 2000 Mundial de las Matemticas que incluye un
fragmento con el anagrama eucldeo de una demostracin del Teorema de Pitgoras en una
edicin medieval en griego de los Los Elementos de Euclides.
El Teorema de Pitgoras como parte esencial de los bellsimos tesoros matemticos de la
tradicin pitagrica es una de las joyas geomtricas a las que alude Kepler en su obra
Mysterium Cosmographicum de 1596.
Sin duda alguna, el Teorema de Pitgoras es el ms esplndido, atractivo, clebre, popular,
renombrado y til de la Geometra elemental. Con toda seguridad es el Teorema ms
conocido, del que ms demostraciones se han realizado, el que ms nombres ha recibido y el
que ms pasin ha producido en toda una plyade heterognea de personajes ilustres, desde
el alba de la historia hasta nuestros das. La multitud de pruebas del Teorema de Pitgoras
ilustran la idea de que hay muchas formas de alcanzar la misma verdad.
La soberbia grandeza del Teorema de Pitgoras establece una radical inflexin intelectual
entre la prctica emprica e inductiva y la argumentacin deductivo-demostrativa, tanto en el
marco histrico cultural matemtico como en el mbito escolar de la Educacin matemtica.
Como origen de la Geometra racional, fundamento de multitud de teoremas geomtricos,
causa primera de la Inconmensurabilidad, umbral entre la Matemtica emprica y la
Matemtica deductiva, paradigma para la Matemtica y paradigma para la Educacin
matemtica, bien podemos considerar que el Teorema de Pitgoras pertenece al imaginario
cultural de todos los pueblos.
EL TEOREMA DE PITGORAS EN EL 2000
AO MUNDIAL DE LAS MATEMTICAS
51
El Libro II
Tras la aparicin de las magnitudes inconmensurables los griegos no podan admitir la
existencia de nmeros irracionales. De esta forma se imposibilitaba el tratamiento numrico
de longitudes, reas y volmenes. A esta limitacin operacional se aada un deficiente
sistema de numeracin que usaba las propias letras del alfabeto griego para representar los
nmeros enteros, lo que supona una considerable dificultad para realizar las operaciones.
Estas condiciones impedan asignar a las figuras geomtricas nmeros que midieran sus
longitudes, reas y volmenes y por tanto no era factible someterlas a manipulaciones
algebraicas, como se hace con los nmeros, de modo que haba que operar directamente
con las figuras que se trataban como magnitudes. As aparece el llamado lgebra
Geomtrica de los griegos, que desarrolla la Escuela pitagrica, como una especie de
algoritmo geomtrico que permita resolver los problemas sin recurrir al clculo literal. Los
nmeros son sustituidos por segmentos de recta y las operaciones entre ellos se llevan a
cabo mediante construcciones geomtricas, por ejemplo, la suma de dos nmeros se realiza
yuxtaponiendo segmentos, el producto se convierte en el rea del rectngulo de lados las
longitudes de esos nmeros y la extraccin de una raz cuadrada es equivalente a la
construccin de un cuadrado cuyo rea es igual a la de un rectngulo dado. Pues bien, el
Libro II de Los Elementos de Euclides, con sus catorce proposiciones, contiene la parte ms
importante del lgebra Geomtrica de los griegos.
En las primeras diez proposiciones, Euclides establece la equivalencia geomtrica de las
principales identidades algebraicas muy habituales en la prctica escolar. Adems, las
figuras geomtricas que utiliza Euclides permiten utilizar el lgebra Geomtrica como un
poderoso instrumento para la resolucin de ecuaciones cuadrticas, mediante el mtodo de
la Aplicacin de las reas (que se generalizar en el Libro VI), lo que supone que el Libro II
juegue un papel fundamental en la Geometra griega.
El Libro II termina con dos proposiciones equivalentes al llamado Teorema del coseno (que
generalizan el Teorema de Pitgoras) y con la cuadratura de figuras poligonales.
Definiciones:
D.II.1. Definicin II.1. De todo paralelogramo rectangular se dice que est comprendido por
las dos rectas que comprenden el ngulo recto.
D.II.2. Definicin II.2. En toda rea de paralelogramo se llama gnomon a uno cualquiera de
los paralelogramos situados en torno a su diagonal junto con los dos complementos.
Proposiciones:
Proposicin II.1. Si una de dos rectas dadas se divide en un nmero cualquiera de
partes, el rectngulo comprendido por dichas rectas, equivale a los rectngulos
comprendidos por la no dividida y por cada una de las parciales.
[Propiedad distributiva de la multiplicacin respecto de la suma, a(b + c + d + ....) =
ab + ac + ad + ... ]
Proposicin II.2. Si se divide de una forma cualquiera una recta, el rectngulo
comprendido por la recta entera y cada una de sus partes, es equivalente al cuadrado de
la recta entera.
[(a+b)a+(a+b)b=(a+b)
2
].
Proposicin II.3. Si se divide de una forma cualquiera una recta, el rectngulo
comprendido por la recta entera y por una de sus partes, es equivalente al rectngulo
comprendido por las partes de la recta ms el cuadrado de la parte primeramente dicha.
[(a+b)a=ab+a
2
].
52
Proposicin II.4. Si se divide de una forma cualquiera una recta por un punto, el
cuadrado de la recta entera es equivalente a los cuadrados de las partes ms dos veces
el rectngulo comprendido por las partes.
[Cuadrado de un binomio: (a+b)
2
=a
2
+b
2
+2ab].
Proposicin II.5. Si se divide una recta en partes iguales y desiguales, el rectngulo
comprendido por las partes desiguales de la recta entera, ms el cuadrado de la
diferencia entre las dos partes, es equivalente al cuadrado de la mitad de la recta dada.
(
(
|
.
|
\
| +
=
|
.
|
\
|

+
+
2 2
2
b a
b
2
b a
b a o
[Suma por diferencia igual a diferencia de cuadrados: (a + b)(ab) + b
2
= a
2
].
[Solucin geomtrica de la ecuacin cuadrtica axx
2
=b
2
, vase VI.28].
Proposicin II.6. Si se divide una recta en dos partes iguales y se prolonga, el rectngulo
comprendido por la recta entera, ms la prolongacin, y por la prolongacin, junto con el
cuadrado de la recta mitad, es equivalente al cuadrado de la recta formada por la recta
mitad y la prolongacin.
[(2a+b)b+ a
2
=(a+b)
2
, o (a+b)(ba)+ a
2
=b
2
].
[Solucin geomtrica de la ecuacin cuadrtica ax+x
2
=b
2
, vase VI.29].
Proposicin II.7. Si se divide de una forma cualquiera una recta, el cuadrado de la recta
entera y el de una de sus partes, tomados en conjunto, equivalen a dos veces el
rectngulo comprendido por la recta entera y la parte considerada ms el cuadrado de la
otra parte.
[(a+b)
2
+a
2
= (2a+b)a+b
2
, o a
2
+b
2
= 2ab+(ab)
2
].
Portada y Proposicin II.4 en la edicin de Rondelli de Los Elementos de Euclides (Bolonia, 1693).
53
Las Proposiciones II.5, II.6 y II.7 del lgebra Geomtrica del Libro II de Los Elementos de Euclides
en la edicin de E.Ratdolt (Venecia, 1482). Este ejemplar procede de la Biblioteca Monstica de
Yuso del Monasterio de San Milln de la Cogolla.
La parte ms importante del Libro II de Los Elementos de Euclides trata de los fundamentos del
lgebra Geomtrica de los griegos que operaba directamente con las figuras que se trataban como
magnitudes. Los nmeros son tratados como segmentos de recta y las operaciones entre ellos se
realizan mediante construcciones geomtricas. El estudio de las relaciones entre los rectngulos o
cuadrados de la misma altura construidos sobre la suma o la diferencia de dos segmentos, permite
la solucin geomtrica de las ecuaciones cuadrticas.
EL LGEBRA GEOMETRICA DEL LIBRO II
54
Pgina de un manuscrito en griego de una edicin medieval del ao 888 de Los Elementos de
Euclides. Se llama Bodleian Manuscript por pertenecer a Bodleian Library. Se exhiben los folios 35
v
y 36
r
, que contienen las proposiciones de Los Elementos II.5 y II.6 del lgebra Geomtrica griega.
Fragmento de un papiro, que data
de 75-125 d.C. Es quiz el ms
antiguo resto de diagramas de
proposiciones de Los Elementos de
Euclides. Fue encontrado en
excavaciones de los aos 1986-87
en una antigua torre de
Oxyrhynchus, cerca de Behnesa
(Egipto). Se conserva en la
Universidad de Pennsylvania. El
fragmento contiene el enunciado
en griego y una figura auxiliar de
la Proposicin II.5 de Los
Elementos de Euclides.
LOS MS ANTIGUOS DOCUMENTOS DEL LGEBRA GEOMTRICA
55
Proposicin II.8. Si se divide de una forma cualquiera una recta, cuatro veces el
rectngulo comprendido por la recta entera y por una de sus partes, ms el cuadrado de
la otra parte, equivalen al cuadrado construido sobre la recta entera ms la parte
considerada.
[4(a+b)a+b
2
= [(a+b)+a]
2
, 4ab+(ab)
2
=(a+b)
2
].
Proposicin II.9. Si se divide una recta en partes iguales y desiguales, los cuadrados de
las partes desiguales de la recta entera son el doble del cuadrado de la mitad de la recta
entera, ms el cuadrado de la recta situada entre los puntos de seccin.
2 2
2 2
a b a b
a b
2 2
(
+ | | | |
+ = +
(
| |
\ . \ .
(

o [(a+b)
2
+(ab)
2
=2(a
2
+b
2
)].
Proposicin II.10. Si una lnea recta se divide en dos partes iguales y se le aade, en
lnea recta, otra recta; el cuadrado de la recta entera ms la recta aadida y el cuadrado
de la aadida, juntos, son el doble del cuadrado construido sobre la recta mitad ms el
cuadrado construido sobre la recta compuesta por la mitad y la recta aadida, tomadas
como una sola recta.
[(2a+b)
2
+b
2
= 2[a
2
+(a+b)
2
] , o (a+b)
2
+(ba)
2
=2(a
2
+b
2
)].
Proposicin II.11. Dividir una recta de tal forma que el rectngulo comprendido por la
recta entera y por una de sus partes sea equivalente al cuadrado de la otra parte.
[Solucin geomtrica de la ecuacin cuadrtica ax+x
2
=a
2
, divisin de un segmento en
media y extrema razn, vase VI.30].
Proposicin II.12. En los tringulos obtusngulos, el cuadrado del lado que subtiende
[opuesto] el ngulo obtuso es mayor que los cuadrados de los lados que lo comprenden
en dos veces el rectngulo comprendido por aqul de los del ngulo obtuso sobre el que
cae la perpendicular y por la recta exterior cortada por la perpendicular, hasta el ngulo
obtuso.
[Teorema del cuadrado del lado opuesto a un ngulo obtuso].
Proposicin II.13. En los tringulos acutngulos, el cuadrado del lado que subtiende un
ngulo agudo es menor que los cuadrados de los lados que lo comprenden en dos veces
el rectngulo comprendido por uno de los lados del ngulo agudo sobre el que cae la
perpendicular y por la recta interior cortada por la perpendicular, hasta el ngulo agudo.
[Teorema del cuadrado del lado opuesto a un ngulo agudo].
Proposicin II.14. Construir un cuadrado equivalente a una figura rectilnea dada.
[Cuadratura de figuras poligonales].
LA DIVINA PROPORCIN EN LOS ELEMENTOS DE EUCLIDES
La Proposicin II.11 del lgebra Geomtrica del Libro II de Los Elementos de Euclides contiene el
fundamento geomtrico de la Secin urea mediante la solucin geomtrica de la ecuacin
cuadrtica ax+x
2
=a
2
.
56
Las Proposiciones II.12 y II.13 de Los Elementos de Euclides ( edicin de E.Ratdolt, Venecia, 1482).
Estas proposiciones de Euclides, llamadas habitualmente Teorema del cuadrado del lado opuesto a un
ngulo obtuso de un tringulo y Teorema del cuadrado del lado opuesto a un ngulo agudo de un
tringulo, forman parte ineludible como el propio Teorema de Pitgoras de la matemtica escolar
elemental.
Ambos teoremas son tanto una generalizacin de la Proposicin I.47 el Teorema de Pitgoras para
tringulos cualesquiera como una versin geomtrica pre-trigonomtrica de los Teoremas del coseno
de los tringulos.
El matemtico alejandrino del siglo I d.C. Hern clebre por su famosa frmula para el clculo del
rea S de un tringulo tomando como datos los tres lados, a, b, c, = S p(p a)(p b)(p c) ,
demostr ciertos teoremas inversos, en cierto modo, de las proposiciones II.12 y II.13, de manera que
en conjunto cada teorema y su inverso permiten caracterizar a los tringulos obtusngulos y
acutngulos tal como las Proposiciones I.47 y I.48 caracterizan los tringulos rectngulos.
Un tringulo es rectngulo si y slo si el cuadrado del lado opuesto al ngulo recto hipotenusa
es igual a la suma de los cuadrados de los otros dos lados catetos.
Un tringulo es obtusngulo si y slo si el cuadrado del lado opuesto al ngulo obtuso es mayor
que la suma de los cuadrados de los otros dos lados.
Un tringulo es acutngulo si y slo si el cuadrado de cualquier lado es menor que la suma de los
cuadrados de los otros dos lados.
LAS PROPOSICIONES II.12, II.13 DE LOS ELEMENTOS DE EUCLIDES
GENERALIZACIONES DEL TEOREMA DE PITGORAS
Y ANTECEDENTES DEL TEOREMA DEL COSENO
57
LA CUADRATURA DE FIGURAS POLIGONALES
EN EL LIBRO II DE LOS ELEMENTOS DE EUCLIDES
La Proposicin II.14 de Los Elementos de Euclides sobre cuadratura de figuras poligonales.
Termina el Libro II con uno de los problemas ms importantes de Los Elementos de Euclides y de toda la
Geometra griega, la cuestin de las cuadraturas de las figuras geomtricas.
La cuadratura de una figura plana es la construccin, con regla comps, de un cuadrado con la misma superficie que la
figura inicial. El problema que fascin a la cultura griega por su obsesin por reducir lo complejo a lo simple (como
simple es la regularidad simtrica del cuadrado), en un mundo natural gobernado por la razn, la perfeccin, la belleza y
el orden tiene un enorme inters desde un punto de vista prctico, ya que la determinacin del rea de una figura
irregular no es nada sencillo, mientras que la cuadratura de una figura reduce el clculo de su rea al de un cuadrado.
a
H L
K F
G
E
D C
B
b
c
c
c a
En efecto, sean: a=HG, b=EG, c=EH. Ahora se tiene:
a
2
= b
2
+ c
2
(Teorema de Pitgoras , I.47).
FG = BG = HG=a, al ser todos radios del semicrculo.
EF = FG EG = ab , BE =BG + GE = a+b
rea del rectngulo BCDE = BE x ED =BE x EF = (a+b)(ab) = a
2
b
2
= c
2
= rea del cuadrado EKLH.
As pues, se ha demostrado que el rea del rectngulo inicial BCDE es igual al rea del cuadrado EKLH,
construido con regla y comps. Se ha resuelto, por tanto, el problema de la cuadratura del rectngulo.
El segundo paso es la cuadratura de un tringulo lo cual es trivial al ser el tringulo la mitad de un rectngulo.
El tercero y ltimo paso es la cuadratura de una figura poligonal cualquiera lo que se realiza mediante su particin
en tringulos, cada uno de los cuales es cuadrable. La aplicacin del Teorema de Pitgoras de forma reiterada para
dados dos cuadrados construir un cuadrado de rea la suma de ambos nos permite finalmente realizar la
cuadratura de cualquier figura poligonal rectilnea por irregular que sea.
La cuadratura de figuras curvilneas, de una complejidad muy superior, nos lleva a la famosa cuadratura de las
Lnulas de Hipcrates que est fuera de Los Elementos de Euclides y a la Teora de la Proporcin y Mtodo de
Exhaucin y Cuadraturas y Cubaturas de los Libros V, X y XII de Los Elementos de Euclides, respectivamente, y
sobre todo a las Obras de Arqumedes.
El primer paso en estos problemas es la cuadratura es la
cuadratura del rectngulo que aparece en esta
Proposicin II.14 de Los Elementos de Euclides:
Sea BCDE un rectngulo cualquiera. Se debe construir,
con regla y comps, un cuadrado que tenga por rea la
del rectngulo BCDE. Con la regla se prolonga la recta
BE, y se utiliza el comps para sealar el segmento EF
de longitud igual a ED. A continuacin se halla el punto
medio G de BF y se describe un semicrculo de centro G
y dimetro BE. Finalmente desde E se traza la lnea EH
perpendicular a BF, siendo H el punto de interseccin
de esta perpendicular con el semicrculo. El segmento
EH es el lado del cuadrado EHLK buscado.
58
El Libro III
El Libro III de los Elementos de Euclides, cuya procedencia se atribuye a los pitagricos y a
Hipcrates de Quos, contiene 11 definiciones que introducen los objetos matemticos y 37
proposiciones sobre la geometra del crculo que estudian las propiedades de arcos,
cuerdas, segmentos y sectores, tangentes y secantes, intersecciones de crculos, ngulos
centrales y ngulos inscritos, todos ellos problemas muy familiares en los libros de texto de
la Matemtica Elemental.
En las cuatro primeras proposiciones se estudian cuestiones en relacin con el centro del
crculo, se demuestra que todas las cuerdas son interiores al crculo, que un dimetro la
corta en dos partes iguales y que los dimetros perpendiculares a una cuerda la bisecan. En
las dos siguientes, 5 y 6, se obtiene que los crculos secantes o tangentes no pueden ser
concntricos. Despus se discute las distancias mnimas y mximas entre la circunferencia y
un punto interior o exterior. Las que siguen hasta la 13 estudian propiedades de los crculos
tangentes y secantes. El Libro III contina hasta la 19 con propiedades de tangentes. De la
20 a la 30 se tratan los ngulos inscritos y las relaciones entre cuerdas y arcos.
El estudio de la tangente a la circunferencia hace aparecer en este Libro por primera vez en
la Historia de las Matemticas la nocin de ngulo de contingencia (III.16), es un ngulo
mixtilneo de gran trascendencia geomtrica y metafsica.
Tambin se estudia en este Libro uno de los famosos teoremas de Tales (III.31) sobre
ngulos inscritos en un semicrculo y otros resultados equivalentes a los teoremas sobre
potencia de un punto respecto de una circunferencia (III.35, III.36, III.37) sin utilizar la
semejanza, sino por medios de la Aplicacin de las reas del lgebra Geomtrica .
A pesar de que este Libro est dedicado al crculo, no aparecen en l, ni en ningn otro
Libro de Los Elementos de Euclides resultados sobre la longitud de la circunferencia o el
rea del crculo. Estos problemas, considerados de ndole no elemental sern tratados por
Arqumedes mediante el Mtodo de Exhaucin de Eudoxo, introducido en el libro X.
Definiciones:
D.III.1. Crculos iguales son aquellos cuyos dimetros [o radios] son iguales.
D.III.2. Una recta es tangente a un crculo cuando, tocando al crculo y siendo prolongada,
no corta a la crculo.
D.III.3. Dos crculos son tangentes cuando, tocndose mutuamente, no se cortan.
D.III.4. En un crculo las rectas estn a la misma distancia del centro, cuando las
perpendiculares trazadas desde el centro hasta ellas, son iguales.
D.III.5. Se dice que est a mayor distancia aquella recta sobre la que cae la perpendicular
mayor.
D.III.6. Un segmento de un crculo es la figura comprendida por una recta [una cuerda] y el
arco de crculo subtendido por ella.
D.III.7. Un ngulo de un segmento es el comprendido por una recta y un arco de un crculo.
D.III.8. ngulo en un segmento es el ngulo que, cuando se toma un punto sobre el arco
del segmento y se trazan rectas desde l hasta los extremos de la recta que es la
base del segmento, est comprendido por las rectas trazadas.
D.III.9. Cuando las rectas que comprenden el ngulo cortan a una circunferencia se dice
que el ngulo est sobre ella.
D.III.10. Un sector de un crculo es la figura que, cuando se construye un ngulo en el centro
del crculo, est comprendida por las rectas que comprenden el ngulo y la
circunferencia cortada por ellas.
D.III.11. Segmentos semejantes de un crculo son los que admiten ngulos iguales, o
aquellos en los que los ngulos son iguales entre s.
59
LA GEOMETRA DEL CRCULO
EN EL LIBRO III DE LOS ELEMENTOS DE EUCLIDES
Primera pgina con las definiciones y la primera proposicin Encontrar el centro de un crculo
dado del Libro III de Los Elementos de Euclides en la edicin de E.Ratdolt (Venecia, 1482). Este
ejemplar procede de la Biblioteca Monstica de Yuso del Monasterio de San Milln de la Cogolla.
El Libro III de Los Elementos de Euclides es, sin duda alguna, uno de los que ms se ha
escolarizado a lo largo de la Historia de la Educacin Matemtica, y an en la actualidad sigue
formando parte de Matemtica acadmica en la Enseanza Elemental.
60
Proposiciones:
Proposicin III.1. Encontrar el centro de un crculo dado.
Proposicin III.2. La recta que une dos puntos cualesquiera de la circunferencia de un
crculo cae dentro del crculo.
Proposicin III.3. Si en un crculo una recta dibujada a travs del centro divide en dos
partes iguales a otra recta no dibujada a travs del centro, la corta en ngulos rectos; y
si la corta en ngulos rectos, la divide en dos partes iguales.
Proposicin III.4. Si en un crculo se cortan entre s dos rectas que no pasan por el
centro, no se dividen entre s en dos partes iguales.
Proposicin III.5. Si dos crculos se cortan, sus centros no coinciden.
Proposicin III.6. Si dos crculos se tocan el uno al otro, sus centros no coinciden.
[Segn las proposiciones 5 y 6, las circunferencias concntricas no tiene puntos en
comn y la circunferencia de centro y radio dado es nica, vase el tercer postulado
del libro I].
Proposicin III.9. Si se toma un punto dentro de un crculo y del punto al crculo caen ms
de dos rectas iguales, el punto tomado es el centro del crculo.
Proposicin III.10. Dos crculos no se cortan en ms de dos puntos.
Proposicin III.11. Si dos crculos se tocan interiormente, la recta que une sus centros,
prolongada, pasa por el punto de contacto.
Proposicin III.12. Si dos crculos se tocan el uno al otro exteriormente, la recta que une
sus centros pasa por el punto de contacto.
Proposicin III.13. Dos crculos no se tocan ms que en un punto, ya sea interior o
exteriormente.
Proposicin III.14. En un crculo les rectas iguales estn a la misma distancia del centro, y
las que estn a la misma distancia del centro son iguales.
Proposicin III.15. En un crculo el dimetro es la recta mayor y de las otras, la ms
prxima al centro es siempre mayor que la ms lejana.
Proposicin III.16. La recta perpendicular en el extremo de un dimetro cae fuera del
crculo; entre esta recta y la circunferencia no se interpone ninguna otra y el ngulo del
semicrculo es mayor que cualquier ngulo rectilneo agudo y lo restante menor
(ngulo crneo o ngulo de contingencia).
Proposicin III.17. Desde un punto trazar una recta tangente a un crculo dado.
Proposicin III.18. Si una recta es tangente a un crculo y se traza el radio en el punto de
contacto, este radio es perpendicular a la tangente.
Proposicin III.19. Si una recta es tangente a un crculo y desde el punto de contacto se
traza una perpendicular a la tangente, el centro del crculo est en esa perpendicular.
Proposicin III.20. En un crculo el ngulo que tiene su vrtice en el centro del crculo es
doble del que lo tiene en la circunferencia si ambos ngulos abarcan el mismo arco.
Proposicin III.21. En un crculo los ngulos que abarcan el mismo segmento circular son
iguales entre s.
Proposicin III.22. En los cuadrilteros colocados en un crculo los ngulos opuestos
equivalen a dos rectos.
Proposicin III.23. Sobre la misma recta y al mismo lado de ella no se pueden construir
dos segmentos circulares semejantes y desiguales.
Proposicin III.24. Los segmentos circulares semejantes sobre rectas iguales son iguales.
61
Las Proposiciones 9, 10, 11 y 12 del Libro III de Los Elementos de Euclides en la edicin de
E.Ratdolt (Venecia, 1482).
La Proposicin 9 trata de una propiedad del centro del crculo y las otras estudian propiedades de
los crculos tangentes y secantes.
62
Las Proposiciones 18, 19, 20 y 21 del Libro III de Los Elementos de Euclides en la edicin de
E.Ratdolt (Venecia, 1482).
Estas Proposiciones son importantes resultados sobre tangentes y ngulos en el crculo.
63
Proposicin III.25. Dado un segmento de crculo, completar el crculo al que pertenece.
Proposicin III.26. En crculos iguales, los ngulos iguales abarcan arcos iguales, tanto si
tienen el vrtice en el centro como si lo tienen en la circunferencia.
Proposicin III.27. En crculos iguales, los ngulos que abarcan arcos iguales son iguales,
tanto si tienen el vrtice en el centro como si lo tienen en la circunferencia.
Proposicin III.28. En crculos iguales rectas iguales subtienden arcos iguales, el mayor
con el mayor y el menor con el menor.
Proposicin III.29. En crculos iguales arcos iguales subtienden rectas iguales.
Proposicin III.30. Dividir un arco en dos partes iguales.
Proposicin III.31. En un crculo el ngulo colocado en el semicrculo es recto [Teorema
de Tales]; el que est en el segmento mayor es menor que un ngulo recto; el que est
en el segmento menor es mayor que un ngulo recto; y adems, el ngulo del segmento
mayor es mayor que un ngulo recto y el ngulo del segmento menor es menor que un
ngulo recto.
Corolario. Cuando un ngulo de un tringulo equivale a los otros dos juntos, es recto.
Proposicin III.33. Sobre una recta dada, construir un segmento de crculo que
comprenda un ngulo igual a un ngulo dado [arco capaz de un ngulo].
Proposicin III.35. Si dos rectas se cortan en el interior de un crculo, el rectngulo
comprendido por los segmentos de una recta es igual al comprendido por los
segmentos de la otra [Potencia de un punto respecto de una circunferencia].
Proposicin III.36. Si desde un punto exterior a un crculo se trazan dos rectas, una de las
cuales lo corta y la otra slo lo toca [es tangente], el rectngulo comprendido por toda la
secante y su parte exterior entre el punto y la circunferencia convexa del crculo,
equivale al cuadrado construido sobre la tangente.
Proposicin III.37. Si desde un punto exterior a un crculo se trazan dos rectas, una de las
cuales lo corta y la otra lo toca, y el rectngulo comprendido por toda la secante y su
parte exterior entre el punto y la circunferencia cncava, equivale al cuadrado de la
recta que lo toca, sta es tangente al crculo.
La proposicin 36 del Libro III de Los Elementos de Euclides en la edicin de E.Ratdolt.
A partir de las proposiciones III.36, III.36 y III.37, el gemetra J.Steiner (1796-1863) introdujo el
concepto de potencia de un punto respecto de una circunferencia.
64
Las Proposiciones 25, 26 y 27 del Libro III de Los Elementos de Euclides en la edicin de E.Ratdolt.
En la Proposicin 25 Euclides explica como dado un arco se dibuja toda la circunferencia.
En las Proposiciones 26 y 27 Euclides estudia relaciones entre ngulos, arcos y cuerdas de crculo.
65
La Proposicin III.31 de Los Elementos de Euclides.
En la edicin de E.Ratdolt ocupa el lugar 30 y est situada en dos pginas.
Esta es una de las famosas proposiciones que procede de Tales, segn la cual
cualquier ngulo inscrito en el crculo que abarque un semicrculo es recto.
66
El Libro IV
El contenido del Libro IV de los Elementos de Euclides tambin se atribuye, como el tercero,
a los pitagricos y a Hipcrates de Quos. Contiene 7 definiciones y 16 proposiciones
relativas a polgonos regulares inscritos y circunscritos en crculos. Concretamente Euclides
describe cmo se pueden construir con regla y comps polgonos regulares de 3, 4, 5, 6 y
15 lados.
En la primera proposicin se expone cmo inscribir un segmento en un crculo. En la
segunda y tercera se explica cmo inscribir y circunscribir un tringulo en crculos, y en la
cuarta y quinta cmo inscribir y circunscribir un crculo en un tringulo. En particular, en las
proposiciones sobre el tringulo inscrito y circunscrito aparecen, respectivamente, las
importantes cuestiones geomtricas escolares de las bisectrices (y su punto de interseccin,
el incentro) y las mediatrices (y su punto de interseccin, el circuncentro).
Desde la proposicin sexta a la novena, Euclides estudia los mismos problemas para el
cuadrado, es decir, la manera de inscribir y circunscribir un cuadrado en un crculo y
viceversa. Tambin de la proposicin onceava a la decimocuarta, Euclides estudia los
mismos problemas para el pentgono regular.
Previo a las construcciones relativas al pentgono, en la proposicin dcima, Euclides
construye el llamado Tringulo ureo, que es un tringulo issceles en el que los ngulos
iguales tienen amplitud doble del desigual. Este tringulo es utilizado para las
construcciones sobre el pentgono.
En la decimoquinta proposicin, Euclides estudia el problema de inscribir un hexgono
regular en un crculo. Finalmente en la decimosexta y ltima proposicin del Libro IV
Euclides expone la forma de inscribir pentadecgono polgono regular de 15 lados en un
crculo.
Como en otros muchos problemas geomtricos, los gemetras griegos y matemticos
posteriores derrocharon considerables esfuerzos infructuosos en los intentos de
construccin del resto de los polgonos regulares, dentro del marco general de la llamada
limitacin platnica a los instrumentos eucldeos, la regla y el comps.
EL Libro IV de Los Elementos de Euclides.
Frontispicio con las definiciones y la primera proposicin en la edicin de Rodrigo
amorano, primera en idioma castellano, Sevilla, 1576.
67
Definiciones:
D.IV.1. Se dice que una figura rectilnea est inscrita en otra figura rectilnea, cuando cada
uno de los ngulos de la figura inscrita toca los lados respectivos de la figura en la
que se inscribe.
D.IV.2. De manera semejante, se dice que una figura est circunscrita en torno de otra
figura, cuando cada lado de la figura circunscrita toca los ngulos respectivos de la
figura a la que circunscribe.
D.IV.3. Se dice que una figura rectilnea est inscrita en un crculo, cuando cada ngulo de
la figura inscrita toca la circunferencia del crculo.
D.IV.4. Se dice que una figura rectilnea est circunscrita en torno a un crculo, cuando
cada lado de la figura circunscrita toca a la circunferencia del crculo.
D.IV.5. De manera semejante, se dice que un crculo est inscrito en una figura, cuando la
circunferencia del crculo toca cada lado de la figura en la que est inscrita.
D.IV.6. Se dice que un crculo est circunscrito en torno de una figura, cuando la
circunferencia del crculo toca cada ngulo de la figura en torno a la que est
circunscrito.
D.IV.7. Se dice que una recta est adaptada a un crculo, cuando sus extremos estn en la
circunferencia del crculo.
Proposiciones:
Proposicin IV.1. Adaptar a un crculo dado una recta igual a una recta dada que no sea
mayor que el dimetro del crculo.
Proposicin IV.2. Inscribir en un crculo dado un tringulo de ngulos iguales a los de un
tringulo dado.
Proposicin IV.3. Circunscribir a un crculo dado un tringulo de ngulos iguales a los de
un tringulo dado.
Proposicin IV.4. Inscribir un crculo en un tringulo dado [las bisectrices de un tringulo
se cortan en un punto, el incentro, que es el centro de la circunferencia circunscrita].
Proposicin IV.5. Circunscribir un crculo en un tringulo dado [solucin al problema de
encontrar la circunferencia que pasa por tres puntos, las mediatrices de un tringulo se
cortan en un punto, el circuncentro, que es el centro de la circunferencia circunscrita].
Proposicin IV.6. Inscribir un cuadrado en un crculo dado.
Proposicin IV.7. Circunscribir un cuadrado en un crculo dado.
Proposicin IV.8. Inscribir un crculo en un cuadrado dado.
Proposicin IV.9. Circunscribir un crculo a un cuadrado dado.
Proposicin IV.10. Construir un tringulo issceles cada uno de cuyos ngulos en la base
sea doble del ngulo en el vrtice [Tringulo ureo, construccin de la estrella
pitagrica, (smbolo de identificacin de los pitagricos)].
Proposicin IV.11. Inscribir un pentgono regular en un crculo dado.
Proposicin IV.12. Circunscribir un pentgono regular en un crculo dado.
Proposicin IV.13. Inscribir un crculo en un pentgono regular dado.
Proposicin IV.14. Circunscribir un crculo a un pentgono regular dado.
Proposicin IV.15. Inscribir un hexgono regular en un crculo dado.
Proposicin IV.16. Inscribir un pentadecgono regular en un crculo dado.
68
Las proposiciones 1, 2, 3 sobre tringulos inscritos y circunscritos a un crculo en el Folio 26 verso
del Libro IV de la edicin de Los Elementos de Euclides de Paganius Paganinus (Venecia, 1509).
CONSTRUCCIN DE POLGONOS INSCRITOS Y
CIRCUNSCRITOS EN EL CRCULO
EN EL LIBRO IV DE LOS ELEMENTOS DE EUCLIDES
69
Las Proposiciones IV.4 y V.5 de Los Elementos de Euclides (edicin de E.Ratdolt, Venecia, 1482).
En estas dos proposiciones Euclides resuelve los problemas de la Matemtica escolar de inscribir y
circunscribir un tringulo dado en un crculo, relacionados con las importantes cuestiones
geomtricas de las bisectrices (y su punto de interseccin, el incentro) y las mediatrices (y su punto
de interseccin, el circuncentro que es el centro de la circunferencia circunscrita).
70
Las Proposiciones 6, 7, 8, 9 del Libro IV de Los Elementos de Euclides en la edicin de E.Ratdolt
(Venecia, 1482).
En estas dos proposiciones Euclides resuelve los problemas de inscribir y circunscribir un cuadrado
dado en un crculo y a la inversa un crculo en un cuadrado.
71
La Proposicin IV.10 de Los Elementos de Euclides en la edicin de E.Ratdolt (Venecia, 1482).
En la Proposicin IV.10 Euclides construye el Tringulo ureo un tringulo issceles que tiene los
ngulos iguales dobles del ngulo desigual como preliminar de la Proposicin IV.10 donde
inscribe un pentgono regular en un crculo dado.
El Tringulo ureo tiene una gran importancia en la formacin del Pentagrama mstico pitagrico.
EL TRINGULO UREO
72
EL TRINGULO UREO
Y EL PENTAGRAMA MSTICO PITAGRICO

Adems, el Pentagrama mstico pudo estar en la base del ms importante hallazgo

cientfico de los pitagricos: el descubrimiento de las magnitudes inconmensurables, una
de las causas de la profunda crisis que arruin a la cofrada pitagrica.
Una de las curiosas propiedades del Pentagrama, que impona respeto a los pitagricos
era su unicursalidad: la estrella pentagonal puede ser trazada por el movimiento de un
punto sin pasar dos veces por el mismo lado.
las cuales de forma sorprendente se cortan determinando segmentos que estn en
proporcin urea siendo el segmento mayor igual al lado del pentgono (Euclides XIII.8).
Esta propiedad es equivalente a que los lados de los Tringulos ureos estn en
proporcin urea, y de aqu procede su nombre.
Buena parte de la Geometra pitagrica en relacin con la
seccin urea, tuvo que ver con el pentgono regular. La
figura de la estrella de cinco puntas que se forma al trazar
las cinco diagonales de una cara pentagonal, llamada
pentgono estrellado o pentagrama mstico, parece haber
sido una especie de smbolo de identificacin, a modo de
anagrama, de la Escuela Pitagrica. Por eso los
pitagricos estudiaron exhaustivamente la construccin y
propiedades del Pentagrama haciendo de l uno de los
tpicos geomtricos ms importantes por sus bellsimas
propiedades geomtricas de las que nace su simbolismo.
Como se ve en la figura, el Pentagrama se construye a base
de tres tringulos issceles iguales por eso al pentagrama
pitagrico se le llama tambin tripletringulo que
tienen los ngulos iguales dobles del ngulo desigual, es
decir, que son Tringulos ureos. Este tipo de tringulo se
construye, como hemos visto, en la Proposicin 10 del
Libro IV de Los Elementos de Euclides, cuyo contenido es
de raz pitagrica. En la siguiente Proposicin, la IV.11, se
construye efectivamente el pentagrama a base de inscribir
en un crculo un pentgono regular y trazar las diagonales.
El Tringulo ureo tiene ngulos en la base de 72 y en
el vrtice de 36, y es auto-reproductivo :
Partiendo del tringulo ABC, la bisectriz del ngulo B
corta a AC in D de forma urea. El tringulo BCD
siendo semejante al original ABC resulta ser un
tringulo ureo. La bisectriz del ngulo C corta a BD en
el punto E de forma urea y el tringulo CDE resulta ser
ureo. Este proceso, que es una forma de crecimiento
gnomnico, es indefinido, obtenindose una sucesin
de tringulos ureos que convergen hacia el polo de una
espiral logartmica que pasa por los sucesivos vrtices
de los tringulos.
73
Las Proposiciones 11 y 12 del Libro IV de Los Elementos de Euclides (edicin de E.Ratdolt).
En estas dos proposiciones Euclides resuelve los problemas de inscribir y circunscribir un
pentgono regular en un crculo.
74
CONSTRUCCIN DE POLGONOS INSCRITOS
La Proposicin 16 del Libro IV de Los Elementos de Euclides (edicin de E.Ratdolt).
Euclides corona el Libro IV con esta proposicin en la que construye el pentadecgono regular, es
decir, el polgono regular de 15 lados.
La Proposicin 15 del Libro IV de Los Elementos de Euclides (edicin de E.Ratdolt).
En esta proposicin Euclides resuelve el problema de inscribir un hexgono regular en un crculo.
75
LA CONSTRUCCIN DE LOS POLGONOS REGULARES
EN LOS ELEMENTOS DE EUCLIDES
Si en la Proposicin I.1 Euclides construye, con regla y comps, un tringulo regular o equiltero y
en la I.46 construye un cuadrado sobre un segmento dado, en el Libro IV Euclides ampliar el
catlogo de construcciones a polgonos regulares de mayor nmero de lados, a base de inscribir en
un crculo un pentgono regular (para lo que construye previamente el tringulo ureo, issceles
en el que los ngulos iguales valen el doble del desigual) y el hexgono regular.
A
B
C
E
Los Elementos de Euclides no dicen nada ms acerca del resto de los polgonos regulares, aunque
hay que sobreentender que dejan implcita la posibilidad de obtener otros muchos por el aludido
proceso de biseccin, de modo que a partir del tringulo resultaran los polgonos regulares de 6,
12, 24, 48, ... lados; a partir del cuadrado los polgonos regulares de 8, 16, 32, 64, ...; a partir del
pentgono los de 10, 20, 40, 80, ... lados; y, a partir del pentadecgono los de 30, 60, 120, ... lados.
Los gemetras griegos disponan de un gran repertorio de polgonos construibles. Pero no todos
los polgonos estn presentes en la lista. Faltan los polgonos regulares de 7, 9, 11, 13, 17, 19, ...
lados, que no encajan en el canon de duplicacin que se ha visto con la construccin del el
pentadecgono. Al igual que en otras cuestiones, como por ejemplo los llamados problemas
clsico cuadratura del crculo, duplicacin del cubo y triseccin del ngulo los matemticos
griegos y los gemetras posteriores invirtieron ingentes esfuerzos en los intentos de conseguir la
construccin del resto de los polgonos regulares, hasta, tal vez, llegar al convencimiento de que
aunque Euclides no lo diga en ningn texto los nicos polgonos construibles son los descritos
en el Libro IV de Los Elementos, de modo que todos los dems escaparan a las posibilidades que
ofrece la limitacin geomtrica platnica de la regla y el comps.
A tenor de esta situacin, se puede entender la conmocin que caus en los ambientes cientficos
que un adolescente de 17 aos, C.F. Gauss, descubriera en 1794 cmo construir el polgono de 17
lados. El resultado ahora consta en la Seccin VII de su obra Disquisitiones Arithmeticae. Gauss
investig la constructibilidad de los pgonos regulares (polgonos de p lados), donde p es un
nmero primo. Hasta entonces slo se conoca la construccin para p=3 y p=5. Gauss descubri
que:
El pgono regular es construible si y slo si p es un nmero primo de Fermat,
es decir, si p es de la forma: = +
k
2
p 2 1. Los primeros nmeros de Fermat son 3, 5, 17, 257, 65537.
Segn Courant (Qu es la Matemtica?, Aguilar, Madrid, 1971, p.129):
Tan entusiasmado se sinti el joven Gauss por su descubrimiento, que renunci a su intencin de
hacerse fillogo y resolvi dedicar su vida a la Matemtica y sus aplicaciones. Gauss siempre record la
primera de sus proezas con particular orgullo. Despus de su muerte le fue erigida en Gotinga una
estatua de bronce, y no pudo encontrarse honor ms adecuado que el de dar a su pedestal la forma de un
polgono regular de 17 lados.
El pedestal de la estatua de bronce tiene el simbolismo de epitafio icnico en honor de uno de los
matemticos ms brillantes y ms prolficos de toda la Historia de la ms antigua de las Ciencias.
El libro IV termina con la construccin del
pentadecgono (polgono regular de 15 lados)
mediante una construccin donde queda
patente la vinculacin subrepticia de la
Geometra y la Aritmtica. Euclides inscribe, en
el mismo crculo y con un vrtice comn, un
tringulo equiltero de lado AC (que produce
arcos de un tercio de circunferencia) y un
pentgono regular de lado AB (que determina
arcos de un quinto de circunferencia). La
diferencia entre el arco del tringulo y el del
pentgono (1/3 1/5 = 2/15), proporciona un arco
BC que al bisectarlo nos da un arco BE que
divide la circunferencia en 15 partes iguales. La
cuerda correspondiente es el lado del polgono
de 15 lados, el pentadecgono.
76
El Libro V
Tal como se ha visto hasta ahora, los primeros cuatro libros de Los Elementos de Euclides
tratan sobre las propiedades bsicas de figuras rectilneas tringulos y polgonos en
general y crculos. Euclides ha construido una gran parte de la Geometra elemental sin
aplicar los importantes conceptos de proporcin y semejanza.
Los pitagricos haban elaborado un gran desarrollo geomtrico con multitud de teoremas
(en particular sobre semejanza de figuras) que aplicaban proporciones en la creencia de que
todas las magnitudes geomtricas eran conmensurables (es decir, expresables su magnitud
como cociente entre dos nmeros enteros). La aparicin de los inconmensurables en el
horizonte geomtrico de la escuela pitagrica invalidaba las pruebas de estos teoremas, de
ah la terrible confusin lgica que introdujo este fenmeno, que lleg a producir una crisis
de fundamentos, sin precedentes en la Historia de la Matemtica. Es precisamente la
necesidad de reconstruir las pruebas geomtricas de los teoremas pitagricos,
fundamentndolas en un nuevo rigor, lo que produce, como reaccin ante la crisis, la
aparicin de Los Elementos de Euclides, donde la Matemtica elemental de los griegos
queda rgidamente estructurada con el severo rigor que impone el mtodo axiomtico. Pero
la revisin de los fundamentos traer como secuela el desarrollo de la Geometra al margen
de la Aritmtica, la ausencia de un lgebra en sentido algortmico y simblico y por tanto un
enfoque exclusivamente geomtrico de toda la Matemtica griega.
Pues bien, es Eudoxo de Cnido, de la Escuela platnica, quien emprende la magnfica tarea
de colmar el abismo lgico y proporcionar una base firme a la Matemtica griega, al
introducir de forma brillante una teora satisfactoria de la proporcin, que al tratarse de forma
geomtrica tiene la inmensa ventaja de ser aplicable indistintamente a magnitudes
conmensurables e inconmensurables, como por ejemplo, longitudes, reas, volmenes, etc.,
y que ser recogida por Euclides en el Libro V de Los Elementos. He aqu la explicacin de
por qu Euclides retrasa, tanto como puede, el uso de proporciones. Pero era evidente que
tarde o temprano tendran que aparecer sino se quera mutilar gran parte del legado
matemtico pitagrico y ahora es el momento. El Libro V proporcionara, pues, una base
lgica firme a toda doctrina que en la Geometra griega tuviera que ver con proporciones.
En la Teora de la Proporcin de Eudoxo juegan un papel trascendental las definiciones
cuarta y quinta. La definicin V.4 en el fondo es un enunciado algo impreciso del llamado
Axioma de Eudoxo-Arqumedes o Axioma de continuidad que viene a decir que dadas dos
magnitudes siempre se puede superar a la mayor considerando a la menor un nmero
determinado de veces, lo que supone en el fondo la existencia de magnitudes tan grandes
como se quiera o tan pequeas como se quiera que excluye las cantidades infinitamente
pequeas (llamadas despus infinitsimos), es decir, no cabe razn entre dos magnitudes,
si una de ellas es tan pequea, que no hay ningn mltiplo entero de ella que exceda a la
otra. Tambin excluye las magnitudes infinitamente grandes, que no seran superadas por
ningn mltiplo entero de la cantidad menor. As pues, la definicin V.4 permite conjurar la
presencia del infinito, desterrado de la Matemtica griega cuando aparecen los
inconmensurables. La definicin V.4 es una advertencia que exige que siempre que se hable
de igualdad o desigualdad de razones (segn la definicin V.5) el par de magnitudes que se
comparan debe cumplir a fortiori la condicin de V.4.
Las proposiciones del Libro V comienzan con diversas formas de la propiedad distributiva
del producto respecto de la suma y la resta, la propiedad asociativa del producto, las
abundantes leyes que rigen las desigualdades, es decir, las propiedades del menor que y
del mayor que y en general las propiedades tan habituales de las proporciones expuestas
en forma geomtrica, pero vlidas para cualquier tipo de magnitud.
La Teora de la Proporcin de Eudoxo (que hace del Libro V uno de los logros ms
importantes de la obra eucldea) tuvo una profunda influencia sobre la concepcin
decimonnica de los nmeros irracionales, sobre todo en la versin de las Cortaduras de
Dedekind, de modo que bastantes proposiciones del Libro V nos reflejan muchas de las
familiares propiedades de los nmeros reales.
77
Definiciones:
D.V.1. Una magnitud es parte [submltiplo o parte alcuota] de una magnitud, la menor de
la mayor, cuando mide a la mayor [exactamente].
D.V.2. Y la mayor es mltiplo de la menor cuando es medida por la menor.
D.V.3. Una razn es determinada relacin con respecto a su tamao entre dos magnitudes
homogneas.
D.V.4. Se dice que guardan razn entre s las magnitudes que, al multiplicarse, puedan
exceder una a la otra.
D.V.5. Se dice que una primera magnitud guarda la misma razn con una segunda
magnitud, que una tercera magnitud con una cuarta magnitud, cuando cualesquiera
equimltiplos de la primera y la tercera exceden a la par, sean iguales a la par o
sean inferiores a la par, que cualesquiera equimltiplos de la segunda y la cuarta,
respectivamente y tomados en el orden correspondiente.
[a/b=c/d si dados dos nmeros enteros cualesquiera m,n, es na>mb cuando nc>md
na<mb cuando nc<md na>mb cuando nc=md. Es el criterio necesario y suficiente de
proporcionalidad, piedra angular de la Teora de la Proporcin de Eudoxo, superadora
de la crisis pitagrica de los inconmensurables].
Las Definiciones V.4 y V.5 del Libro V de Los Elementos de Euclides, en la edicin de E. Ratdolt
(Venecia, 1482). En esta edicin las definiciones 4 y 5 ocupan los lugares 5 y 6, respectivamente.
Las Definiciones V.4 (Axioma de Eudoxo-Arqumedes o Axioma de continuidad ) y V.5 (Igualdad de
razones) son el fundamento de la Teora de la Proporcin de Eudoxo del Libro V de Los Elementos
de Euclides.
78
D.V.6. Se llaman proporcionales las magnitudes que guardan la misma razn.
D.V.7. Entre los equimltiplos, cuando el mltiplo de la primera excede 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.
D.V.8. Una proporcin entre tres trminos es la menor posible.
[Proporcin continua a/b=b/c].
D.V.9. Cuando tres magnitudes son proporcionales [estn en proporcin continua], se dice
que la primera guarda con la tercera una razn duplicada [es el cuadrado] de la que
guarda con la segunda [a/b=b/c (a/b)(a/b)= (a/b)(b/c)=a/c].
D.V.10. Cuando cuatro magnitudes son proporcionales [estn en proporcin continua], se
dice que la primera guarda con la cuarta una razn triplicada [es el cubo] de la que
guarda con la segunda, y as siempre, sucesivamente, sea cual sea la proporcin.
[a/b=b/c=c/d (a/b)(a/b)(a/b)= a/d].
D.V.11. Se llaman magnitudes correspondientes las antecedentes en relacin con las
antecedentes y las consecuentes con las consecuentes.
D.V.12. Una razn por alternancia consiste en tomar el antecedente en relacin con el
antecedente y el consecuente en relacin con el consecuente.
[a/b=c/d a/c=b/d].
D.V.13. Una razn por inversin consiste en tomar el consecuente como antecedente en
relacin con el antecedente como consecuente.
[a/b=c/d b/a=d/c].
D.V.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.
[a/b, (a+b)/b].
D.V.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.
[a/b, (ab)/b].
D.V.16. La conversin de una razn consiste en tomar el antecedente en relacin con el
exceso por el que el antecedente excede al consecuente.
[a/b, a/(ab)].
D.V.17. Una razn por igualdad se da cuando, habiendo diferentes magnitudes y otras
iguales a las primeras en nmero que, tomadas de dos a dos, guardan la misma
razn, sucede que como la primera es a la ltima entre las primeras magnitudes,
as entre las segundas magnitudes la primera es a la ltima; o dicho de otro
modo, consiste en tomar los extremos sin considerar los medios.
[a
1
/b
1
=a
2
/b
2
= =a
n
/b
n
a
1
/a
n
=b
1
/b
n
].
D.V.18. Una proporcin perturbada se da cuando habiendo tres magnitudes y otras iguales
a ellas en nmero, sucede que como que el antecedente es al consecuente entre
las primeras magnitudes, as entre las segundas magnitudes el antecedente es
al consecuente, y como el consecuente es a alguna otra magnitud entre las
primeras magnitudes ,as entre las segundas magnitudes alguna otra magnitud
es al antecedente.
[(a,b,c), (m,n,p), a/b=n/p y b/c=m/n].
79
Proposiciones:
Proposicin V.1. Si hay un nmero cualquiera de magnitudes respectivamente
equimltiplos de cualesquiera otras iguales en nmero, cuantas veces una sea mltiplo
de otra, tantas veces lo sern todas de todas.
[si ma
1
, ma
2
, ... ,ma
n
son equimltiplos de a
1
, a
2
, ... ,a
n
ma
1
+ ma
2
+ + ma
n
= m(a
1
+
a
2
+ +a
n
)].
Proposicin V.2. Si una primera magnitud es el mismo mltiplo de una segunda que una
tercera lo es de una cuarta, y una quinta es tambin el mismo mltiplo de la segunda que
una sexta de la cuarta, la suma de la primera y la quinta ser el mismo mltiplo de la
segunda que la suma de la tercera y la sexta de la cuarta.
[a=nb, c=nd; e=mb, f=md a+e=nb+mb=(n+m)b, c+f=nd+md=(n+m)d].
Proposicin V.3. Si una primera magnitud es el mismo mltiplo de una segunda que una
tercera lo es de una cuarta, y se toman equimltiplos de la primera y la tercera, tambin
por igualdad cada una de las dos magnitudes tomadas sern equimltiplos,
respectivamente, una de la segunda y la otra de la cuarta.
[a=nb, c=nd ma=pb, mc=pd].
Proposicin V.4. Si una primera magnitud guarda la misma razn con una segunda que
una tercera con una cuarta, cualesquiera equimltiplos de la primera y la tercera
guardaran la misma razn con cualesquiera equimltiplos de la segunda y la cuarta
respectivamente, tomados en el orden correspondiente.
[a/b= c/d na/mb=nc/md].
Proposicin V.5. Si una magnitud es el mismo mltiplo de otra que una quitada de la
primera lo es de otra quitada a la segunda, la magnitud restante de la primera tiene con
la magnitud restante de la segunda la misma razn que las magnitudes totales.
[a=nb, ac=n(bd) a/b= (ac)/(bd)].
Proposicin V.6. Si dos magnitudes son equimltiplos de dos magnitudes y ciertas
magnitudes quitadas de ellas son equimltiplos de estas dos segundas, las restantes
tambin son o iguales a las mismas o equimltiplos de ellas.
[a=nb, c=nd (amb)/(cmd)=b/d].
Proposicin V.7. Las magnitudes iguales guardan la misma razn con una misma
magnitud y la misma magnitud guarda la misma razn con las magnitudes iguales.
[a=b a/c=b/c, c/a=c/b].
Proposicin V.8. De magnitudes desiguales, la mayor guarda con una misma magnitud
una razn mayor que la menor, y la misma magnitud guarda con la menor una razn
mayor que con la mayor.
[a>b a/c>b/c, c/b>c/a].
Proposicin V.9. Las magnitudes que guardan con una misma magnitud la misma razn
son iguales entre s; y aquellas con las que una misma magnitud guarda la misma razn,
son iguales.
[a/c=b/c a=b, (recproco de la Proposicin V.7)].
Proposicin V.10. De las magnitudes que guardan razn con una misma magnitud, la
que guarda una razn mayor, es mayor. Y aquella con la que la misma magnitud guarda
una razn mayor, es menor.
[recproco de la Proposicin V.8; a/c>b/c a>b ; c/a>c/b a<b].
Proposicin V.11. Las razones que son iguales a una misma razn son iguales
tambin entre s. [a/b= n/m, c/d=n/m a/b= c/d].
80
Proposicin V.12. Si un nmero cualquiera de magnitudes fueran proporcionales, como
sea una de las antecedentes a una de las consecuentes, as lo sern todas las
antecedentes a las consecuentes.
[Aristteles, tica a Nicmaco V.7, 1131 b 14: El todo es al todo como cada parte es
a cada parte; a
1
/b
1
= a
2
/b
2
= = a
n
/b
n
a
i
/b
i
=(a
1
+a
2
+ +a
n
)/(b
1
+b
2
+ +b
n
)].
Proposicin V.13. Si una primera magnitud guarda con una segunda la misma razn que
una tercera con una cuarta, y la tercera guarda con la cuarta una razn mayor que una
quinta con una sexta, la primera guardar tambin con la segunda una razn mayor que
la quinta con la sexta.
[a/b= c/d, c/d>e/f a/b= c/d>e/f].
una tercera con una cuarta y la primera es mayor que la tercera, la segunda ser
tambin mayor que la cuarta, y si es igual, ser igual, y si es menor, ser menor.
[Aristteles, Meteorologa, III.5, 376 a 11-14; a/b= c/d, a>c (respect. a<c) b>d
(respect. b<d)].
Proposicin V.15. Las partes guardan la misma razn entre s que sus mltiplos,
tomados en el orden correspondiente.
[a/b= na/nb].
Proposicin V.16. Si cuatro magnitudes son proporcionales, tambin por alternancia
sern proporcionales.
[a/b=c/d a/c= b/d].
Proposicin V.17. Si unas magnitudes son proporcionales por composicin, tambin
sern proporcionales por separacin.
[a/b=c/d (ab)/b=(cd)/d].
Proposicin V.18. Si unas magnitudes son proporcionales por separacin, tambin sern
proporcionales por composicin.
[a/b=c/d (a+b)/b=(c+d)/d].
Proposicin V.19. Si un todo tiene con otro todo la misma razn que la parte quitada de
uno a la parte quitada de otro, las partes restantes tambin estarn entre s como los
todos.
[c/d=a/b (c<a, d<b) (ac)/(bd)=a/b].
Proposicin V.20. Si hay tres magnitudes y otras iguales a ellas en nmero que, tomadas
de dos en dos, guardan la misma razn, y si, por igualdad, la primera es mayor que la
tercera, tambin la cuarta ser mayor que la sexta; y si es igual, igual, y si es menor,
menor.
[(a,b,c), (m,n,p), a/b=m/n , b/c=n/p , a>=<c (respectivamente) m>=<p
(respectivamente)].
de dos en dos, guardan la misma razn y su proporcin es perturbada, y si, por igualdad,
la primera es mayor que la tercera, tambin la cuarta ser mayor que la sexta; y si es
igual, igual; y si es menor, menor.
[(a,b,c), (m,n,p), a/b=n/p, b/c=m/n, a>=<c (respectivamente) m>=<p
(respectivamente)].
Proposicin V.22. Si hay un nmero cualquiera de magnitudes y otras iguales a ellas en
nmero que, tomadas de dos en dos, guarden la misma razn, por igualdad guardarn
tambin la misma razn menor. [(a,b,c), (m,n,p), a/b=m/n , b/c=n/p a/c=m/p].
81
de dos en dos, guardan la misma razn, y su proporcin es perturbada, por igualdad
guardarn tambin la misma razn.
[(a,b,c), (m,n,p), a/b=n/p, b/c=m/n a/c=m/p (respectivamente)].
una tercera con una cuarta, y una quinta guarda con la segunda la misma razn que la
sexta con la cuarta, la primera y la quinta, tomadas juntas, guardarn tambin la misma
razn con la segunda que la tercera y la sexta con la cuarta.
[a/b=c/d , e/b=f/d (a+e)/b= (c+f)/d].
Proposicin V.25. Si cuatro magnitudes son proporcionales, la mayor y la menor juntas
son mayores que las dos que quedan.
[a/b=c/d , a>b>c>d a+d>=b+c].
Las proposiciones 18 y 19 sobre
propiedades de las proporciones en
el Libro V de Los Elementos de
Euclides de la edicin de Isaac
Barrow (Londres, 1678).
82
PROPOSICIONES DEL LIBRO V
Las Proposiciones 17, 18 y 19 del Libro V de Los Elementos de Euclides, en la edicin de E. Ratdolt.
Estas proposiciones, redactadas en lenguaje geomtrico, de forma retrica y casi crptica son
equivalentes a los siguientes importantes resultados sobre proporciones:
Proposicin 17: [a/b=c/d a/c= b/d].
Proposicin 18: [a/b=c/d (ab)/b=(cd)/d].
Proposicin 19: [a/b=c/d (a+b)/b=(c+d)/d].
83
LA INCONMENSURABILIDAD DE 2
Demostracin aritmtica de la inconmensurabilidad de 2
Sea p/q una fraccin irreducible tal que (p/q)
2
=2. Se verifica:
p
2
/q
2
=2; p
2
=2q
2
, de modo que p
2
(y por tanto p) es un nmero par; es decir: p=2s.
de donde 2q
2
=p
2
=(2s)
2
=4s
2
.
As pues: q
2
=2s
2
, de modo que q
2
(y por tanto q) es un nmero par; es decir : p=2r.
El carcter par de p y q contradice la hiptesis de que p/q es una fraccin irreducible.
En consecuencia no puede existir ningn segmento cuyo cuadrado sea 2.
Esta demostracin es de raz aristotlica. El mtodo indirecto por reduccin al absurdo hace
improbable que fuera la base del descubrimiento pitagrico original de los
inconmensurables.
La demostracin aritmtica de la inconmensurabilidad de 2 exhibida, equivalente segn el
Teorema de Pitgoras a la inconmensurabilidad de la diagonal de un cuadrado con respecto al
lado que debe ser medida por un segmento cuyo cuadrado sea 2, se ha interpolado en los
textos apcrifos de Los Elementos de Euclides como proposicin X.117.
La demostracin esta basada en la distincin entre lo par y lo impar y ya haba sido aludida
por Aristteles (Lgica. Analtica Primera. Libro I, Cap. 23, 41a):
Se demuestra que la diagonal del cuadrado es inconmensurable con los lados, mostrando que
si se supone que es conmensurable, los nmeros pares sern igual a los nmeros impares.
El eminente matemtico ingles G.H. Hardy escribe un autntico panegrico de esta
demostracin en su conocida obra Apologa de un matemtico, donde describe su concepcin
de la Matemtica (Nivola, Madrid, 1999. p.91):
[La demostracin aristotlica de la irracionalidad de 2 ] es un teorema simple, tanto en su
idea como en su ejecucin, pero no hay duda de que es un teorema de la mayor categora.
Conserva la frescura y el significado del momento de su descubrimiento; y los ms de 2000
aos transcurridos no lo han desgastado un pice.
________________________________
Demostracin geomtrica de la inconmensurabilidad de 2
Supongamos que existe un segmento HK que divide a
los segmentos AB (cateto) y a BC (hipotenusa),
es decir: HK AB, HK BC.
De la geometra de la figura se deduce:
AB = FB [radios]
FD = AD [tangentes]
FC = BCAB (1)
FD = FC [(FDC) issceles (<D=<B=<C)]
DC = ACAD = ACFD = ACFC (2)
De (1) y (2) se deduce: HK FC, HK DC D
F
C A
1
1
B
2
Este proceso se puede reiterar indefinidamente, con el resultado de que se van obteniendo
tringulos issceles que pueden llegar a ser tan pequeos como se quiera, en los que el
segmento fijo HK divide simultneamente al cateto y a la hipotenusa, lo cual es
manifiestamente imposible. Esto lleva a la conclusin de que no puede haber una unidad de
longitud que mida simultneamente el cateto y la hipotenusa del tringulo, es decir, estos dos
segmentos no son conmensurables
84
LA HIPTESIS DEL PENTGONO Y EL PENTAGRAMA
EN EL DESCUBRIMIENTO PITAGRICO
DE LA INCONMENSURABILIDAD
Kurt von Fritz. The discovery of incommensurability by Hippasus of Metapontum (Annals of
Mathematics, 46, 242-64, 1945).
El descubrimiento de la inconmensurabilidad es uno de los ms asombrosos y
trascendentales logros de la primitiva matemtica griega . (p. 242)
Sabemos que los pitagricos usaban el pentagrama, es decir, el pentgono regular con los
lados prolongados hasta el punto de interseccin, como smbolo de reconocimiento. (p. 256).
Hipasos debi intentar encontrar nmeros y razones incorporados en el pentagrama y el
pentgono regular [...] nicas figuras geomtricas en las que la inconmensurabilidad puede
ser fcilmente probada. Haba un antiguo mtodo, conocido por los artesanos como regla
emprica muchos siglos antes del comienzo de la filosofa y de la ciencia en Grecia, a saber, el
mtodo de la sustraccin recproca, por el cual se halla la mayor medida comn. Naturalmente
no es posible descubrir la inconmensurabilidad en la forma como lo practicaban los
artesanos, pero s trazando todas las diagonales dentro del pentgono, que forman otro
pentgono regular en el centro, con el que se puede practicar la misma operacin, y as hasta
el infinito, y por tanto reiterar de forma indefinida el proceso de sustraccin recproca, de
modo que no puede haber una medida comn de la diagonal y el lado del pentgono. As
pues, es aparente casi a primera vista que la relacin entre la diagonal y el lado no puede ser
expresada en nmeros enteros, por grandes que sean. [...]. (p. 257).
El descubrimiento de la inconmensurabilidad debi provocar una enorme impresin en los
crculos pitagricos porque de golpe destrua la creencia de que todo poda ser expresado en
trminos de nmeros enteros, lo que constitua la base de toda la Filosofa pitagrica. Esta
impresin es claramente reflejada en algunas leyendas que aseguran que Hipasos fue
castigado por los dioses por haber hecho pblico el terrible descubrimiento. (p. 260).
En el curso de la sustraccin recproca podemos
ver que la diferencia entre la diagonal y el lado
del pentgono ms grande es igual a la diagonal
del pentgono ms pequeo, y la diferencia
entre el lado del pentgono ms grande y la
diagonal del pentgono ms pequeo es igual
al lado del pentgono ms pequeo, y a su vez
la diferencia entre la diagonal del pentgono
ms pequeo y su lado es igual a la diagonal
del siguiente pentgono ms pequeo, y as
sucesivamente hasta el infinito. Ya que cada
nuevo pentgono regular se obtiene trazando
diagonales, es evidente que el proceso de
sustraccin recproca se puede seguir
realizando indefinidamente, y por tanto no se
puede encontrar ninguna medida comn de la
diagonal y el lado del pentgono regular se
puede encontrar. (p. 258)
85
Aunque Proclo en su famoso Comentario al Libro I de Los Elementos de Euclides atribuye al propio Pitgoras el
primer reconocimiento de inconmensurables cuando escribe:
Pitgoras [...] investig los teoremas de un modo inmaterial e intelectual y descubri la dificultad de los nmeros
irracionales,
la tradicin lo atribuye al pitagrico Hipasos de Metaponto, hacia el 480 a.C. La sacudida que la aparicin del
nuevo ente provoc en la Matemtica griega puede calibrarse por la leyenda que relata un viejo escolio
atribuido a Proclo del Libro X de Los Elementos de Euclides:
Es fama que el primero en dar al dominio pblico la teora de los irracionales, perecera en un naufragio, y ello
porque lo inexpresable e inimaginable debera siempre haber permanecido oculto. En consecuencia, el culpable, que
fortuitamente toc y revel este aspecto de las cosas vivientes, fue trasladado a su lugar de origen, donde es
flagelado a perpetuidad por las olas.
La cosmovisin pitagrica estableca que toda la naturaleza estaba regida por un orden matemtico y acuaba el
trmino Cosmos para describir un universo armonioso y ordenado por unas leyes cognoscibles e inteligibles por
el hombre a travs de nmero, germen elemental y esencia de todas las cosas. Si el nmero es el instrumento
radical de inteleccin del mundo el fsico y el espiritual, la aparicin del inconmensurable elemento que al
est fuera de la inteligibilidad produce un disturbio radical en el orden numrico que resquebraja los cimientos
aritmticos de la Filosofa pitagrica, que eran principios racionales basados en el nmero entero. El
descubrimiento de los inconmensurables es un desafo lanzado por la naturaleza a la Aritmtica que refuta la
creencia pitagrica en la omnipotencia de los nmeros.
La sbita emergencia de la inconmensurabilidad someti el pensamiento pitagrico a un desafo filosfico ya
que la irracionalidad atentaba contra el sincretismo aritmtico-fsico que estableca la preeminencia del nmero
como esencia del Cosmos y otro matemtico ya que a partir de entonces en Geometra era imposible medir
siempre con exactitud y los inconmensurables exigan la reconstruccin de todas las pruebas pitagricas de los
teoremas que utilizaban proporciones.
V.Gmez Pin escribe en su obra La tentacin pitagrica (Sntesis, Madrid, 1999, pp. 55, 56):
Esta imposibilidad [de expresar raz cuadrada de dos en forma de fraccin] dej necesariamente atnito y
acaso espantado al pitagrico. Pues no poda negar que 2 era un nmero, ya que entonces dejara de tener valor
general el Teorema de Pitgoras [...].irreductible a la aritmtica racional, 2 es, sin embargo, perfectamente
representable en el orden geomtrico [aplicando el Teorema de Pitgoras].
Segn J. Babini (Arqumedes: El Mtodo. Eudeba, Buenos Aires, 1966, p.15):
El descubrimiento pitagrico de los irracionales mostr su incompatibilidad con su metafsica [...]. La
inconmensurabilidad de la diagonal y el lado de un cuadrado planteaba a los pitagricos una tremenda
alternativa: de mantener su metafsica, mutilaban la geometra; de mantener la geometra anulaban su
metafsica.
LOS INCONMENSURABLES QUIEBRAN LA FILOSOFA PITAGRICA
Pitgoras. Museo Capitolino de Roma.
Quiz la efigie ms conocida de Pitgoras.
Portada de la Aritmtica de F.Calandri
(Florencia, 1492) representando a
Pitgoras como maestro de Aritmtica.
86
LA TEORA DE LA PROPORCIN DE EUDOXO EN EL
LIBRO V DE LOS ELEMENTOS DE EUCLIDES
Dos segmentos de recta pueden ser comparados con regla y comps para determinar cul tiene mayor
longitud y pueden yuxtaponerse para obtener un tercer segmento. La Aplicacin de las reas del Libro
II de Los Elementos de Euclides permite realizar las mismas operaciones con reas, ya que segn la
Proposicin II.14 toda figura rectilnea puede transformarse en un rectngulo con el mismo rea y un altura
prefijada. Las reas de dos rectngulos con la misma altura pueden compararse cotejando las longitudes de
sus bases (Proposicin VI.1) y se pueden yuxtaponer para obtener un tercer rectngulo. Al repetir la
adicin de una magnitud geomtrica (longitud, rea o volumen) consigo misma, se realiza la
operacin de multiplicar por un entero positivo.
La definicin pitagrica de Proporcin:
Para los griegos la palabra nmero significa nmero entero positivo; una fraccin a/b indicara
no un nmero racional sino una relacin entre los nmeros enteros a y b, la razn entre a y b.
En sentido actual sera un par ordenado de nmeros.
Para los pitagricos dos razones a/b, c/d, se dice que son proporcionales:
a/b=c/d, cuando existen enteros p,q,m,n, tales que a=mp, b=mq, c=np, d=nq;
por ejemplo: 12/15=16/20, porque 12 contiene cuatro de las cinco partes de 15, al igual que 16
contiene cuatro de las cinco partes de 20.
A partir de esta base se desarroll inicialmente la teora pitagrica de la proporcionalidad. La
visin de nmero como tamao se aplic a las magnitudes geomtricas: longitudes, reas y
volmenes, en la creencia de que dos segmentos de lnea eran siempre conmensurables, es decir
que exista una unidad comn de la que ambos seran mltiplos. De esta forma la doctrina de
razones enteras y proporciones se poda extender a longitudes, reas y volmenes de figuras
simples como segmentos, rectngulos y paraleleppedos.
El descubrimiento pitagrico de los inconmensurables inutilizaba la teora pitagrica de
proporciones enteras para la comparacin de razones de magnitudes geomtricas y en
consecuencia quedaban afectadas y deban ser reconstruidas todas las pruebas pitagricas de los
teoremas que utilizaran proporciones. La profunda crisis de fundamentos de la Geometra que se
desencaden fue resuelta por un matemtico de la Academia platnica, Eudoxo de Cnido,
mediante una nueva definicin de proporcionalidad de razones de magnitudes geomtricas.
La definicin de Eudoxo de igualdad de razones (Elementos de Euclides, definicin V.5):
Si a,b son dos magnitudes geomtricas del mismo tipo y c,d son tambin del mismo tipo (aunque
no necesariamente del mismo tipo que a y b), Eudoxo define que las razones
a/b y c/d son proporcionales: a/b=c/d,
cuando para cualquier par de enteros positivos n y m, se tiene:
na>mb y nc>md na=mb y nc=md, na<mb y nc<md .
La definicin de Eudoxo de proporcin generaliza la nocin pitagrica de
proporcionalidad de razones de enteros:
1. Si a/b = c/d en sentido pitagrico, existen enteros p,q,m,n positivos, tales que a=mp, b=mq, c=np, d=nq.
Sean h, k, enteros positivos cualesquiera. Se tiene:
ha (>, =,<) kb hmp (>, =, <) kmq hp (>, =, <) kq hnp (>, =, <) knq hc (>, =, <) kd .
Por tanto se ha demostrado que a/b = c/d sentido de Eudoxo.
2. Si a/b = c/d en sentido de Eudoxo, donde a,b,c,d, son enteros positivos. Existen enteros, r,s, tales
que: ra = sb, y por tanto: rc = sd.
Sea h=mcd(r,s), entonces: r=qh, s=ph, donde mcd(q,p)=1. Ahora se verifica:
ra = sb qha = phb qa = pb

Teorema de Euclides
Elementos, VII.30

=

=

a p
b q
==m
=

=

a pm
b qm
rc = sd qhc = phd qc = pd

Teorema de Euclides
Elementos, VII.30

=

=

c p
b q
==n
=

=

c pn
d qn
Por tanto se ha demostrado que a/b = c/d en sentido pitagrico.
87
Sorprende la similitud de la definicin de Eudoxo de igualdad de razones con las cortaduras que
utiliz Dedekind en el siglo XIX para la fundamentacin del conjunto de los nmeros reales.
Dadas dos magnitudes inconmensurables a y b, la definicin de Eudoxo de proporcionalidad de
razones de magnitudes geomtricas separa el conjunto de todo los nmero racionales m/n en dos
conjuntos disjuntos: Un conjunto I de nmeros para los cuales m/n < a/b, y otro conjunto D para los
cuales m/n > a/b. El par de conjuntos (I,D) en el que todo nmero de I es menor que todo nmero de
D se llama una cortadura de Dedekind, que define precisamente un nmero real. De esta forma el
gran matemtico alemn volvi sobre el terreno arado por Eudoxo 2500 aos antes.
Con base en la definicin de igualdad de razones , Eudoxo disea una nueva Teora de la Proporcin
que ser muy alabada por G.H. Hardy en su obra Apologa de un matemtico (pp.9899):
Eudoxo construy una profunda teora que aparece descrita en el Libro V de Los Elementos de
Euclides, y que es considerada por muchos matemticos modernos como el logro ms depurado de las
Matemticas griegas. Esta teora es sorprendentemente moderna en espritu, y puede ser considerada
como el principio de la moderna teora de nmeros irracionales, que ha revolucionado el Anlisis
Matemtico y ha tenido mucha influencia en la filosofa reciente.
Eudoxo prescinde del nmero irracional y opera con magnitudes que se pueden hacer menores que
otras arbitrariamente prefijadas para lo que introduce lo que hoy llamamos el Axioma de Eudoxo-
Arqumedes o Axioma de continuidad, que aparece inocuamente como una definicin en Los
Elementos de Euclides (Definicin V.4) :
Dos magnitudes tienen razn cuando se puede multiplicar una de ellas de modo que supere a la otra.
La asuncin de Euclides fue considerada por Arqumedes como un principio o postulado, de ah el
nombre con el que ha pasado a la literatura Matemtica. La importancia del axioma la ha remarcado
Hilbert, en su obra Los principios fundamentales de la Geometra, donde le asigna un papel
fundamental en la estructura de la Geometra. Arqumedes lo enuncia en el postulado V del Libro I
de su obra Sobre la Esfera y el Cilindro y lo repite en la carta a Dositeo de Sobre la Cuadratura de la
Parbola asegurando que fue utilizado por los gemetras anteriores para demostrar los teoremas del
Libro XII de Los Elementos sobre el crculo, las esferas, los cilindros, las pirmides y los conos.
El Axioma de Eudoxo-Arqumedes juega un papel crucial en la Teora de la Proporcin de Eudoxo, lo
que se ilustra fehacientemente en la demostracin de la Proposicin V.9 de Los Elementos:
Si =
a b
c c
se verifica: a = b .
Supongamos que a > b. Entonces existe un entero n tal que n(ab) > c . Sea mc el mltiplo ms
pequeo de c que supera a nb. Entonces, se tiene: mc > nb (m-1)c. De donde resulta:
na > mc, mientras que nb <mc, lo que contradice la definicin de la proporcionalidad =
a b
c c
.
As pues, se sigue por necesidad que a=b, c.q.d.
Veamos otra aplicacin a la importante Proposicin 16 del Libro VI:
=
a c
b d
si y slo si ad=bc [El producto de los medios es igual al producto de los extremos] .
En primer lugar, se tiene: =
a ad
b bd
[Proposicin V.15] ya que segn la definicin V.5:
na>mb nad>mbd; na=mb nad=mbd; na<mb nad < mbd .
Anlogamente, se tiene: =
c bc
d bd
, que junto con =
a ad
b bd
y la hiptesis =
a c
b d
, dan: =
ad bc
bd bd
, de
donde segn la Proposicin V.9, demostrada ms arriba, resulta: ad=bc, c.q.d.
Las pruebas exhibidas son un buen patrn de cmo se demuestran las habituales propiedades de las
proporciones en el Libro V de Los Elementos de Euclides. Esta Teora de la Proporcin, forjada por
Eudoxo, permiti a la Matemtica griega manejar razones de magnitudes geomtricas de la misma
forma y con la misma finalidad con que la Matemtica actual opera con nmeros reales, y sobre la
base establecida, Eudoxo procedi a establecer pruebas geomtricas rigurosas de los resultados del
Libro XII de Los Elementos de Euclides, sobre reas de crculos y volmenes de pirmides y conos,
que Hipcrates y Demcrito haban vislumbrado unos 50 aos antes, ms o menos.
88
1. Portada de la primera edicin en idioma castellano de Los Elementos de Euclides (Rodrigo
amorano, Sevilla, 1576). En 1997 con motivo de la celebracin en Salamanca de las VIII Jornadas
de Enseanza y Aprendizaje de las Matemticas, se hizo una edicin facsimilar de esta edicin.
De ella proceden las ilustraciones.
2. Portada del Libro V de la edicin de R.amorano. Contiene las primeras definiciones de la Teora
de la Proporcin de Eudoxo, que resuelve la crisis del inconmensurable, pero como otras ediciones
coetneas, interpola entre la 3 y la 4 la siguiente : 4. Proporcin es la semejanza de las razones,
que est sacada de las obras de Aritmtica, aunque Aristteles ya haba definido proporcin,
referida a nmeros, como igualdad de las relaciones entre trminos en nmero de cuatro por lo
menos, es decir: igualdad de razones (tica a Nicmaco, LibroV, cap.3, 1131a). De esta forma las
importantes definiciones V.4 (axioma de continuidad de EudoxoArqumedes) y V.5 (igualdad de
razones) quedan desplazadas al quinto y sexto lugar, respectivamente.
Sobre el trabajo de Eudoxo citemos tres textos de tres importantes historiadores de la Matemtica:
E.Bell. Les grands mathmaticiens. Payot. Pars, 1950, pp.36,37:
Eudoxo est en la cumbre de las matemticas griegas por su Teora de las Proporciones. [...].
Eudoxo ha encontrado el primer mtodo lgicamente satisfactorio, que Euclides ha reproducido en
el Libro V de sus Elementos, para resolver los problemas de la continuidad, los enigmas del
infinito y los ddalos de los nmeros irracionales.
J.Itard. La Ciencia helnica: Platn (en Historia general de las Ciencias. Orbis. Barcelona, 1988, vol.1,
Lib.1, cap.3, p.279). R.Taton (compilador). p.350
Con el Libro V [de Los Elementos de Euclides] nos encontramos ante una de las cimas del
pensamiento matemtico, y puede afirmarse que este libro fue en verdad asimilado y superado tan
slo hace un siglo, ms o menos.
J. Babini (Arqumedes: El Mtodo. Eudeba, Buenos Aires, 1966, p.15):
La definicin de Eudoxo [de igualdad de razones] evita la dificultad que haba presentado la
razn entre cantidades inconmensurables, por carecer los griegos del concepto de nuestro numero
irracional, definiendo, no esa razn, sino la igualdad de razones; es decir, la proporcin, de una
manera tal de soslayar esa carencia. Para ello, mediante desigualdades y nmeros enteros, logra
definir la proporcionalidad, sean conmensurables o no las cantidades proporcionales. Esta
definicin de la proporcionalidad [Euclides V.5] es la que luego servir de base a la teora de la
semejanza que aparece en los Elementos de Euclides [Libro VI].
89
Y LA ENSEANZA MODERNA DE LA GEOMETRA
Felix Klein. Matemtica elemental desde un punto de vista superior
Una de las diferencias ms importantes entre la Matemtica moderna y la Matemtica griega
estriba en que los griegos no posean ni Aritmtica independiente, ni fracciones decimales que
tanto facilitan el clculo numrico, ni el clculo literal general, que son invenciones del
Renacimiento; solamente tenan un clculo en forma geomtrica, en el cual en vez de operar con
nmeros se operaba por medio d construcciones con segmentos y otras magnitudes geomtricas,
lo que naturalmente, era extraordinariamente ms complicado que nuestra Aritmtica. Tambin
carecan de los nmeros negativos, que tanta flexibilidad dan a la Aritmtica y al lgebra, y
como consecuencia de ello les faltaba la generalidad del mtodo que permite reunir en una sola
frmula todos los casos posibles, de modo que se encontraban continuamente embarazados por
la consideracin de numerosos casos particulares. (p.255)
En la Geometra estas diferencias se acentan ms an donde [en la matemtica moderna] basta
emplear el auxilio de medios analticos para lograr una generalidad completa y evitar la
distincin de casos particulares. (p.255256). [...]
El Libro V de Los Elementos de Euclides es el ms profundo, puesto que en l se introduce el
equivalente geomtrico de los nmeros reales positivos, esto es la razn a/b de dos segmentos a y
b cualesquiera, llamada por Euclides logos [...] El punto esencial de esta teora est en la
definicin de igualdad de dos razones a/b, c/d que debe ser general vlida tambin, por lo tanto,
para el caso de que a/b sea un nmero irracional en el concepto moderno; es decir, para el caso
en que los segmentos a y b sean, como dice Euclides, asymmetroi esto es, sin medida comn o
inconmensurables como despus se ha traducido. (p.256)
Euclides procede de la siguiente manera: toma dos nmeros m y n enteros, y compara las
magnitudes ma y nb de una parte, las mc y nd de otra, con lo cual resulta una de las tres
relaciones:
> >
ma = nb , mc = nd
< <
Cuando en ambas relaciones aparece siempre el mismo signo, cualesquiera que sean los nmeros
m y n elegidos dice que a/b =c/d. Se ve inmediatamente que este, procedimiento es en esencia
el mismo que el de Dedekind, para definir el nmero real por una cortadura.
Euclides continua despus con el estudio del clculo con igualdades entre razones, y
desarrolla su renombrada teora de las proporciones; es decir, una teora geomtrica de todas
las transformaciones algebraicas posibles de la ecuacin a/b =c/d
En el tratado de Euclides la proporcin se llama analoga, lo que indica que el Iogos de
dos pares de magnitudes es el mismo, concepto muchsimo ms restringido que el de
proporcin que tenemos en la actualidad. Unicamente en alguna parte de la Matemtica
conserva todava su primitivo significado como en las analogas de Neper.
La teora de las Proporciones es un ejemplo caracterstica de la tenacidad con que la tradicin
eucldea se conserva en la enseanza geomtrica, ya que en muchas, quiz en la mayor parte
de las escuelas, se ensea como un, captulo especial de la Geometra, a pesar de que est por
completo incluida en la Aritmtica moderna y de que en ella se ensea dos veces; una al
estudiar la regla de tres y otra en los principios del clculo literal. Ningn motivo hay para
ensear lo mismo por tercera vez, presentndolo en una oscura forma geomtrica, que de
seguro resultar para el discpulo completramente ininteligible, como no sea el ajustarse por
completo a las normas eucldeas. Los que tal hacen, olvidan, sin embargo, que el objeto de
Euclides era sustituir as a la Aritmtica que le faltaba y que, por lo tanto, nosotros no
necesitamos de tal teora. (p.256).
90
Y LA ENSEANZA MODERNA DE LA GEOMETRA
F. Klein. Matemtica elemental desde un punto de vista superior
Esta crtica a la actual manera de tratar las proporciones no disminuye en nada la importancia
cientfica del quinto Libro de Euclides, que es tanto mayor, cuanto que en l se establece por
primera vez la licitud del clculo con nmeros irracionales, sobre la base de definiciones
rigurosas. Esto demuestra que el tratado de Euclides no tiene el carcter didctico que tan
errneamente se le ha dado, sino que, por el contrario, est destinado a lectores familiarizados
con las ms puras abstracciones cientficas. [...] Segn la tradicin, este quinto libro no fue
escrito por Euclides, sino por Eudoxo de Cnido (hacia 350 a.C.). (p.258), [...].
Vamos, ahora, a resaltar uno de los aciertos ms brillantes de Los Elementos de Euclides. En el
quinto libro se estudia, como ya se ha dicho, la razn (logos) de dos magnitudes geomtricas
homogneas a y b, lo que equivale a dar la nocin general de nmero. Euclides no establece esta
razn sin indicar que para ello es preciso que puedan existir dos nmeros enteros m y n, tales que
ma>b y a<nb, siendo sus palabras textuales stas: Dos magnitudes tiene razn cuando un
mltiplo de cada una puede ser mayor que la otra. Esta condicin se designa actualmente con el
nombre de axioma de Arqumedes, evidentemente impropio, puesto que Euclides estuvo en
posesin de este axioma mucho tiempo antes que Arqumedes, y antes todava que Euclides
probablemente Eudoxo, por lo cual hoy va abrindose camino la denominacin de axioma de
EudoxoArqumedes. p.273).
Este axioma aparece como uno de los ms importantes postulados de continuidad en las
modernas investigaciones sobre fundamentos de la Geometra y de la Aritmtica. Con l
coincide, como se ve inmediatamente, el postulado que se da en la fundamentacin de la
Geometra, que dice que por repeticin de un segmento de una semirrecta se puede alcanzar o
pasar cualquier punto de ella. Tambin se habla de este postulado cuando se dice que: una
magnitud r recibe el nombre de infinitamente pequeo actual respecto de otra b, o, recprocamente,
b, infinitamente grande actual respecto a la a, cuando multiplicndola por cualquier nmero
finito el producto se conserva siempre inferior a b. Euclides al adoptar tal sistema de
magnitudes geomtricas, excluye completamente la consideracin de infinitamente pequeos o
infinitamente grandes actuales, exclusin imprescindible para su teora de las proporciones, ya
que sta no es otra cosa, como hemos hecho notar, que una forma de la moderna teora de
nmeros irracionales. Euclides 274 (o bien Eudoxo), procede y esto es lo ms admirable del
mismo modo que se ha procedido en las investigaciones modernas sobre la nocin de nmero y
utiliza exactamente los mismos medios auxiliares. (p.273274).
Retrato de F.Klein por von Max Liebermann. Instituto de Matemticas. Universidad de Gttingen.
Felix Klein (18491925), brillante matemtico y magnfico profesor, escribi hace ms de cien aos
Libros de Texto para Profesores de Matemticas, con reflexiones cientficas y didcticas que siguen
estando vigentes en la formacin pedaggica de la profesin docente.
91
1. Imagen atribuida a la efigie de Eudoxo, aunque no es seguro que sea tal porque tambin se
atribuye a Ptolomeo. La confusin puede provenir de la importante dedicacin de ambos
matemticos a la Astronoma.
2. Tratado de las esferas de Eudoxo. Papiro egipcio del Siglo II d.C. Museo de Louvre. Pars.
EUDOXO DE CNIDO, ENTRE PITGORAS Y EUCLIDES
ARTFICE DE LA SOLUCIN A LA CRISIS DE FUNDAMENTOS
PRODUCIDA POR LA APARICIN DE LAS
MAGNITUDES INCONMENSURABLES
P.Tannery. La gomtrie grecque.
Gauthier-Villars, Pars,1887, pp.9598.
Por su contribucin de una importancia capital a la constitucin de Los Elementos de Euclides [...]
debemos conceder a Eudoxo de Cnido un rango entre los primeros genios de la antigedad. [...].
En su origen [en la Geometra griega] se fundaba la correlacin entre la Geometra y la Aritmtica
sobre la proporcin geomtrica en la hiptesis de la conmensurabilidad de todas las magnitudes,
hiptesis ciertamente tan natural como falsa [tras el descubrimiento de las magnitudes
inconmensurables], y, que, en la poca en que Platn escriba las Leyes, estaba todava muy
extendida.
El descubrimiento de la inconmensurabilidad por Pitgoras debi causar, en Geometra, un
verdadero escndalo lgico, y, para superarlo, se tendi a restringir tanto como fuera posible el
empleo del principio de semejanza, esperando que se llegara a establecer sobre una teora de la
proporcionalidad independiente de la hiptesis de la conmensurabildad [La Teora de la Proporcin
del Eudoxo del Libro V de Los Elementos de Euclides].
Es a Eudoxo a quien pertenece la gloria de haber creado esta teora, objeto del Libro V de Los
Elementos de Euclides; el rigor es incontestable, y, si lo embarazoso de su forma geomtrica ha sido
uno de los motivos para abandonarla, sera fcil despejarse de ella [de la forma geomtrica], de modo
que al hacerlo mantiene entonces sin ninguna desventaja la comparacin con las exposiciones
modernas, a menudo tan defectuosas.
Parece, por consiguiente que , entre Pitgoras y Euclides, La Geometra plana ha sufrido en su
conjunto una revisin profunda, cuyo momento decisivo ha sido el trabajo de Eudoxo sobre las
proporciones.
92
1. Quinto libro degli Elementi dEuclide, ovvero scienza universale delle proporzioni spiegata colla dottrina
del Galileo, ... Libro V de la edicin de Viviani de Los Elementos de Euclides (Florencia, 1690)
2. Euclides. Pintura de Max Ernst (1945). Menil Foundation, Houston.
Los pitagricos haban elaborado un gran desarrollo geomtrico con multitud de teoremas en particular
sobre semejanza de figuras que aplicaban proporciones, en la creencia de que dos magnitudes geomtricas
eran siempre conmensurables es decir, haba un segmento comn que meda a ambas, y por tanto eran
expresables su magnitud como cociente entre dos nmeros enteros. La aparicin de los inconmensurables
en el horizonte geomtrico de la escuela pitagrica invalidaba las pruebas de todos los teoremas que
utilizaban proporciones, de ah la terrible confusin lgica que introdujo este fenmeno en la Geometra
griega, que lleg a producir una crisis de fundamentos, sin precedentes en la Historia de la Matemtica.
Es precisamente la necesidad de reconstruir las pruebas geomtricas de los teoremas pitagricos, a base de
fundamentarlas en un nuevo rigor, lo que produce, como reaccin ante la crisis, la aparicin de Los
Elementos de Euclides, donde la Matemtica elemental de los griegos queda rgidamente estructurada con
el severo rigor que impone el mtodo axiomtico. As pues, uno de los objetivos principales de Los
Elementos de Euclides debi ser la plasmacin enciclopdica de la Geometra griega elemental en un
Corpus geomtrico, organizado de forma lgico-deductiva, que deba normativizar la forma definitiva en
que deba de quedar el conocimiento matemtico despus de la aparicin de los inconmensurables. En este
sentido, el Libro V contendra el instrumento para llevar a cabo el programa eucldeo y por eso es uno de
los ms importantes de esta Biblia matemtica.
La solucin de Eudoxo, de la Academia platnica, llamada Teora de la Proporcin que al ser de naturaleza
geomtrica se aplica indistintamente a magnitudes conmensurables o inconmensurables como longitudes,
reas y volmenes, no es plasmada por Euclides en Los Elementos hasta llegar al Libro V, lo que le obliga
a remodelar de forma muy ingeniosa la doctrina geomtrica de los cuatro libros anteriores que es de origen
pitagrico, sustituyendo las pruebas pitagricas por demostraciones independientes de la citada teora. El
Libro V de Los Elementos proporcionara, pues, una base lgica firme a todo resultado que en la Geometra
griega tuviera que ver con proporciones en particular las proposiciones pitagricas sobre figuras
semejantes del Libro VI, es decir, teoremas relativos a razones y proporciones que se presentan en el
estudio de tringulos, paralelogramos y otros polgonos semejantes. De esta forma pudo actualizarse con
todo rigor y preservarse para la posteridad el legado geomtrico pitagrico.
Galileo senta un especial admiracin por Euclides, siendo uno de los pocos matemticos que cita, junto
con Arqumedes y Apolonio. No es extrao entonces, que a pesar de los desarrollos algebraicos del
momento y de la emergencia de la Geometra Analtica como instrumento algortmico de resolucin de
problemas, Galileo fundamentara La nueva ciencia del movimiento en la base matemtica de la Teora de la
Proporcin de Eudoxo del Libro V de Los Elementos de Euclides y su aplicacin geomtrica del Libro VI.
LOS INCONMENSURABLES EN LOS ELEMENTOS DE EUCLIDES
93
LOS INCONMENSURABLES
Y LA EVOLUCI DE LA GEOMETRA GRIEGA
La idea de que dos magnitudes, y ms concretamente dos segmentos, tienen siempre
una parte alcuota comn, es decir que son conmensurables, es sin duda una etapa
primigenia inevitable en el desarrollo del pensamiento intuitivo matemtico tanto en el
horizonte histrico como en el escolar, y por supuesto en el mbito artesanal, por
necesidades de la medida siempre aproximada de longitudes.
La aparicin de las magnitudes inconmensurables marc una inflexin radical en la
evolucin histrica de la Geometra griega, ya que puso fin al sueo filosfico
pitagrico acerca del nmero como esencia del universo, elimin de la Geometra la
posibilidad de medir siempre con exactitud y fue lo que imprimi a la Matemtica
griega una orientacin geomtrico-deductiva plasmada en la compilacin enciclopdica
de Los Elementos de Euclides. Los inconmensurables conducen a un trastorno lgico
que estremece los cimientos de la Geometra griega, ya que al invalidar todas las
pruebas pitagricas de los teoremas que utilizaban proporciones producen la primera
crisis de fundamentos en la Historia de la Matemtica.
El sagaz matemtico de la Academia platnica, Eudoxo de Cnido, resuelve de forma
brillante y rigurosa, aunque provisional durante dos mil aos, la antinomia radical
entre finito e infinito, mediante su Teora de la Proporcin plasmada en el Libro V de
Los Elementos de Euclides. Pero el progreso de La Geometra al margen y en
detrimento de la Aritmtica, la ausencia de un lgebra simblica, y es ms, la
transformacin de toda la Matemtica griega en Geometra, con un apodctico estilo
sinttico de exposicin que oculta la va heurstica del descubrimiento, fue el efecto ms
inmediato.
La incidencia histrica del descubrimiento pitagrico de los inconmensurables y de la
solucin de Eudoxo A la consiguiente crisis de fundamentos de la Matemtica griega que
se resuelve en Los Elementos de Euclides, podemos sintetizarla en los siguientes puntos:
Geometra al margen de la Aritmtica y del lgebra.
Conversin de toda la Matemtica griega en Geometra.
Limitacin operacional que impide asignar a las figuras geomtricas nmeros que
midan sus longitudes, reas y volmenes.
Compilacin de la Geometra griega elemental en Los Elementos de Euclides.
Teora de la Proporcin de Eudoxo (Libros V, VI de Los Elementos de Euclides).
Inauguracin en el mundo griego de los problemas infinitesimales.
Aparicin de la idea de tan pequeo como se quiera del Mtodo de Exhaucin que
produce resultados infinitesimales anlogos al ulterior clculo de lmites
lgebra Geomtrica. Aplicacin de las reas (Libro II de Los Elementos de Euclides).
Horror al infinito en la cultura griega.
Teora de la Potencia el acto. Hilemorfismo de Aristteles.
nfasis en el rigor como supremo valor de la Matemtica.
Estilo sinttico-apodctico de exposicin (ars disserendi) que oculta la va heurstica
del descubrimiento (ars inveniendi) alcanzado por va analtica o mecnica.
El estilo axiomtico deductivo de Los Elementos de Euclides se convierte en
paradigma cannico de exposicin y demostracin (Obras de Arqumedes, Cnicas
de Apolonio, ...)
94
El Libro VI
El Libro VI que contiene 5definiciones y 33 proposiciones es la aplicacin geomtrica de la
Teora General de la Proporcin de Eudoxo a la fundamentacin del concepto de
semejanza, nocin que por su carcter intuitivo se aplicaba instintivamente desde haca
centurias. Una vez desarrollada la Teora de la Proporcin en el Libro V, Euclides la utiliza
en el Libro VI para reconstruir las proposiciones pitagricas sobre figuras semejantes, es
decir, para demostrar teoremas relativos a razones y proporciones que se presentan en el
estudio de tringulos, paralelogramos y otros polgonos semejantes, y lo hace sin hacer
distincin entre magnitudes conmensurables e inconmensurables. De acuerdo con el
contenido del Libro V, sus argumentos son vlidos en ambos casos.
La definicin de semejanza que intuitivamente corresponde a la percepcin de que dos
figuras tienen la misma forma, exige dos condiciones ngulos iguales y lados
proporcionales. Euclides demuestra que para la semejanza de tringulos una sola de las
dos condiciones basta, de ah la gran importancia que le da a los tringulos en los
argumentos sobre semejanza de figuras.
El Libro VI contiene importantsimos resultados de la Matemtica escolar secundaria. Las
primeras proposiciones estudian la proporcionalidad de tringulos. En la primera proposicin
Euclides prueba que el rea del tringulo es proporcional a la longitud de su base. Siguen
proposiciones referentes a los llamados el Teorema de la bisectriz (VI.2), el Teorema de
Tales (VI.2), los criterios de semejanza de tringulos (VI.4, VI.5, VI.6) y el Teorema del
cateto y de la altura (VI.8).
A continuacin se trata de la divisin de una lnea en partes proporcionales y se explica
cmo se realizan las construcciones de la tercera proporcional de dos segmentos (VI.11), la
cuarta proporcional de tres segmentos (VI.12) y la media proporcional de dos segmentos
(VI.13).
La Proposicin 16 equivale, en forma geomtrica, a la propiedad bsica de las fracciones
numricas que establece: a/b = c/d si y slo si ad = bc.
Las siguientes proposiciones de la 18 a la 23 exponen la construccin y las propiedades de
las figuras semejantes. En particular en las Proposiciones VI.19 y VI.20 se estudia la
relacin entre la razn de semejanza y la razn entre las reas.
En las Proposiciones 27, 28 y 29 se estudian propiedades de los paralelogramos
construidos sobre un segmento dado a los que se les aade o se les quita otro
paralelogramo semejante a uno conocido. Estas proposiciones proporcionan una excelente
generalizacin del lgebra Geomtrica, es decir, la Aplicacin de las reas y la solucin
mediante procedimientos puramente geomtricos de las ecuaciones cuadrticas del Libro II,
que al aprovechar la slida base que la Teora de la Proporcin de Eudoxo ha construido
para el concepto de semejanza, generaliza los resultados del Libro II, al sustituir los
rectngulos por paralelogramos y aplicar a un segmento dado un paralelogramo igual a una
figura rectilnea dada y que exceda o sea deficiente en un paralelogramo semejante a otro
dado. En concreto en las Proposiciones 28 y 29 los segmentos pedidos son las soluciones
de las ecuaciones ax=bc+x
2
, ax+x
2
=bc, respectivamente. Naturalmente para garantizar la
solubilidad, Euclides impone unas condiciones llamadas por los griegos diorismos,
trmino con el que se calificaban ciertas condiciones lmites subsidiarias, que deban
aadirse de forma complementaria al enunciado de un problema, generalmente de
construccin, para garantizar su solucin en trminos generales. En esta caso se trata de
condiciones equivalentes a las habituales restricciones sobre lo que nosotros llamamos el
discriminante de la ecuacin.
Adems, la Proposicin 27 y el diorismo aplicado en ella tuvo un gran influencia en el primer
problema de mximos y mnimos que resolvi Fermat en la memoria el Methodus.
Tras una aplicacin de lo anterior a la Seccin urea (VI.30), el libro VI casi termina con una
interesante generalizacin del Teorema de Pitgoras que sustituye los cuadrados sobre los
lados por figuras semejantes
95
Definiciones:
D.VI.1. Figuras rectilneas semejantes son las que tienen los ngulos iguales y
proporcionales los lados que comprenden los ngulos iguales [Aristteles,
Segundos Analticos, II.17, 99a13].
D.VI.2. Figuras inversamente proporcionales son las que tienen sus lados inversamente
proporcionales a los ngulos opuestos iguales.
D.VI.3. Se dice que una recta est dividida en media y extrema razn cuando la recta
total es a la parte mayor como sta a la menor.
D.VI.4. Altura de una figura es la perpendicular desde el vrtice a la base.
D.VI.5. Se dice que una razn est compuesta de razones cuando los tamaos de las
razones multiplicadas por s mismas producen alguna razn.
El comienzo del Libro VI de Los Elementos de Euclides con las definiciones y parte de la primera
proposicin en la edicin de Ratdolt.
En esta edicin slo aparecen las dos primeras definiciones.
EL LIBRO VI DE LOS ELEMENTOS DE EUCLIDES
96
Proposiciones:
Proposicin VI.1. Los tringulos y paralelogramos que tienen la misma altura son entre s
como sus bases.
Proposicin VI.2. Si se traza una recta paralela a uno de los lados de un tringulo, cortar
proporcionalmente los lados del tringulo. Y si se cortan proporcionalmente los lados de
un tringulo, la recta que une los puntos de seccin ser paralela al lado restante del
tringulo [Teorema de Tales].
Proposicin VI.3. Si se divide en dos partes iguales el ngulo de un tringulo, y la recta
que corta el ngulo corta tambin a la base, los segmentos de la base guardarn la
misma razn que los lados del tringulo; y, si los segmentos de la base guardan la
misma razn que los lados restantes del tringulo, la recta trazada desde el vrtice
hasta la seccin dividir en dos partes iguales al ngulo del tringulo [Teorema de la
bisectriz].
Proposicin VI.4. En los tringulos equingulos, los lados opuestos a los ngulos iguales
son proporcionales y los lados que subtienden los ngulos iguales son homlogos.
Proposicin VI.5. Si dos tringulos tienen sus lados proporcionales, sern equingulos y
tendrn iguales los ngulos a los que subtienden los lados correspondientes.
Proposicin VI.6. Si dos tringulos tienen un ngulo igual el uno del otro, y tienen
proporcionales los lados que comprenden los ngulos iguales, los tringulos sern
equingulos y tendrn iguales los ngulos a los que subtienden los lados
correspondientes.
Proposicin VI.7. Si dos tringulos tienen un ngulo igual el uno del otro y tienen
proporcionales los lados que comprenden a los otros ngulos, y tienen los restantes
ngulos parejamente menores o no menores que un ngulo recto, los tringulos sern
equingulos y tendrn iguales los ngulos que comprenden los lados proporcionales.
Proposicin VI.8. Si en un tringulo rectngulo se traza la perpendicular desde el vrtice
del ngulo recto a la base, los tringulos adyacentes a la perpendicular son semejantes
al tringulo total y entre s [Teoremas del cateto y de la altura].
Proposicin VI.9. Obtener una recta alcuota de una recta limitada dada [dividir un
segmento en un nmero determinado de partes iguales].
Proposicin VI.10. Dividir una recta en partes proporcionales a las de otra recta dada.
Proposicin VI.11. Construir la tercera proporcional a dos rectas dadas.
Proposicin VI.12. Construir la cuarta proporcional a tres rectas dadas.
Proposicin VI.13. Construir la media proporcional entre dos rectas dadas [construccin
de una raz cuadrada, Proposicin II.14].
Proposicin VI.14. En los paralelogramos equivalentes y equingulos entre s, los lados
que comprenden los ngulos iguales estn inversamente relacionados, y los
paralelogramos equingulos que tienen los lados que comprenden los ngulos iguales
inversamente relacionados, son iguales.
Proposicin VI.15. En los tringulos equivalentes que tienen un ngulo igual, los lados
que comprenden los ngulos iguales estn inversamente relacionados. Y los tringulos
que tienen un ngulo igual e inversamente relacionados los lados que comprenden los
ngulos iguales, son equivalentes.
Proposicin VI.16. Si cuatro rectas son proporcionales, el rectngulo comprendido por
las extremas es equivalente al rectngulo comprendido por las medias; y si el rectngulo
comprendido por las extremas es equivalente al rectngulo comprendido por las medias,
las cuatro rectas sern proporcionales [a/b =c/d si y slo si ad=bc].
Proposicin VI.17. Si tres rectas son proporcionales, el rectngulo comprendido por las
extremas es equivalente al cuadrado de la media; y si el rectngulo comprendido por las
extremas es equivalente al cuadrado de la media, las tres rectas sern proporcionales.
97
LA PROPORCIONALIDAD EN TRINGULOS
EN EL LIBRO VI DE LOS ELEMENTOS DE EUCLIDES
Las tres primeras proposiciones del Libro VI de Los Elementos de Euclides en la edicin de Ratdolt.
Segn la Proposicin I el rea de tringulos y paralelogramos es proporcional alas bases.
La Proposicin II establece uno de los teoremas ms importantes de la Matemtica escolar
elemental el famoso Teorema de Tales que afirma que Si se traza una paralela a la base de un
tringulo los segmentos determinados en los lados son proporcionales.
La Proposicin III es el conocido teorema de la bisectriz : En todo tringulo la bisectriz de un
ngulo interior divide al lado opuesto en partes proporcionales a los lados adyacentes.
98
EN EL LIBRO VI DE LOS ELEMENTOS DE
Las Proposiciones 4, 5 y 6 del Libro VI de Los Elementos de Euclides en la edicin de Ratdolt.
Estas proposiciones establecen los diversos criterios de semejanza de tringulos.
99
Las Proposiciones 8, 9 10 del Libro VI de Los Elementos de Euclides en la edicin de R.amorano.
La Proposicin 8 establece el Teorema del Cateto: En un tringulo rectngulo un cateto es media
proporcional entre la hipotenusa y su proyeccin sobre ella y el Teorema de la Altura: En un
tringulo rectngulo la altura sobre la hipotenusa es media proporcional entre los segmentos en que
divide a sta. Ambos teoremas, junto con el Teorema de Tales y el Teorema de Pitgoras, son, sin
duda, los ms importantes de toda la Geometra escolar Elemental.
Proposiciones 9 y 10 permiten dividir un segmento en partes iguales o proporcionales.
100
Las Proposiciones 11, 12 Y 13 del Libro VI de Los Elementos de Euclides en la edicin de amorano.
En las Proposiciones 11, 12 Y 13 Euclides construye con regla y comps la tercera proporcional de
dos segmentos, la cuarta proporcional de tres segmentos y la media proporcional de dos segmentos.
En una proporcin corriente =
a c
b d
, cada uno de los trminos se llama Cuarta proporcional entre
los otros tres. En general hallar el cuarto proporcional, x en la proporcin =
a c
b x
es equivalente a
hacer lo que se llama una regla de tres.
Una proporcin se llama continua cuando hay un trmino que se repite: =
a b
b d
.
En una proporcin continua, cada uno de los dos trminos distintos se llama Tercera proporcional
entre los dos restantes. Por ejemplo, en =
a b
b d
, a es Tercera proporcional entre a y b.
En una proporcin continua, el trmino que se repite se llama Media proporcional entre los otros
dos. As, en =
a b
b d
, b es Media proporcional entre a y b.
Hallar la Media proporcional es equivalente a calcular la raz cuadrada, ya que si =
a x
x d
, se cumple
que x
2
= ab, es decir: = x a b .
Adems, de x
2
= ab se deduce resulta que el problema de hallar la Media proporcional equivale a
realizar la cuadratura de un rectngulo Hallar un cuadrado de rea igual a la de un rectngulo,
problema ya resuelto por Euclides en la ultima proposicin del Libro II, la II.14. La diferencia es
que ahora, en el Libro VI, se resuelve la cuestin con el lenguaje de Proporciones del Libro V.
TERCERA, CUARTA MEDIA PROPORCIONAL
101
Proposicin VI.18. Sobre una recta dada construir una figura semejante a otra y
semejantemente dispuesta.
Proposicin VI.19. Los tringulos semejantes son entre s como las razones duplicadas
[los cuadrados] de los lados homlogos.
Proposicin VI.20. Los polgonos semejantes se dividen en tringulos semejantes e
iguales en nmero y homlogos a los polgonos enteros y un polgono guarda con el
otro una razn duplicada de la que guarda el lado correspondiente con el lado
correspondiente.
Proposicin VI.21. Les figuras semejantes a una misma figura rectilnea son tambin
semejantes entre s.
Proposicin VI.22. Si cuatro rectas son proporcionales, les figuras rectilneas semejantes
y construidas de manera semejante a partir de ellas sern tambin proporcionales; y si,
las figuras semejantes y construidas de manera semejante a partir de ellas son
proporcionales, las propias rectas sern tambin proporcionales.
Proposicin VI.23. Los paralelogramos equingulos guardan entre s la razn compuesta
de las razones de sus lados.
Proposicin VI.24. En todo paralelogramo, los paralelogramos situados alrededor de su
diagonal son semejantes al paralelogramo entero y entre s.
Proposicin VI.25. Construir una misma figura semejante a una figura rectilnea dada, e
igual a otra figura dada.
Proposicin VI.26. Si de un paralelogramo se quita un paralelogramo semejante y
semejantemente dispuesto y que tenga un ngulo comn con l, los dos paralelogramo
tendrn la misma diagonal.
Proposicin VI.27. Entre todos los paralelogramos aplicados sobre la misma recta y
deficientes de paralelogramos semejantes al construido sobre la mitad de esta recta, y
semejantemente dispuestos, el mayor es el aplicado a la mitad de la recta y semejante a
su defecto.
Proposicin VI.28. Aplicar a una recta dada un paralelogramo equivalente a una figura
rectilnea dada y deficiente de otro paralelogramo semejante a uno dado. Es preciso que
la figura rectilnea dada no sea mayor que el paralelogramo construido sobre la mitad de
la recta dada y semejante al defecto del deficiente [solucin geomtrica de la ecuacin
cuadrtica ax=bc+x
2
, con la necesaria restriccin sobre el discriminante, equivalente al
diorismo exigido].
La Proposicin 20 del Libro VI de Los Elementos de Euclides en la edicin de Ratdolt.
Esta proposicin, que en esta edicin ocupa el lugar 18, establece: La razn entre las reas de
dos polgonos semejantes es igual al cuadrado de la razn de semejanza.
102
La Proposicin VI.27 de Los Elementos de Euclides en la edicin de
R.amorano.
En particular, al tomar el paralelogramo como un rectngulo, la proposicin
resuelve el problema de dividir un segmento AB en dos, de manera que el rea
del rectngulo que determinan sea mxima, que seguramente es la primera
aproximacin histrica a los problemas de mximos y mnimos. Este es
Precisamente el primer problema que resuelve Fermat en sus mtodos de
mximos y mnimos y tangentes.
UN PROBLEMA DE MXIMO EN LA
PROPOSICIN VI.27 DE LOS ELEMENTOS DE EUCLIDES
103
Proposicin VI.29. Aplicar a una recta dada un paralelogramo equivalente a una figura
rectilnea dada y que exceda de otro paralelogramo semejante a uno dado. [solucin
geomtrica de la ecuacin cuadrtica ax+x
2
=bc].
Proposicin VI.30. Dividir una recta en media y extrema razn [caso particular de VI.29,
solucin geomtrica de la ecuacin cuadrtica ax+x
2
= a
2
].
Proposicin VI.31. En los tringulos rectngulos la figura construida sobre el lado opuesto
al ngulo recto es equivalente a las semejante y semejantemente dispuestas construidas
sobre los otros dos lados [Generalizacin del Teorema de Pitgoras, atribuido por Proclo
al propio Euclides].
Proposicin VI.32. Si dos tringulos tienen dos lados de uno proporcionales a dos lados
del otro, y se construyen unidos por un ngulo de modo que sus lados correspondientes
sean paralelos, los lados restantes de los tringulos estarn en lnea recta.
Proposicin VI.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 Proposiciones 29 y 30 del Libro VI de Los Elementos de Euclides en la edicin de Ratdolt.
Estas proposiciones, que en esta edicin ocupan el lugar 28 y 29, permiten la solucin geomtrica de
la ecuaciones cuadrticas ax+x
2
=bc y ax+x
2
=a
2
, de forma que generalizan los mismos
procedimientos del lgebra del Libro II.
En particular la Proposicin 30 resuelve el problema de la divin de un segmento en media y
extrema razn, es decir de forma urea
104
LA GENERALIZACIN DEL TEOREMA DE PITGORAS
EN LA PROPOSICIN VI.31 DE LOS ELEMENTOS DE EUCLIDES
La Proposicin VI.31 de Los Elementos de Euclides es una interesante generalizacin del
Teorema de Pitgoras que sustituye los cuadrados sobre los lados por figuras semejantes.
En sus Comentarios al Libro I de Los Elementos de Euclides, Proclo atribuye al propio
Euclides este resultado en el mismo texto en el que le ensalza por la demostracin de I.47.
Mientras admiro a los que han observado la verdad de este teorema, ensalzo ms
todava al escritor de Los Elementos, no slo porque consigui una demostracin
mucho ms lcida, sino tambin porque obtuvo un teorema mucho ms general,
mediante los irrefutables argumentos del Libro VI.
105
APLICACIONES GEOMTRICAS DE LA PROPOSICIN VI.31
DEL LIBRO VI DE LOS ELEMENTOS DE EUCLIDES
Proposicin VI.31: En los tringulos rectngulos, la figura construida a partir del lado que
subtiende el ngulo recto es equivalente a las figuras semejantes y construidas de manera
semejante a partir de los lados que comprenden el ngulo recto.
La Proposicin VI.31 se puede aplicar, en particular, a figuras poligonales regulares y a crculos
en las que el rea es una funcin del cuadrado del lado. De modo que podramos enunciar los
siguientes teoremas
a. El rea de un polgono regular construido sobre la hipotenusa de un tringulo rectngulo,
es igual a la suma de las reas de los polgonos regulares semejantes construidos sobre los
catetos del tringulo.
b. El rea de un crculo (o semicrculo) construido sobre la hipotenusa (tomada como
dimetro) de un tringulo rectngulo, es igual a la suma de las reas de los crculos (o
semicrculos) construidos sobre los catetos.
C
c
a
b
A
B
A = B + C
a
A
c
b
C
B
A = B + C
La Proposicin VI.31 de Los Elementos de Euclides resuelve tambin el problema siguiente:
Dados dos polgonos regulares P y Q, ambos de n lados, calcular el lado del polgono
regular de n lados, que tenga por rea la suma de las reas de los polgonos P y Q.
La Proposicin VI.31 de Los Elementos de Euclides se puede aplicar tambin a la cuadratura de
las lnulas de Hipcrates
En particular en este resultado, al tomar los polgonos P y Q
iguales, resuelve el problema de la duplicacin de cualquier
polgono regular dado un polgono regular construir un
polgono regular del mismo nmero de lados y de rea doble,
generalizacin del problema platnico del dilogo El Menn
(82d83e) de la duplicacin del cuadrado.
a. El rea de un polgono regular construido
sobre la hipotenusa de un tringulo
rectngulo, es igual a la suma de las reas de
los polgonos regulares semejantes
construidos sobre los catetos del tringulo.
b. El rea de un crculo (o semicrculo)
construido sobre la hipotenusa (tomada como
dimetro) de un tringulo rectngulo, es igual
a la suma de las reas de los crculos (o
semicrculos) construidos sobre los catetos.
LAS LNULAS DE HIPCRATES
D = Semicrculo de radio a.
D
1
, D
2
= Semicrculos iguales de dim. c.
S
1
, S
2
= Segmentos iguales.
T
1
, T
2
= Tringulos iguales.
L
1
, L
2
= Lnulas iguales.
D = D
1
+ D
2
Euclides, VI.31
D (S
1
+ S
2
)

= (D
1
S
1
) + (D
2
S
2
)
L
1
+ L
2
= T
1
+ T
2
L
1
= T
1
; L
2
= T
2
106
LA RECONSTRUCCIN DEL LEGADO GEOMTRICO
PITGRICO MEDIANTE LA TEORA DE LA PROPORCIN DE
EUDOXO EN EL LIBRO VI DE LOS ELEMENTOS DE EUCLIDES
Recordemos la definicin pitagrica de Proporcin:
Dos razones, a/b y c/d, se dice que son proporcionales (en sentido pitagrico):
a/b=c/d, cuando existen enteros p,q,m,n, tales que a=mp, b=mq, c=np, d=nq;
Veamos como con el descubrimiento de los inconmensurables se afectan y quedan
deslegitimadas las pruebas pitagricas de los teoremas que utilizaran proporciones.
Por ejemplo para demostrar la Proposicin VI.1 de Los Elementos de Euclides:
Los tringulos que tienen la misma altura, son entre s como sus bases,
los primeros pitagricos actuaran de la siguiente manera:
A
N
D E H C G B
M
Es evidente que la aparicin de magnitudes inconmensurables invalida la prueba geomtrica
exhibida en esta proposicin y en todas las pruebas pitagricas en las que haya que comparar
razones de magnitudes geomtricas.
Recordemos la definicin de Eudoxo de igualdad de razones (Elementos de Euclides, Def. V.5):
Si a,b son dos magnitudes geomtricas del mismo tipo y c,d son tambin del mismo tipo las
razones a/b y c/d son proporcionales: a/b=c/d,
cuando para cualquier par de enteros positivos n y m, se tiene:
na>mb y nc>md na=mb y nc=md, na<mb y nc<md .
Veamos con esta nueva definicin de proporcionalidad la demostracin rigurosa de la
Proposicin VI.1 de Los Elementos de Euclides:
A
N
D E
n
B C B
2
B
m
M
E E
3
E
2
Ahora segn la Proposicin I.38 de Los Elementos y su consecuencia: de tringulos que tienen la
misma altura tiene mayor rea el que tiene mayor base, se deduce que el tringulo AB
m
C es
mayor, igual o menor que el tringulo AE
n
D segn que m(BC) sea mayor, igual o menor que
n(DE), por tanto segn la definicin de Eudoxo de proporcin se tiene la tesis de la proposicin
ABC/ADE=BC/DE.
Se observa que no se menciona la naturaleza conmensurable o inconmensurable de las
magnitudes geomtricas; la definicin de Eudoxo se aplica a ambos casos.
Esta prueba de la Proposicin VI.1 de Los Elementos es una buena muestra de cmo a partir de
la definicin de Eudoxo las magnitudes geomtricas pueden compararse a travs de razones; y
es sobre esta base que Eudoxo procedi a la demostracin rigurosa de los resultados pitagricos
sobre proporciones del Libro VI de Los Elementos de Euclides, as como de los teoremas de
Hipcrates y Demcrito sobre reas de crculos y volmenes de pirmides y conos que aparecen
en el Libro XII de Los Elementos de Euclides.
Sean los tringulos ABC y ADE, con bases BC y
DE sobre la recta MN. BC y DE tendrn alguna
unidad comn de medida; sea GH contenido p
veces en BC y q veces en DE. Marquemos los
puntos de divisin sobre BC y DE y unmoslos
con el vrtice A.
Los tringulos ABC y ADE quedan divididos
respectivamente en p y q tringulos menores,
que segn la Proposicin I.38 de Los Elementos
(los tringulos que tienen igual base y altura
son equivalentes) tienen el mismo rea.
Por tanto la razn de los tringulos ABC/ADE =
p/q = BC/DE, como se quera probar.
Sobre la recta CB, tracemos a partir de B,
m-1 segmentos iguales a CB y unamos
los puntos de divisin B2,B3,...,Bm con
el vrtice A. De forma similar tracemos a
partir de E n-1 segmentos iguales a DE y
unamos los puntos de divisin
E2,E3,...,En con el vrtice A.
Se tiene BmC=m(BC), ABmC=m(ABC),
EnD=n(ED), AEnD=n(AED).

Elements Euclides 1

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Elements Euclides 1

Enviado por

Direitos autorais:

Formatos disponíveis

La Historia de la Matemtica como recurso

didctico e instrumento de integracin cultural

El Postulado de las Paralelas en la edicin de Tartaglia

Adems, el Pentagrama mstico pudo estar en la base del ms importante hallazgo

Você também pode gostar