Historia de la Matemtica a

Pitgoras y el pitagorismo a

Douglas Jimnez e

TForMa. UDO. Cuman. Edo. Sucre a

1a edicin, agosto de 2.007 o Historia de la Matemtica a Pitgoras y el pitagorismo a Douglas Jimnez e * ISBN ***-****-**-* * TForMa. UDO. Cuman. Edo. Sucre a

 Indice general
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v o Alfabeto griego . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Cap tulo 1

La aritmtica elemental de los pitagricos . . . . . . . . . . . . . . . . . . . . . . . . e o

1.1 Las fuentes de nuestro conocimiento de lo pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 o 1.2 La concepcin ontolgica del nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 o o u 1.3 El nmero pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 u o 1.4 Las clasicaciones pitagricas del nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 o u 1.5 La forma de los nmeros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 u 1.6 Razn y proporcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 o o Cap tulo 2

La matemtica prepitagrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a o

29

2.1 La matemtica de Babilonia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 a 2.2 La matemtica egipcia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 a 2.3 El aporte de Tales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Cap tulo 3

La geometr pitagrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a o

41

3.1 Los ngulos internos de un tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 a a 3.2 El teorema de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 a 3.3 El teorema de Pitgoras en otras culturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 a 3.4 Las ternas pitagricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 o 3.5 Aplicacin de reas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 o a 3.6 Los slidos platnicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 o o Cap tulo 4

La aritmtica superior de los pitagricos . . . . . . . . . . . . . . . . . . . . . . . . . . e o

73

4.1 Logos frente a logos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 a 4.2 Divisin en extrema y media razn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 o o 4.3 Razn y proporcin: las deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 o o iii

 INDICE GENERAL 4.4 Orden y aproximaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 4.5 La aproximacin a 2 por los nmeros lado y diagonal . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 o u 4.6 Arqu medes y la aproximacin a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 o 4.7 De los griegos a Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 Bibliograf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 a Indice de temas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 Indice de nombres propios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 Indice de trminos griegos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 e

iv

Introduccin o

Para abordar estos contenidos, lo primero que el estudiante debe entender es que un curso de Historia de la Matemtica no es un curso de matemtica. No se trata de la tradicional lista a a de axiomas, deniciones y teoremas en secuencia que conforman una teor Se trata, ms bien, a. a de una visita a los terrenos del pensamiento que permiten edicar esas construcciones tericas o con la rmeza y solidez que tanto le gustan. Es, entonces, un viaje hacia lo epistemolgico (la o construccin del pensar cient o co), lo losco (el amor al conocimiento por el conocimiento o mismo) y, por qu no, por lo potico (la bsqueda de las claves estticas del conocimiento e e u e cient co). Esto, en la prctica, es una pequea dicultad puesto que la formacin del matemtico a n o a discurre entre el silogismo y la certeza binaria, lo que hace arduas las exploraciones hacia terrenos del conocimiento en los que la duda es la base misma de dicho conocimiento. Sin embargo, lo anterior no es bice para emprender una propuesta de inclusin de estos contenidos o o dentro del rgimen de estudios de los candidatos a la licenciatura o el profesorado en matemtica. e a Despus de todo, la opcin docente es una con altos e o ndices de probabilidad para el ejercicio de estos profesionales, y nadie pondr en duda seriamente el valor epistemolgico del estudio a o de la evolucin histrica del pensar cient o o co. Esto, por lo que se reere a los nes prcticos, a que siempre deben argirse para una propuesta de inclusin curricular; sin embargo, el estudio u o de las venturas y desventuras de los conceptos cient cos y, algunas veces, las de quienes los generaron sirven como instrumento motivador para la profundizacin, en el empeo de adquirir o n y manejar con propiedad estos conceptos. Enfrentado a la tarea de hacer una proposicin en este sentido, el proponente tiene ante o s dos caminos. El primero es el exhaustivo: contar la historia de la matemtica desde sus a inicios hasta algn tiempo relativamente reciente; este enfoque puede seguirse con excelentes u libros como los de E. T. Bell, Struik, Boyer o Babini. Tiene, no obstante, el inconveniente de que el intento de abarcar diculta el apretar; razn por la cual parecen ms adecuados a o a actividades de divulgacin cient o ca que a formacin de profesionales en el rea. A stos podr o a e a recomendarse su lectura ms bien como una actividad libre. a En consecuencia, el segundo enfoque parece ms adecuado. Se trata de seleccionar un tema a espec co, estudiar su propia evolucin y tratar de investigar sus implicaciones sobre la mao temtica posterior; para este curso escogimos el pitagorismo. La razn de ello es que, desde un a o punto de vista prctico, en el pitagorismo est el germen de las ideas que los matemticos profea a a sionales actuales reconocen como propias. Es decir, la escuela pitagrica es independientemente o de su halo m stico (que, por otra parte, la hace muy interesante histricamente) la primera eso cuela matemtica profesional de la que se tenga noticia y los temas que estudi todav hoy son a o a objeto de anlisis. Lo interesante de un enfoque como este ultimo es que bajo la denominacin a o comn de Historia de la Matemtica pueden englobarse una serie de seminarios de historia, que u a permitan al instructor una total libertad en la seleccin de los temas. o Respecto a este curso en particular vale la pena hacer algunas acotaciones de estilo en la v

 INTRODUCCION escritura del texto. Para quien esto escribe, el objetivo fundamental es la comprensin de las o dicultades de los creadores de la ciencia matemtica. En ocasiones, algunos libros de historia a nos dan la sensacin de que el conocimiento se gener tal como nos llega a travs de los libros o o e de texto; al plantearse de esta manera se pierde el potencial epistemolgico de la enseanza o n de la historia del conocimiento. Por ejemplo, si decimos que Euclides resolvi esta o aquella o ecuacin de segundo grado, sin explicar que realmente lo que quer era llevar a cabo una o a cierta construccin geomtrica, el estudiante de matemtica proyecta sobre el hecho histrico o e a o su experiencia actual, por lo cual podr trivializarlo, creando as una expectativa peligrosa en a lo que respecta a su visin de la forma en que este conocimiento se adquiere. De manera que lo o recomendable es acercar el estudiante a las fuentes tanto como se pueda. En lo que respecta a los trminos griegos, hay buena cantidad de ellos en el texto, escritos e en su propio alfabeto. No se trata con ello de dar una pedante sensacin de dominio del idioma o de Homero y Euclides, sensacin que por otra parte en nuestro caso ser del todo falsa. o a Pero es importante que el estudiante sepa que muchas batallas conceptuales se dieron alrededor del signicado o de la ortograf de un trmino en particular, por lo cual ellos abundan en los a e libros ms importantes de la historia de la matemtica que tocan la evolucin de esta materia a a o dentro del pensamiento griego. De manera que esta monograf les sirve, en ese sentido, como a entrenamiento hacia la lectura de textos ms exigentes. Para facilitar la tarea, en la pgina vii a a damos el alfabeto griego ordenado. Por ultimo, los problemas. Esta es una prctica inusual en los libros de historia de la ma a temtica, puesto que stos o bien se escriben con visin divulgativa o bien orientados al maa e o temtico profesional del cual se espera una visin slida del conocimiento. En el primer caso, a o o incluir problemas pudiera ser un componente que alejara al lector; en el segundo, ser casi un a irrespeto. Pero esta monograf va orientada hacia estudiantes de matemtica en formacin, a a o que es un pblico con un conocimiento intermedio entre los extremos comentados; de manera u que la inclusin de problemas pudiera actuar en ellos como un elemento motivador. o La calidad de los problemas que proponemos es variable, no se trata necesariamente de los problemas cerrados, con solucin segura, que aparecen en los textos tcnicos de la materia; es o e decir, los que un estudiante pudiera resolver en un texto de clculo, lgebra, geometr o anlisis. a a a a Puede que algunos lo sean; cuando as suceda, el objetivo del problema es que el estudiante cubra un paso que el pensador tambin necesit cubrir, pero cuya explicacin alejar el texto del tema e o o a principal. Otros problemas son simples recolecciones de datos que el estudiante podr buscar a en otros libros o en internet. Y nalmente estn los problemas de ensayo: es decir, aquellos en a los cuales se exige una postura del estudiante ante el hecho histrico; dependiendo de su inters, o e estos problemas podr conducirlo a ir mucho ms lejos de donde este curso lo dej. an a o Agradezco profundamente al Comit Organizador del TForMa la extraordinaria oportunidad e de exponer este trabajo, el cual me gustar fuera el antecedente de la inclusin de la Historia a o de la Matemtica como una materia opcional dentro de los reg a menes de estudio de los jvenes o que se forman en esta exigente, pero hermosa disciplina que es la matemtica. a Cabudare, mayo de 2007

vi

Alfabeto griego
, , , Alpha Beta Gamma Delta Epsilon Zeta Eta Theta Iota Kappa Lambda Mu , , , Nu Xi Omicrn o Pi Rho Sigma Tau Upsilon Phi Chi Psi Omega

Cap tulo 1
La aritmtica elemental de los pitagricos e o
Pitgoras o lo pitagrico? Esta pregunta es la clave del estudio del fenmeno intelectual a o o que, en la antigua Grecia, se desarroll alrededor de un ser humano cuyos datos vitales son o tan confusos como el recuento de sus propios aportes. Existi, en efecto, un personaje llamado o Pitgoras; tenemos numerosas evidencias escritas de ello, pero todas muy posteriores al persoa naje y muchas impregnadas del halo de misterio con el que el pitagorismo parece haber nacido y crecido. Las fuentes de las que se origina nuestro conocimiento actual acerca de Pitgoras y su a escuela abarcan un amplio espectro, que desde la hagiograf y el paneg a rico se desplaza hasta la visin estrictamente cient o ca, no desprovista esta ultima, sin embargo, de matices m sticos o misticadores.

1.1 Las fuentes de nuestro conocimiento de lo pitagrico o

Hay coincidencia en sealar a Samos, isla del mar Egeo, como el lugar de nacimiento de n Pitgoras, hecho que debi haber ocurrido alrededor de la segunda mitad del siglo VI a.C. Su a o padre fue Mnesarco, comerciante y viajero, quien indujo en el hijo la necesidad andariega. La isla de Samos est cercana a Mileto, que en la poca fue lugar de residencia de Tales, uno a e de los siete grandes sabios de la Grecia clsica, quien es considerado el primer gemetra (en el a o sentido que damos hoy a la palabra) de la antigedad. Se piensa que Pitgoras entr en contacto u a o temprano con Tales y que ste, producto de su propia experiencia viajera, lo motiv a visitar a e o Egipto. As desde edad temprana Pitgoras se desplaz hacia Egipto, Fenicia y Babilonia. En estos , a o lugares su innita curiosidad tuvo contacto con hechos que mezclaban por igual lo misterioso con lo cient co como un asunto de estricta necesidad. Por ejemplo, las pirmides egipcias a representaban recintos sagrados, destinados a salvaguardar el cuerpo de importantes personajes mientras se esperaba la transmigracin de sus almas; ahora bien, su construccin implicaba o o enormes dicultades de orden geomtrico, lo que llev a la necesidad de generar conocimiento e o en esta rea, pero este conocimiento generado adquiri el carcter sagrado del objeto hacia el a o a que se orientaba. La transmigracin de las almas lleg a ser doctrina pitagrica. o o o Luego de permanecer muchos aos fuera, Pitgoras regresa a Samos donde intenta, sin n a xito, divulgar sus conocimientos junto a sus ideas. Parece que tales ideas no fueron claras para e sus conciudadanos; adems cont con la oposicin del tirano Pol a o o crates, obligndose a emigrar a nuevamente, esta vez a Crotona en la costa sur de Italia. Crotona hab vencido recientemente a a Sibaris, destruyndola totalmente en lo f e sico, pero adquiriendo quizs buena parte de la a molicie que la hab caracterizado y dado origen al adjetivo sibarita, como sinnimo de persona a o 1

 1.1. LAS FUENTES DE NUESTRO CONOCIMIENTO DE LO PITAGORICO habituada a la buena vida y la comodidad. Por esta razn, es extrao que Pitgoras pudiera o n a fundar en Crotona una escuela de pensamiento regida en lo fundamental por su ascetismo casi anacoreta; no es extrao entonces que alguna vez Pitgoras y sus seguidores fueran perseguidos n a cruelmente por los mismos crotonenses que los acogieron. La escuela pitagrica era democrtica en lo relativo a la composicin de sus miembros, a o a o ella pod pertenecer incluso las mujeres lo cual es mucho decir para la poca. Sin embargo, an e fue absolutamente cerrada en lo que se reere a la divulgacin del conocimiento en ella geneo rado. Es comn oir que al menos algn pitagrico Hipaso de Metaponto, se dice perdi la u u o o vida por dejar llegar a la calle determinado conocimiento producido en la escuela. Todos estos conocimientos eran atribuidos al propio Pitgoras, a quien se veneraba de tal manera que no se a osaba pronunciar su nombre; bastaba referirse a el hombre para entender de quien se trataba. Esta exagerada veneracin envolvi en la leyenda tanto a la escuela como al maestro, haciendo o o imposible para la historia identicar lo que produjo Pitgoras de lo que produjeron sus alumnos. a Estos se divid en dos clases: los matemticos o conocedores ( , mathematikoi) y an a los acusmticos u oidores ( , akousmatikoi); los primeros eran iniciados que gozaa ban del privilegio de estar en contacto directo con el maestro y sus enseanzas; los segundos, n recib las enseanzas pero no sus fundamentos [11, pp. 7680], lo cual podr explicar el hecho an n a de que ten la obligacin de defender el secreto de stas as como lo pr an o e stino de su carcter. a El hermetismo del pitagorismo y la ausencia de materiales escritos al respecto dicultaron a la posteridad, como ya dijimos, la identicacin precisa de las contribuciones de la escuela; o segn Heath [12, Vol. 1, p. 66] lo unico cierto es la ausencia de fuentes escritas y esta ausencia u pudiera haber conducido a inventar el supuesto hermetismo. Uno de los aportes ms tempranos a es el del historiador griego Herdoto (o Herodoto, siglo V a.C.), quien en el cuarto tomo de su o famosa obra Los nueve libros de la historia [13, Vol. 4, p.86] hace a Pitgoras amo del servicio a de algn Zamolxis, personaje que, a partir de un truco, se labr una imagen de inmortal entre u o sus paisanos tracios.[1] Por su parte, Platn (427347 a.C.), quien acusa una muy fuerte inuencia pitagrica en o o su vida y obra, recoge el aporte de la escuela acerca de la semejanza entre el estudio de la astronom y la msica que comentaremos luego en el libro sptimo de su dilogo La Repblica a u e a u o De lo justo [20, p. 562]. Ms todav se atreve a una excelente denicin del fenmeno a a, o o pitagrico cuando, en el dcimo libro del mismo dilogo, dice [20, p. 605]: o e a
Si Homero no ha prestado ningn servicio a la sociedad, lo ha prestado, cuando menos, a u los particulares? Se dice de l que haya dirigido durante su vida la educacin de algunos e o jvenes que se hayan unido a l y hayan transmitido a la posteridad un plan de vida o e homrico, como cuentan de Pitgoras que, durante su vida, fue buscado con ese n y que e a ha dejado eles a quienes se distingue todav hoy entre todos los dems hombres por el a a gnero de vida que ellos mismos calican de pitagricos? e o

Guthrie [11, p. 38] arma que el platonismo debe al pitagorismo original tanto como el pitagorismo tard debe al platonismo. o Muchas ms alusiones a la obra pitagrica se hallan esparcidas a lo largo de las pginas a o a escritas por Aristteles (384322 a.C.) En lo que sigue, orientados por la prosa aristotlica o e
[1] De este Zamolxis, convertido ya en rey con aspiraciones divinas, da referencia Platn en su dilogo Carmides o a o De la templanza [20, p. 79].

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS tendremos oportunidad de identicar gran cantidad de aportes del pitagorismo. Sin embargo, diera la impresin de que Aristteles, al igual que nosotros, no identica claramente los logros o o del propio Pitgoras de aquellos que fueron producto del movimiento intelectual que lider; de a o hecho alude a los pitagricos antes que a Pitgoras mismo. En la Metaf o a sica, por ejemplo, arma [4, p. 130]:
En este tiempo, y aun antes, los llamados pitagricos fueron los primeros que se entregaron o al estudio de las matemticas y las hicieron progresar. Educados en su estudio, llegaron a a creer que los principios de las matemticas eran principios de todas las cosas. a

Ya entrados en nuestra era, tenemos la obra de hagigrafos como Digenes Laercio ([7, pp. o o 101116] o [11, pp. 141156]), Porrio [11, pp. 123135] o Imblico [11, pp. 57122]. Alejados de a una visin cient o ca, sin embargo su lectura aporta pistas importantes al tema. Ms orientado a por la matemtica, sin dejar de lado lo hagiogrco, conseguimos a Proclo (411485 d.C.) con a a su Comentario al primer libro de Euclides [21]. Proclo fue un erudito matemtico y lsofo del a o siglo V de nuestra era que dej abundante obra escrita; a partir de esta obra inferimos que pudo o leer importantes libros de la antigedad que hoy se encuentran perdidos y a los que no tenemos u acceso. Con relacin a nuestro personaje, Proclo arma [21, p. 53]: o
... Pitgoras desvi la losof de las matemticas hacia un esquema de educacin liberal, a o a a o examinndolas desde sus primeros principios y estudiando sus teoremas desde un punto a de vista abstracto orientado por un esfuerzo puramente intelectual. Fue quien descubri la o teor de las proporciones y la estructura de las guras csmicas.[2] a o

La obra de Proclo remite de manera natural a Euclides (aprox. 325265 a.C.) Este escribi un o monumental tratado en trece libros: los Elementos ([8] y [9]), en el cual recoge enciclopdicae mente el saber matemtico acumulado hasta su poca, sobre una base estrictamente geomtrica. a e e Proclo, entre otros, nos ha ayudado a identicar buena parte de los aportes pitagricos dispersos o a todo lo largo y ancho de los Elementos, llegando incluso a armar que stos fueron escritos e con el propsito expreso de destacar el descubrimiento pitagrico de los poliedros regulares, que o o luego se llamaron slidos platnicos. Como nos haremos acompaar por Euclides a cada paso o o n del viaje que daremos en esta monograf es bueno decir algo acerca de la estructura de los a, Elementos. Comienzan, sin prembulo ninguno, con 23 deniciones. En buena medida stas siguen a e el patrn moderno de lo que signica una denicin, an cuando algunas de ellas incluyen o o u trminos que hoy aceptar e amos en la teor como no denidos. Por ejemplo, dene [9, p. 189, a vol. 1]: Un punto es lo que no tiene partes. Luego establece cinco postulados y posteriormente ocho nociones comunes; ambas corresponden a lo que llamamos axiomas, pero los primeros son proposiciones de tipo geomtrico y las segundas proposiciones lo sucientemente generales para e abarcar cualquier campo de estudio. Por ejemplo, el primer postulado [9, Vol. 1, p. 197] establece que siempre es posible trazar una recta entre dos puntos distintos cualesquiera, mientras que la primera nocin comn arma [9, Vol. 1, p. 199] que cosas iguales a una tercera son iguales o u entre s .
[2] Traduccin de D. J. Por guras csmicas, Proclo se reere a los cinco poliedros regulares o slidos platnicos, o o o o que estudiaremos en la seccin 3.6. o

 1.2. LA CONCEPCION ONTOLOGICA DEL NUMERO Hay deniciones en varios de los trece libros, pero solo el primero contiene postuladospostulados y nociones comunes; se supone que toda la teor posterior se basa en estas a trece armaciones. Finalmente, las proposiciones constituyen la parte gruesa de la obra; corresponden a lo que llamamos teoremas: son armaciones que hay que demostrar usando para ello bien los postulados y nociones comunes o bien otras proposiciones o bien la mezcla de ambas. Existe una nomenclatura relativamente sencilla para referirnos al contenido de los Elementos, por ejemplo si escribimos Def. I.11 estamos hablando de la denicin 11 del primer libro o bien o Prop. XII.2 es la segunda proposicin del duodcimo libro. o e De manera que, a pesar de la resistencia del pitagorismo a dejar obra escrita, la posteridad lleg a conocer la mayor de sus aportes y hay abundantes testimonios de ello.[3] Para o a terminar esta seccin, podemos intentar un resumen de esta vasta obra pero solo en el aspeco to matemtico, por supuesto que estaremos luego obligados a detallar hasta el punto que lo a permita el tiempo disponible para este minicurso de Historia de la Matemtica: a Arimtica elemental. La importancia del nmero: el nmero natural como el nmero por e u u u excelencia. Clasicacin de los nmeros. La relacin de los nmeros con la geometr los o u o u a: nmeros y sus formas. El concepto de razn y la teor de las proporciones. u o a Geometr La suma de los ngulos internos de un tringulo. El teorema de Pitgoras. Los a. a a a problemas de aplicacin de reas. Los slidos platnicos. o a o o Aritmtica superior. El descubrimiento de los irracionales: la ra cuadrada de 2 y el nmero e z u a ureo. Las dicultades de la teor de las proporciones relacionadas con lo irracional. a Problema 1.1 La siguiente es una lista alfabtica de personajes histricos ligados de una u e o otra manera al pitagorismo: Aristteles, Arqu o medes, Arquitas, Crisipo, Euclides, Eudemo, Eudoxo, Filolao, Gmino, Imblico, Nicmaco, Pappus, Pitgoras, Platn, Plutarco, Porrio, e a o a o Proclo, Tales, Teeteto, Ten, Timaridas, Zenn. Organice esta lista por orden cronolgico. o o o

1.2 La concepcin ontolgica del nmero o o u

Comencemos aclarando trminos. El Diccionario de Filosof e a[17] dene ontolog de la sia guiente manera:
La ontolog es el estudio de la ciencia del ser en cuanto ser... a

y la clasica como una de las ramas de la metaf sica, de forma que, de acuerdo al t tulo de esta seccin, nos disponemos a hacer el anlisis de un ejercicio metaf o a sico. La esencia del pensar pitagrico es ontolgica y se resume en una frase: Todo es nmero. La o o u frase, como muchos aportes pitagricos, es revolucionaria; lo ontolgico era una preocupacin o o o fundamental para cualquier pensador griego, tal como lo establece Aristteles [4, p. 125]: o
[3] Si el lector quisiera ms detalles acerca de la tradicin pitagrica y su desarrollo puede leer la seccin a o o o correspondiente en [11, pp. 3743].

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS

Es claro que debemos procurarnos la ciencia de las primeras causas (pues decimos que conocemos una cosa cuando consideramos conocer su causa primera).

pero l mismo nos hace un resumen de las opiniones de los lsofos anteriores, mediante el cual e o conocemos que la mayor de los prepitagricos cre que todas las cosas ten una primera a o an an causa material que seleccionaban dentro de los que, para la poca, se llamaban elementos: aire, e agua, tierra y fuego. Tales, por ejemplo, crey que el agua era el principio de todas las cosas. o Algunos de los prepitagricos se atrevieron a pensar en una primera causa no material. o Siguiendo la relacin de Aristteles [4, p. 128130], conseguimos que Hes o o odo, concibi el Amor o o Deseo como principio; Empdocles, el Mal y el Bien; Leucipo y Demcrito conceb la materia e o an como producto de lo lleno y lo vac Pero la concepcin pitagrica es revolucionaria por cuanto o. o o al centrar el cosmos ( : universo ordenado, palabra de origen pitagrico) y todo cuanto o contiene en el nmero, dio origen a una enfebrecida bsqueda de propiedades de los nmeros u u u cuyo resultado nal fue el nacimiento de una incipiente, pero vigorosa, teor de nmeros que a u lleg a hacerse una con la geometr en una simbiosis que tendremos luego oportunidad de o a, analizar. Por ahora, nos debe preocupar la identicacin de los hechos que condujeron al pitagoo rismo al establecimiento de su premisa fundamental. Entre algunas otras, podemos identicar principalmente dos: la msica y la astronom u a.

La msica u
En el pitagorismo la msica jugaba un papel fundamental. Para ver qu tanto podemos leer u e a Imblico [11, p. 72]: a
Pitgoras consideraba que la atencin primordial al hombre apuntaba a su sensorialidad, a o como cuando se perciben hermosas guras y formas o se oyen hermosos ritmos y melod as. En consecuencia, estableci como la ms alta erudicin a aquella que se sostiene sobre o a o las melod y los ritmos y, a partir de ella, obten curas y remedios para las pasiones as a humanas, con lo que restablec la armon original de las facultades del alma. a a

La ancdota quiere (Imblico mismo, [11, p. 86]) que, al pasar Pitgoras al frente de una e a a herrer se haya sentido maravillado por el ritmo que produc el sonido de los martillos sobre a, a el yunque. Claro... no todos eran agradables, de manera que val la pena identicar stos de a e los otros. Pitgoras lleg a la conclusin de que los martillos armnicos eran los de peso 12, a o o o 9, 8 y 6: el primero produc la octava, el segundo la quinta, el tercero la cuarta y el ultimo a el tono correspondiente. Si tomamos la relacin del martillo ms pesado respecto a los dems o a a 2 4 o a o obtenemos las fracciones 3 , 3 y 1 . De regreso en su habitacin, Pitgoras colg, de cuatro 2 cuerdas iguales, pesos en proporcin a los anteriores y al hacerlos vibrar sinti nuevamente las o o consonancias que hab percibido en la herrer a a. Pitgoras llev estas ideas al monocordio, instrumento musical que, como su nombre lo a o indica, tiene una sola cuerda y cuya invencin se le asigna. Si esta cuerda se divide con marcas o 5

 1.2. LA CONCEPCION ONTOLOGICA DEL NUMERO

Figura 1.1: Experimentos de Pitgoras a

en 12 partes iguales, presionndola a diferentes longitudes se obtienen diversas fracciones del a tono principal correspondientes a las observadas en los pesos de los martillos: es decir, en la sexta marca se obtiene la octava, en la novena la cuarta y en la octava marca la quinta del tono. En el libro Theorica Musicae, de Franchino Gaurio se encuentra un famoso dibujo que ilustra los experimentos pitagricos (ver g. 1.1). Al establecer estas regularidades sobre las cuerdas y o el sonido, Pitgoras se convierte as en el precursor de la anacin de los instrumentos musicales. a o El solo hecho de que la armon se produjera como relaciones entre nmeros enteros ya era a u un punto de atencin pitagrica. Sin embargo, no se trataba de nmeros enteros cualesquiera. o o u Las razones eran 4/3, 3/2 y 2/1 que contienen en s mismas los nmeros 1, 2, 3, y 4 y esta u cuaterna ten para ellos un signicado especial. Desde muy temprano lo hemos comentado el a pitagorismo enlaz el nmero a la geometr as al 1 se le asocia el punto; al 2 el segmento, que o u a, por extensin conlleva a la idea de recta; al 3 se asocia el tringulo cuya existencia nos conduce o a a la idea de plano y el 4 se acompaa con la pirmide que es, sin duda, la forma ms sencilla n a a contenida en el espacio que habitamos (ver g. 1.2). De esta manera, los nmeros 1, 2, 3, y 4, en u sucesin, generan nuestro espacio: los pitagricos los llamaron el Tetractys () sagrado. o o

Figura 1.2: El Tetractys pitagrico o

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS

Astronom a
La astronom igualmente formaba parte esencial de las preocupaciones pitagricas y, como a o era su costumbre, tambin en esta rea sus aportes brillaban por la originalidad. Las concepcioe a nes pitagricas inclu la redondez de la Tierra lo que, se sospecha, pudo haber sido inducido o an por la sombra que proyecta el planeta sobre otros astros durante los eclipses. Asimismo, aplicaron a las distancias celestes su primitiva teor de las cuerdas analizada en el apartado anterior; a as la distancia entre los astros corresponder proporcionalmente a las longitudes de la cuer a da necesarias para producir sonidos armnicos. Esto signica que tambin los cuerpos celestes o e guardan entre s una armon que produce un sonido, al cual se denomin armon de las a o a esferas, perceptible solo por grandes iniciados; para algunos solo Pitgoras ten este privilegio. a a

Figura 1.3: Las constelaciones tienen forma y nmero u Heath [12, Vol. 1, p. 67] asoma la hiptesis de que la relacin entre la astronom y el nmero o o a u pudo provenir de la observacin de las constelaciones celestes, en cuanto a stas se les asigna o e forma pero adems tambin hay un nmero entero que se puede relacionar con ellas: el nmero a e u u de astros que componen la constelacin (ver g. 1.3). As nmero y forma aparecen ligados, o , u caracter stica que, como veremos ms adelante, es fundamental en el desarrollo de la teor de a a nmeros pitagrica. u o Debemos aclarar algo. Cuando los pitagricos relacionan el nmero con las cosas no se trata o u de que aqul sea un accidente de stas, es decir, no se arma que las cosas tienen nmero; la e e u doctrina es ms profunda a este respecto: las cosas son nmero. Es una armacin de carcter a u o a ontolgico: el nmero est presente en la realidad porque la realidad est hecha de nmeros. o u a a u Aristteles [4, p. 131] dice: o
... dieron por supuesto que los elementos de los nmeros son los elementos de toda la u realidad...

 1.2. LA CONCEPCION ONTOLOGICA DEL NUMERO informando adems del esfuerzo pitagrico por asimilar la msica al cosmos, un esfuerzo que a a o u Aristteles se le antojaba articial: o
... si en alguna parte se advert una deciencia se apresuraban a realizar las adiciones a necesarias a n de que la doctrina fuera totalmente coherente.

y, nalmente, el estagirita[4] resume de esta manera:

A este respecto se hace patente que tambin stos consideraron el nmero como principio,[5] e e u siendo tanto la materia de los seres, como el fundamento de sus modicaciones y sus estados.

La tendencia m stica de estos pensadores llevar los nmeros hacia esferas que hoy se nos a u hacen extraas. Ciertos nmeros representar el alma o la oportunidad, otros la razn o la n u an o justicia, algunos la opinin o el matrimonio. Por otra parte, pudiera asomarse la hiptesis de o o que el pitagorismo fue germen inicial de algunas sectas m sticas que an hoy, en nuestro muy u racional entorno, tienen inuencia relativa. Adems, la creencia en cosas que la razn no puede a o explicar es comn en las religiones. Y tanto en las sectas como en las religiones militan, sin u conicto aparente, personas cuya actividad diaria necesita del auxilio de la parte estrictamente racional de sus mentes. No obstante, de lo que se trataba era de aritmetizar la realidad. Aritmtica viene de e (arithmos), palabra que emplearon los pitagricos para identicar al nmero y, con los escao u sos recursos de conocimiento que ten a la mano, ellos fueron construyendo una cosmolog an a basada en el , tal como se intent luego desde el Renacimiento, en un esfuerzo que o concluy exitosamente en la obra de Isaac Newton y que hasta hoy gobierna, en lo esencial, o la visin que tenemos de la naturaleza: la conocemos si la matematizamos. A esta tendencia o el pitagrico Arquitas (aprox. 428350 a.C.) la denomin Arithmetica universalis, t o o tulo que emple Newton para bautizar la que, quizs, es su ms importante obra matemtica, en la que, o a a a entre otras cosas, fundamenta el concepto de nmero ms o menos como lo entendemos en la u a actualidad. Pero ms all de la extraeza que pueda generar en nosotros algunas visiones m a a n sticas o misticadoras del pitagorismo aparentemente fuera de la racionalidad, su importancia estriba en que, al dar preeminencia al nmero como constituyente esencial de la realidad, tal concepcin u o obligaba al estudio de este componente. (En la actualidad se establece que la materia est coma puesta de tomos y el estudio del tomo es central en la f a a sica moderna.) As la bsqueda , u frentica del nmero en todo acto perceptible o concebible llev la atencin al nmero mismo e u o o u como objeto de estudio y, con ello, a las formas geomtricas en tanto representables por el nmee u ro. A Pitgoras le debemos la palabra matemtica ( ): recordemos que los matemticos a a a ( o ) eran los iniciados de la escuela, aquellos que ten acceso personal an al maestro; es decir, a Pitgoras; es decir, a el hombre. Y fueron los matemticos quienes genea a raron un mundo conceptual, absolutamente racional, ligado en su ra fundamental a aspectos z que hoy todav se constituyen en problema de estudio. a Trataremos de penetrar en la esencia pitagrica de estos conceptos, desde los ms elementales o a que conforman su primitiva teor de nmeros, pasando por su geometr y llegando a las claves a u a
[4] Suele hacerse referencia a los sabios griegos de la antig edad por la ciudad en la que nacieron o fueron u ciudadanos. As como Pitgoras es de Samos, podr , a amos decir el samio. Aristteles naci en Estagira. o o [5] Subrayado nuestro. D. J.

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS ms profundas del nmero, esas que entroncan con los conceptos actuales de nmero irracional, a u u base de la continuidad y del anlisis matemtico moderno. a a

1.3 El nmero pitagrico u o

La visin del concepto de nmero que disfruta el matemtico actual es de gran amplitud o u a y generalidad; tanto tiene de ambas que ha permitido englobar con ese concepto desde el mundo de lo discreto hasta las complejidades de lo continuo. Pero es producto de una lenta evolucin histrica, cuyo origen se remonta a los esfuerzos de los pitagricos por comprender o o o la naturaleza de una realidad que estaba regida precisamente por los nmeros. El o u nmero pitagrico est bastante cerca de lo que hoy denominamos nmero natural pero con u o a u alguna variante importante. Para los griegos se convirti en un nudo losco de primer orden el papel que jugaba el o o uno ( ) o la unidad ( ) en la constitucin del ser de las cosas. Representaba un problema o el hecho de que pudiramos llamar uno a lo que, en principio, era mltiple, por ejemplo un e u haz de espigas o una l nea quebrada continua. De manera que lo uno y lo mltiple necesitaban u su propia caracterizacin. El nmero, entonces, pas a caracterizar lo mltiple, por lo cual la o u o u unidad se separ conceptualmente de l, aun cuando aquella fuera absolutamente necesaria para o e la construccin de ste. En resumen: el Uno no es un nmero. Esta doctrina se mantiene, con o e u variaciones de forma, en la mayor de los pensadores posteriores al pitagorismo. Por ejemplo, a en Aristteles [4, p. 606], leemos: o
... Uno signica medida de una cierta multiplicidad, y nmero signica pluralidad u medida y pluralidad de medidas. Por este motivo es sensato que no se identique al Uno con el nmero, porque la medida no es un conjunto de medidas, sino que la medida y el u Uno son principios.

Ms o menos cincuenta aos despus, Euclides contina con esta tradicin en su sptimo a n e u o e libro donde, de entrada, sus dos primeras deniciones dicen [9, Vol. 2, pp. 111112]:
1. Una unidad es aquello en virtud de lo cual cada una de las cosas que hay es llamada una. 2. Un nmero es una pluralidad compuesta de unidades. u

Heath [8, Vol. 2, p. 279], siguiendo en lo fundamental a Imblico, hace un resumen de a la evolucin del concepto de uno, sin pasar por alto el comentario de que las deniciones o euclidianas segu las tendencias de autores contemporneos a Euclides y que ste no incluy en an a e o su denicin la posibilidad de que, en algunos casos, las cosas fueran unicas en su multiplicidad o como en el ejemplo de las espigas o la l nea quebrada. En este resumen encontramos las siguientes deniciones: (a) Una unidad es la frontera entre nmero y partes. Esta denicin, segn HeathImblico, u o u a pertenece a algunos pitagricos y establece el concepto de unidad como un l o mite a partir 9

 1.3. EL NUMERO PITAGORICO del cual son vlidas tanto la multipicacin es decir, la repeticin, que producir los nmeros a o o a u (poniendo una unidad al lado de otra tendremos dos unidades, etc.), como la divisin o o fragmentacin en partes iguales con lo cual se abr el camino al concepto de fraccin. o a o (b) Cantidad limitada es una denicin que se asigna al pitagrico Timaridas (400350 a.C.). o o Las dos palabras que la constituyen derivan de trminos que han generado buena parte de e las discusiones acerca de la matemtica griega, estas son cuanto (, se trata del a adverbio de cantidad) y l mite () de las que tendremos oprtunidad de conversar luego. Ten de Esmirna (70135 d.C.) aade que una cantidad puede ser disminuida por o n sustraccin consecutivamente, pero al llegar a la unidad ya no no quedar nada si se o a contina la sustraccin. Queda, sin embargo, la posibilidad de dividir la unidad, pero esto u o retorna la unidad al estado de multitud o nmero. u (c) Una importante concepcin aritmogeomtrica del pitagorismo es que a todo nmero pueo e u de asignarse un pol gono regular; tendremos oportunidad de estudiar esta doctrina en la seccin 1.5. Estas identicaciones poligonales generan sucesiones numricas todas las cuales o e comienzan en 1; por esta razn, algunos pensadores denieron la unidad como la forma o de formas. (d) Imblico insiste en la naturaleza del adverbio cuanto (), observando que su principio a es la unidad, es decir, aquello ms all de lo cual, procediendo por sustraccin, el cuanto a a o deja de ser. Siguiendo esta tendencia, Aristteles [4, p. 611] dice: o
... todo nmero signica alguna cantidad, y la misma unidad es una cantidad, si no se u la considera como medida, pues ella es el factor indivisible en la esfera de la cantidad (posn).[6]

Ahora bien, Aristteles utiliza tanto en el sentido discreto como continuo, razn por o o lo cual se ve obligado a diferenciar entre la unidad ( ) y el punto ( ), siendo la primera [4, p. 270] lo indivisible sin posicin y el ultimo lo indivisible con posicin. Esto o o produce una denicin aristotlica alternativa [4, p. 585]: la unidad es un punto carente o e de posicin. o (e) El trmino griego se traduce como multitud o pluralidad. Por eso, la denicin de e o la unidad como uno mltiple o uno plural ( ), atribuida por Imblico a la escuela u a de Crisipo (281208 a.C.), fue catalogada por l mismo como confusa. e Respecto al concepto de nmero, aun cuando aparece involucrado en algunas de las tenu tativas de denicin de las unidad vistas en los apartes anteriores, el mismo Heath [8, Vol. 2, o p. 280] nos hace un resumen de algunas de las concepciones imperantes obtenidas de diversas fuentes, casi todas de clara inuencia pitagrica. Destacamos: o (a) Tales parece acusar inuencia egipcia al denir nmero como coleccin de unidades. u o (b) Siglos despus, Eudoxo (408355 a.C.) habl del nmero como multitud denida. e o u (c) Ten utiliza un fraseo similar al que Estobeo atribuye al pitagrico Moderatus: Un nmero o o u es una coleccin de unidades o una progresin de pluralidad que comienza con una unidad o o y un retroceso que termina en una unidad.
[6] Subrayado

nuestro. D.J

10

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS (d) Las deniciones aristotlicas son ms numerosas pero todas orientadas por el mismo estilo. e a En la Metaf sica [4] tiene las siguientes: pluralidad limitada (p. 280), pluralidad de unidades (p. 438), s ntesis de unidades (p. 363), pluralidad de indivisibles (p. 587), pluralidad mensurable por uno (p. 448). Por otra parte, en la F sica [2, p. 51] lo caracteriza como multiplicidad de unidades. (e) Nicmaco (60120 d.C.) lo concibe como multitud denida, conjunto de unidades o o ujo de cantidad hecho de unidades. Extraas como puedan parecer al matemtico moderno, tales deniciones se encontraban n a motivadas por una tendencia fundacional, pues el esp ritu pitagrico sancionado aos despus o n e de manera casi impositiva por la enorme inuencia platnica estaba dirigido por el conocio miento como n, alejado de cualquier inters en aplicaciones prcticas. Sin embargo, todo este e a conocimiento crec sobre una base de cr a tica permanente, que fue abriendo el camino a modelos expositivos de la ciencia matemtica que aspiraban a la perfeccin en la expresin de las ideas. a o o De Pitgoras a Euclides transcurren ms de dos siglos en los cuales se pasa de una ciencia a a nacida al abrigo de lo m stico a otra en la que la razn exige dominio exclusivo. En lo esencial, o el matemtico actual es un colega de Euclides, pero ser ingrato de su parte negar la deuda que a a ste adquiri con sus predecesores, incluso aquellos que, con siglos de antelacin, prepararon a e o o Tales y Pitgoras el largo camino de seguridades e inseguridades sobre el que stos desarrollaron a e sus maravillosos aportes.

1.4 Las clasicaciones pitagricas del nmero o u Pares e impares

Aristteles [4, p. 131] establece que los elementos del nmero son lo par () y lo o u impar ( ). De origen pitagrico seguro, ste parece ser el primer intento de clasicacin o e o de los nmeros y se han recogido algunas deniciones en tal sentido, las cuales acusan las u mismas dicultades de identicacin de principios que surgieron al tratar de denir el nmero o u e identicar el papel del uno en la construccin de esa denicin. En este caso las dicultades o o esenciales las encontramos con el dos o la D ada que, como principio de lo par, dicultaba su concepcin como nmero. o u Nicmaco escribi un tratado de aritmtica cuya inuencia se extendi por toda la edad o o e o media. En este tratado (Heath, [8, Vol. 2, p. 281] o [12, Vol. 1, p. 70]) se recoge la que, segn u el autor, es la denicin pitagrica de impar y par: o o
Un nmero par es aquel que es posible dividir, por intermedio de una y la misma operacin, u o en la mayor y menor (partes), mayor en tamao pero menor en cantidad... mientras que n un nmero impar es aquel que no puede ser tratado de esta manera, sino que se divide en u dos partes desiguales.[7]
[7] Traduccin o

de D. J.

11

 1.4. LAS CLASIFICACIONES PITAGORICAS DEL NUMERO La explicacin de esta complicada denicin la da Imblico: menor en cantidad se reere a o o a que la cantidad ms pequea de partes que se pueden tomar para dividir un nmero son dos; a n u una vez hecha una divisin de este tipo, la que produce las dos partes mayores en tamao es o n la correspondiente a las dos mitades del nmero, si esto fuera posible. u Quiz esta complicacin hace que Nicmaco intente otras como por ejemplo: a o o
un nmero par es aquel que se puede dividir en dos partes iguales y en dos partes distintas u (excepto la d ada fundamental que solo puede dividirse en dos partes iguales); ahora bien, como quiera que se divida sus dos partes deben ser de la misma clase, sin partes de la otra clase (es decir, las dos partes son ambas pares o ambas impares); por otro lado, un nmero impar es aquel que, como quiera que se divida sus partes son diferentes y tales u partes siempre pertenencen a dos clases distintas respectivamente (es decir, una es impar y la otra par).

De esta denicin recogida por Nicmaco llama la atencin su carcter recursivo, esto es, al o o o a hablar de clases distintas o de la misma clase se est deniendo lo par y lo impar en trminos a e de par e impar ; pero, a diferencia de una denicin recursiva moderna, sta no indica cuales o e son los primeros trminos de cada clase. e Entre los fragmentos de Filolao encontramos lo siguiente [11, p. 168]:
Todas las cosas, al menos las que conocemos, tienen Nmero pues es evidente que nada en u absoluto puede ser pensado o conocido sin el Nmero. El Nmero es de dos clases distintas: u u lo impar y lo par, y una tercera, producto de una mezcla de las otras dos: lo parimpar. Cada una de estas subespecies se puede separar en variedades numerosas, cada una de las cuales muestra su propia individualidad.[8] Esta, para nosotros, curiosa categor de parimpar a

dentro de la clasicacin domin buena parte de las discusiones posteriores. Aristteles [4, o o o p. 131] lleg a decir que para los pitagricos el uno era tanto par como impar, lo cual fue o o interpretado por Ten en el sentido de que el 1 sumado a cualquier nmero (par o impar) o u cambia la naturaleza de ste, cosa que no ser posible si el 1 no tuviera ambas naturalezas. e a Este argumento es an ms curioso que la propia clasicacin, pues Ten no parece haber u a o o reparado en que esta propiedad es comn a todo nmero impar. Es dif u u cil, sin embargo, saber a ciencia cierta cunto avanz el pitagorismo en la construccin de estas deniciones pero, a o o de seguro por inuencia platnica, Euclides presenta algunas de las variedades numerosas o comentadas por Filolao en las deniciones 8, 9 y 10 de su libro VII, donde leemos [9, Vol. 2, pp. 114-115]:
8. Un nmero parmente par (rtikic u segn un nmero par. u u

rtioc rijmc) es el medido por un nmero par u perissc) es el medido por un nmero u

10. Un nmero imparmente impar (perisskic u impar segn un nmero impar. u u

[8] Traduccin o

9. Y parmente impar (rtikic nmero impar. u

perissc) es el medido por un nmero par segn un u u

y subrayados de D. J.

12

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS En estas deniciones, medido por ( ) tiene el signicado de ser mltiplo de, por lo u cual una denicin como la 8 incluir a cualquier nmero que tenga dos divisores pares como 16 o a u o 24. Pitagricos posteuclidianos (Nicmaco, Ten e Imblico) criticaron esta denicin como o o o a o extraa al pensamiento pitagrico, en tanto las clasicaciones pitagricas establec clases n o o an excluyentes entre s y las deniciones 8 y 9 anteriores no lo son. Un contraejemplo, provisto por el propio Imblico, es 24 que es 6 4 (parmente par), pero tambin 8 3 (parmente impar). La a e denicin euclidiana le produce al autor de los Elementos algunas dicultades con proposiciones o posteriores como IX.33 y IX.34, las cuales son sorteadas por el sabio alejandrino manteniendo la consistencia con sus deniciones. Por esto una denicin de imparmente par que aparece en o algunas versiones de los Elementos es considerada como una interpolacin efectuada por un o conservador pitagrico, por lo dems, ignorante. Euclides nunca hace uso en su texto de esta o a denicin. o Problema 1.2 Averige el signicado del trmino interpolacin en el contexto de la historia de u e o los Elementos de Euclides. Los pitagricos posteuclidianos coincidieron entonces en un cambio de sentido de la denicin o o 9 que la hiciera ms acorde a la tradicin. De esta manera, el trmino parmente par lleg a a o e o englobar aquellos nmeros cuyas partes fueran pares, as como las partes de sus partes; esto solo u es posible si el nmero es una potencia de dos,[9] 2n . Por otro lado, parmente impar cambi su u o denominacin a parimpar ( ) e inclu los nmeros cuya mitad era un nmero o a u u impar, es decir nmeros de la forma 2(2p 1). Tambin incluyeron la categor imparpar u e a () que conten los nmeros a los cuales se les pod extraer mitades consecutivas a u an pero al nal quedaba un nmero impar, esto es nmeros de la forma 2n+1 (2p1); esta categor u u a era para ellos intermedia a parmente impar y parmente par, pues algunas de sus partes pares son pares y otras impares, pero su parte impar es par. Finalmente, imparmente impar se reere de hecho a cualquier nmero impar, incluidos los primos pues stos son el producto de ellos u e mismos por 1. Ten aadi la extraa acotacin de que imparmente impar es otra forma de o n o n o referirse a un nmero primo distinto de 2. Podemos hacer un resumen con nuestra notacin u o moderna: Clase Parmente par Forma 2n

Parmente impar

2(2p 1)

Imparmente par

2n+1 (2p 1)

Imparmente impar

(2p 1)(2q 1) o primo (Ten) o

Problema 1.3 Las proposiciones IX.32 a IX.34 de Euclides rezan [9, Vol. 2, p. 234235]:
[9] Deber a adirse distinta de la unidad, pero la potencia de exponente cero no parece haber cruzado el a n pensamiento griego.

13

 1.4. LAS CLASIFICACIONES PITAGORICAS DEL NUMERO 32. Cada uno de los nmeros duplicados (sucesivamente) a partir de una d u ada es solo parmente par. 33. Si un nmero tiene su mitad impar es solo parmente impar. u 34. Si un nmero no es uno de los duplicados (sucesivamennte) a partir de una d u ada, ni tiene su mitad impar, es parmente par y parmente impar. Interprtelas desde el punto de vista moderno. A partir de estas redacciones, podr pensarse e a que Euclides ten alguna intencin de que su denicin de parmente par fuera la que luego a o o dieron Nicmaco, Imblico y Ten? o a o

Primos
Salvo quizs por la curiosa interpretacin que a posteriori hiciera Ten, la clasicacin ana o o o terior apuntaba a lo que hoy llamamos nmero compuesto, en oposicin a nmero primo. Pero, u o u evidentemente stos ultimos ten que haber llamado la atencin de los primeros pitagrie an o o cos en tanto quedaban sin clasicar. Parece que Timaridas introdujo el trmino eutigrmicos e a ( ) o rectilineales para identicarlos. Luego veremos (seccin 1.5) que los pitagrio o cos asignaban forma a los nmeros y un nmero como 6 era rectangular, siendo sus dimensiones u u 2 y 3; esto no es posible con un nmero primo al cual solo puede asignrsele una dimensin. Ten u a o o los llam eutimtricos ( ) y tambin lineales ( ). Esta visin geomtrica o e e o e domin la posteridad; por ejemplo Aristteles [4, p. 281] arma: o o
Tal es el caso de los nmeros compuestos es decir, no los que consisten en una sola dimenu sin, sino aquellos respecto de los cuales la supercie y el slido son copia. o o

Problema 1.4 Cmo interpreta la frase la supercie y el slido son copia de la cita anterior? o o Evidentemente, siendo que 2 no era siquiera un nmero menos pod pensarse en l como u a e primo, por lo cual Nicmaco consider que la clasicacin primo era propia solo de los nmeros o o o u impares. De hecho, Nicmaco justica el trmino primo ( ) en tanto los nmeros de esta o e u clase solo pueden alcanzarse por acumulacin de unidades y no de nmeros (por ejemplo, el o u 12 es una acumulacin de tres cuatros, 12 = 4 + 4 + 4). Como la unidad es el principio de los o nmeros, aquellos a los que solo se puede llegar por acumulacin de unidades son los primeros u o o primos. Coincide as con Aristteles [5, p. 287]: o
... [la tr ada (el 3) es] un nmero primo bajo dos conceptos; primero en cuanto no es u divisible por ningn nmero, y segundo, en cuanto no est formada de nmeros...[10] u u a u

Hubo divergencias posteriores respecto al papel del 2. Ya Aristteles [5, p. 441], se atreve a o armar:
... como la d ada que es el unico nmero primo entre los pares... u
[10] Subrayado

nuestro.

14

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS lo que se condice con la denicin VII.11 de Euclides [9, Vol. 2, p. 116]:[11] o
12. Un nmero primo es el medido por la sola unidad. u

Pero los pitagricos posteuclidianos insistieron en la idea original de dejar el 2 fuera de la o clasicacin. Ten critica la denicin euclidiana, pero con argumentos que los historiadores o o o consideran dbiles. Nicmaco, por su parte, arma que la primalidad no es una propiedad de e o los nmeros en general, sino espec u camente de los impares. Por lo dems, caracteriza a los a primos como aquellos cuya unica parte se deriva del nombre del propio nmero, esto es, 3 solo u tiene tercera parte, 5 solo tiene quinta parte, etc. Se intent una clasicacin de los impares que mimetizara de alguna forma la clasicacin o o o de los pares vista en el aparte anterior. Proced as a : (a) Los primos e incompuestos ( ): todos los primos a excepcin de 2, que o no era primo por su propia naturaleza. (b) Los secundarios y compuestos ( ): aquellos cuyos factores son primos impares. (c) Se reere a parejas de nmeros secundarios y compuestos individualmente, pero primos e u incompuestos entre s como 15 y 49; esto es un subconjunto de lo que hoy llamamos primos , relativos. Problema 1.5 Se critic a Euclides que su clasicacin de los pares no estaba estructurada sobre o o partes excluyentes. Al respecto, qu dir usted de esta clasicacin de los impares realizada e a o por los pitagricos posteuclidianos? o

Perfeccin y amistad numricas o e

El trmino perfecto fue usado por los primeros pitagricos para referirse al nmero 10 pues e o u ste acumula el tetractys sagrado: 10 = 1 + 2 + 3 + 4, que ya comentamos en la pgina 6. e a Posteriormente, este sentido cambiar al que recoge Euclides en la denicin VII.22: a o
Nmero perfecto es el que es igual a sus propias partes u

esto es, aquellos nmeros que son iguales a la suma de sus divisores propios, como 6 (= 1+2+3) u o 28 (= 1 + 2 + 4 + 7 + 14). Siguiendo un patrn similar al que Apolonio sigui para las cnicas, o o o Ten y Nicmaco clasican los nmeros as o o u : (a) Excesivos ( , hiperteleios): aquellos cuya suma de factores propios es mayor que el nmero, por ejemplo 18 < 1 + 2 + 3 + 6 + 9. u (b) Perfectos (, teleios): tal como los dene Euclides.
[11] Mar Luisa Puertas Casta o la indica como denicin 12 pues su denicin 10 es aquella interpolada que a n o o comentamos en la pgina 13. a

15

 1.4. LAS CLASIFICACIONES PITAGORICAS DEL NUMERO (c) Decientes ( , lipes): aquellos cuya suma de factores propios es menor que el nmero, e u por ejemplo 15 > 1 + 3 + 5. Problema 1.6 Qu propiedad numrica de las cnicas produce la similaridad entre la clasicacin e e o o de Apolonio y la clasicacin numrica anterior? o e Problema 1.7 Demuestre que (a) Todo nmero de la forma 2n1 (2n 1) con 2n 1 primo, es un nmero perfecto. u u (b) Si 2n 1 es primo entonces 2n1 (2n 1) 6 u 8 mod 10. La parte (a) del problema anterior es una famosa proposicin euclidiana: la proposicin o o IX.36, que el sabio alejandrino redact de la siguiente manera [9, p. 237]: o
Si tantos nmeros como se quiera a partir de una unidad se disponen en proporcin dupliu o cada hasta que su (suma) total resulte (un nmero) primo, y el total multiplicado por el u ultimo produce algn nmero, el producto ser (un nmero) perfecto. u u a u

(Ser interesante que el lector revisara la demostracin de esta proposicin en los Elementos y a o o la comparara con la propia. Tendr oportunidad de ver todos los benecios que una notacin a o adecuada produce al avance de la matemtica.) a La parte (b), por otro lado, fue destacada por Nicmaco en su libro de aritmtica. Un avance o e importante de este texto es que usa la notacin arbiga y decimal la cual tardar muchos aos o a a n en imponerse, conviviendo desventajosamente con la numeracin romana durante la edad media. o As lo que Nicmaco enunci es que todos los nmeros perfectos terminan en 6 u 8. Dado que , o o u al contrario de Euclides Nicmaco no dio demostraciones de las proposiciones enunciadas en o su libro, se piensa que lleg a esta conclusin porque los unicos nmeros perfectos que conoc o o u a eran 6, 28, 496 y 8128, los cuatro primeros de la sucesin que da la frmula del problema. o o Asimismo, Nicmaco arm que hab un solo nmero perfecto de una cifra, uno solo de dos o o a u cifras, uno solo de tres y as sucesivamente; tambin esto se deduce de la observacin de los e o primeros cuatro nmeros de la secuencia. Pero Nicmaco posiblemente no tuvo el tiempo o la u o paciencia necesarias para calcular el quinto nmero perfecto que es 33 550 336 = 212 (213 1). u Los nmeros perfectos llamaron la atencin de la posteridad. La correspondencia entre u o Fermat y Mersenne arroj importantes resultados al respecto. Poca duda hay de que el pequeo o n teorema de Fermat debe ser un subproducto de este estudio; los nmeros primos de la forma u 2n 1 se conocen como primos de Mersenne. Euler demostr que la rec o proca de la proposicin o de Euclides es cierta, esto es, los nmeros perfectos pares son todos de la forma 2n1 (2n 1). u Hasta ahora no se conocen perfectos impares pero s algunas propiedades de ellos en caso de que existieran. Imblico atribuye a Pitgoras el descubrimiento de los nmeros amigos o amigables. Estos a a u son parejas de nmeros tales que la suma de los divisores propios de cualquier miembro de la u pareja es igual al otro nmero. El ejemplo t u pico es: 220 284 16 = = 1 + 2 + 4 + 71 + 142, 284 = 22 71 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110, 220 = 22 5 11

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS pero no es dif conseguir otros ejemplos aplicando un algoritmo de Fermat, ya conocido cil por Tabit ibn Qurra (836 a 901 d. C.); se trata de conseguir un nmero primo n tal que u p = 3 2n1 1, q = 3 2n 1 y r = 9 22n1 1 sean primos, entonces 2n pq y 2n r son amigos. El ejemplo dado corresponde a n = 2. Problema 1.8 Compruebe el algoritmo de Fermat. Consiga otras parejas de nmeros amigos. u

1.5 La forma de los nmeros u Cuadrados, oblongos y triangulares

Interrogndose acerca del modo en que los nmeros se constitu en el ser de las cosas, a u an Aristteles [4, p. 619] reexionaba: o

... del modo como Eurito establec un nmero para cada cosa, por ejemplo, tal nmero a u u para el hombre, y tal otro para el caballo, valindose de piedras para imitar las guras de e los seres vivos, as como hacen con el tringulo y el cuadrado los que reducen los nmeros a u a guras...

Figura 1.4: Nmeros cuadrados u La cita nos recuerda el comentario realizado en la pgina 7 respecto a que las observaciones a astronmicas conduc a ligar la forma con el nmero, en tanto las constelaciones pose o an u an ambos atributos. Para los pitagricos a cada nmero pod asignrsele alguna forma geomtrio u a a e ca; todav mantenemos rezagos de esta conducta cuando hablamos por ejemplo de nmeros a u cuadrados, los cuales, al estilo pitagrico, podemos visualizar en la gura 1.4. o El cuadrado es una gura que forzosamente deb llamar la atencin pitagrica por todas a o o sus simetr pues, a mayor simetr mayor perfeccin. Pero el cuadrado est situado al lado as a, o a de lo impar y de lo nito o limitado. Esto se reere a los principios de las cosas que, segn u Aristteles [4, p. 131], algunos pitagricos en ejercicio dialctico dec que eran diez pares o o e an de contrarios y los agrupaban en dos columnas paralelas, de esta manera: 17

1.5.

LA FORMA DE LOS NUMEROS Limitado Impar Uno Derecho Macho Reposo Recto Luz Bueno Cuadrado Ilimitado Par Mltiple u Izquierdo Hembra Movimiento Curvo Oscuridad Malo Oblongo

Observamos que opuesto a lo cuadrado () est lo oblongo ( ); existen a diferentes interpretaciones de este trmino algunas de las cuales se orientan a lo rectangular e no cuadrado, como puede conseguirse en Euclides. Pero, en trminos numricos, siguiendo la e e interpretacin de los pitagricos posteuclidianos [8, Vol. 2, p. 289], oblongo es lo ms cercano o o a a cuadrado, esto es, nmeros rectangulares tales que los lados del rectngulo dieren en una u a unidad: 2 3, 3 4, 4 5, etc. (Ver Fig. 1.5)

Figura 1.5: Nmeros oblongos u

Relacionados con estas formas estn los nmeros triangulares, aquellos que se generan a a u partir de la suma de enteros consecutivos: 1 + 2, 1 + 2 + 3, 1 + 2 + 3 + 4, etc, que hemos representado en la gura 1.6. De los tringulos de nuestra gura, los pitagricos destacaban el a o ultimo, correspondiente al 10, que acumulaba el tetractys, s mbolo del juramento pitagrico. o

Figura 1.6: Nmeros triangulares u

El mundo de relaciones que se abre entre todos estos conceptos es de una amplitud sorprendente; ya lo veremos. Por lo pronto vale la pena decir que los triangulares y los cuadrados son apenas dos casos particulares de la clasicacin poligonal de los nmeros, pero para entender o u sta totalmente debemos hacer mencin a un trmino que, en este contexto, es fundamental: e o e gnomon. 18

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS

El gnomon (gnmwn)

Figura 1.7: El gnomon de un reloj de sol es su aguja Se considera a Anaximandro (610546 a.C.) el verdadero descubridor del reloj de sol, aun cuando hab importantes antecedentes sobre todo en Babilonia, territorio que este sabio visit. a o La aguja de los relojes de sol, es decir la vara cuya sombra se proyecta sobre la superce colocada en el el suelo se llam gnomon (vea la gura 1.7), por lo que la disciplina de los que se dedican o a la construccin de estos artefactos an hoy se llama gnomnica. o u o Parece ser que Oenopides (490420 a.C.) aplic por extensin el o o trmino a la perpendicular a una recta por un punto externo a ella. A e partir de esta extensin es posible que la palabra haya derivado hacia otro o de los usos sustantivales que recibi: lleg a denominar las escuadras de o o los carpinteros, como la que vemos a la derecha. De esta ultima acepcin debe derivar la que interesa a nuestros o propsitos. Se dio el nombre de gnomon a la gura resultante de extraer de un cuadrado otro o cuadrado de menor tamao, es decir la parte gris de la ilustracin izquierda de la gura 1.8. n o La ilustracin derecha de la misma gura muestra la generalizacin de Euclides al llevar sta o o e hasta cualquier paralelogramo. Aos despus, Hern de Alejandr (1075 d.C.) generaliz an n e o a o u ms la idea al denir el gnomon como aquello que cuando se aade a algo (sea nmero o gura) a n u mantiene el todo similar a la parte original. Es esta acepcin heroniana la que se enlaza con los o comentarios que ahora haremos.

Figura 1.8: El gnomon visto geomtricamente e

19

1.5.

LA FORMA DE LOS NUMEROS

Nmeros poligonales u
Mantener el todo similar a la parte original debe signicar para un nmero cuadrado otro u nmero que, cuando se aada al primero el resultado sea de nuevo un cuadrado. Esto es de u n acuerdo a la concepcin de Hern el gnomon de un nmero cuadrado. Comenzando desde 1, la o o u gura 1.9 muestra que el gnomon necesario para obtener 4, el primer cuadrado, es 3; el siguiente cuadrado es 9 que se obtiene de 4 sumando el gnomon 5; luego, sumando a 9 el gnomon 7 se obtiene 16 el prximo cuadrado. o

Figura 1.9: El gnomon de un cuadrado es un nmero impar u

Del anlisis de estos resultados se inere que el gnomon de un nmero cuadrado es un nmero a u u impar; ms an, se deduce que todo cuadrado es la suma de impares consecutivos comenzando a u desde 1: 1 + 3 + 5 + + (2n 1) = n2 . (Al margen. El lector podr leer en algn texto de historia de la matemtica que los pitagricos a u a o hab descubierto la frmula anterior o, peor an, que hab llegado a an o u an
n

(2k 1) = n2 .
k=1

Expresada de esta manera, sin el contexto adecuado, tal armacin resulta una verdad a medias, o lo que, en ocasiones, podr ser peor que una mentira.) a De aqu a separar el concepto de su forma original en busca de mayor amplitud de miras , faltaba muy poco. El ejemplo de los cuadrados pod aplicarse a los triangulares y as el gnomon a de cualquier nmero triangular era un segmento una unidad mayor que el ultimo segmento; la u gura 1.10 reeja esta idea.

Figura 1.10: Los gnomones de los nmeros triangulares u

Pero hay una interesante relacin entre los nmeros triangulares y los nmeros oblongos que o u u puede verse en la gura 1.11: el oblongo se obtiene como una superposicin adecuada de dos o triangulares iguales; as todo nmero oblongo es el doble de un nmero triangular. Comenzando , u u la lista de los oblongos en 2 (nuestra visin actual no nos impide verlo como 1 2), el nsimo o e 20

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS

Figura 1.11: Cmo determinar el nsimo nmero triangular? o e u oblongo es n(n + 1), por lo cual el correspondiente triangular ser 1 n(n + 1), lo que, en nuestra a 2 moderna notacin es la familiar frmula: o o 1 1 + 2 + 3 + + n = n(n + 1). 2 Problema 1.9 Se dice que en su niez Gauss, fue compelido por un maestro a sumar todos n los nmeros consecutivos desde 121 a 720.[12] Para sorpresa del maestro, Gauss entreg el u o resultado en menos de cinco minutos pues, lejos de hacer la suma trmino a trmino, razon de e e o la siguiente manera. La suma se puede hacer desde el primer nmero hasta el ultimo o viceversa: u 121 + 122 + 123 + 720 + 719 + 718 + 841 + 841 + 841 + + 718 + 719 + 720 + 123 + 122 + 121 + 841 + 841 + 841

pero la suma de cada columna segn la disposicin de la propia tabla es constante, igual a u o 841 repetida 600 veces. Por tanto, la suma buscada es la mitad de 600 841, es decir 252 300. Utilice el razonamiento de Gauss para llegar a la frmula o 1 + 2 + 3 + + n = 1 n(n + 1). 2

Problema 1.10 Otra forma de llegar a la frmula de los nmeros triangulares es usar el hecho de o u que n2 (n 1)2 = 2n 1, as podemos escribir la siguiente cadena de igualdades: , 12 02 2 1 3 2
2 2 2 2

= = =

211 221 231

. . . n2 (n 1)2 = 2n1

Si sumamos los lados izquierdos de la igualdades anteriores, por suma telescpica resulta n2 , o pero la suma de los lados derechos es 2(1 + 2 + 3 + + n) n. Igualando estos dos resultados se obtiene la frmula buscada. o
[12] En realidad no se sabe cul fue el intervalo. Solo que se trataba de sumar una cantidad algo imbcil de a e n meros consecutivos. u

21

1.5.

LA FORMA DE LOS NUMEROS (a) Usando diferencia de cubos obtenga la frmula o 1 2 + 2 2 + 3 2 + + n2 = 1 n(n + 1)(2n + 1). 6

(b) Usando diferencia de potencias cuartas obtenga la frmula o 13 + 23 + 33 + + n3 = 1 2 n (n + 1)2 . 4

(c) En el siglo XVIII, Jacob Bernoulli en su obra pstuma Ars Conjectandi muestra la frmula o o general p+1 n np+1 np bk p rp = + + npk+1 , p+1 2 k k1 r=1
k=2

en la que los bk (llamados nmeros de Bernoulli) satisfacen la relacin de recurrencia u o

n1

b0 = 1,
k=0

n bk = 0. k

Use la frmula de Bernoulli para demostrar la frmula de los nmeros tringulares, la o o u a suma de cuadrados, la suma de cubos y la suma de cuartas potencias. (La intencin de este problema es mostrar hasta qu grados de profundidad puede llegar el o e anlisis de un problema que, en principio, es sumamente sencillo. Los nmeros de Bernouilli a u aparecen en variados contextos matemticos.) a

Figura 1.12: Los gnomones de los oblongos son los nmeros pares u Retornemos a los gnomones. Hab amos dicho que, en la tabla pitagrica de pares de cono trarios provista por Aristteles (pgina 18), el cuadrado estaba al lado de lo impar y de lo o a limitado. En parte, esto coincide con el hecho de que los gnomones de los cuadrados son los nmeros impares; ahora bien, la gura 1.12 muestra que los gnomones de los oblongos son los u nmeros pares: partiendo de 2 (la d u ada, el principio de lo par) se obtiene 6 sumando el gnomon 4; sumando a 6 el gnomon 6 se obtiene 12, etc. En un obscuro pasaje de la F sica [2, p. 36], Aristteles dice: o
... los pitagricos (sostienen) que lo innito es lo par, pues es esto lo que al ser encerrado o y limitado por lo impar aporta a los entes la innitud. Seal de ello es lo que acontece en n el caso de los nmeros, ya que si se aaden los gnomones en torno de 1 y sin (comenzar u n por 1), se obtienen resultados diferentes: en el segundo caso la gura resultante es siempre diferente, mientras que en el primero (se obtiene) una unica gura.

22

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS Se ha interpretado este pasaje en el sentido de que Aristteles arma que todos los cuadrados o tienen forma unica, mientras que cada oblongo es distinto en forma de los otros;[13] es decir, la sucesin de oblongos es un innito, mientras que la sucesin de cuadrados nos mantiene dentro o o de lo nito: lo impar conlleva lo nito, lo par lo innito. Los griegos eran sensibles al tema del innito, como tendremos oportunidad de ver en el cap tulo 4.

Figura 1.13: Nmeros poligonales en general u Ten llev el asunto a su punto de mxima generalidad al considerar gnomones capaces de o o a generar pol gonos de cualquier nmero de lados; de esta manera, como se ve en la gura 1.13 u tenemos nmeros pentagonales (5, 12, 22, etc.), hexagonales (6, 15, 28, etc.), heptagonales (7, u 18, 34, etc.) y as sucesivamente. El 1 acompaa a todas las sucesiones en tanto los gnomones n de cualquier tipo se organizan alrededor de l como principio generador. e

La progresin aritmtica o e
El concepto de progresin aritmtica surge de manera natural en el contexto de los gnomones o e generadores de pol gonos regulares. De hecho, cada sucesin de gnomones es una progresin o o aritmtica de primer trmino 1 y cuya razn es una unidad mayor que la inmediatamente e e o
[13] Se

nos ocurre pensar que esto es una consideracin de simetr o a.

23

1.5.

LA FORMA DE LOS NUMEROS

anterior a ella. Esto se ve en la tabla de la gura 1.14, donde colocamos en la parte superior de cada entrada los nmeros poligonales consecutivos y en la l u nea siguiente los gnomones:

Triangulares: 1

1 2

3 3

6 4

10

Cuadrados: 1

1 3

4 5

9 7

16

Pentagonales: 1

1 4

5 7

12 10

22

Hexagonales: 1

1 5

6 9

15 13

28

Heptagonales: 1

1 6

7 11

18 16

34

Figura 1.14: Progresin aritmtica en los nmeros poligonales o e u

La observacin cuidadosa de la tabla arroja que los gnomones de los nmeros poligonales o u de p lados siguen una progresin aritmtica de primer trmino 1 y razn p 2. o e e o Problema 1.11 Recordamos que la suma de los primeros n trminos de una progresin aritmtica e o e de primer trmino a y razn r es e o 1 (n + 1)(2a + nr). 2 Usando la frmula anterior demuestre que el nsimo nmero poligonal de p lados es o e u 1 n[(p 2)n (p 4)]. 2

Teoremas elementales de la teor de nmeros pitagrica a u o

Estas guras de puntos que usaban los pitagricos para representar los nmeros fueron o u lo sucientemente sugerentes como para producir a partir de ellas teoremas que, enmarcados en su contexto histrico, resultan nada triviales. Hemos visto de pasada algunos de ellos. Por o 24

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS ejemplo, en la pgina 21 conseguimos una gura que muestra, mediante el trazo de una diagonal a adecuada, que todo oblongo es la suma de dos triangulares iguales; esto conduce a la frmula o 1 + 2 + + n = 1 n(n + 1) 2

que permite conseguir el valor del nsimo nmero triangular. La misma frmula pudiera dee u o ducirse de la secuencia de oblongos a partir de sus gnomones en la pgina 22, pues como los a oblongos se obtienen como suma de pares resulta que 2 + 4 + 6 + + 2n = n(n + 1); que es la frmula anterior multiplicada por 2. o Enlazado con el anterior est el hecho de que todo cuadrado es la suma de dos triangulaa res consecutivos; as lo vemos en la ilustracin izquierda de la gura 1.15. Nuestra notacin o o algebraica moderna traduce este teorema en 1 1 n(n 1) + n(n + 1) = n2 . 2 2 Un tanto ms complejo es el teorema al que nos lleva la ilustracin derecha de la misma a o

Figura 1.15: Teoremas pitagricos o gura. Tenemos un cuadrado en el que, mediante diagonales adecuadas hemos hecho aparecer ocho triangulares iguales; pero en el centro del cuadrado queda una unidad que no pertenece a ninguno de los tringulos descubiertos. As la suma de ocho triangulares iguales ms la unidad a , a es un cuadrado. Pero tambin se observa que como cada dos triangulares iguales producen un e oblongo y disponemos tales oblongos transversales entre s entonces el lado del cuadrado tiene , un nmero impar de puntos: n + (n + 1) = 2n + 1. Esto es u 1 8 n(n + 1) + 1 = (2n + 1)2 . 2

1.6 Razn y proporcin o o

Los experimentos musicales de Pitgoras arrojaban relaciones entre la longitud de la cuerda a del monocordio y los sonidos obtenidos al hacerla vibrar. A medida que se disminu el tamao a n 25

 1.6. RAZON Y PROPORCION de la cuerda el sonido era ms agudo; por ejemplo, si se excitaba la cuerda a la mitad de su a longitud se produc una octava ms aguda. De manera que para cubrir la octava hab que a a a pasar de una cuerda a otra de doble longitud: si la menor se consideraba de longitud 1, la mayor tendr longitud 2; se expres esta idea diciendo que la octava se representaba por la razn 2 a o o es a 1. El trmino griego para razn es (logos) y, posteriormenente, la oracin 2 es a 1 e o o se represent con el s o mbolo 2 : 1. En este mismo orden de ideas, la quinta nota de la escala se obten a dos tercios de la longitud de la cuerda, por lo que se la representaba con la razn a o 3 : 2 y la cuarta con la razn 4 : 3. o La prctica de anacin producto de estas observaciones tericas llev a comparar entre a o o o s las razones. Tal comparacin se denomin proporcin ( ) y se expresaba verbalmente o o o en la forma A es a B como C es a D, lo que posteriormente se abreviar con la notacin a o A : B :: C : D. A los trminos A y D se les denomin extremos de la proporcin, mientras que B e o o y C eran los medios de la proporcin. La proporcin general es a cuatro trminos: dos extremos o o e y dos medios; un problema interesante fue el estudio de las proporciones de tres trminos; esto e es, proporciones donde solo aparecen tres nmeros distintos. El estudio de estas proporciones u llev al descubrimiento de las medias. o Segn Arquitas [11, p. 185], ya en tiempos de Pitgoras se conoc tres tipos de media: u a an la aritmtica, la geomtrica y la armnica, tambin llamada subcontraria. As si tenemos los e e o e , nmeros A, B, C con A < B < C, entonces B es u Media aritmtica si su diferencia con A y C es la misma. En trminos de proporciones esto e e se expresa como (B A) : (C B) :: A : A o (B A) : (C B) :: C : C.

Media geomtrica si es igual a los dos medios de la proporcin donde A y C son extremos; e o esto es A : B :: B : C. Media armnica si sus diferencias con los otros nmeros estn en la misma razn en la que o u a o estn dichos nmeros; esto es a u (B A) : (C B) :: A : C. Problema 1.12 El concepto pitagrico de razn se convirti con el correr del tiempo en el cono o o A cepto de nmero racional, en tanto la razn A : B pas a ser el cociente . Demuestre que u o o B las medias pitagricas coinciden con las deniciones usuales actuales, esto es o A+B . 2 Media geomtrica: B 2 = AC e 2 1 1 Media armnica: o = + B A C Media aritmtica: B = e Imblico destaca una hermosa proporcin, que involucra las medias aritmticas y armnica; a o e o sta es e A+B 2AB A: :: : B, 2 A+B 26

 CAP ITULO 1. LA ARITMETICA ELEMENTAL DE LOS PITAGORICOS a la cual considera la proporcin ms pefecta. Se supone que esta proporcin fue un descubrio a o miento de los babilnicos llevada a Grecia por Pitgoras (ver [8, Vol. 2, p. 112] o [12, Vol. 1, p. o a 86]). El pitagorismo posterior al maestro produjo otras ocho medias recogidas (con una ligera discrepancia) por Nicmaco y Pappus (290350 d.C). Su autor es confusa e incluso est ligada o a a con alguna intriga intelectual, si el lector est interesado puede ver [12, Vol. 1, pp. 8687]. El a prximo problema las recoge. o Problema 1.13 La siguiente es la lista de las ocho medias desarrolladas por la escuela pitagrica. o A partir de la proporcin que las dene, demuestre la igualdad de la derecha o (A B) : (B C) :: C : A B= A2 + C 2 A+C C2 B A2 B

(A B) : (B C) :: C : B (A B) : (B C) :: B : A (A C) : (B C) :: A : C (A C) : (A B) :: A : C (A C) : (B C) :: B : C (A C) : (A B) :: B : C (A C) : (A B) :: A : B

A=B+C C =A+B

C 2 = 2AC AB A2 + C 2 = A(B + C) B 2 + C 2 = C(A + B) A=B+C A2 = 2AB BC

El tema de las razones va a estar ligado con un tema de mucha mayor profundidad: el de los inconmensurables o irracionales ( ). Pero esta discusin quedar pospuesta hasta el o a cap tulo 4.

27

Cap tulo 2
La matemtica prepitagrica a o
El aporte matemtico de la Grecia clsica es de una profundidad tal que nos llena de a a admiracin. Al igual que, en otros campos del saber, la matemtica moderna se sostiene sobre o a los mtodos y procedimientos que nos legaron los grandes maestros de la antigedad griega. El e u pensamiento occidental es subsidiario del pensamiento griego a un punto tal que la escritora belga Marguerite Yourcenar lleg a armar que: o
... todo lo que cada uno de nosotros puede intentar para perder a sus semejantes o para servirlos, ha sido hecho ya alguna vez por un griego.[1]

Algo de esto hemos visto en el cap tulo anterior revisando la aritmtica elemental de los e pitagricos. Sin embargo, nos quedan cimas ms altas para recorrer, que podemos datar incluso o a en vida del propio Pitgoras. Ahora bien, pecar a amos de infantiles si pensamos que tales aportes al pensamiento son autognicos y pasramos por alto la ingente deuda intelectual que los griegos e a adquirieron de las culturas precedentes, entre ellas la babilnica y la egipcia. Algo hemos dicho, o pero podemos dar una visita un tanto ms inquisidora, aunque siempre insuciente. a

2.1 La matemtica de Babilonia a

Babilonia estaba localizada en la regin de Mesopotamia, en lo que hoy es el territorio de o Irak. Fue construida a ambos lados del r Eufrates y protegida de las crecidas de ste por altos o e terraplenes. De ella dice Herodoto en el primero de sus nueve libros [13, Vol. 1, p. 175]:
La Asiria tiene muchas y grandes ciudades, pero de todas ellas la ms famosa y fuerte a era Babilonia, donde exist la corte y los palacios reales despus que Nino fue destruida. a e Situada en una gran llanura, viene a formar un cuadro, cuyos lados tienen cada uno de frente ciento veinte estadios, de suerte que el ambito de toda ella es de cuatrocientos ochenta... La ciudad esta dividida en dos partes por el r Eufrates, que pasa por medio o de ella.

En la actualidad sus ruinas se encuentran en Irak, ms de 100 Km al sur de Bagdad. Ha a sido ste un tesoro de la humanidad que la guerra ha irrespetado ponindonos en peligro de e e perder los valiosos testimonios histricos y culturales que en l se encuentran. o e
[1] Memorias

de Adriano. Marguerite Yourcenar.

29

 2.1. LA MATEMATICA DE BABILONIA De la antigua Babilonia tenemos noticias por las tablillas de escritura cuneiforme que las excavaciones arqueolgicas han sacado o a la luz. El trmino cuneiforme signica en forma de cua, pues e n sta era la forma de los caracteres que los sumerios grababan sobre e tablas de arcilla, mtodo que adoptaron los acadios, los babilonios e y los asirios. Se ha encontrado una buena cantidad de estas tablillas cuneiformes, que cubren aproximadamente el per odo entre 2000 a 1000 a.C., y gracias al paciente trabajo de descifrado de algunos eruditos especialistas, hemos podido adquirir un buen grado de conocimiento de estas civilizaciones. En lo que respecta al aspecto matemtico quizs el aporte ms importante es el del austr a a a aco Otto Neugebauer (18991990), precursor en esta rea. a Las tablillas muestran que los babilonios pose un sistema posicional de numeracin de an o base 60, el mismo que hasta hoy usamos para medir el tiempo y las medidas angulares. Este sistema sexagesimal carec de s a mbolo para el cero. Para escribir, por ejemplo, 53 015 lo escrib an como 14, 43, 35, con lo cual quer signicar 14 602 + 43 60 + 35. Para realizar operacioan nes rutinarias constru tablas de operaciones como la multiplicacin, elevacin al cuadrado y an o o cubo, extraccin de la ra cuadrada y cbica, inversos, etc. Hay una gran cantidad de tablas o z u operacionales, lo cual signica que las necesidades de clculo estaban a la orden del d a a. En el Museo de Berl se encontr una tabla de valores de n3 + n2 que hizo conjeturar a n o Neugebauer acerca de la capacidad de los babilonios para resolver ecuaciones de tercer grado en su forma normal z 3 + z 2 = a. En todo caso, pod resolver con bastante eciencia algunas an ecuaciones exponenciales, las que aplicaban a problemas prcticos de inters compuesto. a e Algunas tablillas (cercanas al 2000 a.C.) parecen acusar el hecho sorprendente de que los babilonios conoc la frmula de la ecuacin de segundo grado y, lo que es ms, pod manejar an o o a an ambas ra ces si eran positivas. En una tablilla del Museo de Berl se plantea un problema n geomtrico que lleva a una ecuacin del tipo e o x2 sx + c = 0, cuyas dos soluciones positivas s s 2 2 representaban un par de dimensiones buscadas.
2

Estos problemas conten situaciones asociadas con casos prcticos, pero tambin algunos an a e se planteaban, al parecer, en abstracto. Por ejemplo, otra tablilla berlinesa propone resolver un sistema de la forma x a (x + y) = c b xy = 1 para lo cual se propone el cambio de variable X = (b a)x, que conduce a las ecuaciones cuadrticas a Z2 30 bcZ a(b a) = 0, Y = ay,

 CAP ITULO 2. LA MATEMATICA PREPITAGORICA cuyas soluciones positivas son X, Y = 1 2 b2 c2 + 4a(b a) bc .

Algunas tablillas contienen problemas en serie del tipo xy = 600 (ax + by)2 + cx2 + dy 2 = K

en los que se dan los coecientes del polinomio cuadrtico, algunos de los cuales pueden ser a nulos. En los problemas planteados (55 en total) la solucin produce una ecuacin bicuadrtica, o o a pero el proponente no da indicios de su procedimiento de solucin. Todos, sin embargo, tienen o la solucin x = 30, y = 20. o Problema 2.1 Los primeros siete problemas de la serie anterior corresponden a los casos: 1. a = 3, b = 0, c = 0, d = 1, K = 8500 2. a = 3, b = 0, c = 0, d = 2, K = 8900 3. a = 3, b = 0, c = 0, d = 1, K = 7700 4. a = 3, b = 2, c = 1, d = 0, K = 17800 5. a = 3, b = 2, c = 2, d = 0, K = 18700 6. a = 3, b = 2, c = 1, d = 0, K = 16000 7. a = 3, b = 2, c = 2, d = 0, K = 15100 Resuelva algunos de ellos. Aunque posiblemente menos espectacular, en geometr tambin hab un importante avana e a ce. Desarrollaron frmulas para el clculo de reas de guras planas y volmenes de slidos. o a a u o Estas frmulas ven en formas de reglas de operacin; con preferencia usaban los ngulos o an o a rectos. Entre estas frmulas ten el rea de un rectngulo y la de un tringulo rectngulo o an a a a a como el semiproducto de los catetos; para el rea de un c a rculo tomaban el valor = 3 lo que, de manera natural, los condujo a calcular dicha rea como un doceavo del cuadrado de la a longitud de la circunferencia. Sab que el ngulo inscrito en una semicircunferencia es un ngulo recto, descubrimiento an a a que se atribuye a Tales. Conoc tambin que la perpendicular a la base de un tringulo an e a issceles biseca la base. o En cuanto a volmenes, calculaban correctamente el de un paralelep u pedo rectangular, el de un prisma recto con base trapezoidal y el de un cilindro circular recto. En el primer caso multiplicaban las tres dimensiones, mientras que en los dos ultimos multiplicaban el rea de la a base por la altura. Neugebauer conjetur que conoc el volumen de una pirmide truncada o an a de base cuadrada, es decir V =h a1 + a2 2
2

1 3

a1 a2 2

, 31

 2.2. LA MATEMATICA EGIPCIA pero no hay acuerdo entre los eruditos respecto al segundo trmino de la suma. e Existen importantes evidencias de que conoc el teorema de Pitgoras, pero pospondremos an a la discusin de este punto hasta el cap o tulo 3.

2.2 La matemtica egipcia a

La escritura jerogl ca (del griego , sagrado y , tallar, cincelar ) fue inventada por los antiguos egipcios; era un tipo de escritura que mezclaba lo ideogrco (es decir, la representaa ciones grcas de guras) con lo fontico (es decir, s a e mbolos que representan sonidos como las letras). A Thomas Young y JeanFranois Champollion les debemos el descifrado de este complejo c sistema de s mbolos por su trabajo sobre una pieza arqueolgica o que se conoci con el nombre de Piedra de Rosetta. La escritura o hiertica era una forma jerogl a ca de estructura bastante ms sena cilla que se utilizaba para documentos privados o administrativos. El soporte de esta escritura era fundamentalmente el papiro, obtenido del tallo de la planta del mismo nombre, la cual crece a orillas del Nilo. De la coleccin de papiros que nos dan informacin acerca de la sociedad egipcia cuatro arroo o jan luz sobre su matemtica; estos son: el Golenischev, el Rhind, el Rollin y el Harris. De estos a cuatro los historiadores han centrado la atencin en los dos primeros y, muy particularmente, o en el segundo. Ser ste el primero a que hagamos mencin. ae o

El papiro Rhind
Los nombres asignados a estos papiros provienen de los nombres de sus dueos originales. El que describiremos brevemente ahora pertenen ci a Henry Rhind, anticuario escocs radicado en Egipto. Despus de o e e su muerte, acaecida en 1863, el documento fue adquirido por el Museo Britnico. Estaba incompleto, algunos fragmentos se encontraban pera didos, pero aos despus aparecieron en la Sociedad Histrica de Nueva n e o York provistos por un coleccionista de nombre Edwin Smith. De all fue ron trasladados al Museo Britnico. a Al papiro Rhind tambin se le llama papiro Ahms, derivado esto del e e nombre del escriba que lo compuso, segn propia confesin, copindolo u o a de un documento anterior. Escrito en hiertico, es un rollo que data de aproximadamente 1700 a aos antes de Cristo, sus dimensiones son 5, 5 m de largo por 33 cm de ancho. Est separado en n a dos partes que se conocen con los nombres de Recto y Verso. Consiste en una coleccin de 85 o problemas que abarcan temas como uso de fracciones, resolucin de ecuaciones, progresiones, o a reas y volmenes. Los problemas indican la solucin y la manera de vericar que sta es u o e correcta mas no sealan la forma en la que se lleg a la solucin propuesta. n o o 32

 CAP ITULO 2. LA MATEMATICA PREPITAGORICA En el papiro se apela a tablas para apoyar clculos posteriores. La a primera tabla da la divisin de 2 por todos los nmeros impares en el o u rango de 3 a 101; tales divisiones se presentan en la forma de suma de fracciones que excepto en los particular simos casos 2/3 y 3/4 todas tienen numerador 1, las cuales ahora conocemos como fracciones egipcias.[2] No usaban s mbolo para la adicin, por lo cual simplemente escrib los o an s mbolos de estas fracciones una al lado de la otra. Por ejemplo, 1 1 2 era 5 3 15 2 1 1 era 7 4 28 1 1 2 era 9 5 45 (Los detales de estas representaciones puede verlos el lector en [14, p. 169].) Problema 2.2 Demuestre que toda fraccin de numerador 2 y denominador impar se puede eso cribir como suma de exactamente dos fracciones egipcias. Escriba la fraccin 3/7 como suma o de fracciones egipcias. Extrao como pueda parecer, procuraban el uso de la fraccin 2/3 incluso en casos que hoy n o vemos como inconvenientes; por ejemplo prefer an 7 2 1 = + 10 3 30 a 7 1 1 = + . 10 2 5

La multiplicacin y la divisin la realizaban los egipcios por adiciones y sustracciones suo o cesivas respectivamente. El procedimiento de multiplicacin responde a un esquema binario.[3] o Digamos que quisieran multiplicar 45 por 69: en una columna a la derecha colocaban el 1 y a la izquierda a 69 y proced a doblar los nmeros de cada columna hasta que en la izquierda se an u tuvieran los que hacen falta para sumar 45 (1 + 4 + 8 + 32), se escogen stos y en la columna de e la derecha se suman sus acompaantes, el resultado de esta suma, 3105, es el producto buscado: n 1 2 4 8 16 32 69 138 276 552 1104 2208 3105

Problema 2.3 Justique este procedimiento de multiplicacin. o

[2] La [3] El

tesis doctoral de Neugebauer vers sobre estas fracciones egipcias. o mismo que usan nuestras modernas computadoras!

33

 2.2. LA MATEMATICA EGIPCIA Los primeros seis problemas del papiro se reeren a divisin de cierta cantidad de hogazas o de pan entre 10 hombres. Las cantidades de pan propuestas son 1, 2, 6, 7, 8 y 9. Todos llevan el mismo esquema de planteamiento en su solucin: el escriba da el resultado y luego demuestra o su veracidad. El tercer problema (divisin de 6 hogazas de pan entre 10 hombres) se plantea o as :
Procede de esta manera: multiplica 1 2 4 8 Total panes: 6; como se esperaba 1 1 + por 10. Hazlo as : 2 10 1 1 + 2 10 1+ 2+ 4+ 1 5 1 1 + 3 15 1 1 2 + + 3 10 30

Cada la de este esquema da la multlicacin por 2 de la la inmediatamente anterior a ella. o Obsrvese que colocamos dos marcas al nal de las las de 2 y 8, los nmeros que suman 10. e u El escriba mostraba que la suma de las fracciones que aparec en esas las destacadas an 1+ 1 2 1 1 +4+ + + 5 3 10 30

da la cantidad de hogazas de pan deseadas. Cada multiplicacin sucesiva por 2 se realizaba o consultando la tabla que aparece al principio del papiro, es decir, la tabla de 2/(2n 1). Las distintas hiptesis que intentan explicar la forma en la que los egipcios pod resolver o an estos problemas y otros an ms complicados no estn entre los objetivos que nosotros buscamos u a a con este curso; sin embargo, el lector curioso podr revisar [19, Vol. 1] y [23]. a Hay poca geometr en el papiro Rhind, pero no deja de ser sorprendente. Se calculan reas a a y volmenes: tringulos, trapezoides, rectngulos, c u a a rculos, cilindros y prismas. El problema 51 propone calcular el rea de un tringulo dadas la base y la altura, que el escriba llama lado. a a Algunos expertos opinan que, dado que se trata de un tringulo issceles de buena altura y a o base pequea, la aproximacin que cambia el lado por la altura tiene cierta validez. n o Los problemas 48 y 50 tienen que ver con el rea del c a rculo. Para esta rea se propone la a frmula (8/9 d)2 , lo que signica la aproximacin 3, 16 para . o o

El papiro de Mosc u
El papiro de Mosc fue comprado en 1893 por un egiptlogo de nombre Golesnichev, quien u o lo entreg al Museo de Bellas Artes de Mosc en el ao de 1912. Al igual que el papiro Rhind o u n est escrito ms o menos 1890 aos antes de Cristo en hiertico, pero con un estilo menos a a n a cuidadoso. Consta de 25 problemas, algunos de los cuales tienen un texto tan daado que hace n 34

 CAP ITULO 2. LA MATEMATICA PREPITAGORICA su interpretacin imposible. Se destacan dos de estos problemas: el 10 y el 14. El primero, o del grupo de los textos altamente daados, parece ser el clculo de un hemisferio, lo que ser n a a un adelanto de ms de mil aos a los primeros intentos de los griegos en ese sentido. Otros a n especialistas son menos entusiastas y creen que solo se trata del clculo del volumen de un a cilindro circular, problema relativamente ms fcil que el anterior. a a El problema 14, mostrado a la izquierda, propone las dimensiones de la gura que en l se ve. En principio pareciera que se trata de un trapecio e pero la misma resolucin muestra que en realidad se reere a una pirmide o a truncada de base cuadrada, con altura 6 y lados de base iguales a 2 y 4. Las instrucciones para resolver este problema son: (a) Eleva 2 al cuadrado (b) Eleva 4 al cuadrado (c) Multiplica 2 por 4 (d) Suma lo anterior (e) Multiplica esto por 1/3 de 6 luego de las cuales el autor del papiro exclama Ves, es 56; lo has hecho bien!. La resolucin o de este problema demuestra que los egipcios conoc la frmula an o V = h 2 (a + ab + b2 ) 3

para calcular el volumen de una pirmide truncada de base cuadrada. a Problema 2.4 Sabiendo que el volumen de una pirmide de base cuadrada de altura h y lado a 1 2 de base a es igual a V = a h, demuestre la frmula anterior en donde h es la altura de la o 3 pirmide trunca y a, b son los lados de los cuadrados base. a

Si el lector resuelve este ultimo problema podr imaginar algunas de las dicultades que a debieron haber tenido los antiguos egipcios para llegar a frmulas de este tipo. Una interesante o discusin heur o stica podr encontrarla en [23, pp. 145148]. a Problema 2.5 Aristteles arm [4, p. 121]: o o
Por esta razn, las matemticas nacieron en Egipto, porque en este pa le fue concedido o a s el ocio a la clase sacerdotal.

Escriba un comentario, de la extensin que desee, a esta armacin aristotlica. o o e

35

2.3. EL APORTE DE TALES

2.3 El aporte de Tales

En la tradicin griega se destaca a siete grandes pensadores que, con un sentido muy prctico, o a pod dar a sus conciudadanos mximas cuya aplicacin u obediencia les garantizar buenos an a o a resultados en la consecucin de sus metas de vida. Si no fuera por el hecho de que estos o tempranos lsofos mostraban en su propia vida un importante desapego de lo monetario, o podr amos decir que son los antecedentes de la moderna literatura de autoayuda. En su tiempo se les conoci como los siete sabios de Grecia y cada uno de ellos hizo famosa una mxima o a particular. La moderacin es lo mejor, Nada en exceso, No desees lo imposible, La mayor o a de los hombres son malos, Aprende a escoger la oportunidad, S previsor con todas las cosas, e Concete a ti mismo pertenecen respectivamente a Clebulo de Lindos, Soln de Atenas, Quiln o o o o de Esparta, B de Pirene, Pitaco de Mitilene, Periandro de Corinto y Tales de Mileto. De estos as siete, los seis primeros destacaron por sus habilidades pol ticas; el ultimo, por sus aportes a la matemtica y la astronom a a. Digenes Laercio (aprox. 180 d.C.) [7, Vol. 1, p. 26], apoyado en Herodoto y Platn, reere o o que son Examio y Cleobulina, de origen fenicio noble, los padres de Tales. Desconoce si naci en o Mileto o fue hecho ciudadano milesio luego de llegar all acompaado de Neleo. Segn este n u mismo historiador fue el primero en ingresar al selecto club de los siete sabios y reconoce en l e importantes aportes matemticos, astronmicos y f a o sicos. Proclo, quien escribe posteriormente a Digenes Laercio, aunque no cita su obra, coincide o con l en algunos de estos aportes, pero sobre todo es importante la siguiente declaracin [21, e o p. 52]:
Tales, quien viaj a Egipto, fue el primero en introducir esta ciencia [la geometr en Greo a] cia. El mismo descubri bastantes cosas y enseo sus principios a muchos de sus sucesores, o n enfocando unos problemas de manera general y otros de forma emp rica.[4]

De manera que esta armacin de Proclo nos conduce a la conclusin de que fue Tales el o o primero de los lsofos griegos que tuvo una visin de la geometr como una ciencia deductiva, o o a an cuando persistieran en l rezagos de sus aspectos prcticos, derivados del contacto con los u e a egipcios. Se atribuye a Tales la medicin de la altura de las pirmides egipcias. Al respecto, o a Digenes Laercio [7, Vol. 1, p. 27] arma: o
Jernimo dice que midi las pirmides por medio de la sombra, proporcionndola con la o o a a nuestra cuando es igual al cuerpo.

es decir, cuando el ngulo de inclinacin de los rayos del sol es de 45o , por lo cual la longitud a o de la sombra de la pirmide ten que ser igual a la altura de la misma. Existen dudas de que a a esto pudiera signicar necesariamente que dispusiera de conocimientos relativos a tringulos a semejantes. A Tales se le atribuyen los siguientes teoremas:
[4] Traduccin o

de D.J.

36

 CAP ITULO 2. LA MATEMATICA PREPITAGORICA (i) Un dimetro divide al c a rculo en dos partes iguales. (ii) Los ngulos en la base de un tringulo issceles son semejantes (quiere decir: iguales). a a o (iii) Un tringulo inscrito en un semic a rculo es rectngulo y el dimetro es su hipotenusa. a a (iv) Los ngulos opuestos por el vrtice son iguales. a e (v) Si dos tringulos tienen dos pares de ngulos iguales y un par de lados iguales (no importa a a cul lado) entonces los tringulos son iguales entre s a a . La primac de Tales respecto a la divisin del c a o rculo en dos partes iguales por un dimetro a la reere Proclo en [21, p. 124], como comentario a la denicin I.17 de Euclides en la cual, o luego de denirse el dimetro como la recta que pasa por el centro con sus extremos en la a circunferencia, se aclara, como de pasada, que tal recta separa el c rculo en dos partes iguales. Para Proclo la causa de tal efecto es la ruta que sigue la recta de un punto de la circunferencia al centro y de aqu al otro punto de la circunferencia sin desviar su camino; es decir, no se trata de otra cosa distinta a la simetr de las guras. Sin embargo, Proclo es lo sucientemente a lcido para saber que tal armacin est lejos de ser una demostracin, y a continuacin ofrece u o a o o la siguiente:
... imagina que trazas el dimetro y una parte del c a rculo se coloca sobre la otra. Si esta parte no es igual a la otra, quedar algo adentro o fuera de la otra; en cualquier caso a suceder que una l a nea menor ser igual a una mayor. Porque todas las l a neas trazadas del centro a la circunferencia son iguales, en consecuencia la l nea que qued por fuera o ser igual a la l a nea que qued dentro, lo cual es imposible. Una parte, entonces, coincide o con la otra, por lo cual son iguales. En razn de lo cual el dimetro bisecta el c o a rculo.[5]

Esta es una demostracin cinemtica, por movimiento de guras, procedimiento que es o a extrao a Euclides razn por la cual incluy el hecho dentro de la propia denicin. Algunos n o o o autores suponen que la prueba de Proclo es la misma de Tales. Respecto a la igualdad de los ngulos en la base de los tringulos issceles tambin Proclo a a o e [21, p. 195] adjudica primac a Tales, pero aade una observacin acerca del uso de lenguaje a n o arcaico al frasear ngulos semejantes en vez de ngulos iguales. Ahora bien, Heath [12, Vol. a a 1, p. 131] hace notar la presuncin de que semejante sugiere indicacin de gura, mientras o o que igual sugiere indicacin de magnitud. Pod tener Tales la idea de que los ngulos eran o a a medibles? Digenes Laercio [7, Vol. 2, p. 104], sustentndose en Aristjenes, arma que fue o a o Pitgoras quien introdujo medidas y pesos en Grecia. An as no siempre los autores eran a u , consistentes en el uso de los trminos; Euclides mismo, al principio del primer libro de los e Elementos, usa igual como sinnimo de lo que hoy llamamos congruente pero luego, en el o mismo libro, lo usa para referirse a guras con la misma rea y formas distintas. a Ms all de esto, para Proclo lo interesante es que este teorema es, en realidad, un caso a a particular de un teorema de Gmino (1060 d.C.) que tiene que ver con curvas homeomricas e e ( tipo de curvas denidas por el propio Gmino en una de sus clasicaciones. Heath ), e [8, Vol. 1, p. 162] vierte la denicin diciendo que las homeomricas son l o e neas semejantes en todas sus partes y se tiene como ejemplos de ellas la recta, la circunferencia y la espiral. Gmino e
[5] Traduccin o

de D. J.

37

2.3. EL APORTE DE TALES muestra que dos l neas rectas iguales cayendo desde un mismo punto sobre una recta, una circunferencia o una espiral forman ngulos iguales en la base. Luego usa este teorema para a mostrar que las unicas l neas homeomricas son precisamente estas tres. Proclo celebra este e resultado como la patentizacin de un universal genuino tal como lo exige Aristteles en sus o o Segundos anal ticos [5, pp. 222223]. La fuente para la adjudicacin a Tales del teorema del tringulo rectngulo inscrito en el o a a semic rculo es Digenes Laercio [7, Vol. 1, p. 27] quien arma: o
Pnla escribe que habiendo aprendido [Tales] de los egipcios la Geometr invent el a a, o tringulo rectngulo en un semic a a rculo, y que sacric un buey por el hallazgo. Otros, lo o atribuyen a Pitgoras, uno de los cuales es Apolodoro log a stico. Tambin promovi mucho e o de lo que dice Cal maco en sus Yambos haber hallado Euforbo Frigio, a saber, el tringulo a escaleno, y otras cosas concernientes a la especulacin de las l o neas.

Pnla vivi en la poca de Nern (5468 d.C.), por lo que est bastante alejado tema o e o a poralmente de Tales. Por otra parte, el mismo texto establece un conicto con la opinin de o Apolodoro, el calculista. En varios contextos se dice que Pitgoras hizo un sacricio por el a descubrimiento del teorema que lleva su nombre, algunos dicen que sacric un buey, otros que o sacric cien.[6] El mismo Digenes Laercio escribe [7, Vol. 2, p.104] sealando a Pitgoras: o o n a
Apolodoro el Computista reere que sacric una hecatombe habiendo hallado que en un o tringulo rectngulo la potestad de la l a a nea hipotenusa es igual a la potestad de las dos que lo componen.

Otros comentaristas dicen que el sacricio, cualquiera hubiera sido, se debi al descubrimiento de los irracionales por parte de Pitgoras o de su o a escuela. En consecuencia, no pueden leerse estas ancdotas negando a la e lectura la carga de leyenda que acumul sobre ellas el inmenso prestigio o adquirido por estos hombres en su tiempo. Cosa distinta es tratar de analizar las consecuencias que debieron derivarse del hecho de poseer estos conocimientos. A este respecto Heath [12, Vol. 1, p. 134] menciona la cr tica de Allman en el sentido de que conocer el carcter de rectngulo a a de un tringulo inscrito en el semic a rculo implicaba conocer que la suma de los ngulos internos de tal triangulo era igual a dos rectos. La gura a la izquierda da las a pistas de cmo llegar a esa conclusin: las marcas sobre los segmentos indican la congruencia o o de los mismos (son todos radios del mismo c rculo); recordemos adems que en un tringulo a a issceles los ngulos en la base son iguales. o a Problema 2.6 Formalice la demostracin bosquejada en el prrafo anterior. o a Pero conocer la suma de los ngulos internos de un tringulo a a rectngulo es conocer tal suma en un tringulo cualquiera, puesto a a que siempre se puede descomponer un tringulo en dos tringulos a a rectngulos tal como muestra la gura a la derecha. a
[6] Al sacrico de cien reses se le llamaba hecatombe. El trmino se encuentra con frecuencia en los escritos e griegos clsicos. a

38

 CAP ITULO 2. LA MATEMATICA PREPITAGORICA Problema 2.7 Use la ilustracin anterior (as como el ultimo probleo ma) para demostrar que los ngulos internos de cualquier tringulo a a suman dos rectos. En los Elementos la proposicin I.32 cuantica a dos rectos la suma de los ngulos internos o a de cualquier tringulo, mientras que la proposicin III.31 muestra que el tringulo inscrito en a o a el semic rculo es recto. Para demostrar III.31 se hace uso de I.32, de manera que Euclides sigue el camino: los ngulos internos de un tringulo suman dos rectos a a implica el tringulo inscrito en un semic a rculo es rectngulo. a No sabemos cul fue la ruta que pudo haber seguido Tales, si sta u otra distinta. El anlisis a e a se complica un poco pues Proclo arma que Eudemo (350290 a.C.) atribuy a los pitagricos o o el teorema de los ngulos internos de un tringulo, lo que signicar que tal resultado es a a a algo posterior al sabio milesio. Gmino [12, Vol. 1, p. 135] dice que los antiguos gemetras e o demostraron que la suma de los ngulos internos de un tringulo montan a dos rectos en cada a a caso particular: equiltero, issceles y escaleno; pero que fueron los gemetras posteriores a o o quienes demostraron el teorema de una manera general. En este contexto antiguos gemetras o puede aludir a Tales y gemetras posteriores a los pitagricos. En todo caso, Gmino rechaza o o e lo casu stico como una forma de demostracin general, en lo cual parece seguir a Aristteles o o (ver [5, p. 222]). Una ultima posibilidad (que pudiera estar sugerida por la redaccin del propio Digenes o o Laercio) es que Tales haya conseguido para todo rectngulo el c a rculo circunscrito. La constatacin de la igualdad de los ngulos opuestos por el vrtice la atribuye Eudemo o a e a Tales. La fuente de esta atribucin es, de nuevo, Proclo [21, p. 233], sin embargo se admite o que no hubo demostracin por parte de Tales sino solo la enunciacin del hecho, habiendo o o que esperar a Euclides para obtener la demostracin rigurosa. Para Proclo la necesidad de la o conclusin de este teorema proviene de dos hechos: (a) la homeomer de la recta y (b) que sta o a e est extendida al mximo. a a Problema 2.8 Investigue el alcance del concepto de ngulo en la matemtica griega antigua. A a a partir de esta investigacin interprete los hechos (a) y (b) comentados en el prrafo anterior. o a Otra vez Proclo [21, p. 275] se basa en Eudemo para asignar a Tales la paternidad del teorema de congruencia de tringulos suponiendo congruencia de dos ngulos y un lado. Sin a a embargo, Proclo admite que el asunto no se entendi claramente hasta Porrio (233309 d.C.). o Eudemo, segn Proclo, hace ver que el teorema corresponde al mtodo de Tales para calcular u e la distancia de los barcos a la costa. El comentario no se completa de ninguna manera, lo que deja en calidad de incgnita cul podr ser el mtodo al cual se alude. Heath tiene interesantes o a a e conjeturas que pueden leerse en [12, pp. 132133] y [8, p. 305].

39

Cap tulo 3
La geometr pitagrica a o
Ya hemos visto como Proclo destaca el aporte pitagrico a la geometr en el sentido de que o a, el sabio samio la deslastra de su aspecto utilitario y la convierte en un ejercicio completamente racional; se es esencialmente el contenido de la cita de Proclo que hemos inclu en la pgina e do a 3. Posteriormente [21, p. 69], el mismo Proclo lleva sus comentarios an ms lejos pues arma u a que los pitagricos consideraban el estudio de los teoremas de la geometr como un modo de o a hacer ascender el alma, en vez de ponerla en contacto con los objetos sensibles que la har an dependiente de las necesidades comunes de los mortales. En el susodicho comentario de la pgina 3 destaca como aportes pitagricos a la geometr la a o a teor de los irracionales que veremos en el cap a tulo 4 y las guras csmicas que estudiaremos o al nal de este cap tulo. Sin embargo, los aportes pitagricos a la geometr van ms all de o a a a esto. Veamos.

3.1 Los ngulos internos de un tringulo a a

Como ya sabemos de la lectura de Digenes Laercio en la pgina 38, Pnla atribuye a o a a Tales la paternidad del teorema del tringulo rectngulo inscrito dentro del semic a a rculo. De ser cierto el contenido de esta atribucin queda duda del camino que condujo a Tales a la o conclusin, pudindose pensar incluso que se lleg a ella de manera totalmente emp o e o rica. Como fuera que sea, conocer este resultado implicar de una manera u otra conocer que la suma de a los ngulos internos de cualquier tringulo es igual a dos rectos. Por otro lado la intervencin a a o de Gmino en el sentido de que Tales podr haber dado una demostracin casu e a o stica de este ultimo hecho (que, siguiendo a Aristteles, hubiera sido calicada de invlida) hace algo dif o a cil el anlisis histrico. a o

Figura 3.1: Demostracin de Pitgoras de que + + = . o a En todo caso, Eudemo (segn Proclo, [21, p. 298]) atribuye la demostracin general a Pitgou o a 41

 3.1. LOS ANGULOS INTERNOS DE UN TRIANGULO ras. En fraseo moderno, las l neas generales de tal demostracin pitagrica discurren apoyadas o o en la gura 3.1, en la que se dibuja la paralela l por C al lado AB del tringulo ABC. Las a letras griegas , y representan a los ngulos internos y aquellos marcados con y sobre l a son iguales a sus correspondientes sobre la base del tringulo puesto que son alternos internos a entre paralelas. Por tanto, los ngulos , y completan la paralela por C, lo cual quiere decir a que suman dos rectos.

Figura 3.2: Demostracin de Euclides de que + + = (Proposicin I.32). o o La demostracin que hace Euclides (Proposicin I.32) de este hecho diere ligeramente de o o la pitagrica. Est ilustrada en la gura 3.2 donde, en primer lugar, se extiende el lado AB ms o a a all de B y, en este mismo punto, se traza la paralela l al lado AC. Los ngulos marcados con a a son iguales por ser correspondientes entre paralelas, mientras que los marcados con lo son por ser alternos internos. En este caso particular, , y completan la recta AB (prolongada), por lo cual suman dos rectos, como se arma. Cualquiera de las dos demostraciones hace uso de la teor de las paralelas es decir, la a proposicin de la suma de los ngulos internos de un tringulo es una condicin necesaria del o a a o cuerpo de la teor de las paralelas y cabe pensar que una trayectoria inversa pudo signicar a empirismo (lo que ser dudoso de un gemetra de la talla de Tales) o un paso falaz en cualquier a o punto del camino, como sucedi con los numerosos intentos fallidos de demostrar el quinto o postulado euclidiano. Para Aristteles ya era claro la necesidad del tringulo rectngulo inscrito en el semic o a a rculo como consecuencia de la suma de los ngulos internos; lo demuestra un pasaje revelador al a respecto [4, p. 418]:
Por qu la suma de los angulos internos es igual a dos rectos? Porque los angulos trazados e en torno a un solo punto son iguales a dos rectos. Si ya se hubiera trazado la l nea paralela al lado del tringulo, la sola visin de la gura habr hecho evidente el por qu. Por a o a e qu, pues, el angulo inscripto en un semic e rculo es siempre un angulo recto? Porque si tres l neas son iguales, es decir, las dos mitades de la base y la perpendicular que parte del centro, entonces la respuesta surge ante la sola visin de la gura, siempre que se conozca o la primera proposicin.[1] o

El pasaje muestra claramente la interdependencia terica que hemos venido comentando. o Nuestra versin dice: Si ya se hubiera trazado la l o nea paralela al lado del tringulo..., pero a algunos traductores la escriben: Si ya se hubiera trazado hacia arriba la l nea paralela al lado del tringulo..., basados en el trmino que aparece en el original. Segn Heiberg a e u
[1] Subrayados

nuestros. D. J.

42

 CAP ITULO 3. LA GEOMETR PITAGORICA IA (mencionado por Heath, [8, Vol. 1, p. 321]) esto signicar que la demostracin que conoc a o a Aristteles es la que vierte Euclides, pues trazada hacia arriba, identica ms propiamente o a el trazado de la paralela l a AC, que de la paralela l a AB. Habiendo demostrado el teorema, debe haber sido fcil para los pitagricos concluir que los a o a ngulos internos de un pol gono regular de n lados sumaban 2n 4 ngulos rectos y que los a a ngulos externos sumaban 4 rectos. Problema 3.1 Demuestre las armaciones del prrafo anterior. a Que el estudio de los pol gonos regulares inquiet a los pitagricos lo vimos ya en la seccin o o o 1.5 de la pgina 17 y siguientes, en donde analizamos la relacin de estos pol a o gonos con los nmeros naturales. La atencin a estas formas pudo provenir del contacto de Pitgoras con u o a los sacerdotes egipcios; stos se plantearon, a partir de un inters puramente decorativo, el e e problema de llenar el plano alrededor de un punto con pol gonos regulares del mismo tipo.[2] Emp ricamente consiguieron que los unicos pol gonos posibles para cumplir esta tarea eran el tringulo equiltero, el cuadrado y el hexgono, tal como se muestran en la gura 3.3. Por su a a a

Figura 3.3: Llenar el plano alrededor de un punto con pol gonos regulares. relativa sencillez y por el hecho de que toca los aspectos ms sensibles de su trabajo alrededor a de los nmeros naturales, los pitagricos debieron haber dado la demostracin rigurosa de este u o o teorema. As nos lo arma Proclo [21, p. 238]:
... ese paradjico teorema que prueba que solo se puede llenar el espacio alrededor de un o punto con los siguientes tres pol gonos: el tringulo equiltero, el cuadrado y el hexgono a a a equiltero equiangular... Este teorema es pitagrico.[3] a o

Problema 3.2 (a) Si m pol gonos regulares de n lados llenan el plano alrededor de un punto, demuestre que 2n 4 m = 4. n (b) Demuestre que la ecuacin anterior es equivalente a (m 2)(n 2) = 4. o
[2] Este problema se conoce actualmente como teselacin del plano y pertenece a la teor de grupos. Importano a tes aportes al mismo han hecho el f sico Roger Penrose y el matemtico John Conway. Asimismo, la obra art a stica del pintor Maurits Cornelius Escher (amigo personal de Penrose) est invadida del tema de las teselaciones. El a teorema de las teselaciones por pol gonos regulares tambin se llama teorema de Kpler. e e [3] Traduccin de D. J. o

43

 3.2. EL TEOREMA DE PITAGORAS (c) Demuestre que las unicas soluciones en nmeros naturales a la ecuacin anterior son: u o m = 3, m = 4, m = 6, n=6 n=4 n=3

(d) Demuestre que el resultado anterior es la conclusin del teorema que Proclo asign a los o o pitagricos. o

3.2 El teorema de Pitgoras a

En el contexto histrico del teorema de Pitgoras juega papel preponderante la demostrao a cin que del mismo hiciera Euclides; sta aparece como la proposicin 47 del primer libro. La o e o transcribiremos en su totalidad tomada de [9, Vol. 1, pp. 260262]; Euclides se apoy en la o gura 3.4.

Figura 3.4: Demostracin euclidiana del teorema de Pitgoras. o a

Proposicion 47 En los tringulos rectngulos el cuadrado del lado que subtiende el angulo recto es igual a a a los cuadrados de los lados que comprenden el angulo recto. Sea

ABG el tringulo rectngulo que tiene el angulo recto BAG. a a Digo que el cuadrado de BG es igual a los cuadrados de BA, AG. Trcese pues a partir de BG el cuadrado BDEG, y a partir de BA, AG los cuadrados HB, a JG [I, 46],[4] y por el (punto) A trcese AL paralela a una de las dos (rectas) BD, GE; y a
[4] Est a

haciendo referencia a la proposicin anterior, I.46 o

44

 CAP ITULO 3. LA GEOMETR PITAGORICA IA

trcense AD, ZG. Y dado que cada uno de los angulos BAG, BAH es recto, entonces en a una recta cualquiera BA y por un punto de ella, A, las dos rectas AG, AH, no colocadas en el mismo lado, hacen los angulos adyacentes iguales a dos rectos; por tanto, GA est en a l nea recta con AH [I, 14]. Por la misma razn, BA tambin est en l o e a nea recta con AJ. Y como el ngulo DBG es igual al (ngulo) ZBA porque cada uno (de ellos) es recto a a aadase a ambos el (ngulo) ABG; entonces el (ngulo) entero DBA es igual al (ngulo) n a a a entero ZBG [N. C. 2]; y como DB es igual a BG, y ZB a BA, los dos (lados) DB, BA son iguales respectivamente a los dos (lados) ZB, BG; y el angulo DBA es igual al angulo ZBG; entonces la base AD es igual a la base ZG, y el tringulo ABD es igual al tringulo ZBG a a [1, 4]; y el paralelogramo BL es el doble del tringulo ABD: porque tienen la misma base a BD y estn entre las mismas paralelas BD, AL [I, 41]; pero el cuadrado HB es el doble a del tringulo ZBG: porque tienen a su vez la misma base ZB y estn entre las mismas a a paralelas ZB, HG [I, 41]; [pero los dobles de cosas iguales son iguales entre s por tanto, ]; el paralelogramo BL es tambin igual al cuadrado HB. De manera semejante, trazando las e (rectas) AE, BK se demostrar que tambin el paralelogramo GL es igual al cuadrado JG; a e por tanto, el cuadrado entero BDEG es igual a los cuadrados HB, JG [N. C. 2]. Asimismo, el cuadrado BDEG ha sido trazado a partir de BG, y los (cuadrados) HB, JG a partir de BA, AG. Por tanto, el cuadrado del lado BG es igual a los cuadrados de los lados BA, AG. Por consiguiente, en los tringulos rectngulos el cuadrado del lado que subtiende el angulo a a recto es igual a los cuadrados de los lados que comprenden el angulo recto. Q. E. D.

Podemos resumir esta demostracin en los siguientes pasos: o 1. Los tringulos y a prendido entre ellos. son congruentes por tener iguales dos lados y el gulo coma

2. El rectngulo de diagonal tiene rea doble que el tringulo , porque tienen la a a a misma base ( ) y la misma altura ( , trazada desde ). 3. El cuadrado sobre tiene rea doble que el tringulo porque tienen la misma base a a () y la misma altura (, trazada desde ). 4. Por tanto, el cuadrado sobre tiene la misma rea que el rectngulo de diagonal . a a 5. Con razonamiento similar se obtiene que el cuadrado sobre tiene la misma rea que a el rectngulo de diagonal . a 6. Esto es todo lo que hace falta pues los dos rectngulos mencionados hacen el cuadrado a sobre la hipotenusa . Respecto a esta demostracin Proclo [21, p. 337] comenta: o
Si prestamos atencion a quienes gustan de contar cosas antiguas, encontraremos que atribuyen este teorema a Pitgoras y aaden que sacric un buey por su descubrimiento. a n o En lo que a m concierne, aunque me asombran quienes primero notaron la verdad de este teorema, admiro an ms al autor de los Elementos, no solo por la prueba lcida y eciente u a u que de l da, sino tambien porque en el sexto libro presenta un teorema an ms general e u a que ste y lo fundamenta sobre argumentos cient e cos irrefutables. En efecto, en ese libro demuestra, de manera general, que en los tringulos rectngulos la gura sobre el lado que a a

45

 3.2. EL TEOREMA DE PITAGORAS

subtiende el angulo recto es igual a las guras semejantes (trazadas de manera similar) sobre los lados que contienen el angulo recto.[5]

El teorema an ms general que menciona Proclo es la proposicin VI.31. La demostrau a o cin de Euclides abarca guras rectil o neas (pol gonos) constru dos sobre los lados del tringulo a rectngulo, pero la proposicin puede llegar incluso ms lejos. a o a Problema 3.3 Dado un tringulo rectngulo construya separadamente sobre sus tres lados: a a (a) Rectngulos semejantes; esto es, rectngulos cuyos lados son proporcionales. a a (b) Tringulos semejantes. a (c) Semic rculos. Demuestre que, en cada caso, el rea de la gura construida sobre la hipotenusa es la suma a de las reas de las guras construidas sobre los catetos. Cmo podr generalizarse estos a o an resultados desde un punto de vista moderno usando, por ejemplo, funciones continuas? Hay cierta timidez en Proclo: no se atreve a armar la atribucin del teorema a Pitgoras, o a a l le ha llegado de o e das. Sin embargo, ya hab amos visto en la pgina 38 que Digenes a o Laercio hab hecho la atribucin tomndola de Apolodoro, el calculista. Heath [8, Vol. 1, p. a o a 351] desconoce las fechas vitales de Apolodoro, pero lo sabe anterior a Plutarco (50120 d.C.) e, incluso, pudiera serlo al mismo Cicern (10643 a.C.). Ya el primero de ellos menciona el o sacricio, tomndolo igualmente de Apolodoro [19, Vol. 1, p. 117], aunque no le parece un a resultado tan valioso como los teoremas de aplicacin de reas (de stos hablaremos luego en o a e la seccin 3.5). En De la naturaleza de los dioses Cicern est ms preocupado en discutir el o o a a sacricio del buey que la veracidad del teorema. Por otra parte el teorema est dentro del esp a ritu de los problemas de aplicacin de reas o a que, segn Eudemo (comentado por Proclo [21, p. 332]) pertenecen a la musa de los pitagricos u o y del libro II de los Elementos el cual hace uso consistente del concepto de gnomon lo que, de acuerdo con lo estudiado en las pginas 19 y siguientes, tiene una fuerte carga de tradicin a o pitagrica. Sin duda, el problema de conseguir tringulos rectngulos de lados racionales (hoy o a a llamado problema de las ternas pitagricas) fue estudiado por el pitagorismo y es posible que o haya sido este problema quien condujo a la observacin de la inconmensurabilidad de la diagonal o con el lado del cuadrado (o de la hipotenusa del isorrectngulo con un cateto)[6] es decir, el a descubrimiento de los irracionales. De manera que la evidencia histrica parece mantener la o idea de que el teorema (tanto en su enunciado como en su prueba) proviene del pitagorismo original, si no del mismo Pitgoras. a Aunque la demostracin pitagrica se desconoce, no es vano intentar seguir la pista a la o o posible heur stica que aparece detrs de los datos histricos. Se sabe con seguridad que los a o egipcios conoc la relacin 32 + 42 = 52 , pero no que la asociaran con el tringulo rectngulo. an o a a Pitgoras s hizo la observacin y eso, en la mejor tradicin griega, debe haberlo llevado a a o o interrogarse acerca de otros tringulos rectngulos. a a
[5] Traduccin o [6] Esto

de D. J. es: la demostracin de la irracionalidad de 2. o

46

 CAP ITULO 3. LA GEOMETR PITAGORICA IA El caso ms sencillo parece ser el isorrectngulo, que es la mitad de a a un cuadrado. La gura a la izquierda muestra con claridad el teorema en este caso particular: los cuatro tringulos rectngulos que aparecen sobre a a los catetos (como mitades de cuadrados) se corresponden a los cuatro tringulos rectngulos en los que se descompone el cuadrado construido a a sobre la hipotenusa. Este es el mismo esp ritu que se maniesta en el libro II de los Elementos, en el cual se recoge un conjunto de resultados que ha sido denominado lgebra geomtrica, pues en l se encuentra una serie de a e e proposiciones algebraicas presentadas a la manera de un rompecabezas como un montaje y reordenacin de piezas geomtricas. Por ejemplo, la proposicin II.4 dice o e o [9, Vol. 1, p. 270]:
Si se corta al azar una l nea recta, el cuadrado de la (recta) entera es igual a los cuadrados de los segmentos y dos veces el rectngulo comprendido por los segmentos. a

Figura 3.5: Algebra geomtrica euclidiana: (a + b)2 = a2 + b2 + 2ab. e que no es otra cosa, en trminos modernos, que e (a + b)2 = a2 + b2 + 2ab, y para cuya demostracin Euclides usa la gura 3.5 en la que claramente se ven los dos cuadrados o de lados a y b ( y ) y los dos rectgulos de lados a y b. (El trazo de la diagonal se justica a pues Euclides hace consideraciones angulares en su demostracin.) o

Figura 3.6: Una posible demostracin original. o En esta l nea de pensamiento se podr conjeturar una demostracin del teorema de Pitgoa o a ras basada en el trazado de un cuadrado de lado a + b de dos formas distintas, tal como se 47

 3.2. EL TEOREMA DE PITAGORAS muestra en la gura 3.6. En cada una de las representaciones del cuadrado hemos sombreado cuatro tringulos rectngulos congruentes, de manera que las guras sin sombrear en cada cuaa a drado tienen la misma rea. Pues bien, a la izquierda tenemos los cuadrados de lados a y b a (los construidos sobre los catetos), mientras que a la derecha tenemos el cuadrado de lado c (el construido sobre la hipotenusa), luego c2 = a2 + b2 . Heath [8, Vol. 1, p. 355] objeta que una prueba como la anterior es poco probable para el pitagorismo por cuanto la misma no tiene espec camente color griego. A nosotros esta observacin de Heath se nos antoja un tanto arbitraria en consideracin a la semejanza que o o acabamos de apuntar con los contenidos del libro II de los Elementos. La particular organizacin terica de la obra magna de Euclides hace que ste deba demoso o e trar la generalizacin del teorema de Pitgoras comentada por Proclo en el sexto libro, puesto o a que la prueba usa la teor de las proporciones desarrollada en el libro V. Hay consenso histrico a o en que la materia de este ultimo libro se debe al platnico Eudoxo. Sin embargo el pitagorismo o hab avanzado una incompleta teor de las proporciones basada en nmeros enteros, al estilo a a u de la que desarrolla Euclides en los libros aritmticos VII a X. Esta teor se demostr income a o pleta al chocar con el descubrimiento de los inconmensurables (o irracionales) como veremos en el cap tulo 4, pero la presencia de tringulos rectngulos con lados racionales (ternas pitagria a o cas) pudo llevar a una demostracin en este caso particular, que luego del completo desarrollo o terico eudoxiano se ver como una prueba perfectamente general. En este sentido se reconocen o a dos posibles pruebas, ambas basadas en la gura 3.7.

Figura 3.7: Demostracin del teorema de Pitgoras por proporcionalidad. o a

Para la primera demostracin se observa que la perpendicular o los tringulos y , lo cual conduce a la proporcin a o : :: :

produce semejanza entre

que, como puede verse en la pgina 26, dene a como media geomtrica de y ; a e entonces, tal como se demuestra en el problema 1.12, esto quiere decir que el rectngulo de a lados , es igual (tiene la misma rea) que el cuadrado de lado . Con razonamiento a idntico se concluye que el cuadrado sobre es igual al rectgulo de lados , . Como los e a dos rectngulos constituyen el cuadrado sobre el teorema est demostrado. a a Problema 3.4 Sean ABC, A1 B1 C1 y A2 B2 C2 tres tringulos semejantes con reas respectivas a a A, A1 y A2 , de forma que A = A1 + A2 . Construyamos sobre los lados correspondientes AB, A1 B1 y A2 B2 sendos pol gonos semejantes entre s de reas respectivas S, S1 y S2 . a Demuestre que S = S1 + S2 . 48

 CAP ITULO 3. LA GEOMETR PITAGORICA IA La segunda prueba que queremos comentar hace uso del hecho de que los tres tringulos a , y de la gura 3.7 son semejantes entre s y adems el primero es la suma , a de los otros dos (en trminos de reas, por supuesto). Por otra parte, los catetos y e a son hipotenusas de los tringulos rectngulos que aparecen al trazar la altura . Tomando en a a consideracin el problema 3.4 entonces el cuadrado construido sobre es igual a (la suma de o las reas de) los cuadrados sobre y . a De ser ciertas las conjeturas y alguna o ambas de estas pruebas fueron descubiertas por los pitagricos, los mritos atribuidos por Proclo a Euclides parecen disolverse. En esencia, la o e primera prueba es idntica a la euclidiana; la diferencia es procedimental en tanto Euclides usa e un teorema de la teor de los paralelogramos (Prop. I.41), para mostrar la igualdad entre el a cuadrado y el rectngulo y la que acabamos de ver llega a tal igualdad usando las proporcioa nalidades entre lados de tringulos semejantes. Por otra parte, la segunda prueba, analizada a desde la generalidad del problema 3.4 incluye tambin lo que fue la proposicin VI.31 de los e o Elementos, que tanto entusiasm a Proclo. o Como quiera que fuese, no podemos olvidar que Euclides intentaba con sus Elementos la primera labor terica (que se conozca) de organizacin y fundamentacin de la matemtica o o o a existente para su poca. El teorema de Pitgoras es su proposicin I.47,[7] y todav le faltae a o a ban cuatro libros ms para poder considerar una teor general de las proporciones la teor a a a eudoxiana, que le permitiera dar una prueba lo sucientemente amplia para incluir los inconmensurables descubiertos por el propio pitagorismo y fundamentados genialmente por Eudoxo. As que su solucin, sustentando la demostracin en conocimientos de reas de guras poligo o o a nales, aprovechando los ultimos resultados anteriores de este primer libro, no deja de ser genial y hace leg timo ante nosotros el entusiamo de Proclo.

3.3 El teorema de Pitgoras en otras culturas a Babilonia

Hay interesantes evidencias del conocimiento del teorema de Pitgoras por los babilonios en a fechas tan remotas como el milenio de 2000 a 1000 a.C. De ellas hacen mencin Daniel Lloyd y o Raymond Clare Archibald en sendos art culos de la antolog de Swetz [23, pp. 111112, 118]. a La primera de las referencias menciona una excavacin en Tel Dhibayi en el ao 1962, que puso o n al descubierto una pequea poblacin que inclu un templo. En la excavacin apareci una n o a o o tablilla de arcilla quemada que conten un problema geomtrico acerca de un rectngulo. En a e a apariencia, el problema se plantea hallar los lados del rectgulo conociendo su rea y su diagonal, a a siendo el valor de estas ultimas igual a 3/4 y 5/4, respectivamente. La interpretacin de los expertos dio como resultado la siguiente lista de instrucciones, o vertidas a nuestras modernas notaciones, haciendo A el valor del rea y D el de la diagonal: a 2A =
[7] La

3 ; 2

D2 2A =

25 3 1 = 16 2 16

penltima del primer libro; la ultima es la rec u proca de este teorema.

49

 3.3. EL TEOREMA DE PITAGORAS EN OTRAS CULTURAS 1 ; 4 1 2 1 8

D2 2A =

D2 2A =

D2 2A 1 D2 2A D2 + 2A = ; +A= 4 64 4 4 1 1 D2 + 2A + D2 2A = 1 2 2 1 1 3 D2 + 2A D2 2A = . 2 2 4 Las dos ultimas l neas de la serie de instrucciones dan las dimensiones del rectngulo. Si a llamamos a stas l y a respectivamente, la lista sugiere el conocimiento de las ecuaciones e A = la que conducir a an D2 2A = l a y D2 + 2A = l + a. y D2 = a2 + l2 ,

Un procedimiento ms rpido quizs menos ingenioso que ste implicar la solucin de una a a a e a o ecuacin bicuadrtica que, como vimos en la pgina 30, pod estar facultados para resolver. o a a an Problema 3.5 Demuestre que 16l4 25l2 + 9 = 0. La otra referencia muestra tres evidencias, que se encuentran en tablillas de museos de Inglaterra y Francia y cuyo descubrimiento data de nales de la dcada del 20 en el siglo e pasado. La primera de ellas trata de un c rculo, del cual se conoce la circunferencia; se plantea el problema doble de dadas una cuerda y su sagita conseguir la longitud de cada una en funcin o de la otra. (La sagita de una cuerda es el segmento cuyos extremos son los puntos medios del arco menor y de la propia cuerda. Algunas veces se le llama echa.) Este problema se resuelve apelando al dimetro del c a rculo que, como vimos en la pgina 31, se consideraba la tercera a parte de la circunferencia. Si la longitud del dimetro es d, la de la cuerda c y la de la sagita s, a nuestro matemtico babilnico dio las instrucciones que mostraban la frmulas correctas, esto a o o es 1 y s= d d2 c2 . c = d2 (d 2s)2 2 Problema 3.6 Muestre la validez de las frmulas anteriores. Observe la necesidad del teorema de o Pitgoras en su deduccin. a o En otra tablilla se tiene el problema de calcular la distancia s, a la que se separa el pie de una viga vertical de longitud l, de la pared a la cual estaba adosada, si su parte superior baja una altura h; se plantea adems la solucin del problema inverso, es decir hallar h si se conoce a o s. La solucin de la tablilla se ajusta, una vez ms, a las frmulas correctas: o a o s= l2 (l h)2 y h=l l2 s2 .

La tercera tablilla es ms reciente: data de la poca de Alejandro Magno (356323 a.C.). a e Trata de un rectngulo cuyos lados y diagonal son tales que su suma es 40 y el producto de sus a 50

 CAP ITULO 3. LA GEOMETR PITAGORICA IA lados es 120. Se trata de hallar los lados y la diagonal, tarea que nuestro precoz matemtico a resuelve adecuadamente dando como resultado 15 y 8 para los lados y 17 para la diagonal. En todos estos problemas, las variables corresponden a nmeros enteros, lo que hace suponer u un conocimiento del problema de las ternas pitagricas. o Un problema relacionado, pero planteado sobre fracciones aparece en una tablilla acadia cercana al 2000 a.C. Es tan sencilo como calcular la diagonal de un rectngulo dados los lados a del mismo, aplicacin directa del teorema de Pitgoras. Sin embargo, est lejos del asunto de o a a las ternas pitagricas pues las ra o ces cuadradas que en l aparecen no son exactas. En efecto, e los lados del rectngulo son 10/60 y 40/60[8] que llevan al clculo de 1700. En este sentido, el a a e solucionista babilnico propone dos aproximaciones para la frmula d = a2 + l2 ; stas son: o o d=a+ l2 2a y d = a + 2al2 .

La primera de ellas es una aproximacin de Taylor de primer grado, conocida y aplicada por o Hern de Alejandr pero ms de dos mil aos despus. La segunda es errnea, y Neugebauer o a, a n e o propuso corregirla (en el posible esp ritu del proponente) usando d=a+ sin embargo, aun da un valor algo lejano. 2al2 , 2a2 + l2

Figura 3.8: Diagramas chinos en el uso de tringulos rectngulos. a a

China
Los dos libros ms antiguos que atestiguan la sabidur matemtica china son el Chou pei a a a suan ching (con seguridad preeuclidiano, quizs hasta prepitagrico) y el Chiu chang suan a o
[8] Recordemos

de la pgina 30 que los babilonios usaban la notacin posicional sexagesimal. a o

51

 3.3. EL TEOREMA DE PITAGORAS EN OTRAS CULTURAS shu (de aproximadamente el siglo III a.C.); sus nombres se traducen respectivamente como Aritmtica clsica del gnomon y las trayectorias circulares de los cielos y Nueve problemas e a del arte matemtico. En el primero de estos libros se tiene una demostracin del teorema a o de Pitgoras que, por lo tanto, es la ms antigua que se conoce; el segundo de estos textos a a contiene en su ultimo cap tulo una serie de problemas acerca de tringulos rectngulos, para a a cuya resolucin es necesario el conocimiento del teorema. Este cap o tulo se llama Kouku, dos vocablos que identican, en orden, el cateto menor y el mayor de un tringulo rectngulo; el a a vocablo compuesto identica dichos tringulos, a la hipotenusa se le conoce como shian. a Para la demostracin o solucin de problemas usaban diagramas como los que mostramos o o en la gura 3.8 en los que puede verse una clara referencia a los tringulos (3, 4, 5), aun a cuando las demostraciones o resoluciones eran perfectamente generales. Algunos conjeturan que el conocimiento de este caso particular puede haberlos llevado al caso general, pero hay divergencias al respecto. Que se usen los tringulos (3, 4, 5) pudiera tambin ser un recurso a e pedaggico. o

Figura 3.9: Demostracin china del teorema de Pitgoras. o a En todo caso, la demostracin ya mencionada en Chou pei suan ching usa una gura como o la de la izquierda de 3.8, que el lector, siguiendo las instrucciones, debe imaginar recompuesta como en la gura 3.9. La igualdad de las reas de las zonas sombreadas conlleva la igualdad de a las reas de las zonas blancas. (Recuerde la gura 3.6 y el comentario de Heath en la pgina a a 48.)

India
El territorio hind es el asiento de la religin vdica, as llamada porque sus enseanzas u o e n se encuentran en los libros sagrados conocidos como Vedas (del snscrito vda, ciencia), que a e contienen los himnos de alabanza para el ritual de los sacricios y la conservacin del fuego o sagrado en los altares. La recopilacin de los vedas cubre un per o odo de varios siglos que, aparentemente, termin en 800 a.C. o Anexo a los Vedas se encuentran textos de carcter tcnico que se denominaron sulbasutras, a e conjunto de instrucciones para la construccin de altares. Nuestro conocimiento de la primitiva o matemtica hind proviene por completo de los sulbasutras, de los cuales los ms importantes a u a para nuestro propsito son Baudhayana, Manava, Apastamba y Katyayana, nombres que proo vienen de los escribas que los produjeron, escribas stos cuya funcin iba ms all de la simple e o a a transcripcin hasta el aporte intelectual con una buena dosis de propio criterio. Desde la visin o o 52

 CAP ITULO 3. LA GEOMETR PITAGORICA IA arquitectnica que esperaba ganar el escriba, los problemas geomtricos que en ellos aparecen o e hacen mencin principal a las sogas con las cuales se hac las mediciones, posiblemente al o an estilo de los anudadores de soga egipcios que usaban sogas con nudos a iguales intervalos para realizar las medidas. En atencin al tema que nos ocupa, aparecen en estos documentos mltiples alusiones tanto o u al teorema de Pitgoras en s como a las aplicaciones del mismo. En Baudhayana y Apasa tamba aparece la siguiente armacin: La soga sobre la diagonal de un cuadrado produce un o a rea doble; que no es otra cosa que el caso particular del teorema de Pitgoras aplicado al a isorrectngulo. Ms all de esto, tanto el Apastamba como el Katyayana muestran la versin a a a o ms general del teorema con un fraseo similar al siguiente: La soga sobre la diagonal de un a rectngulo produce la suma que los lados mayor y menor producen separadamente. Como suele a suceder con todos estos documentos, no existe en ellos ni demostracin de las armaciones ni o justicacin alguna de los procedimientos. o En el Apastamba se dan instrucciones para la construccin de tringulos rectngulos a o a a partir de sogas anudadas con un nmero entero de nudos; esto es, construidas en forma de u ternas pitagricas. Algunos ejemplos son: (3, 4, 5), (5, 12, 13), (8, 15, 17), (12, 35, 37) y otras o derivadas de ellas por proporcionalidad. Dado su objetivo arquitectnico todos los sulbasutras conten instrucciones para construir o an guras geomtricas con ciertas condiciones. Por ejemplo, enseaban a construir un cuadrado que e n fuera suma de otros dos; una aplicacin directa del teorema de Pitgoras. Otra muy importante o a es la construccin de un cuadrado de rea igual a un rectngulo dado. El procedimiento es o a a primoroso; digno de loa por su genialidad: el escriba construye un tringulo rectngulo de a a 1 a hipotenusa 1 (a + b) y un cateto 2 (a b), donde a y b son las dimensiones del rectngulo. En 2 esencia, no se trata de otra cosa que una demostracin geomtrica de la identidad algebraica o e a+b 2
2

ab =

ab 2

Los pasos de la construccin se muestran en la gura 3.10. o Tanto en Apastamba como en Katyayana se encuentra un texto cuyo signicado es: 2=1+ 1 1 1 + , 3 3 4 3 4 34

excelente aproximacin (1, 414215686) que da la ra con cinco cifras exactas. De dnde pudo o z o provenir tal conocimiento? Por lo pronto tenemos pocas esperanzas de saberlo; se han planteado algunas hiptesis interesantes pero, por supuesto, no han pasado de ser eso: simples hiptesis. o o Luego de esta maravilla, en Apastamba se muestra como construir 3 a partir de la aproximacin o a 2 y el teorema de Pitgoras. a Heath [8, Vol. 1, pp. 360 ss.] recoge el entusiasmo del editor Albert Brk, traductor y cou mentarista del Apastamba, quien llega al punto de desmeritar al propio Pitgoras pues, segn a u su particular criterio, ste consigui los resultados relativos al tringulo rectngulo y los irracioe o a a nales como producto del contacto que debe haber tenido con la India en alguno de sus mltiples u viajes. La armacin pareciera ms bien producto del entusiasmo de Brk como editor. o a u 53

 3.4. LAS TERNAS PITAGORICAS

Figura 3.10: Las guras en gris oscuro tienen la misma rea. El cuadrado se construye sobre un a cateto del tringulo rectngulo en gris claro. a a

3.4 Las ternas pitagricas o

Hay alguna especulacin en torno al hecho de que la observacin de la propiedad 32 +42 = 52 o o pudiera haber inducido la idea del teorema de Pitgoras, luego de que la construccin del a o tringulo (3, 4, 5) mostrara que ste era rectngulo. Sea como fuere, una vez descubierto el teoa e a rema quedaba la incgnita de la existencia de otras ternas de nmeros enteros que fueran lados o u de tringulos rectngulos, las ahora llamadas ternas pitagricas. Posiblemente sea ste el primer a a o e problema diofntico de la historia. Diofanto fue un matemtico del siglo IV d.C. que escribi un a a o libro de Aritmtica (con ese mismo nombre) en el que estudiaba, con particular profundidad, e ecuaciones algebraicas con coecientes enteros, para las cuales se buscaban soluciones enteras. Evidentemente, el problema a2 + b2 = c2 para a, b y c enteras es un problema diofntico. a Para una escuela matemtica como la pitagrica, sustentada en una visin m a o o stica y fundamentadora del nmero (entendido como nmero natural), este problema no pod pasar u u a desapercibido. Tenemos testimonio de ello en el libro de Proclo [21, p. 340] quien arma conocer dos mtodos para conseguir ternas pitagricas, uno lo atribuye al propio Pitgoras y el otro e o a a Platn. Del primero le leemos: o
El mtodo de Pitgoras comienza con nmeros impares, considerando un nmero impar e a u u dado como el menor de los dos lados que contienen el angulo [el cateto menor], se toma su cuadrado, se le resta 1 y la mitad de lo que resulte es el mayor de los lados que comprenden el ngulo recto [el cateto mayor]; aadiendo 1 a a esto ultimo se obtiene el lado que falta: a n el que subtiende al angulo [la hipotenusa].

Lo que Proclo dice es que si p es un nmero impar, la frmula de Pitgoras da la terna p, u o a 54

 CAP ITULO 3. LA GEOMETR PITAGORICA IA

1 2 2 (p

1) (como catetos) y 1 (p2 + 1) (como hipotenusa). En efecto, 2 p2 + p2 1 2

2

p2 + 1 2

p impar.

(Frmula de Pitgoras.) o a

En lo que a Platn respecta, Proclo arma: o

El mtodo platnico procede a partir de nmeros pares. Toma un nmero par dado como e o u u uno de los lados alrededor del angulo recto [un cateto], lo divide en dos y eleva al cuadrado esta mitad; entonces, aadiendo 1 al cuadrado consigue el lado que subtiende [la hipotenusa] n y restando 1 al cuadrado obtiene el otro lado alrededor del angulo recto [el otro cateto].

Es decir que, dado un nmero p cualquiera, la terna pitagrica platnica es 2p, p2 1 u o o (catetos) y p2 + 1 (hipotenusa). En efecto, (2p)2 + (p2 1)2 = (p2 + 1)2 , p cualquiera. (Frmula de Platn.) o o

Cul es la heur a stica detrs de los descubrimientos de estas frmulas? Esta ser siempre a o a materia de especulacin. Una primera hiptesis podr surgir de la construccin de cuadrados o o a o usando como gnomon los nmeros impares (gura 1.9 de la pgina 20), que es una visin u a o geomtrica de la frmula algebraica e o 1 + 3 + 5 + + (2n 1) + (2n + 1) = n2 , en la que evidentemente se tiene que los primeros n sumandos generan un cuadrado, por lo que bastar que el gnomon (el ultimo sumando) tambin lo fuera, como en el siguiente esquema a e 1 + 3 + + (2n 1) + (2n + 1) = (n + 1)2 ,
n2 p2

que es la frmula pitagrica si hacemos los despejes a partir de p2 = 2n+1. Con algo de ingenio, o o la aplicacin de la frmula pitagrica podr hacerse a partir de la secuencia geomtrica de la o o o a e propia gura 1.9; algunas de las ternas que se generan son (3, 4, 5), (5, 12, 13), (7, 16, 25), (9, 40, 41), etc. Heath [8, Vol. 1, p. 357] da una explicacin del historiador Cantor, algo ms compleja que o a la anterior. Podr provenir de la concepcin de la tabla de opuestos pitagricos de Aristteles a o o o (ver pgina 18) en la que a lo cuadrado (nito) se opone lo oblongo (ilimitado). Como se acepta a que el cuadrado es una sola forma, entonces puede concluirse que hay semejanza entre todos los cuadrados; pero, por el otro lado, lo ilimitado de lo oblongo impide semejanza entre ellos por lo que, dado un oblongo, sus unicos semejantes podr ser aquellos nmeros rectangulares cuyos an u lados sean proporcionales a los del oblongo. En resumen y notacin moderna puede decirse que o los nmeros semejantes son de dos tipos: (a) todos los cuadrados entre s y (b) cada oblongo u n(n + 1) con un nmero de la forma pn p(n + 1).[9] Con esta denicin a la mano es claro u o
[9] Para un breve recuento de las venturas y desventuras de este concepto, puede leerse el comentario de Heath [8, Vol. 2, p. 293] a la denicin VII.21. La traduccin al espaol de Puertas Castao [9, Vol. 2, p. 118] la o o n n presenta como denicin VII.22. o

55

 3.4. LAS TERNAS PITAGORICAS que el producto de nmeros semejantes es un cuadrado, tal como lo establece Euclides en la u proposicin IX.1 de los Elementos. o Ahora bien, la relacin pitagrica a2 + b2 = c2 puede escribirse o o a2 = c2 b2 = (c b)(c + b), por lo que la solucin en enteros implicar conseguir dos nmeros cb, c+b tales que su producto o a u es un cuadrado. Hay una observacin importante para lo que sigue. Dado que (cb)+(c+b) = 2c o entonces c b y c + b son ambos pares o ambos impares. A la luz del prrafo anterior pasan a a ser candidatos naturales los nmeros semejantes. Comenzando con la semejanza entre 1 y p2 se u plantea cb = c+b = cuya solucin es o p2 + 1 p2 1 , c= , 2 2 con p impar, puesto que 1 lo es y los factores del producto deben tener la misma paridad. Esto es exactamente la frmula pitagrica. o o a = p, b= Pero si, en vez de ello, apelamos a la semejanza entre 2 y 2p2 llegamos a cb = c+b = que conduce a la solucin o a = 4p2 , y sta es la terna platnica. e o Esta conjetura cantoriana es hermosa, sin duda, y muy entrelazada con las bases de lo pitagrico. Sin embargo, produce ambas frmulas con tanta facilidad que resulta dif pensar o o cil a Pitgoras dejando algo para Platn si hubiera emprendido la labor terica a partir de estas a o o herramientas. En cualquier caso, la frmula de Platn se obtiene directamente o o de la pitagrica multiplicando por 2 cada uno de los trminos. Pero o e cabe pensar en otro camino, posiblemente ms idiosincrsico, que a a apela de nuevo al gnomon. Nos apoyamos en la gura de la derecha donde se muestra el paso de un cuadrado al siguiente mediante un gnomon, y de ste al prximo con el gnomon consecutivo. Como e o puede verse, la diferencia entre el cuadrado mayor y el menor es la acumulacin de los dos gnomones: (2n 1) + (2n + 1) = 4n, as o (n 1)2 + 4n = (n + 1)2 , y si n = p2 resulta (p2 1)2 + (2p)2 = (p2 + 1)2 , que es la frmula platnica. o o 56 b = p2 1, c = p2 + 1, 2 2p2 1 p2

 CAP ITULO 3. LA GEOMETR PITAGORICA IA De la lectura de Euclides puede deducirse una frmula an ms o u a general que stas para la ternas pitagricas. Se trata del lema 1 a la e o proposicin X.28 ([8, Vol. 3, p.63] o [9, Vol. 3, p.51]), que se apoya o en la gura a la derecha, en donde y son dos nmeros. u Asumiendo que y tienen la misma paridad, entonces su diferencia es un nmero u par, por lo cual si est a la mitad de , entonces y son nmeros (iguales, por a u aadidura). n Basado en la proposicin II.6, Euclides nos arma que el producto de y ms el o a cuadrado de es el cuadrado de . Haciendo x = y y = , la armacin anterior se o traduce en la identidad (x + y)2 (x y)2 = . xy + 4 4 En este punto, Euclides aclara que para conseguir la terna pitagrica[10] basta con que los o nmeros y sean semejantes. Ahora bien, en nomenclatura moderna se tiene que para u que x y y sean semejantes basta que tengan la forma x = 2 y y = 2 , por lo cual la frmula o eucl dea quedar a: 2 2 + 2 2 4
2

2 + 2 4

que incluye todas las frmulas vistas hasta ahora. o

El ultimo teorema de Fermat

Un problema diofntico asociado con las ternas pitagricas fue planteado en el siglo XVII a o por el abogado especialista en teor de nmeros, Pierre de Fermat. Lo que hizo Fermat fue a u cambiar el exponente 2 por cualquier exponente entero mayor xn + y n = z n , n 3,

y preguntarse si an as pod conseguirse soluciones enteras en x, y, z. El mismo Fermat u an conjetur la imposibilidad de tales soluciones, aunque arm tener una demostracin que, en o o o sus propias palabras, no cab en el margen del libro de Diofanto que en ese momento le La a a. posteridad se dedic aebradamente a la bsqueda de la demostracin de lo que se llam ultimo o u o o teorema de Fermat, pero no fue sino hasta 1993 que un matemtico de la Universidad de a Princeton, Andrew Wiles, logr dar una demostracin convincente, basada en la teor de las o o a curvas el pticas y que le ocup cerca de doscientas pginas... algo extenso para caber en el o a margen de un libro. Una breve descripcin de la historia del teorema y su demostracin puede conseguirse en o o [15, pp. 8693]. Para una visin algo ms extensa y detallada puede leerse el excelente trabajo o a de Singh, [22].
[10] No la llama de esta manera. Euclides no hace ninguna alusin a Pitgoras ni a ninguno de los pensadores o a que lo precedieron. El lector no debe suponer mezquindad, la obra de Euclides es estrictamente tcnica. e

57

 3.5. APLICACION DE AREAS

3.5 Aplicacin de reas o a

Los llamados problemas de aplicacin de areas representan una investigacin de importancia o o fundamental para la geometr griega. Estn el el centro de sus mayores aportes y dieron luz a a a problemas que como la cuadratura del c rculo permanecieron en calidad de tales durante buena parte de la historia de la matemtica. Estos problemas son el antecedente moderno de la a teor de la integracin y la medida y los griegos avanzaron en ellos tanto como para pensarlos a o precursores en ese campo. Para identicar el origen pitagrico de estos problemas recurrimos a dos fuentes principales. o Una de ellas es Plutarco (ya comentado en la pgina 46) quien nos dej dos textos importantes a o [19, Vol. 1, p. 117], que citamos a continuacin: o
Pitgoras sacric un buey a causa de su proposicin, como dice Apolodoro: a o o Como al encontrar Pitgoras la famosa gura a por la cual ofreci el noble sacricio. o Tanto si fue el teorema que el cuadrado sobre la hipotenusa es igual a la suma de los cuadrados sobre los lados que forman el angulo recto, o el problema acerca de la aplicacin o del area. ...... Entre los mayores teoremas geomtricos, o ms bien problemas, se cuenta ste: dadas dos e a e guras, construir una tercera igual a una y semejante a la otra; a causa de este descubrimiento, dicen que Pitgoras se sacric. Es, sin duda, ms sutil y elegante que el teorema a o a que demuestra que el cuadrado sobre la hipotenusa es igual a la suma de los cuadrados sobre los lados que forman el angulo recto.

Vemos entonces que Plutarco no solo adjudica a Pitgoras el descubrimiento de estos proa blemas, sino que los valora superiores al descubrimiento ms conocido del propio Pitgoras, al a a punto de que es el unico de ellos que lleva su nombre. Vale la pena destacar, sin embargo, la paradoja de que el propio teorema de Pitgoras resuelve un problema de aplicacin de reas: a o a dados dos cuadrados conseguir un tercer cuadrado cuya rea sea la suma de los dos. a El otro texto es de Proclo; proviene de su comentario a la proposicin I.44 de los Elementos, o aun cuando el primer problema de aplicacin de reas que encontramos all es la proposicin o a o I.42. Proclo usa, a su vez, a Eudemo como referencia y dice as [21, p. 332]:
Eudemo y su escuela nos dicen que estas cosas: la aplicacin (parabol) de areas, su o exceso (perbol) y su defecto (lleiyic), son antiguos descubrimientos de la musa de los pitaggicos. Es a partir de ellas que los gemetras posteriores aplicaron estos trminos a o o e las denominadas l neas cnicas, llamndolas: a una, parbola; a otra, hiprbola y, a la o a a e tercera, elipse; pero estos hombres de antao, similares a dioses, vieron la importancia n de estos trminos al describir las areas planas sobre una l e nea recta nita.[11]
[11] Traduccin o

de D. J. Los trminos en griego aparecen en el texto traducido. e

58

 CAP ITULO 3. LA GEOMETR PITAGORICA IA En realidad la aplicacin de estos conocimientos a la teor de las secciones cnicas tiene o a o mucha mayor importancia que un simple trasfondo terminolgico. Pero este tema, desarrollado o en el siglo III a.C. por Apolonio, est fuera de nuestro alcance. Por ahora, nos interesa denir a el problema, para lo cual algo adelantamos con la lectura de Plutarco: se trata de, dadas dos guras geomtricas, conseguir una tercera semejante a la primera y de rea igual a la segunda. e a Estos problemas ocupan en los Elementos un lugar destacado: el nal del primer libro desde I.42 y todo el segundo libro. Pero esta denicin hay que completarla con la descripcin contenida en el comentario o o de Proclo. Planteada de la manera anterior solo tenemos la parte (igualdad) del problema; quedar pendientes las partes (exceso) y (defecto). Estas ultimas an se reeren a construir un pol gono sobre una recta,[12] el cual podr ocupar parte de la recta a como base (aplicacin por defecto) o extender la base fuera de la recta (aplicacin por exceso). o o Proclo mismo acota que tales problemas los aborda Euclides en el sexto libro y se reere a las proposiciones VI.27 a VI.29. Las estudiaremos mejor a partir de la pgina 63. a

El problema en los Elementos

La primera proposicin de aplicacin de reas que encontramos en los es la I.42, la cual o o a muestra cmo construir un rectngulo igual a un tringulo dado. El procedimiento se basa en o a a la proposicin I.41 la cual, a su vez, es el equivalente a la frmula A = 1 bh que usamos para o o 2 calcular el rea de un tringulo. a a Como ya comentamos, la proposicin I.44 es la que produce la cita anterior de Proclo. o Supone, como hiptesis, que el lector dispone de un ngulo, un tringulo y una recta dados; o a a la proposicin arma al lector la posibilidad de construir un paralelogramo cuya base sea la o recta, que tenga un ngulo igual al dado y la misma rea que el tringulo dado. Aplicado al a a a caso particular de los rectngulos, este problema adquiere una dimensin aritmtica, pues es a o e equivalente al problema de dividir el producto de dos factores por un tercer nmero. u Problema 3.7 Interprete este ultimo prrafo, tomando en cuenta que para los griegos el producto a de dos nmeros es un rectngulo. u a La proposicin I.46 muestra cmo construir un cuadrado dado el lado o o del mismo. Es una proposicin importante puesto que los problemas de o a rea fueron planteados por los griegos en trminos de comparacin con e o un cuadrado. Por ejemplo, se dice que Arqu medes descubri la igualdad o
1

x2 d x =
0

1 , 3

pero, colocada en su real contexto, esta armacin deber decir que Aro a qu medes comprob que la seccin parablica dentro del cuadrado es o o o decir la parte sombreada de la gura a la derecha ocupa la tercera parte del mismo. Finalmente, ya sabemos que la proposicin I.47 es el teorema de Pitgoras y la I.48 (la ultima del libro) o a es la rec proca de ste. e
[12] En el contexto griego clsico, la palabra recta equivale a lo que llamamos segmento. Su carcter de ilimitado a a es potencial, en tanto proviene de la posibilidad de extenderla en cualquiera de sus dos direcciones.

59

 3.5. APLICACION DE AREAS El segundo libro de los Elementos ha sido denominado lgebra geomtrica, por cuanto sus a e proposiciones, todas relativas a pol gonos, pueden expresarse o bien como identidades o bien como ecuaciones algebraicas de segundo grado. Problema 3.8 En su opinin: qu produce la limitacin al segundo grado? Bajo qu condiciones o e o e pudieran haber llegado al tercer grado? Y a grados superiores? El libro comienza con dos deniciones, la segunda de las cuales corresponde al gnomon con el sentido geomtrico que ya comentamos en la pgina 19, modicacin del concepto del mismo e a o nombre usado por los pitagricos en relacin a su teor de nmeros y que aos despus Hern o o a u n e o denir conectando ambas concepciones. a Para ver el esp ritu del libro II vale la pena transcribir algunas de sus proposiciones.[13] Ya conocimos el caso de II.4 en la pgina 47, pero vayamos algo ms adelante. Por ejemplo II.1 a a dice:
Si hay dos rectas y una de ellas se corta en un nmero cualquiera de segmentos, el rectngulo u a comprendido por las dos rectas es igual a los rectngulos comprendidos por la (recta) no a cortada y cada uno de los segmentos.

Figura 3.11: Proposicin II.1: a(b + c + d + ) = ab + ac + ad + o El dibujo euclidiano de apoyo a la demostracin de esta proposicin es el que vemos en la o o gura 3.11 y su interpretacin algebraica no es otra cosa que la propiedad distributiva, es decir o a(b + c + d + ) = ab + ac + ad + La proposicin II.5 dice: o
Si se corta una l nea recta en (segmentos) iguales y desiguales, el rectngulo comprendido a por los segmentos desiguales de la (recta) entera junto con el cuadrado de la (recta que est) entre los puntos de seccin, es igual al cuadrado de la mitad. a o

La demostracin de la proposicin II.5 se apoya sobre un dibujo similar al de la gura 3.12 o o y su expresin algebraica es o 2 2 a+b ab = , ab + 2 2
[13] Recordemos que las transcripciones las hacemos de la referencia [9]. El libro II abarca de la pgina 265 a la a 289 del primer volumen.

60

 CAP ITULO 3. LA GEOMETR PITAGORICA IA

Figura 3.12: Proposicin II.5: ab + o

ab 2

a+b 2

que, en la forma, es idntica a la obtenida como interpretacin del lema 1 a la proposicin X.28 e o o (ver pgina 57) con la cual Euclides produce su frmula de ternas pitagricas. Los contextos, a o o sin embargo, son distintos. La porcin de circunferencia trazada con l o neas punteadas identica un gnomon que Euclides necesita para llevar a cabo su demostracin. o

Figura 3.13: Proposicin II.6: (2a + b)b + a2 = (a + b)2 . o El contenido de la proposicin II.6 es ste: o e
Si se divide en dos partes iguales una l nea recta y se le aade, en l n nea recta, otra recta, el rectngulo comprendido por la (recta) entera con la (recta) aadida y la (recta) aadida a n n junto con el cuadrado de la mitad es igual al cuadrado de la (recta) compuesta por la mitad y la (recta) aadida. n

y su interpretacin geomtrica es o e (2a + b)b + a2 = (a + b)2 . Problema 3.9 La proposicin II.6 se apoya en una gura como la 3.13. Identique en ella los o segmentos correspondientes a las variables de la expresin algebraica dada. Qu piezas del o e rompecabezas habr que reorganizar (al estilo de las guras 3.6 de la pgina 47 o 3.9 de a a la pgina 52) para demostrar la proposicin? Y en la gura 3.12? a o 61

 3.5. APLICACION DE AREAS

Figura 3.14: Proposicin II.11: Resolver la ecuacin a(a x) = x2 . o o

Las proposiciones vistas hasta ahora han sido enunciadas en forma de teoremas y llevan asociadas consigo identidades algebraicas. Se produce una variante en la proposicin II.11, la o cual propone conseguir cierto punto situado sobre una recta y, en consecuencia, equivale a una ecuacin (de hecho, una ecuacin de segundo grado); se expresa as o o :
Dividir una recta dada de manera que el rectngulo comprendido por la (recta) entera y a uno de los segmentos sea igual al cuadrado del segmento restante.

Se basa en una grca como la de la gura 3.14 y la ecuacin que la representa es a o a(a x) = x2 . Problema 3.10 (a) Si la longitud de los segmentos es la que se indica en la gura 3.14, demuestre que satisfacen la igualdad a(a x) = x2 . (b) A partir de la igualdad anterior demuestre la proporcin o a x = . x ax Observe que esta proporcin signica que el segmento de longitud a se dividi en dos o o partes distintas, de forma que todo el segmento es a la parte mayor como la parte mayor es a la menor. Cuando se separa un segmento cualquiera de esta misma forma se dice que se ha dividido en la razn urea y la proporcin anterior se conoce como proporcin o a o o urea. Tendremos oportunidad de volver a ellas en la seccin 4.2. a o (c) Utilice el dibujo de la gura 3.14 para describir un procedimiento que le permita dividir un segmento cualquiera en razn urea. o a 62

 CAP ITULO 3. LA GEOMETR PITAGORICA IA Las proposiciones II.12 y II.13 que no reproduciremos representan en su conjunto una generalizacin del teorema de Pitgoras a tringulos de cualquier tipo. Constituyen lo que o a a hoy llamamos teorema del coseno. La ultima proposicin del libro, la II.14, exige construir un o cuadrado igual a un pol gono cualquiera; es el equivalente algebraico a la extraccin de la ra o z cuadrada de un nmero positivo. u

Aplicacin de reas por defecto y por exceso o a

Las construcciones planteadas en las proposiciones VI.27 a VI.29 pertenecen a este grupo. Desde un punto de vista histrico tuvieron gran importancia, por cuanto el propio Euclides las o utiliz para el desarrollo del dcimo libro de los Elementos, pero tambin Apolonio sustent su o e e o teor de la secciones cnicas en estos estudios. a o

Figura 3.15: Aplicacin de reas por defecto y por exceso. o a La gura 3.15 ilustra los dos tipos de problemas que, en general, consisten en lo siguiente. Se tiene una recta y se selecciona un punto cualquiera en ella, a partir del cual se construye el paralelogramo o simplemente .[14] El siguiente paso es la seleccin de un o paralelogramo semejante a ste y situado de manera semejante, lo cual signica que comparten e la diagonal que pasa por . Este ultimo paralelogramo podr tener su segundo vrtice sobre la a e diagonal en cualquier punto de ella, incluso extendindola en cualquiera de sus dos direcciones. e En la gura hemos representado dos de estos paralelogramos: y ; nalmente se construye el paralelogramo o el . Pues bien, a se le llama defecto de respecto a la recta , mientras que a se le llama exceso de respecto a la recta . Otra terminolog usada es: es deciente ( ) y es excesivo ( ) respecto a la a recta . La proposicin VI.27 establece que de todos los paralelogramos decientes respecto a una o recta dada el mayor es el que se construye sobre la mitad de la recta. La demostracin o geomtrica de Euclides, basada en el gnomon, es hermosa, pero nosotros estamos ms interesados e a en el aspecto algebraico del asunto. Ahora bien, partiendo de la observacin de que todos los o paralelogramos con la misma base e igual altura tienen la misma rea, podemos reducir el a problema al caso particular de los rectngulos sin perder generalidad, lo cual nos excusa de la a trigonometr involucrada. Usaremos entonces la gura 3.16. a En dicha gura, es el punto medio de , es un paralelogramo construido sobre y es un paralelogramo semejante a y situado de manera semejante. Por otra parte
[14] En lo que sigue usaremos la costumbre de Euclides de referirse a un paralelogramo por los extremos de una de sus diagonales.

63

 3.5. APLICACION DE AREAS

Figura 3.16: Proposicin VI.27: el mximo paralelogramo deciente. o a es un paralelogramo deciente respecto a y su defecto es . Supongamos que a = , entonces =r x o = rx. r= y x = ;

Ahora bien, si S es el rea del paralelogramo , se cumple que a S = (a rx)x, es decir ax rx2 = S, una ecuacin de segundo grado. o Haciendo el anlisis del discriminante se concluye que, para que la ecuacin tenga ra a o ces a2 reales, debe cumplirse que S , pero el lado derecho de esta desigualdad es el valor del rea a 4r del rectngulo de base , lo cual muestra la justeza del planteamiento euclidiano. a

Figura 3.17: Proposicin VI.27: soluciones en la prolongacin de la diagonal. o o Euclides no parece considerar las soluciones geomtricas en la extensin de la diagonal e o por el lado de . Sin embargo, tal como se muestra en la gura 3.17, stas se obtienen mediante e una consideracin de simetr observando que los puntos tales que = producen un o a rectngulo que tiene la misma rea del rectngulo . La clave de la demostracin est en a a a o a la proposicin I.43. Por supuesto, para que el problema tenga sentido, la paralela a por o no debe conseguir a la recta por su prolongacin del lado de . o 64

 CAP ITULO 3. LA GEOMETR PITAGORICA IA La proposicin VI.28 se plantea construir un paralelogramo deciente en un rea dada; es o a un problema . Algebraicamente esto signica resolver la ecuacin ax rx2 = S para un o valor espec co de S. La proposicin contiene en su propio enunciado la restriccin establecida o o a2 . Tal limitacin, en el lenguaje de los Elementos se conoce como o en VI.27, esto es S 4r [15] , diorismos. La propuesta grca de Euclides en la demostracin de la proposicin a o o signica el clculo de la ra correspondiente al signo negativo del discriminante de la ecuacin a z o de segundo grado. De nuevo, la otra ra proviene de una consideracin de simetr similar a la z o a considerada anteriormente. La proposicin VI.29 apunta a construir un paralelogramo de igual rea que un pol o a gono dado, pero con un excedente sobre una recta dada. Se trata de un problema que corresponde a una ecuacin de segundo grado de la forma o ax + rx2 = S. En este caso no hay puesto que geomtricamente no existe ninguna restriccin. La e o solucin que Euclides propone corresponde al sigo positivo delante del discriminante, esto es o 1 a2 + 4rS a , 2r unica posible, pues la otra corresponder a un nmero negativo que no tiene interpretacin a u o respecto al problema planteado. x= Los casos particulares de las dos proposiciones anteriores, en las que el paralelogramo error (el defecto o el exceso) es un cuadrado, fueron estudiados con mucha antelacin a Euclides. o Estamos hablando de las ecuaciones ax x 2 = b2 ,

la primera de las cuales parece haber sido resuelta por los pitagricos, mientras que la segunda lo o fue por Hipcrates. El mtodo de solucin, sin embargo, no estuvo basado en un procedimiento o e o similar a las demostraciones euclidianas, sino ms bien en lo establecido en las proposiciones a II.5 y II.6. No hay dudas de que la proposicin II.11 es de origen pitagrico, lo que es similar o o a decir que stos hab resuelto la ecuacin a2 ax = x2 . Heath proporciona los detalles (ver e an o [8, Vol. 1, pp. 382388]).

3.6 Los slidos platnicos o o

Proclo arm que el objetivo ultimo de los Elementos eran los cinco poliedros regulares. En o efecto, en la segunda parte del prlogo al Comentario [21, p. 57] dice: o
Euclides acept las razones de Platn y comparti con comodidad su losof por eso o o o a; pens que los Elementos, como un todo, deb apuntar en lo fundamental a la construccin o an o de las as llamadas guras platnicas.[16] o
[15] Seg n Proclo [21, p. 55] el diorismc fue descubierto por Len; personaje cuya unica referencia histrica es u o o precisamente sta. e [16] Traduccin de D. J. o

65

 3.6. LOS SOLIDOS PLATONICOS Estas llamadas guras platnicas o slidos platnicos son los poliedros regulares, esto o o o es, poliedros cuyas caras son todos pol gonos regulares congruentes. Solo cabe encontrar cinco,

Figura 3.18: Los cinco slidos platnicos. o o como demostr el propio Euclides y son los que vemos en la gura 3.18: los tres primeros o (tetraedro o pirmide, octaedro e icosaedro) se forman con 4, 8 y 20 tringulos equilteros a a a respectivamente; el siguiente (cubo) se forma por 6 caras cuadradas y el ultimo (dodecaedro) por 12 caras pentagonales. Problema 3.11 El suizo Leonhard Euler (17071783) descubri que en todo poliedro convexo se o cumple la bella ecuacin o C + V = A + 2, donde C, V y A representan, respectivamente, el nmero de caras, vrtices y aristas del u e poliedro. Un poliedro regular es convexo. Suponga que usted tiene un poliedro regular cuyas caras son pol gonos regulares de n lados. 2A . n (b) Sea a el nmero (constante) de aristas que salen de cada vrtice del poliedro. Demuestre u e 2A que V = . a (c) Demuestre que las dos frmulas anteriores y la frmula de Euler conducen a la ecuacin o o o (a) Demuestre la relacin C = o 1 1 1 1 + = + . a n 2 A (d) Demuestre que las unicas soluciones posibles a la ecuacin anterior son o n = 3, n = 3, n = 3, n = 4, n = 5, a = 3; a = 4; a = 5; a = 3; a = 3.

(e) Demuestre que las soluciones numricas anteriores corresponden, respectivamente, a los e slidos de la gura 3.18. o La demostracin de este teorema segn estos pasos recuerda un poco la demostracin seguida o u o en el problema 3.2 de la pgina 43. Sin embargo, es del todo descartable que los pitagricos a o pudieran haber seguido un procedimiento como ste. La demostracin de Euclides ([8, Vol. 3, e o p. 507] o [9, Vol. 3, p. 355]) se basa en propiedades de las guras geomtricas involucradas. e 66

 CAP ITULO 3. LA GEOMETR PITAGORICA IA En efecto, el ultimo libro de los Elementos (el XIII) est destinado a la construccin de estas a o guras; sus proposiciones 13 a 17 muestran dichas construcciones y la proposicin 18 (ltima o u del libro) compara los tamaos de las aristas de estos poliedros cuando son construidos dentro n de una misma esfera circunscrita. El broche de oro lo constituye la armacin que ni siquiera o es presentada como una proposicin del cuerpo del libro de que solo existen estas cinco clases o de poliedros regulares. Sin embargo, los Elementos representan una labor de compilacin y ordenamiento terico o o del saber matemtico acumulado hasta la poca en que Euclides emprende su escritura. (Solo a e deja fuera la teor de secciones cnicas, a la que dedica un libro aparte, hoy perdido.) Por esta a o razn, luce exagerado el comentario anterior de Proclo. Aparte de esto, Euclides es el tipo de o escritor matemtico que limita su escritura al aspecto estrictamente tcnico, sin incluir ningn a e u tipo de comentarios subjetivos. Esto, por supuesto, no desdice del enorme valor pedaggico que o tuvo su obra, vigente durante tantos siglos, pero hace dif una interpretacin de intenciones cil o que vaya ms all del alcance de lo escrito. a a Por qu estos slidos han sido asociados de esta manera a Platn y qu papel juega el e o o e pitagorismo en esto? La clave para la respuesta est en el dilogo Timeo o de la Naturaleza, a a en el cual Platn expone su particular teor f o a sicoqu mica del Universo, conformado ste por e cuatro elementos fundamentales: tierra, aire, fuego y agua; idea que Platn tom de Empdocles. o o e El aporte de Platn a la idea fue considerar que estos elementos se constitu por tomos de o an a materia, innitamente pequeos, que ten la forma de los slidos platnicos: la tierra, el cubo; n an o o el fuego, el tetraedro; el aire, el octaedro y el agua, el icosaedro. El quinto slido, el dodecaedro, o ser un borrador del plano del Universo. a Estas ideas fueron reforzadas aos despus por el pitagrico Filolao, quien arm [11, p. n e o o 174]:
Hay cinco cuerpos en la esfera: fuego, agua, tierra, aire y el c rculo de la esfera que hace el quinto.[17]

En el dilogo que comentamos, las armaciones anteriores las pone Platn en la boca de a o Timeo, nativo de Locrida, personaje que perteneci a la secta de los pitagricos [20, p. 663]. o o Vale la pena comentar la forma en que Timeo describe la construccin de los primeros cuatro o slidos regulares; es dif no asociar esta construccin con la teor de los pol o cil o a gonos que llenan el plano alrededor de un punto tal como vimos en la pgina 43. La base de la construccin a o son dos tipos de tringulos rectngulos: el que tiene su hipotenusa doble del cateto menor a a (tringulo 306090, la mitad de un tringulo equiltero) declarado por Platn el ms bello de a a a o a los tringulos y el isorrectngulo. Pero oigamos a Platn en boca de Timeo [20, pp. 690691]: a a o

Para continuar nuestro discurso tenemos que explicar ahora cmo y por el o concurso de qu nmeros est formae u a do cada gnero. e

[17] Traduccin o

de D. J.

67

 3.6. LOS SOLIDOS PLATONICOS

Empecemos por el primero cuya composicin es la ms sencilla y tiene por o a elemento el tringulo cuya hipotenua sa es doble del cateto menor.

Aproximad dos de estos tringulos sia guiendo la diagonal, repetid tres veces esta operacin... o

... de manera que todas las diagonales y todos los catetos menores concurran en un mismo punto que les sirva de centro comn y tendris un u e tringulo equilateral formado por seis a tringulos particulares. a

Cuatro de estos tringulos equilteros a a por la reunin de tres angulos planos o forman un angulo slido cuya mag o nitud aventaja a la del angulo plano ms obtuso, y cuatro de estos nuevos a angulos componen reunidos la prime ra especie de slido que divide en paro tes iguales y semejantes a la esfera en que est inscrito. a

El segundo slido se compone de los o mismos tringulos reunidos en ocho a tringulos equilteros formando un a a angulo slido de cuatro angulos pla o nos; seis de estos angulos constituyen este segundo cuerpo.

68

 CAP ITULO 3. LA GEOMETR PITAGORICA IA

El tercer slido est formado de cieno a to veinte tringulos elementales, de a doce angulos slidos rodeados cada o uno de cinco tringulos equilteros a a con veinte trigulos equilteros por a a base. Este elemento no debe producir otros slidos. o

Al tringulo issceles es al que le pera o tenece el engendrar la cuarta especie de cuerpos.

Cuatro de estos tringulos issceles a o fueron juntados, los cuatro angulos rectos unidos en un tetrgono regua lar; ...

... seis de estos tetrgonos equilteros a a fueron aproximados de manera que formasen ocho angulos slidos com o puestos cada uno de tres angulos pla nos rectos, y la gura obtenida fue el cubo, que tiene por base seis cuadrados.

Quedaba una quinta combinacin, de o la que Dios se sirvi para trazar el o plano del universo.

La exposicin platnica anterior es sustancialmente distinta de la euclidiana; sta ultima es o o e rigurosa en grado mximo, lo que hace dif pensar que el pitagorismo pudiera haber desarroa cil llado una teor de los poliedros regulares correspondiente a este avance terico. Quizs Platn a o a o reproduce la construccin tal como la present el pitagorismo. En cualquier caso, la observacin o o o de estos slidos tiene evidentes antecedentes f o sicos en otras civilizaciones, como la egipcia, por ejemplo: el tetraedro y el octaedro son formas piramidales; el cubo, por su parte, destaca por su sencillez y simetr Heath observa [8, Vol. 3, p. 430] que el autor de un escolio al libro XIII a. de los Elementos hace la observacin de que los slidos platnicos no son idea de Platn sino o o o o de los pitagricos que observaron la pirmide, el cubo y el dodecaedro y de Teetetes que o a estudi el octaedro y el icosaedro. o 69

 3.6. LOS SOLIDOS PLATONICOS Sea como fuere, la exposicin platnica no incluye la construccin del dodecaedro, pues ste o o o e formado por caras pentagonales no puede armarse con los tringulos elementales a los que a alude Platn: el 306090 y el isorrectngulo. Es cierto: se puede hacer una descomposicin del o a o pentgono en treinta tringulos elementales dibujando diagonales y perpendiculares de vrtice a a e a lado opuesto; pero estos tringulos son de naturaleza distinta a los anteriormente comentados. a Por otra parte, es posible observar el pentgono regular en el icosaedro: basta considerar uno a de sus ngulos slidos, formados por cinco tringulos equilteros: las bases de estos tringulos a o a a a constituyen el pentgono regular. a En todo caso, hay pocas dudas de que el estudio del pentgono fue abordado por los pia tagricos. Un famoso pasaje de Imblico dice [11, p. 79]: o a
Respecto a Hipaso, sin embargo, fue reconocido como uno de los pitagricos, pero consio gui la sentencia a los imp en el mar, a consecuencia de haber divulgado y explicado o os la manera de formar una esfera a partir de doce pentgonos; no obstante [injustamena te] obtuvo el mrito del descubrimiento. A pesar de ello, en la realidad, esto, como todo e lo concerniente a geometr fue la invencin de el hombre, tal como ellos se refer a a, o an Pitgoras.[18] a

lo cual hace pensar que Hipaso pudo haber completado el estudio de estos slidos iniciado por o Teetetes. Las acusaciones en su contra podr provenir del celo de los acusmticos en relacin an a o a la memoria del maestro. El estudio del pentgono est asociado a un tringulo issceles particular: aquel cuyos ngua a a o a los de la base son cada uno doble del ngulo restante. De hecho, cuando uno de estos tringulos a a est inscrito en una circunferencia, la base del tringulo es el lado del pentgono regular inscrito. a a a Problema 3.12 Demuestre esta ultima armacin. o En la proposicin IV.10 Euclides muestra cmo construir el tringulo anterior. Para ello o o a necesita la proposicin II.11 (ver pgina 62), lo que signica que en esta construccin est ino a o a volucrada la ecuacin de segundo grado denida por la proporcin urea: o o a x a = . x ax A continuacin, la proposicin IV.11 construye el pentgono dentro de una circunferencia inscrio o a biendo el tringulo comentado y usando su base como lado, lo que obliga a Euclides a justicar a la eleccin con algunas construcciones adicionales como bisecciones de ngulos. Algunos cr o a ticos comentan que en la prueba de IV.10 aparece con bastante evidencia el lado del decgono a inscrito, lo que hace a IV.11 antinatural, pues del decgono se obtiene el pentgono trivialmente. a a Sin embargo, en la construccin del pentgono mostrada en IV.11 Euclides usa la ilustracin o a o a la izquierda de la gura 3.19 que, salvo por el trazo de una diagonal, reproduce el pentagrama o estrella pentagonal que vemos a la derecha de la misma gura. Esta estrella, tal como comenta Heath [8, Vol. 2, p. 99], fue asociada a la escuela por Luciano y por el escoliasta a las Nubes de Aristfanes. Segn estos personajes, la estrella de cinco puntas era un s o u mbolo de reconocimiento entre los integrantes de la escuela y la llamaban Salud. Esto es un indicio importante de que la
[18] Traduccin o

de D. J. Subrayado en el texto original.

70

 CAP ITULO 3. LA GEOMETR PITAGORICA IA

Figura 3.19: Proposicin IV.11: el dibujo de Euclides y el pentagrama pitagrico. o o construccin del pentgono en IV.11 es pitagrica en su integridad. Despus de todo, un escolio o a o e a Euclides, recogido por Heiberg [8, Vol. 2, p. 97], dice que el libro IV en su totalidad es obra pitagrica. o La estrella pitagrica est asociada tambin a uno de los ms sublimes errores del pitagoo a e a rismo: se que dio origen al nacimiento de la teor de los inconmensurables o irracionales. De e a ello trataremos en la seccin 4.2. o

71

Cap tulo 4
La aritmtica superior de los pitagricos e o
Es posible que el descubrimiento de los irracionales haya sido la primera revolucin cient o ca de la historia. A partir de sus experimentos musicales, el pitagorismo hab levantado una bella a estructura terica sustentada sobre el nmero como principio rector del , que no era otra o u cosa que armon numrica coordinada segn el ritmo que marcaban las esferas csmicas, ritmo a e u o al que se denomin msica o armon de las esferas, audible solo para algunos privilegiados o o u a quizs solo por el hombre, como reverencialmente se conoci a Pitgoras dentro de la hermandad. a o a Los segmentos inconmensurables, al no ceder ante el dominio del nmero, rompieron esta u hermosa armon Sin embargo, lejos de tratar de esconder el polvo bajo la alfombra o caer en a. profundas depresiones, los pitagricos aceptaron a los intrusos destructores y decidieron andar o con ellos, no como quien carga una piedra en el zapato, sino con la entereza suciente para invitarlos a rendir sus secretos. Los esfuerzos en esta direccin enriquecieron la matemtica con o a tesoros cuya belleza no desdec en absoluto de aquella a la que se supon que afrentaban. a a

4.1 Logos frente a logos a

Retomemos la idea pitagrica original: Todo es nmero. Para los propios pitagricos esta idea o u o ten un sentido tan profundo que adquir caracter a a sticas sagradas. En este sentido, Pitgoras a viene a ser el predecesor original de Leopold Kronecker, el matemtico que arm: Dios cre los a o o nmeros naturales, lo dems lo hizo el Hombre, porque tal como vimos en el cap u a tulo 1 cuando un pitagrico hablaba de nmero lo que ten en mente espec o u a camente era algo muy parecido a lo que hoy llamamos nmero natural ; las variantes de la idea ya las hemos estudiado u en ese mismo cap tulo. Recordemos al menos las deniciones VII.1 y VII.2.[1] La primera dice Una unidad es aquello en virtud de lo cual cada una de las cosas que hay es llamada una y la segunda arma Un nmero es una pluralidad compuesta de unidades. Lo dicho: son lo sucientemente u restrictivas para separar el concepto de unidad del concepto mismo de nmero: una unidad no u es un nmero, es el ente que constituye a los nmeros. u u La visin pitagrica del nmero como la sustancia constitutiva del Universo, condujo a otra o o u creencia que juega un papel importante en el desarrollo del tema que nos ocupa: la absoluta conmensurabilidad de los segmentos, es decir la existencia de medida comn para dos segmentos u distintos cualesquiera, como por ejemplo los segmentos A y B de la gura 4.1. Qu quiere decir e
[1] Tomadas

como ha sido usual en nosotros de [9].

73

 4.1. LOGOS FRENTE A ALOGOS

Figura 4.1: Tienen A y B medida comn? u

que ellos dos tienen una medida comn? u En primer lugar obsrvese que el segmento B es de menor tamao que el segmento A, por e n lo cual (ver gura 4.2) podemos incluir el primero dentro de ste tantas veces como quepa. Este e caso particular muestra que B cabe dos veces dentro de A, pero deja un restante: un pequeo n segmento C que, como es natural, es menor que B. Podemos, por lo tanto, incluir a C dentro de

Figura 4.2: A y B estn en la razn 14 : 5 a o B, tantas veces como quepa (en este caso, una) lo que deja un remanente, un segmento D menor que C. Repetimos el procedimiento colocando D dentro de C las veces que sea posible (en este caso, cuatro) y vemos que ya no queda remanente ninguno. En consecuencia, el segmento D es medida comn de los segmentos A y B pues est contenido un nmero entero de veces en cada u a u uno de ellos: 14 veces en el primero y 5 en el segundo. Construcciones como la anterior condujeron a dos conceptos de importancia fundamental para la matemtica clsica griega: los conceptos de razn (, logos) y proporcin ( , a a o o anlogon), cuyo estudio comenzamos en la seccin 1.6.[2] As concebimos a los segmentos A y a o , B en una razn, pero esta razn es idntica a la que hay entre los nmeros 14 y 5, por lo que o o e u hay una proporcin que se expresa en la forma A es a B como 14 es a 5[3] . o
[2] El trmino griego lgoc es polismico: aparte de la acepcin matemtica antedicha abarca conceptos como e e o a la capacidad de pensar o razonamiento y tambin designa a la palabra. e [3] Una forma simblica clsica de expresar la idea es A : B :: 14 : 5. o a

74

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS En un principio, los pitagricos estaban seguros de la posibilidad de este procedimiento o independientemente de los segmentos en cuestin; es decir, sin importar cuntos pasos fuera o a necesario dar, dos segmentos cualesquiera siempre se rendir a una medida comn, lo que an u permitir establecer con ellos una proporcin expresable al nal como razn de nmeros enteros. a o o u Ahora bien, el teorema de Pitgoras conduce con facilidad a una importante proporcin: a o el cuadrado construido sobre la diagonal de un cuadrado es al cuadrado original como 2 es a 1. Ahora bien, esta proporcin trae como consecuencia inmediata una interrogante: cul es la o a proporcin que se establece al comparar la diagonal del cuadrado y el lado del mismo? o La respuesta demoli la conviccin pitagrica de la conmensurabilidad de los segmentos: o o o ambos segmentos resultaron ser inconmensurables, no era posible conseguir un segmento medida comn para ellos. A la distancia resulta dif valorar la magnitud de un descubrimiento de u cil esta naturaleza, pero cuando una visin epistemolgica e incluso ontolgica se sustenta sobre o o o un supuesto determinado, la ruptura con ese supuesto signica en consecuencia un cambio de visin, vale decir, una revolucin del pensamiento. Tendremos oportunidad de ver como este o o cambio se maniesta en la redaccin de los Elementos pero, por ahora, nos concentraremos en o el descubrimiento mismo. Qu ha llevado a los historiadores de la matemtica a pensar que la inconmensurabilidad e a fue un descubrimiento pitagrico? Hay varias pistas que conducen a esta conclusin. En primer o o lugar, no olvidemos que Proclo asigna a los pitagricos el descubrimiento de los irracionales. o Sin embargo, hay en esta asignaccin un punto de polmica. Las traducciones de Proclo toman o e como base la versin griega de Friedlein y, en el prrafo en cuestin, ste usa el trmino , o a o e e pero otros autores consideran que el trmino correcto debi ser o una variante de e o ste que, ms que apuntar a la no existencia de razn se orientaba hacia la proporcin; es decir, e a o o antes que una teor de los irracionales, lo que Proclo asignaba a los pitagricos era una teor a o a de las proporciones. Por otra parte, un escolio al libro X [8, Vol. 3, p. 1] arma que el descubrimiento de los inconmensurables es obra pitagrica, surgida de sus investigaciones acerca de los nmeros, aadiendo o u n que un pitagrico pereci en un naufragio por hacer pblico este conocimiento. (Recurdese que o o u e tambin hemos le ancdota similar contada por Imblico respecto a Hipaso y el dodecaedro e do e a en la pgina 70.) Sin embargo, el escoliasta adelanta la hiptesis de que esta historia pudiera a o ms bien ser una alegor a a. En este mismo sentido, una omisin platnica parece apuntar a que el descubrimiento fue o o espec camente la ra cuadrada de dos; esto es, la inconmensurabilidad de la diagonal del z cuadrado con su lado. En efecto, en el dilogo Teetetes o De la Ciencia, Platn hace decir a a o Teetetes [20, p. 299]:
Teodoro nos enseaba algn clculo sobre las ra n u a ces de los nmeros, demostrndonos que u a las de tres y de cinco no son conmensurables en longitud con la de uno, y en seguida, continu as hasta la de diez y siete, en la que se detuvo. Juzgando, pues, que las ra o ces eran innitas en nmero, nos vino al pensamiento intentar el comprenderlas bajo un solo u nombre que conviene a todas.

procediendo luego este mismo personaje a hacer una clasicacin de los nmeros en cuadrados o u y oblongos, observando que los primeros admiten ra mientras que los segundos conducen a z, la inconmensurabilidad. Pero, qu hace que Teetetes inicie su lista de irracionales a partir e 75

 4.1. LOGOS FRENTE A ALOGOS de la ra de tres y no de la ra de dos? La respuesta pudiera ser que ya Teodoro ten este z z a conocimiento por sabido y que su propia investigacin comienza justamente por la ra de tres. o z Sin embargo, la cota superior de 17 sigue siendo una pregunta en relacin a este asunto. o

Figura 4.3: Generacin geomtrica de las ra cuadradas consecutivas (Problema 4.1) o e ces Problema 4.1 En la gura 4.3 puede verse cmo generar sucesivamente 2, 3, etc. construo yendo tringulos rectngulos uno de cuyos catetos mide 1. La gura as formada toma forma a a de espiral. Complete el dibujo hasta que alguna hipotenusa cruce uno de los tringulos ya a dibujados. Cunto mide la hipotenusa anterior? a Adems vale la pena recordar que el pitagorismo ten una frmula de clculo de ternas a a o a pitgoricas (ver pgina 54), por lo cual es dif pensar que no se hayan planteado el problea a cil ma inverso, apuntando hacia los tringulos rectngulos con catetos de longitud entera cuya a a hipotenusa no lo fuera. Por fuerza, el isorrectngulo hubo de ser objeto de sus reexiones. a El hermetismo pitagrico nos diculta el conocimiento preciso de la demostracin que de o o este hecho realiz la escuela. Sin embargo, algo tenemos para conjeturarla. Por ejemplo, en o Primeros anal ticos, Aristteles arma [5, p. 132]: o
... todos los silogismos que demuestran por medio del absurdo, concluyen lo falso por medio del silogismo; pero demuestran el dato inicial por hiptesis, probando que encierra o un absurdo la suposicin de la contradictoria. He aqu un ejemplo: se prueba que el dimetro o a es inconmensurable, porque si se le supusiera conmensurable, se seguir que el par es igual a al impar. Se concluye, pues, por silogismo, que el impar deber ser igual al par, y no a se demuestra entonces sino por hiptesis, que el dimetro es inconmensurable, porque la o a contradiccin de esto conduce a un error evidente.[4] o

La cita es interesante en tanto contiene ms de lo que esperbamos: la demostracin de la a a o inconmensurabilidad se realiz por reduccin al absurdo, tcnica de demostracin que el propio o o e o Aristteles describe en el texto. Pero, cmo se expres tal demostracin? Es dif decirlo con o o o o cil precisin. De hecho, dentro del marco terico que se conforma en los Elementos de Euclides o o ser un corolario de proposiciones de mayor generalidad, como por ejemplo la proposicin X.9. a o Esta contiene varios casos, el ultimo de los cuales dice [9, Vol. 3, p. 23]:
[4] Subrayado

nuestro.

76

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS

... los cuadrados que no guardan entre s la razn que un nmero cuadrado guarda con un o u nmero cuadrado tampoco tendrn los lados conmensurables en longitud. u a

Sin embargo, existe una proposicin, la X.117, que contiene una demostracin concordante o o con los comentarios aristotlicos anteriores. Esta proposicin es segn las autoridades en mae o u teria euclidiana, como Heiberg, por ejemplo una interpolacin, es decir, un texto aadido, con o n nes didcticos o de complementacin, por los copistas que transcrib el legado euclidiano a a o an sus futuras generaciones. Vemosla entonces[5] . a Proposicin X.117. Se nos propone demostrar que en las guras cuadradas el dimetro es o a inconmensurable en longitud con el lado.

Figura 4.4: Inconmensurabilidad de la diagonal y el lado del cuadrado.

Demostracin. Sea ABCD un cuadrado, con dimetro AC. Digo que CA, AB son inconmeno a surables en longitud. Porque supngase, si es posible, que sean conmensurables. Digo entonces que el mismo o nmero ser par e impar. Porque es claro que el cuadrado en AC es dos veces aquel en AB. u a Como CA, AB son conmensurables, tienen la razn de un nmero a un nmero. Digamos que o u u CA es a AB como EZ es a H, y supongamos que EZ y H son los ms pequeos de aquellos a n que tienen la misma razn. o Entonces EZ no es la unidad. Porque si lo fuera, y EZ es a H como AC es a AB, y AC es mayor que AB, entonces EZ es mayor que H, la unidad mayor que un nmero, lo cual es u absurdo. As EZ no es la unidad y, por lo tanto, es un nmero. , u Puesto que CA es a AB como EZ es a H, entonces tambin el cuadrado en CA es al e cuadrado en AB como el cuadrado en EZ es al cuadrado en H. Pero el cuadrado en CA es dos veces el cuadrado en AB, as el cuadrado en EZ es dos veces el cuadrado en H. Por lo tanto, el cuadrado en EZ es par. En consecuencia, EZ es tambin par; porque si fuera impar, su e cuadrado tambin ser impar, puesto que cuando se combina un nmero impar de sumandos e a u impares, el total es impar. As EZ es par. , Div dase (EZ) en dos partes iguales en T . Puesto que EZ y H son los menores con la misma
[5] Por las razones expuestas, la proposicin X.117 no aparece en todas las traducciones de Euclides. Lo que o se leer a continuacin es mi traduccin al espaol de una traduccin al ingls de la versin clsica griega de a o o n o e o a Heiberg. Esta ultima me la hizo llegar amablemente el Prof. William C. Waterhouse de Penn State University, mediante la lista Historia Matematica.

77

 4.1. LOGOS FRENTE A ALOGOS razn, son primos entre s Pero EZ es par, as H es impar. En realidad, si fuera par, 2 medir o . a a EZ y a H, puesto que todo nmero par tiene una mitad; esto es imposible para nmeros u u primos entre s y as H no es par. Por lo tanto es impar. Dado que EZ es dos veces ET , el cuadrado en EZ ser cuatro veces aquel en ET . Pero el a cuadrado en EZ es dos veces aquel en H, as que el cuadrado en H es doble del cuadrado en ET . Luego el cuadrado en H es par. Por lo antes dicho, H es par. Pero tambin es impar, lo e que es imposible. As CA y AB no son conmensurables en longitud, QED. , El lector reconocer esta demostracin como la que se expone habitualmente para demostrar o a o e la irracionalidad de 2. Solo es posible seguirla si se dispone de una slida base de aritmtica entera como la que Euclides provee en el libro VII de los Elementos y que, como hemos visto en el cap tulo 1, ya estaba en poder de los pitagricos. o

Antifairesis
El (logos), la razn, pasa as a dar paso al (logos), la no razn. Pero la o a o no conmensurabilidad es terrible para los pitagricos porque los enfrenta a uno de sus ms o a temidos fantasmas: el horror inniti, vale decir el miedo al innito, actitud que penetr toda o la matemtica griega clsica y, sin duda, contamin toda la posteridad hasta Cantor. (Bellas a a o descripciones de la actitud griega hacia el innito pueden encontrarse en [10, pp. 714] o [24, pp. 1127].) Ntese que la secuencia descrita en la gura 4.2 no es otra cosa que una sustraccin reo o petida de segmentos: al segmento A se le rest el segmento B (todas las veces que se pudo), o a B se rest C y a C se rest D. Tal procedimiento se conoci con el nombre de antifairesis o o o ( ).[6] Si los segmentos en cuestin representan nmeros, es decir, cuando ambos o u son mltiplos enteros de una unidad de medida arbitraria, el procedimiento antifairtico teru e minar siempre con una medida comn: el mximo comn divisor de los dos nmeros. As lo a u a u u demostr Euclides en la proposicin X.2 de los Elementos. De manera que la creencia pitagrica o o o en la absoluta conmensurabilidad de los segmentos signicaba que, dado cualquier conjunto de segmentos, cada uno de los elementos del conjunto representaba un nmero entero respecto a u alguna medida comn a todos los elementos. u Problema 4.2 Demuestre que la descripcin anterior es la forma geomtrica del llamado algoritmo o e de Euclides para el clculo del mximo comn divisor. Procede as si a y b son dos enteros a a u : tales que a > b entonces i. Si a es mltiplo de b entonces b es el m u nimo comn mltiplo buscado. Supongamos que u u no lo es. ii. Divida a entre b: a = bc1 + r1 , 0 < r1 < b. iii. Divida b entre r1 : b = r1 c1 + r2 , 0 r2 < r1 . iv. Si r2 = 0 entonces r1 es la respuesta buscada, caso contrario se repiten las divisiones sucesivas de r1 entre r2 , etc. hasta que se llegue a una divisin entera, cuyo divisor ser el o a mximo comn mltiplo buscado. a u u
[6] Aunque

Aristteles lo denomin antanairesis (ntanaresic). o o

78

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS Pero si la diagonal y el lado del cuadrado son inconmensurables, intentar con ellos la secuencia antifairtica que se muestra en la gura 4.2 es un proceso que, a diferencia del ilustrado, e puede repetirse todas las veces que se desee sin llegar a un n en ninguna de ellas: es un proceso innito. Al horror inniti de los griegos presta un invalorable soporte el mtodo de demostrae cin por reduccin al absurdo, puesto que la contradiccin conseguida dispensa al razonador de o o o apoyarse en un procedimiento que exija una repeticin tras otra sin trmino. o e Pero los griegos pudieron usar la antifairesis en su propio provecho, como lo hizo el platnico o Eudoxo quien descubri lo que hoy llamamos axioma de Arqu o medes, principio que, admite varias interpretaciones equivalentes, una de ellas francamente antifairtica, recogida por Euclides en e su proposicin X.1, dice as [9, Vol. 3, p. 12]: o
Dadas dos magnitudes desiguales, si se quita de la mayor una (magnitud) mayor que su mitad y, de la que queda, una magnitud mayor que su mitad y as sucesivamente, quedar una magnitud que ser menor que la magnitud menor dada. a a

Por lo anterior vale la pena detenerse un tanto a analizar otra posible demostracin basada o esta vez en la gura 4.5.

Figura 4.5: Inconmensurabilidad de la diagonal por antifairesis. Sea ABCD un cuadrado con diagonal AC y sea E el punto de esta diagonal tal que AE = AD, es decir, E es el punto donde cortamos el lado del cuadrado sobre la diagonal. Desde E dibujemos una perpendicular a la diagonal que corte el lado opuesto en F . Por consideraciones angulares es claro que EC y EF son lados de un cuadrado F ECG cuya diagonal es F C. Ahora bien, tomando en cuenta que F E y F B son segmentos tangentes desde un mismo punto F a la circunferencia que pasa por D, E y B, entonces F B = F E = EC, por lo cual F C = BC BF = AD EC. Es decir, la diagonal del cuadrado pequeo es el lado del cuadrado n original menos el restante de quitar a la diagonal del cuadrado grande el lado del mismo. Ahora bien, EC, el lado del cuadrado menor, es menor que la mitad de AB, el lado del cuadrado mayor. Por esta razn, F C, la diagonal del cuadrado menor, ser menor que la mitad o a de AC, la diagonal del cuadrado mayor. Pero la igualdad EC = AC AD implica que si la diagonal y el lado del cuadrado original son conmensurables, tambin lo ser EC que se e a medir con la misma medida comn a ambos, razonamiento que, en funcin de la igualdad a u o F C = AD EC tambin puede aplicarse a F C; es decir, F C se mide con la medida comn a e u AC y AD. 79

 4.2. DIVISION EN EXTREMA Y MEDIA RAZON Una construccin similar sobre el cuadrado F ECG muestra que hay un cuadrado ms o a pequeo, cuya diagonal es menor que la mitad de la diagonal F C y que se mide con la medida n comn a AC y AD. Pero el procedimiento puede repetirse haciendo aparecer nuevos cuadrados u cuyas diagonales son menores que las mitades de las diagonales de los cuadrados anteriores. Tal repeticin producir eventualmente una diagonal menor que la medida comn a AC y AD, lo o a u cual es absurdo pues un segmento no puede ser menor que el segmento que lo mida, QED De nuevo tenemos un razonamiento por reduccin al absurdo, pero su naturaleza es eseno cialmente distinta del anterior, por cuanto este ultimo procede por sustracciones sucesivas de unos segmentos sobre otros siempre que en cada paso se sustraiga ms de la mitad, lo que a debe llevar a estar por debajo de cierto l mite a partir de un punto determinado, tal como lo estableci Euclides siguiendo a Eudoxo. o

4.2 Divisin en extrema y media razn o o

Como ya vimos en la seccin 3.6 desde la pgina 70 en adelante, un problema cuya solucin o a o se asigna histricamente al pitagorismo est relacionado con el pentgono regular: se trata o a a de construir dicho pentgono a partir de un tringulo issceles cuyos ngulos en la base son a a o a cada uno el doble del ngulo en el tercer vrtice. La presencia del pentgono y el trazo de a e a

Figura 4.6: La estrella pitagrica y la seccin urea. o o a sus diagonales hizo aparecer la estrella de cinco puntas (ver gura 3.19 en la pgina 71), que a fue usada como un s mbolo de pertenencia a la escuela. Ahora bien, las relaciones de tamao n establecidas entre las diagonales y los lados del pentgono pudieron conducir a la interrogante a acerca de la razn existente entre el segmento mayor y el menor de los generados por el corte o de las diagonales, como quiere sugerir la gura 4.6. La respuesta a esta interrogante conduce a lo que la posteridad conoci como razn aurea o o o divisin en extrema y media razn: un segmento est dividido por uno de sus puntos en extrema o o a y media razn cuando el segmento total es al segmento mayor como dicho segmento mayor es o al menor. Las diagonales del pentgono regular se cortan en extrema y media razn; es decir a o 80

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS que en la gura 4.6 se tiene que AC : AD :: AD : DC. Problema 4.3 Demuestre esta ultima armacin. Para ello trace la diagonal que falta desde C y o observe que aparecen tringulos issceles semejantes entre si. a o Las asignaciones a = AC, x = AD, a x = DC, conducen a la ecuacin de segundo grado o x a = x ax que ya hemos visto asociada a la proposicin II.11 de Euclides en la pgina 62. o a Pero no terminan all las interrogantes, pues ahora cabe indagar acerca de la conmensura bilidad de los segmentos generados por el corte. Sea entonces el segmento AC cortado por D en extrema y media razn y llevemos el segmento DC (el menor) sobre el segmento AD (el o

Figura 4.7: Inconmensurabilidad en la seccin urea. o a mayor), lo que genera un punto E en este ultimo, tal que AE = DC. La proporcin anterior se o puede interpretar, entonces, en la forma (AD + DC) : AD :: (AE + ED) : AE, lo que equivale a DC : AD :: ED : AE, de donde AD : DC :: AE : ED, y nalmente[7] AD : AE :: AE : ED, lo que signica que llevar el segmento menor sobre el mayor reproduce nuevamente la divisin o en extrema y media razn. o Si los segmentos de la divisin tuvieran una medida comn, cada uno de los segmentos o u menores que aparecen en cada superposicin se medir con esa medida comn. Pero como en o a u una divisin en extrema y media razn el segmento mayor es ms grande que la mitad del o o a segmento total, las superposiciones consecutivas llevarn eventualmente a un segmento menor a ms pequeo que la medida comn, lo cual es imposible. Los segmentos de la divisin en extrema a n u o y media razn son inconmensurables. o
[7] Estas equivalencias entre proporciones estn debidamente justicadas en los Elementos en la deniciones a V.13 a V.15.

81

 4.3. RAZON Y PROPORCION: LAS DEFINICIONES Es punto para la polmica determinar si los pitagricos podr llevar adelante demostracioe o an nes como stas. De hacerlo, estaban en posesin de estructuras antifairticas de razonamiento, e o e pero la evidencia histrica parece indicar que tales estructuras fueron usadas por vez primera o por el platnico Eudoxo y se piensa, quizs con base en la enorme inuencia de Arqu o a medes, que su uso en los Elementos no es ms que una modicacin, en el estilo de Euclides, de la a o herencia eudoxiana. Eudoxo apareci en escena alrededor de siglo y medio despus de Pitgoras. o e a Sea como fuere, vale la pena destacar la tremenda paradoja histrica que signic el que los o o s mbolos pitagricos ms destacados el teorema de Pitgoras y la estrella de cinco puntas o a a fueran los instrumentos de demolicin de su creencia ms sagrada: la inexcepcional conmensuo a rabilidad de los segmentos. Fue la divulgacin de esta anormalidad de la estrella pitagrica o o la que produjo el naufragio alegrico o no de Hipaso? Recurdese pginas 70 y 75 que este o e a naufragio ha sido asociado al dodecaedro y al descubrimiento de la razn urea, temas que, de o a acuerdo a lo recientemente visto, no son aspectos separados.

4.3 Razn y proporcin: las deniciones o o

Pero la inconmensurabilidad produce al pitagorismo problemas que van ms all de lo mea a ramente religioso, aunque la enorme dicultad epistemolgica que estos problemas conllevaban o hizo imposible que los pitagricos pudieran resolverlos completamente, dejando para la posterio dad la tarea. La geometr de los pitagricos creci a la sombra de una teor de las proporciones a o o a que se mostr incompleta en tanto no pod incluir los segmentos inconmensurables; la escuela o a no era ajena a esta deciencia, aspecto que podr ayudar a explicar por qu las alusiones al a e celo de los pitagricos que incluso pudo haber llevado al asesinato rondan preferiblemente el o tema de los inconmensurables. En principio exist la esperanza de que el abarcara todo par de segmentos mas, a como veremos dentro de poco, vale establecer relaciones de proporcionalidad entre segmentos inconmensurables, lo que coloca en revisin cr o tica el concepto mismo de razn, base de la o proporcin; en otras palabras, hab que reconcebir el ... reconceptualizar la idea. El nuevo o a concepto deb abarcar tanto a los conmensurables como a los inconmensurables. En lo que sigue a podemos obtener una ganancia pedaggica de valor incalculable, pues en una poca como la o e nuestra, con una matemtica tan imbuida de lo formal en la que a veces el estudiante siente que a los conceptos nacen con su denicin y, por tanto, dirige sus esfuerzos ms a la formalizacin o a o que a la propia comprensin entender o, al menos, intentar descifrar las motivaciones de una o denicin nada intuitiva en su expresin nal, es un ejercicio de acercamiento total a la creacin o o o matemtica en su esencia ms a a ntima. Si la denicin de razn se adeca a lo que tenemos en mente, debe llevarnos a las proporo o u ciones correctas entre las razones que, a priori, intu mos las mismas. Por ejemplo, si tenemos dos cuadrados de lados distintos L y l, cuyas diagonales respectivas son D y d (ver gura 4.8), entonces ha de cumplirse que D : L :: d : l, independientemente de la inconmensurabilidad de los segmentos involucrados. Un primer intento est resumido en la denicin V.3 [9, Vol. 2, p. a o 9]:
Una razn es determinada relacin con respecto a su tamao entre dos magnitudes hoo o n mogneas. e

82

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS

Figura 4.8: D : L :: d : l. Ahora bien, ni siquiera a quien realiza un trabajo fundacional como el que analizamos, se le escapa el carcter vago de una denicin como sta. De hecho, entre los expertos se considera a o e que tal denicin no es euclidiana en absoluto, sino que se trata de una interpolacin para o o algunos (como Simson) lamentable. Heath, sin embargo, no ve razn para seguir esta l o nea de pensamiento y la considera leg tima condescendiendo, adems, con Barrow quien piensa que a Euclides pudo haberla incluido con nes de completacin, en la misma forma que incluy las o o deniciones de punto, recta y plano. Por lo dems, Barrow (citado por Heath, [8, Vol. 2, p.117]) a le asigna un carcter ms bien metaf a a sico que matemtico, pues aunque el trmino denido se a e usa a todo lo largo del texto, no pasa lo mismo con la denicin; de hecho, las deniciones V.4 o y V.5 parecen destinadas a completar la idea que quiso expresar V.3. Sin embargo, ya Eudoxo antes de Euclides hab previsto este problema y anticipado la a solucin de manera magistral. Tratemos de aclarar con un sencillo ejemplo. Supngase que o o tenemos dos segmentos D y L y a partir de un punto O marquemos en una recta cualquiera una serie de puntos consecutivos A1 , A2 , A3 , etc. cada uno separado de su antecesor por la longitud de D. En otra recta paralela a la anterior y a partir de un punto o situado en la perpendicular a ambas que pasa por O, marquemos una serie de puntos a1 , a2 , a3 , etc. separados dos consecutivos cualesquiera por una distancia L, tal como se muestra en la gura 4.9. Supongamos en principio que D y L son conmensurables, como por ejemplo D : L :: 7 : 5.

Figura 4.9: Construccin del concepto de razn. o o En este caso, cada 5D se tiene una coincidencia con alguna 7L, es decir, coincidirn A5 con a7 , a A10 con a14 , A15 con a21 , etc. Rec procamente, si encontramos una coincidencia entre alguna de las A con alguna de las a, supongamos Am con an , es claro entonces que cada mD se corresponde con una nL, por lo que se tiene la conclusin de que D : L :: n : m, de donde se o sigue que los segmentos en cuestin ser conmensurables. o an 83

 4.3. RAZON Y PROPORCION: LAS DEFINICIONES El razonamiento anterior expone por tanto una condicin suciente y necesaria, a partir de o la cual es evidente que si D y L son segmentos inconmensurables, como por ejemplo la diagonal y el lado de un cuadrado, entonces es imposible que coincida alguna A con alguna a; de manera que entonces toda A se encontrar situada entre dos a consecutivas. a En cualquiera de los dos casos, siempre existir una A que sobrepase a alguna a escogida a y, viceversa, toda A que se seleccione ser sobrepasada por alguna a. En trminos de D y L a e se puede armar que algn mltiplo de L ser mayor que cualquier mltiplo particular de D o u u a u viceversa. Esta es la clave de la observacin de Eudoxo,[8] que ser recogida por Euclides en la o a Def. V.4 [9, Vol. 2, p. 10]:
Se dice que guardan razn entre s las magnitudes que, al multiplicarse, pueden exceder o una a otra.

Esta denicin completa la denicin V.3 y, adems, resuelve el problema de su vaguedad. La o o a denicin permite las observaciones siguientes: o (a) Si D y L son conmensurables alguna de las A coincidir con alguna de las a; de hecho, esta a situacin se repetir innitas veces en mltiplos enteros de cada una de las cantidades. o a u (b) Si D y L son inconmensurables o bien toda A estar entre dos a consecutivas o bien, al a contrario, toda a estar entre dos A consecutivas. a Problema 4.4 En la gura 4.9 D y L son, efectivamente, las medidas de la diagonal y el lado de un cuadrado. Una revisin cuidadosa muestra que A5 est entre a7 y a8 . Al respecto, qu podr o a e a decir de A10 ? Y de A100 ? O de A1 000 000 ? Qu respuesta dar a las preguntas anteriores e a si D y L fueran el lado mayor y el lado menor, respectivamente, de la divisin urea? o a An no estamos listos. Sigue pendiente qu signica la proporcin cuando las razones no u e o pueden expresarse en trminos de nmeros; es decir, la explicacin de la proporcionalidad exe u o presada en la gura 4.8. Pero esta es una labor que, en s misma, signica nada menos que la propia reelaboracin (y consiguiente reformulacin) del concepto de proporcin. Es aqu dono o o de Euclides arranca los mejores frutos (al menos los mejores para su poca) del rbol que e a sembr Eudoxo. o Supongamos que a la construccin mostrada en la gura 4.9 la acompaamos con una o n construccin similar, en la que identicamos puntos B separados por segmentos congruentes o d y puntos b separados por segmentos congruentes l, tal como se muestra en la gura 4.10. Aadamos la suposicin de que los pares D, L y d, l son, diagonales y lados respectivos de n o dos cuadrados distintos como, digamos, los de la gura 4.8. Como ya hicimos ver, esperamos poder armar que D : L :: d : l, de manera que las dos l neas identicadas con los puntos B, b representar un modelo a escala de las dos identicadas con los puntos A, a. Esto no puede an signicar otra cosa que el hecho de esperar que las posiciones relativas entre cualquier par A, a se correspondan en idntica forma con el par similar B, b. As del hecho de que A3 est entre e , e a4 y a5 esperamos que B3 est entre b4 y b5 ; nos parecer un completo contrasentido dentro e a del concepto cuya denicin esperamos alcanzar que B3 estuviera antes de b4 o despus de b5 . o e
[8] Que

luego se llamar axioma de Arqu a medes por las importantes aplicaciones que este ultimo le encontrar a.

84

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS

Figura 4.10: Concepto general de proporcin. o En resumen, las posiciones relativas de dos mltiplos distintos de D y L se corresponden a las u posiciones relativas de los mismos mltiplos de d y l. Pero incluso esto ser verdadero en el u a caso de que D y L (y, por supuesto, d y l) fueran conmensurables, con la ventaja adicional en este caso de que las posiciones relativas pueden incluir la coincidencia. Ahora bien, cabe la pregunta siguiente: llevar la relacin entre mltiplos expresada en el a o u prrafo anterior a la idea intuitiva que tenemos de proporcin? Observemos que esta pregunta a o tiene un carcter nada matemtico, sino exclusivamente epistemolgico: desde un punto de vista a a o estrictamente terminolgico no se puede exigir a quien dene, el demostrar que su denicin es o o la adecuada para el trmino denido. Tal como hace ver Heath siguiendo a Barrow es como e pedir a alguien que demuestre que la palabra circunferencia slo es aplicable a las curvas que o contienen a los puntos equidistantes de un punto jo. Pero ntese que si tuviramos cuatro o e segmentos D, L, d y l , de forma que l tuviera alguna diferencia, por pequea que fuera, con l n y construyramos con ellos la gura 4.10, esto bastar para destruir nuestro modelo a escala. e a En efecto, supongamos que l es menor que l en una diferencia igual a la dcima parte de l; e en trminos clsicos, esta idea la expresamos en la forma (l l ) : l :: 1 : 10. Esta pequea e a n perturbacin del modelo empuja cada b a su izquierda en una dcima parte de su situacin o e o original, lo que traer como consecuencia que b10 se localice en la posicin que anteriormente a o ten b9 . A partir de aqu ya nada ser como antes en trminos de posiciones relativas de los a , a e mltiplos de los pares D, L y d, l . u Aclarado el aspecto epistemolgico, podemos por n entrar en la denicin euclidiana del o o concepto de misma razn[9] recogida como denicin V.5 [9, Vol.2, p. 11]: o o
Se dice que una primera magnitud guarda la misma razn con una segunda que una tercera o con una cuarta, cuando cualesquiera equimltiplos de la primera y la tercera excedan a la u
[9] No decimos igual razn. A la distancia histrica parece una sutileza in til; sin embargo, va ms all de esto. o o u a a En ingls, De Morgan (citado por Heath) habla de sameness of ratios, no de equality of ratios. Dif e cilmente el uso castellano sancione el adjetivo mismidad.

85

4.4. ORDEN Y APROXIMACIONES

par, sean iguales a la par o resulten inferiores a la par, que cualquiera equimltiplos de la u segunda y la cuarta, respectivamente y tomados en el orden correspondiente.

As la proporcin D : L :: d : l, signica apelando a la moderna simbolog que, para , o a todo par de nmeros m, n, si mD >, = o < nL entonces ha de tenerse que md >, = o < u nl, correlativamente. Como punto de culminacin, Euclides completa su marco terico con la o o denicin V.6 [9, Vol. 2, p. 12]: o
Llmense proporcionales las magnitudes que guardan la misma razn. a o

con la cual se domina de manera denitiva el concepto de proporcin. o Para nalizar la consideracin pedaggica, vale la pena hacer notar que la proposicin X.5 o o o de Euclides dice [9, Vol. 3, p. 19]:
Las magnitudes conmensurables guardan entre s la misma razn que un nmero guarda o u con un nmero. u

lo que signica que Euclides retorna a la visin pitagrica original (muy particular) del cono o cepto de proporcin, cinco libros despus de haber resuelto el problema de manera general. o e Exposiciones metdicas como stas slo son posibles si vienen precedidas de un largo proceso, o e o tericamente doloroso, compuesto de pocos aciertos y muchos errores, en los que el expositor se o presenta casi como un prodigioso armador de un dif rompecabezas histrico, que le lleg con cil o o todas o casi todas las piezas incluidas. De hecho, cualquier libro de matemtica actual no es a ms que una instancia de un proceso de esta naturaleza, algunos no ms que simples reconsa a trucciones de rompecabezas ya armados. Todo profesor de matemtica har bien informando a a de esto a sus disc pulos.

4.4 Orden y aproximaciones

Queda un aspecto del problema por analizar; aspecto que se inscribe en lo ms rancio de la a tradicin pitagrica, a pesar de lo cual no aparece como materia de estudio en los Elementos, o o pero fue explotado hasta extremos magistrales por Arqu medes. Se trata de conseguir razones numricas que expresen de la mejor forma posible las razones entre inconmensurables. Asunto e que involucra dos subproblemas distintos: el primero: qu signica la mejor forma posible?; e el segundo, qu mtodo (o mtodos) lleva a conseguir tales razones numricas? e e e e A nuestros objetivos le interesan fundamentalmente el primero de los subproblemas mencionados, es decir, el criterio para decidir, entre dos razones numricas distintas, cul es mejor e a para representar una razn entre inconmensurables. Volvamos a la gura 4.9 de la pgina 83 o a y supongamos nuevamente que D y L son diagonal y lado respectivos de un cuadrado. En lo que sigue haremos uso de nuestro conocimiento de las aproximaciones decimales a 2 (lo que se supone que debimos hacer para resolver el problema 4.4). Pensemos adems que hemos a continuado el dibujo hasta los extremos que comentaremos. 86

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS Por ejemplo, A5 est colocada (vuelva a la gura 4.9) entre a7 y a8 ; es decir 5D es ms que a a 7L, pero menos que 8L. Si, por el contrario, 5D coincidiera con 7L tendr amos que decir que D : L :: 7 : 5; mas si coincidiera con 8L armar amos que D : L :: 8 : 5. En cierto sentido, es como si la razn 7 : 5 apareciera antes de la razn D : L pero, a su vez, 8 : 5 aparece despus o o e de D : L. Esta consideracin muestra la necesidad de introducir el concepto de orden entre las o razones: nos gustar decir que la razn D : L es mayor que la razn 7 : 5, pero menor que la a o o razn 8 : 5. Euclides resuelve esta necesidad con la denicin V.7 [9, Vol. 2, p. 13]: o o
Entre los equimltiplos, cuando el mltiplo de la primera excede al mltiplo de la segunda u u u pero el mltiplo de la tercera no excede al mltiplo de la cuarta, entonces se dice que la u u primera guarda con la segunda una razn mayor que la tercera con la cuarta.[10] o

Continuando de la manera indicada la exploracin de la recta encontraremos nuevas posicioo nes relativas que nos permitirn expresar nuevas relaciones de orden del tipo que acabamos de a describir. As A10 se encuentra situada entre a14 y a15 , por lo cual D : L es mayor que 14 : 10 y menor que 15 : 10; A100 se encuentra entre a141 y a142 , de donde D : L es mayor que 141 : 100 y menor que 142 : 100; A1 000 000 se localiza entre a1 414 213 y a1 414 214 , de forma que D : L es mayor que 1 414 213 : 1 000 000 y menor que 1 414 214 : 1 000 000. Aplicaciones sucesivas del criterio establecido por la denicin V.7 mostrarn que las razones o a anteriores (incluyendo a D : L) se pueden organizar, de mayor a menor, de acuerdo a la siguiente lista: 8:5 15 : 10 142 : 100 1 414 214 : 1 000 000 D:L 1 414 213 : 1 000 000 141 : 100 14 : 10 7:5 (las dos ultimas son, de hecho, la misma razn) de forma que las razones que hemos colocado en o las l neas ms cercanas a D : L se pueden considerar mejores para representarla que aquellas a que estn en l a neas ms alejadas. Hoy utilizamos para expresar esta idea la palabra aproximaa cin. Los pitagricos consiguieron aproximaciones a 2 mediante el procedimiento de conseguir o o los nmeros lado y diagonal. El maestro griego de las aproximaciones fue Arqu u medes; de hecho, la razn circunferencia : dimetro, que los griegos no pudieron demostrar inconmensurable, o a
[10] Mar Luisa Puertas Casta o opina que, ms all de la deuda que la denicin V.5 pudiera tener con Eudoxo, a n a a o la V.7 es completamente euclidiana.

87

 4.5. LA APROXIMACION A

2 POR LOS NUMEROS LADO Y DIAGONAL

fue aproximada por Arqu medes situndola entre las razones 223 : 71 y 22 : 7. En el camino nos a sorprendi con otras, de las que ni siquiera nos dio explicacin, pero que nos asombran por su o o nura. Veremos el desarrollo de estas aproximaciones en las secciones siguientes.

4.5 La aproximacin a o

2 por los nmeros lado y diagonal u

Ten estudi las sucesiones de enteros llamadas nmeros lado y diagonal que, segn alo o u u gunos historiadores, tienen un origen pitagrico. Son las que vemos en la tabla siguiente: o 1 2 5 12 29 70 169 . . . 1 3 7 17 41 99 239 . . .

Problema 4.5 Denotemos por ln la sucesin de la columna izquierda de la tabla anterior y por o dn la sucesin de la columna derecha; es decir, l1 = 1, d1 = 1, l2 = 2, d2 = 3, l3 = 5, d3 = 7, o etc. (a) Verique que los nmeros lado y diagonal responden a las leyes de formacin: u o ln = ln1 + dn1 , dn = 2ln1 + dn1 .

2 (b) Demuestre que, para todo n, d2 2ln = (1)n . n

(c) Demuestre que la sucesin dn /ln es una sucesin alternante, es decir: si un trmino es o o e mayor que el precedente, entonces es menor que el prximo y viceversa. o (d) Demuestre que la sucesin dn /ln converge a 2. o
2 Ten hizo la observacin del cumplimiento de la ecuacin d2 2ln = (1)n y del hecho de o o o n que la suma de los cuadrados de los dn es el doble de la suma de los cuadrados de los ln , si se toma un nmero par de sumandos. (Si se toma un nmero impar, dieren en una unidad.) Pero u u Ten no da las pruebas, posiblemente porque eran sucientemente conocidas. En el segundo o libro de los Elementos considerado el ms pitagrico de ellos conseguimos dos proposiciones a o relacionadas con la solucin geomtrica de este problema: II.9 y II.10. La primera de ellas dice o e [9, Vol. 1, p. 279]:

Si se corta una l nea recta en partes iguales y desiguales, los cuadrados de los segmentos desiguales de la (recta) entera son el doble del cuadrado de la mitad ms el cuadrado de a la (recta situada) entre los (puntos) de seccin. o

88

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS lo que signica que, si en el segmento de la derecha tomamos su punto medio y otro punto cualquiera , se cumple
2

2 = 22 + 2

Para los que nos interesa es mejor escribir lo anterior en la forma puesto que si hacemos x = anterior se transforma en
2

22 = 2

2 ,

yy=

, como muestra la misma gura, entonces la ecuacin o

(2x + y)2 2(x + y)2 = 2x2 y 2 , que contiene las caracter sticas principales de los nmeros lado y diagonal: (a) cmo se generan u o y (b) la alternancia de los signos. Por otra parte, II.10 permite construir geomtricamente la secuencia de nmeros lado y e u diagonal; esta proposicin arma [9, Vol. 1, p. 281]: o
Si se divide en dos partes iguales una l nea recta y se le aade, en l n nea recta, otra recta, el cuadrado de la (recta) entera con la (recta) aadida y el (cuadrado) de la aadida, tomados n n conjuntamente, son el doble del (cuadrado) de la mitad y el cuadrado construido a partir de la (recta) compuesta por la mitad y la (recta) aadida, tomadas como una sola recta. n

lo que signica que, en la gura a la derecha, en que divide por la mitad al segmento que se prolonga hasta , se tiene
2

= 22 + 2

Figura 4.11: Generacin geomtrica de los nmeros lado y diagonal. o e u Partamos ahora, apoyndonos en la gura 4.11, del cuadrado de lado (= l) y diagonal a (= d). Prolonguemos con = y luego con = . De acuerdo a II.10 se tiene que 2 + 2 = 22 + 2 2 , pero por ser = resulta 2 = 22 , por lo cual 2 = 2 2 . Finalmente, como 2 = 2 2 se obtiene = . Es decir, que a partir del cuadrado de lado l y diagonal d se construy el cuadrado de lado l + d y diagonal 2l + d. o 89

 4.6. ARQU IMEDES Y LA APROXIMACION A Problema 4.6 (a) Demuestre que las sucesiones de nmeros lado y diagonal u ln = ln1 + dn1 , dn = 2ln1 + dn1 son tales que dn /ln converge a 2 independientemente de los valores iniciales. (b) Cmo deben cambiarse las frmulas anteriores para que dn /ln converja a k, donde k o o es un nmero positivo cualquiera? u

4.6 Arqu medes y la aproximacin a o

Los griegos no usaron la letra para identicar la relacin constante o circunferencia : dimetro. Tampoco demostraron que esta ultima razn fuera inconmena o surable, es decir que es irracional. Se dice que Hipcrates de Qu demostr que la razn o os o o del c rculo al cuadrado del dimetro era una constante, pero existen dudas acerca de esta a atribucin y otros preeren creer que se debe a Eudoxo tal resultado. Euclides lo recoge como o su proposicin X.2 en los Elementos y la demostracin es una bella aplicacin del mtodo o o o e de exhauscin, derivado de los procedimientos eudoxianos. Utiliza la tantas veces comentada o aproximacin a la circunferencia mediante pol o gonos regulares inscritos y circunscritos. Arqu medes tambin demuestra esta proposicin; lo hace en su libro Medida del c e o rculo. Pero el procedimiento arquimediano brilla por su originalidad: comprueba que el rea de un a c rculo es igual a la de un tringulo rectngulo uno de cuyos catetos mide la longitud de la a a circunferencia y el otro el radio del c rculo. La demostracin se sostiene en un magistral uso de o la reduccin al absurdo, la tricotom y los procedimientos eudoxianos. De paso muestra que la o a constante de proporcionalidad entre el c rculo y el cuadrado de su dimetro es la cuarta parte a de la constante de proporcionalidad entre la circunferencia y el dimetro. Esto es el equivalente a a nuestras conocidas frmulas o l = 2r y A = r2

para la longitud de la circunferencia y el rea del c a rculo, respectivamente. Tambin en Medida del c e rculo Arqu medes consigue una excelente aproximacin a , usano do el procedimiento de los pol gonos regulares inscritos y circunscritos. Comenzando por el hexgono contina, en un brillante proceso recursivo, doblando el nmero de lados hasta llegar a u u al pol gono de 96 lados, donde detiene su clculo. La aproximacin conseguida es[11] a o
1 10 3 71 < < 3 7 ,

aunque Hern (ver [12, Vol. 1, p. 232]) arma que el mismo Arqu o medes hab conseguido una a an mejor. u
[11] En

b b lo que sigue, para mayor comodidad en la escritura, usaremos la notacin a c al referirnos a a + . o c

90

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS Antes de ver cmo lleg a este resultado es bueno observar que, habiendo partido del o o hexgono, Arqu a medes hubo de tenrselas con el tringulo rectngulo mitad de un tringue a a a lo equiltero (el tringulo 306090), cuyos catetos responden a la razn 3 : 1, por lo cual a a o Arqu medes necesitaba una aproximacin a esta razn. Sin ninguna explicacin, dio la siguiente o o o 265 : 153 < 3 : 1 < 1351 : 780, creando una interrogante histrica que ha ocupado a muchos estudiosos de la historia de la o matemtica. a Problema 4.7 Considere la siguiente sucesin de nmeros lado y diagonal o u ln = ln1 + dn1 , Partiendo de l1 = d1 = 1 muestre que d9 265 = l9 153 y d12 1351 = . l12 780 dn = 3ln1 + dn1 .

Aventurar usted la hip de que Arqu a otesis medes pudo usar en imitacin del procedimiento o pitagrico para aproximar 2 este mtodo para su aproximacin de 3? Deenda su criterio. o e o

Problema 4.8 Demuestre que en todo tringulo, la bisectriz de un ngulo divide al lado opuesto a a en dos segmentos proporcionales a los lados del ngulo bisectado. a A pesar de las dicultades de su sistema de numeracin, Arqu o medes se enfrentaba a los grandes nmeros con tranquilidad.[12] En la aproximacin a de Medida del c u o rculo aparecen, como lo veremos, grandes nmeros cuya ra cuadrada debe extraer y para los cuales consigue u z aproximaciones racionales sorprendentes, por exceso y por defecto dependiendo de la necesidad. Veamos entonces.

Figura 4.12: Aproximacin arquimediana a por pol o gonos inscritos Para entender el tratamiento que dio a los pol gonos inscritos podemos usar la gura 4.12, que muestra el semic rculo de dimetro AB con el lado BC del hexgono inscrito, por lo cual a a el tringulo ABC es la mitad de un equiltero con el ngulo recto en C. Por lo ya comentado a a a AB : BC :: 2 : 1 y AC : BC :: 3 : 1 < 1351 : 780.
[12] Una muestra es el texto Arenario, en el que demuestra al rey Geln que el n mero de granos de arena del o u universo es nito y, de hecho, aproxima el nmero. El texto completo puede leerse en [19, Vol. 4, pp. 417]. u

91

 4.6. ARQU IMEDES Y LA APROXIMACION A El inters de Arqu e medes apuntaba a las razones del tipo AB : BC que expresan la relacin o entre el dimetro del c a rculo y el lado del pol gono inscrito, pero para obtener stas necesitar e a, como veremos a continuacin, las del tipo AC : BC que dan la razn entre los catetos del o o tringulo rectngulo inscrito en el semic a a rculo. Tracemos AD, bisectriz de BAC con D en la circunferencia y sea E el punto en que AD corta al lado BC. Es claro que BD es, entonces, el lado del dodecgono inscrito. Los tringulos a a ADB y ACE son semejantes, lo que signica que AD : DB :: AC : CE. Por otra parte, como AE es bisectriz del ngulo BAC el problema 4.8 nos informa que a AC : AB :: CE : EB, lo que se reescribe en la forma AC : CE :: AB : EB. Por consiguiente AD : DB :: (AC + AB) : (CE + EB), es decir AD : DB :: (AB + AC) : BC. Para desarrollar la razn del lado derecho de esta ultima proporcin debemos observar que o o AB : BC :: 2 : 1 :: 1560 : 780, por lo cual AD : DB < (1560 + 1351) : 780, de donde AD : DB < 2911 : 780, que acota la razn entre los catetos del tringulo rectngulo inscrito. Veamos ahora que hizo o a a con la relacin dimetro : lado en el dodecgono inscrito. En primer lugar o a a AB 2 : BD2 = (AD2 + BD2 ) : BD2 , en consecuencia AB 2 : BD2 < (29112 + 7802 ) : 7802 , o AB 2 : BD2 < 9 082 321 :: 7802 . En este punto Arqu medes hace uso de su prodigioso poder de clculo para sorprendernos a al extraer la ra con la siguiente aproximacin z o
3 AB : BD < 3013 4 : 780.

A partir de aqu el procedimiento es similar trazando las bisectrices sucesivas AF , AH y , AJ con F , H y J en la circunferencia las cuales denen los segmentos BF , BH y BJ como 92

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS lados de los pol gonos regulares inscritos de 24, 48 y 96 lados respectivamente. Indiquemos el resumen de los clculos. a Pol gono de 24 lados AF : F B :: (AB + AD) : BD AF : F B < (3013 3 + 2911) : 780, 4
3 AF : F B < 5924 4 : 780 :: 1823 : 240.

(Esta reduccin de la razn a trminos menores tambin es del propio Arqu o o e e medes.) AB 2 : BF 2 = (AF 2 + BF 2 ) : BF 2 , AB 2 : BF 2 < (18232 + 2402 ) : 2402 , AB 2 : BF 2 < 3 380 929 :: 2402 ,
9 AB : BF < 1838 11 : 240.

Pol gono de 48 lados AH : HB :: (AB + AF ) : BF

9 AH : HB < (1838 11 + 1823) : 240, 9 AH : HB < 3661 11 : 240 :: 1007 : 66.

AB 2 : BH 2 = (AH 2 + BH 2 ) : BH 2 , AB 2 : BH 2 < (10072 + 662 ) : 662 , AB 2 : BH 2 < 1 018 405 :: 662 , AB : BH < 1009 1 : 66. 6 Pol gono de 96 lados AJ : JB :: (AB + AH) : BH AJ : JB < (1009 1 + 1007) : 66, 6 AJ : JB < 2016 1 : 66. 6 AB 2 : BJ 2 = (AJ 2 + BJ 2 ) : BJ 2 , AB 2 : BJ 2 < [(2016 1 )2 + 662 ] : 662 , 6
1 AB 2 : BJ 2 < 4 069 284 36 :: 662 ,

AB : BJ < 2017 1 : 66. 4 El anlisis con los pol a gonos circunscritos se parece bastante al anterior. Partiremos de la gura 4.13, en la que vemos el semic rculo de centro O y radio OA; el segmento AB, tangente al c rculo en A, es la mitad del lado del hexgono circunscrito, por lo que el tringulo OAB es a a 93

 4.6. ARQU IMEDES Y LA APROXIMACION A

Figura 4.13: Aproximacin arquimediana a por pol o gonos circunscritos la mitad de un equiltero, con su ngulo recto en A. Esto signica que a a OA : AB :: 3 : 1, de donde, por aproximacin arquimediana, o OA : AB > 265 : 153 y adems a OB : AB :: 2 : 1 :: 306 : 153. Tracemos la bisectriz del ngulo AOB que corta a la recta AB en C. Entonces AC es la a mitad del lado (semilado) del dodecgono circunscrito. Pero tambin a e OB : OA :: BC : AC, por lo que, usando propiedades de las proporciones, (OB + OA) : OA :: (BC + AC) : AC, o (OB + OA) : OA :: AB : AC, que se transforma en (OB + OA) : AB :: OA : AC, por lo que, aplicando lo visto en el hexgono, se llega a que a OA : AC > (306 + 265) : 153, es decir OA : AC > 571 : 153. Por otra parte, OC 2 : AC 2 = (OA2 + AC 2 ) : AC 2 > (5712 + 1532 ) : 1532 , de donde OC 2 : AC 2 > 349 450 : 1532 que Arqu medes, redondea a
1 OC : AC > 591 8 : 153.

94

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS Los siguientes clculos los resumimos: a Pol gono de 24 lados (OD bisectriz de AOC) OA : AD > 1162 1 : 153, 8 OD2 : AD2 > 1 373 943 33 : 1532 , 64
1 OD : AD > 1172 8 : 153.

Pol gono de 48 lados (OE bisectriz de AOD)

1 OA : AE > 2334 4 : 153, 1 OE 2 : AE 2 > 5 472 132 16 : 1532 , 1 OE : AE > 2339 4 : 153.

Pol gono de 96 lados (OF bisectriz de AOE) OA : AF > 4673 1 : 153, 2 (En este ultimo caso no le hacen falta los clculos cuadrticos ya que la razn radio : semilado a a o es la que necesita.) Los resultados anteriores signican entonces que 96 66 : 2017 1 < < 96 153 : 4673 1 , 4 2 lo que Arqu medes simplica a la ya comentada
10 1 3 71 < < 3 7 .

Problema 4.9 En la gura 4.14 el arco AT B est subtendido por el lado AB del ngono regular a inscrito en la circunferencia de centro O y radio OA; por su parte, CD es el lado (paralelo

Figura 4.14: Aproximacin al valor de o a AB) del ngono regular circunscrito y T es el punto de tangencia de este lado con la circunferencia. R est en CD y RB es tangente a la circunferencia. a (a) Demuestre que AT y T B son lados del 2ngono inscrito en el c rculo. 95

4.7. DE LOS GRIEGOS A DEDEKIND (b) Demuestre que BR es la mitad del lado del 2ngono circunscrito. (c) Demuestre que el per metro del 2ngono circunscrito es media armnica entre los per o metros de los ngonos inscrito y circunscrito; esto es 1 1 2 = + . P2n Pn pn (d) Demuestre que el per metro del 2ngono inscrito es media geomtrica entre los per e metros del ngono inscrito y el 2ngono circunscrito; es decir P2n p2n = . p2n pn (e) Muestre cmo se pueden usar recursivamente las identidades anteriores para conseguir o aproximaciones a .

4.7 De los griegos a Dedekind

Hasta este momento hemos querido hacer patente el cmulo de dicultades que hubieron u de remontar los griegos para expresar unas ideas que hoy, dos mil trescientos aos despus, n e podemos hacer comprender al menos operacionalmente a un escolar. A ellos les llev cerca o de dos siglos superar esta cuesta; pero maravilla que en la actualidad de algunas de estas ideas (la irracionalidad de 2, por ejemplo) slo repetimos su legado y lo unico que hemos hecho o es aadirle econom de pensamiento, en forma de notaciones que facilitan la expresin de las n a o ideas con mayor rapidez. Pero no es poca la ganancia. El tiempo logr que las razones pasaran a ser cocientes y las proo porciones se convirtieran en igualdades numricas. An ms, las razones entre conmensurables e u a sufrieron la metamorfosis que las llev a nmeros racionales y aquellas entre inconmensurables o u pasaron a ser nmeros irracionales. Simblicamente, la idea u o D : L :: d : l, D d = , L l y el componente operacional de esta ultima trajo como consecuencia un componente estructural siempre presente, an no siendo evidente el cual contribuy a simplicar los esquemas de u o razonamiento, a costa de hacer menos elemental la idea original. La nomenclatura moderna convierte entonces el concepto de misma razn (Def. V.5) en o lo siguiente: d D = L l si y slo si dados dos enteros cualesquiera m, n se tiene que o mD < nL implica que md < nl mD = nL implica que md = nl mD > nL implica que md > nl 96 se transform en o

 CAP ITULO 4. LA ARITMETICA SUPERIOR DE LOS PITAGORICOS mientras que razn mayor (Def. V.7) se transforma en: o D d > L l si y slo si cuando dos enteros m, n hacen que mD > nL entonces se cumple que md nl. o Cada una de estas deniciones es en s misma un test que procede de manera exclusiva con nmeros enteros o con mltiplos enteros de las magnitudes involucradas; he all su dicultad. Al u u transformarlas en relaciones numricas abstractas, que incluyan el concepto de nmero racional e u con su carga operacional, facilitamos su manejo pues se nos hace claro que la armacin mD < o n D d D < y si queremos que = , no queda otra posibilidad nL es totalmente equivalente a L m L l n d que < , a su vez equivalente a md < nl. l m Entonces, cualquier razn D : L separar a todo el conjunto de las razones de enteros n : m o a en dos partes distintas: (a) aquella parte Y en la cual D : L es mayor que toda n : m y (b) aquella parte X en la cual D : L no es mayor que ninguna n : m. Si tuviramos otra razn e o d : l que fuera la misma que D : L sta nos dar una separacin similar en dos partes que, e a o correlativamente, llamaremos y y x. Si tomamos una razn n : m de la parte Y se cumplir que mD > nL pero, por la denicin o a o eucl dea de misma razn es claro que md > nl y, por tanto n : m estar tambin en la parte o a e y. El razonamiento anterior es completamente simtrico respecto a las ternas Y, D, L y y, d, l, e por lo cual es claro que toda razn n : m de la parte y ser tambin una razn de la parte Y . o a e o En otras palabras, las partes Y y y son exactamente la misma. A partir de aqu no debe ser , dif probar que tambin X y x son una y la misma cosa. cil e De manera que, entonces, cualquier razn D : L y todas aquellas razones d : l que sean las o mismas que ella, separan al conjunto de las razones de enteros en las dos partes X y Y que acabamos de comentar. Obsrvese que si D y L son conmensurables entonces D : L :: n : m, e para alguna razn n : m de la parte X; es ms n : m es la mayor de las razones contenidas en la o a parte X; pero si no son conmensurables entonces no podr establecerse una proporcin como a o la sealada para ninguna razn de enteros n : m. n o En el ao de 1872, el matemtico alemn Richard Dedekind (18311916) public un art n a a o culo denominado Continuidad y nmeros irracionales [6, pp. 127] en el que demuestra que el u conjunto de los nmeros racionales puede separarse, de innitas maneras, en dos conjuntos, de u forma que los elementos de uno de ellos sean todos mayores que cualquiera de los elementos del otro conjunto. A esta separacin, Dedekind la denomin cortadura y la represent por el o o o s mbolo (A1 , A2 ), en el que A1 y A2 son los conjuntos de la separacin. o Adems de esto, demostr que hay dos clases de cortaduras. Para una de estas clases, uno de a o los conjuntos de la separacin tiene un elemento extremo que le pertenece. Es decir, el conjunto o de elementos mayores tiene un elemento que es el menor de todos o el conjunto de elementos menores tiene un elemento que es el mayor de todos. La otra clase tiene la caracter stica de no poseer tales elementos extremos. Evidentemente, en el primer caso, el elemento extremo en cuestin es un nmero racional y Dedekind dice, entonces, que este nmero produce dicha o u u cortadura; en consecuencia, la cortadura se identica con tal nmero racional. u En lo que respecta al segundo caso, Dedekind escribe [6, p. 15]: 97

4.7. DE LOS GRIEGOS A DEDEKIND

Entonces, siempre que nos encontremos con una cortadura (A1 , A2 ) que no haya sido producida por ningn nmero racional, crearemos un nuevo nmero, un nmero irracional u u u u , al que consideraremos completamente denido por esta cortadura (A1 , A2 ); diremos que el nmero corresponde a esta cortadura o que la produce.[13] u

Es decir, Dedekind dene al nmero irracional por simple identicacin con la cortadura cou o rrespondiente y, como es lgico, cada racional en A1 es menor que y cada racional de A2 es o mayor que . Lo dems es aadir a este concepto una base operacional, tarea que Dedekind a n realiza pocas pginas despus en el mismo ensayo. a e Los historiadores de la matemtica han observado que (salvo quizs por esta base opea a racional) el concepto de misma razn se puede comparar con el concepto de cortadura de o Dedekind. Basta observar que las partes X, Y que aparecieron prrafos atrs pueden asimia a larse exitosamente, de forma correlativa, a los conjuntos A1 , A2 que conforman la cortadura. As mismo, la pertenencia o no de las razones D : L a la parte X se puede comparar al papel de los nmeros (racionales o irracionales, respectivamente) que producen la cortadura. u Para otros, en cambio, esta comparacin resulta forzada. Pudieran tener razn, si considerao o mos que Euclides (o Eudoxo, en cualquier caso) y Dedekind orientaban sus objetivos sobre dos terrenos de naturalezas totalmente distintas. Sin embargo, en matemtica como en el poema de a Manrique[14] , pareciera que todos los conceptos van al mismo mar. Slo que en la matemtica o a no se trata de la mar, que es el morir sino, por el contrario, de una mar que es renacer.

de D. J. vidas son los r os/que van a dar en la mar/que es el morir;//all van los seor n os/derechos a se acabar/e consumir. Jorge Manrique, poeta renacentista espaol. n
[14] Nuestras

[13] Traduccin o

98

Bibliograf a
[1] Aristteles. F o sica. Libros III. Traduccin, introduccin y comentario: Marcelo Boeri. o o Editorial Biblos. Buenos Aires, 1993. [2] Aristteles. F o sica. Libros IIIIV. Traduccin, introduccin y comentario: Alejandro o o Vigo. Editorial Biblos. Buenos Aires, 1995. [3] Aristteles. F o sica. Libros VIIVIII. Traduccin, introduccin y comentario: Marcelo o o Boeri. Editorial Biblos. Buenos Aires, 2003. [4] Aristteles. Metaf o sica. Editorial Sudamericana. Buenos Aires, 2000. [5] Aristteles. Tratados de Lgica. (El Organn). Estudio introductivo, prembulos a los o o o a tratados y notas al texto por Francisco Larroyo. Coleccin Sepan cuantos.... Editorial o Porra. Mxico, 1969. u e [6] Dedekind, Richard. Essays on the Theory of Numbers. Dover Publications Inc. New York, 1963. [7] Digenes Laercio. Vida de los ms ilustres lsofos griegos. (Dos volmenes). Ediciones o a o u Folio, S. A. Barcelona, Espaa. 2002. n [8] Euclid. The thirteen books of the Elements. Translated with introduction and commentary by Sir Thomas L. Heath. (Tres volmenes). Dover Publications, Inc. New York. u Segunda Edicin, 1956. o [9] Euclides. Elementos. Traduccin y notas de Mar Luisa Puertas Castaos. (Tres o a n volmenes). Edit. Gredos, Madrid. 1991. u [10] Garc Bacca, Juan David. Historia esquemtica de los conceptos de nito e innito. a a Universidad Central de Venezuela, Ediciones de la Biblioteca. Caracas, 1982. [11] Guthrie, Kenneth Sylvan. The Pythagorean Sourcebook and Library. An Alexandria book, Phanes Press, USA, 1988. [12] Heath, Sir Thomas. A history of greek mathematics. (Dos volmenes). Dover Publicau tions, Inc. New York, 1981. [13] Herodoto de Halicarnaso. Los nueve libros de la Historia. (Nueve volmenes). Ediciones u elaleph.com, 2000. (Esta edicin est en l o a nea en la red; la direccin en la cual se accede o a ella es http://libros.astalaweb.com/Descargas/IndexGre.asp?autor=Herodoto.) [14] Ifrah, Georges. The universal history of numbers. John Wiley and sons, Inc., New York, 2000. [15] Jimnez, Douglas. La aventura de la matemtica. Sus secretos, protagonistas y grane a des momentos. Editorial C.E.C., Los libros de El Nacional. Primera edicin (Segunda o reimpresin). Caracas, 2001. o 99

[16] Kahn, Charles H. Pythagoras and the Pythagoreans. A brief history. Hackett Publishing Company, Inc. Indianapolis/Cambridge, 2001 [17] Mart nez Echeverri, Leonor y Mart nez Echeverri, Hugo. Diccionario de Filosof Pana. americana Editorial, Bogot. Tercera edicin, 1997. a o [18] Montanelli, Indro. Historia de los griegos. Plaza & Jans Editores, S. A. Barcelona. e Tercera edicin, 2000. o [19] Newman, James. Sigma: El mundo de las matemticas. (Seis volmenes). Ediciones a u Grijalbo, S. A. Barcelona, Espaa. Tercera edicin, 1969. n o [20] Platn. Dilogos. Estudio preliminar de Francisco Larroyo. Coleccin Sepan cuano a o tos.... Editorial Porra. Mxico, 1996. u e [21] Proclus. A commentary on the rst book of Euclid Elements. Translated with Introduction and notes, by Glenn R. Morrow. Princeton University Press. New Jersey, 1970. [22] Singh, Simon. El ultimo teorema de Fermat. Grupo Editorial Norma. Bogot, 1999. a [23] Swetz, Franz J. (Editor). From ve ngers to innity: a journey through the history of mathematics. Open Court Publishing Company, Chicago, Illinois, 1994. [24] Zellini, Paolo. Breve historia del innito. Ediciones Siruela S. A., Madrid, 1991.

100

 Indice de temas
acusmticos, 2, 70 a anacin musical, 6, 26 o a lgebra geomtrica, 47, 60 e algoritmo de Euclides, 78 amigos nmeros, 16 u antifairesis, 7880 anudadores de sogas, 53 aplicacin de reas, vase reas, aplicacin o a e a o de aproximacin o a , 9096 a 2, 53, 8690 a 3, 91 de Taylor, 51 a rea(s) aplicacin de, 46, 58 o por defecto, 58, 59, 6365 por exceso, 58, 59, 6365 comparacin con un cuadrado, 59 o de guras planas, 31, 34 de un c rculo, 31 aritmtica, 8 e media, 26 armon de las esferas, 7, 73 a armnica o media, 26 astronom 7 a, axioma de Arqu medes, 79, 84 cero, 30 compuesto nmero, 14, 15 u cnicas, 15, 16, 58, 59, 67 o conmensurabilidad absoluta, 73, 82 conocedores, 2 constelaciones, 7 cortadura, 97, 98 cosmos, 5, 8 cuadrado nmero, 1725 u opuesto a oblongo, 18, 22, 23, 55, 75 cuadratura del c rculo, 58 cubo, 66, 67, 69 cuneiforme, vase escritura cuneiforme e curvas el pticas, 57 defecto, 59, 63 deciente, 63 nmero, 16 u deniciones en los Elementos, 3, 4 d ada, 11, 14, 22 diez acumula el tetractys, 15 es un nmero perfecto, 15 u diorismos, 65 dodecaedro, 66, 67, 69, 70, 75, 82 dos dicultades de principio, 11, 14 es primo, 14 no es primo, 14, 15 ecuacin(es) o bicuadrtica, 31, 50 a de Euler, 66 de segundo grado, 30, 60, 62, 64, 65, 70, 81 de tercer grado, 30 exponenciales, 30 elementos como causas primeras o principios, 5, 67 elipse, 58 escritura cuneiforme, 30 hiertica, 32 a jerogl ca, 32 escuadra de carpintero, 19 estrella pentagonal, 70, 71, 80, 82 eutigrmico, 14 a eutimtrico, 14 e excesivo, 63 nmero, 15 u exceso, 59, 63 extrema y media razn, 8082 o guras csmicas, vase slidos platnicos o e o o echa, 50 fracciones egipcias, 33 geomtrica e media, 26, 48 101

 INDICE DE TEMAS gnomon, 1924, 46, 5556, 60, 61, 63 gnomnica, 19 o hecatombe, 38 hiertica, vase escritura hiertica a e a hiertico, 32, 34 a hiprbola, 58 e homeomer 39 a, homeomrica, 37 e horror inniti, 78, 79 icosaedro, 66, 67, 69, 70 impar denicin pitagrica, 11 o o nmero, 11 u imparmente impar nmero, 13 u imparmente par nmero, 12, 13 u imparpar, 13 incompuesto, 15 inconmensurabilidad como descubrimiento pitagrico, 75 o diagonallado, 46, 7577, 79 en la razn urea, 81 o a inconmensurable, 27, 48, 49, 71, 73, 82, 84, 87 inters compuesto, 30 e interpolacin, 13, 77 o irracional(es), 27, 48, 53, 71, 75 descubrimiento de los, 38, 46, 73 irracionalidad de , 90 de 2, 46, 75, 78, 96 isorrectngulo, 46, 47, 53, 67, 70, 76 a jerogl ca, vase escritura jerogl e ca kouku, 52 lineal nmero, 14 u llenar el plano, 43 magnitudes conmensurables, 86 magnitudes proporcionales, 86 matemtica a babilnica, 2932 o egipcia, 3235 palabra pitagrica, 8 o 102 matemticos, 8 a mximo comn divisor, 78 a u media, 26 aritmtica, 26 e armnica, 26 o geomtrica, 26, 48 e subcontraria, vase armnica e o mtodo de exhauscin, 90 e o misma razn, 85, 96, 98 o monocordio, 5, 25 musa de los pitagricos, 46, 58 o msica, 5, 8 u nociones comunes en los Elementos, 3, 4 numeracin o arbiga y decimal, 16 a de base 60, 30 romana, 16 nmero(s) u amigos, 16 clasicacin, 1125 o clasicacin poligonal, 18 o como objeto de estudio, 8 como pluralidad, 9 como principio, 8, 73 compuesto, 14 concepcin ontolgica, 49 o o cuadrado, 1725 de Bernoulli, 22 deciente, 16 denicin eucl o dea, 9, 73 excesivo, 15 impar, 11 imparmente impar, 13 imparmente par, 12, 13 irracional, 98 irracionales, 96 lado y diagonal, 8790 lineal, 14 medido por otro nmero, 13 u natural, 9 oblongo, 1725 par, 11 parmente impar, 1214 parmente par, 1214 perfecto, 15 pitagrico, 9 o poligonal, 2025

 INDICE DE TEMAS primo, 14 racional, 26, 97 racionales, 96 rectilineal, 14 relacin con las cosas, 7 o semejantes, 55, 56 triangular, 1725 oblongo nmero, 1725 u opuesto a cuadrado, 18, 23, 55, 75 octaedro, 66, 67, 69 oidores, 2 ontolog 4, 7 a, orden entre razones, 87 papiro, 32 Ahms, 32 e de Mosc, 34 u Golesnichev, 32 Harris, 32 Rhind, 32 Rollin, 32 par denicin pitagrica, 11 o o nmero, 11 u parbola, 58 a parimpar, 12, 13 parmente impar nmero, 1214 u parmente par nmero, 1214 u pentgono, 70, 71, 80 a pentagrama, 70 pequeo teorema de Fermat, 16 n perfecto denicin de Euclides, 15 o nmero, 15 u , 31, 34 pirmide, 66, 69 a pirmides egipcias, 1, 36 a pitagrico(s), 115, 17, 18, 20, 22, 24, 26, o 29, 39, 4144, 46, 49, 51, 5456, 58, 60, 6567, 6971, 73, 75, 76, 78, 82, 8688, 91 juramento, 18 pitagorismo, 16, 810, 12, 27, 46, 48, 49, 67, 69, 71, 73, 76, 80, 82 plano del Universo, 67 poliedros regulares, vase slidos platnicos e o o poligonal nmero, 2025 u postulados en los Elementos, 3, 4 primalidad, 15 primera causa, 5 primo, 14 de Mersenne, 16 denicin de Euclides, 15 o es impar, 14 nmero, 14 u primos, 15 primos relativos nmero, 15 u problema diofntico, 54, 57 a progresin aritmtica, 23 o e propiedad distributiva, 60 proporcin, 3, 26, 74, 8286 o ms perfecta, 27 a proporcin urea, 62, 70 o a proposicin X.117, 77 o proposiciones en los Elementos, 4 racional nmero, 26 u razn, 26, 74, 78, 8286 o denicin eucl o dea, 82, 84 razn mayor, 87, 97 o razn urea, 62, 80, 82 o a rectilineal nmero, 14 u redondez de la Tierra, 7 reduccin al absurdo, 76, 79, 80, 90 o religin vdica, 52 o e reloj de sol, 19 Renacimiento, 8 sacricio (animal), 38, 45, 46, 58 sagita, 50 secundario nmero, 15 u semejantes nmeros, 55, 56 u shian, 52 sibarita, 1 siete sabios, 1, 36 sistema sexagesimal, 30 103

 INDICE DE TEMAS slidos platnicos, 3, 6571 o o como tomos de materia, 67 a construccin platnica, 6769 o o subcontraria media, vase armnica e o sulbasutras, 52, 53 tabla pitagrica de principios, 18, 22, 55 o teorema de Kpler, 43 e teorema de Pitgoras, 32, 4453, 58, 59, 63, a 75, 82 teorema del coseno, 63 teor de grupos, 43 a teor de las paralelas, 42 a teor de las proporciones, 48, 49, 75, 82 a ternas pitagricas, 46, 48, 51, 5357, 61 o frmula de Euclides, 57 o mtodo de Pitgoras, 54, 76 e a mtodo de Platn, 55 e o teselacin, 43 o tetractys, 6, 15, 18 tetraedro, 66, 67, 69 Todo es nmero, 4, 73 u transmigracin de las almas, 1 o triangular nmero, 1725 u tringulo a (3, 4, 5), 46, 52 306090, 67, 70, 91 mitad de un equiltero, 67, 91 a tringulo (3, 4, 5), 54 a tricotom 90 a, ultimo teorema de Fermat, 57 uno denicin eucl o dea, 9, 73 evolucin, 910 o frente a lo mltiple, 9 u no es un nmero, 9 u volumen(es) de slidos, 31, 34 o

104

 Indice de nombres propios

Ahms, 32 e Alejandro Magno, 50 Anaximandro, 19 Apastamba, 52, 53 Apolodoro, 38, 46 Apolonio, 15, 16, 59, 63 Arenario, 91 Aristfanes, 70 o Aristjenes, 37 o Aristteles, 25, 712, 14, 17, 22, 23, 35, 38, o 39, 4143, 55, 76 Arithmetica universalis, 8 Aritmtica, 54 e Arqu medes, 59, 82, 8688, 9095 Arquitas, 8, 26 Asiria, 29 Babilonia, 1, 19, 29, 30, 49 Bagdad, 29 Barrow, 83, 85 Baudhayana, 52, 53 Bernoulli, J., 22 B 36 as, Cal maco, 38 Cantor, G., 78 Cantor, M., 55 Carmides o De la templanza, 2 Champollion, J. F., 32 China, 51 Chiu chang suan shu, 52 Chou pei suan ching, 51, 52 Cicern, 46 o Cleobulina, 36 Clebulo, 36 o Comentario al primer libro de Euclides, 3, 65 Continuidad y nmeros irracionales, 97 u Conway, J., 43 Crotona, 1, 2 Dedekind, R., 96, 97 De la naturaleza de los dioses, 46 Demcrito, 5 o Diofanto, 54, 57 Digenes Laercio, 3, 3639, 41, 46 o Egipto, 1, 35, 36 Elementos, 3, 4, 13, 16, 37, 39, 4649, 56, 5860, 63, 65, 67, 69, 75, 76, 78, 82, 86, 88, 90 Empdocles, 5, 67 e Escher, M. C., 43 Estobeo, 10 Euclides, 3, 9, 1116, 18, 19, 37, 39, 4244, 4649, 56, 57, 59, 61, 6367, 70, 71, 76, 7884, 86, 87, 90, 98 Eudemo, 39, 41, 46, 58 Eudoxo, 10, 48, 49, 79, 80, 8284, 90 Euforbo Frigio, 38 Eufrates, 29 Euler, L., 16, 66 Eurito, 17 Examio, 36 Fenicia, 1 Fermat, P. de, 16, 17, 57 Filolao, 12, 67 F sica, 11, 22 Francia, 50 Friedlein, G., 75 Gaurio, Franchino, 6 Gauss, C. F., 21 Geln, rey, 91 o Gmino, 37, 39, 41 e Golesnichev, W., 32, 34 Grecia, 1, 27, 29, 36, 37 Harris, A. C., 32 Heath, T. L., 2, 7, 911, 3739, 43, 46, 48, 52, 53, 55, 65, 69, 70, 83, 85 Heiberg, J. L., 42, 71, 77 Hern, 60 o Herodoto, 2, 29, 36 Hern, 19, 20, 51, 90 o Hes odo, 5 Hipaso, 2, 70, 75, 82 Hipcrates, 65, 90 o Homero, 2 Imblico, 3, 5, 9, 10, 1214, 16, 26, 70, 75 a India, 52 105

 INDICE DE NOMBRES PROPIOS Inglaterra, 50 Irak, 29 Italia, 1 Jernimo, 36 o Kpler, J., 43 e Katyayana, 52, 53 Kronecker, L., 73 Leucipo, 5 Locrida, 67 Los nueve libros de la historia, 2 Luciano, 70 Manava, 52 Manrique, J., 98 Medida del c rculo, 90, 91 Mersenne, M., 16 Mesopotamia, 29 Metaf sica, 3, 11 Mileto, 1, 36 Mnesarco, 1 Moderatus, 10 Museo Britnico, 32 a Museo de Bellas Artes de Mosc, 34 u Museo de Berl 30 n, Neleo, 36 Nern, 38 o Neugebauer, O., 30, 31, 33, 51 Newton, I., 8 Nicmaco, 1116, 27 o Nilo, 32 Nino, 29 Nubes, 70 Oenopides, 19 Pnla, 38, 41 a Pappus, 27 Penrose, R., 43 Periandro, 36 Piedra de Rosetta, 32 Pitaco, 36 Pitgoras, 13, 58, 11, 16, 2527, 29, 37, a 38, 42, 43, 45, 46, 53, 54, 5658, 70, 73, 82 Platn, 2, 36, 5456, 65, 67, 69, 70, 75 o Plutarco, 46, 58, 59 106 Pol crates, 1 Porrio, 3, 39 Primeros anal ticos, 76 Proclo, 3, 3639, 41, 4346, 48, 49, 54, 55, 58, 59, 65, 67, 75 Quiln, 36 o Rhind, H., 32 Rollin, 32 Samos, 1 Segundos Anal ticos, 38 Sibaris, 1 Simsom, R., 83 Smith, E., 32 Sociedad Histrica de Nueva York, 32 o Soln, 36 o Tabit ibn Qurra, 17 Tales, 1, 5, 10, 11, 31, 3639, 41, 42 Taylor, B., 51 Teetetes, 69, 70, 75 Teetetes o De la Ciencia, 75 Tel Dhibayi, 49 Teodoro, 75, 76 Ten, 10, 1215, 23, 88 o Theorica Musicae, 6 Timaridas, 10, 14 Timeo, 67 Timeo o de la Naturaleza, 67 Vedas, 52 Wiles, A., 57 Yambos, 38 Young, T., 32 Yourcenar, M., 29 Zamolxis, 2

 Indice de trminos griegos e

, akousmatikoi, 2 , logon, 75 a , logos, 27, 78 a , analog 26 a, , anlogon, 74 a , anlogon, 75 a , anekto, 42 , anthyfairesis, 78 , antanairesis, 78 , arithmos, 12 , arithmos, 8, 9 , artiakis, 12 , artioperittos, 13 , artios, 11, 12 , asynthetos, 15 , glyfo, 32 , gnomon, 19 , grmmikos, 14 a , deuteros, 15 , diorismos, 65 , elleipsis, 58, 59, 63, 65 , lipes, 16 e , en, 9 , etermekes, 18 o , euthygrammikos, 14 , euthymetrikos, 14 , ieros, 32 , kai, 15 , kosmos, 5, 73 , logos, 26, 74, 78, 82 , mathemata, 8 , mathematikoi, 2, 8 , mathematikos, 8 , metromenos, 13 u , monas, 9, 10 omoiomereis, 37 , , parbole, 58, 59 a , peras, 10 107 , perissakis, 12 , perissarrtios, 13 , perissos, 12 , perissos, 11 , plethos, 10 , posn, 10 o , protos, 14, 15 , stigm, 10 e , synthetos, 15 , teleios, 15 , tetrgonon, 18 a , tetractys, 6 , hiprbole, 58, 59, 63, 65 e , hiperteleios, 15