1. Geometria antigua Las civilizaciones del Mediterréneo Oriemal y Oriente Medio pare zn haber tendo interés en las matematias desde tiempos muy anti pu0s. Ya alrededor del 1700 a. C., os escrbas de Egipto y Babilonis, ‘no s6lotrataban cuestiones de evden précico y comercial sino también realizaban edleulos abstracos: pademos encontrar estimaciones, de {reas y volmenes junto soluciones de problemas numérico bastante ‘omplicados, , mientras las replas para medit son frecuentemente terréneas, la habilidad con que so solucionan los problemas numéricos Spire, cos bastante irmezs, que los babilonios tenian al menos un buen conocimiento de matemilica elementales. Los babilonios, que en general sobrepasaron a los egipeos, también desarrollaron una ‘excelente astonomia preditiva que, dicho sea de paso, haba sido precedida por més de mil afos de matemticas. Sin embargo, hay Gierencias notables hacia el 300 a, C. entre las matematicas babio. nis, gregas y epipcias. Los griegos estaban haciendo geometia, estabanrealizando demostraciones, sus meétodos eran deducti9s y hay signos de un interés muy vivo por cuestones de rigor yvaldez gen Por ora parte, lo babiloniostenfanregas, pero no pruebas. Al igual ‘que Tos greges, tenian un impresionante conociniento astrondmico basado en la observacion, pero no tenfan funfamento teSrco basado fen la geometra, Lot griegos, como es bien sabido, dieron a lay ‘atemdticas uns posicion preeminente en sus esfuerz0s filbsofcos Platén, en numerosos lugaes, die la atencion de sus contempors- ‘eos hacia las matemdtias;A¥ist6teles lute con llas muchos de sus ‘azonamientos, que pueden verse ahora reunidos en Motemathics in Aristotle, de. L. Heath (1949). Al menos una forma de to, el de reductic ad absurdum, se uiliz6 en matemsticassinguna ota discipina, Ys atural que usquemos los origenes de sta det, para ver de qué fima pudohabeseefectua a Wann a Iss matemstias deductivas. Desgraciadamente, Ios testimonios de este periodo son sass, pues la storia (e325 2.) de Eusemo se No perdido. Podemon Air qu los casi ics testimonios contemporsneos de aquelatem- prana matemuticagriegaapatecen en Paton y Arsttel. Los esto es mis tarde, al escribir sobre trabajos aparecidos Kscentos chocents aos anes, dieton una informacion ms completa, pero iadieron un conjunto de acttudes hacia as matemics que debieron deer diferentes de las de sus predcoesoresy bien pudiean haber oncedido alos matemsticos primitivos una dlardad y exouitud Je FPemamiento que, de hecho, n0 tron. Ea lgunos ca0s, Una Imanera posterior de hacer las cosas ha hecho tll apreciarTos Problema como sugeron. eal orien, Asmismo, eabe la posi {ad de que ls documentos transition sean a8 Es ura suerte que hoy dla podamos dsponer de algunas bucnss historian de estas primeras matemaican_A la cabera Ge los textos ‘modes estin ls numerosos trabajos de TL. Heath, principalmente Su edison en tes volimenes de los Elements (1956) 28 History of Greek Mahematcs (1921) en dos volumenes, Grek Matemates (050), en un volumen. Otros textor son Scene awakening de Van det ‘Wastden (1961),y The Erect Science in Antiquity dO. Nevgeboucr (1963). Las libros ctados en ia bibiogafia de Fowler (1987). Knort {0975 y 1986), Lloyd (19701973), Mueller (1981 y Szabo (1998) dan {estimonio dela vitalidad de os estdiosactuales en el campo dela storia dels matemstias riegss. Los temas monogrdficns se pueden consular en el Oxford Clasieal Dictionary y el Dictionary of Seientifc ‘Biography. Estos esos tan rojado mucha zen todo 1 elerente al origen yevolucion de las matematicas deducts La difsion de saber idm de la matemtica a través de una regiin 0 entre un problema peculiar que no se encuentra en la {tansmision de otras ideas o#éclcas. La matematica no es smplemen tena coleccién de hechos 9 tesultadose; es tambien un conjunto de procedimientos para tatar problemas concretos y solucionaris, un ‘onjunto de hipotesis de vabajo y dedueciones liitas, una manera de pensar acerca de las costs. Aisadas de estos habitos mentale, las ® oluciones consideradas por separado no slo pueden parecer trivial, ‘iho que incluso pueden perder s carter especiicamente matemdt pe fore converse, ef $0 Iugat, en datos de observacion 0 de ‘araatezasinductivas, Y recipioeament: se trasmiten ls proced- Tiintos, ét08 siren para comprobar el cuerpo de os resultados TTunsmitdes, permitendo que wuclva a ser dervados, o exchidos en [Bode no poderse demostrar. Ademés, el carter compulsivo de ls, ‘fatemitcas hace que las cultura eintetesen por problemas similares, ‘Raiduciéndolas de esta manera en busca de informacinsimilat, incl so'si una no puede entender la actividad de Ia tra, por lo que no ‘kbigramos asumir que ha habido intercambio de informacion por el nero hecho de ver que dos pucblos hacen coses parecidas. De hecho, [os testimonios de contacts cultrales directos entre Grecia y Mesopo: tami son eseasos, y se basan en unas cusnas opiniones, tales como Ia {Ec Herodoto', que stribuye origen babienio al gromon y a la division, {el dia‘en doce horas, No esti de mas recordar aqui que, al menos con ‘expect a la division del dla en doce horas, estaba equivocado, pues Neugebauer’ ha establecido que tene origen egipio (Caractersicas de las matematicasbabilonias son un Yuen sistema, ‘de numeracién y una formulaci retSrica de los problemas matemst- fos, fo cual ha Hlevado a que la formulaciOn que hicieron de tas Ineteméticas sea llamada silgebra tet6rca» por muchos especalisss ‘Ahora bien las limitaciones del sgebraretrica dfiultaron su trans- ‘misidn, En esenca, el algebra fetérica es un conjunto de regas txpresadss mediante palabras & sttadas con ejemplos numérico. para resolver ciertos problemas: encontrar solucion a ecuaciones. Cilular dreas volimenes. Asi, la BM 13502, una tablila que ‘ontiene 24 problemas semeantes, empieza como sigue: He sumado rea y lad dem cuadrado: 48. Toma 1, video en dos: 30.9 ‘ipa, 30 30'= 15, Syn 15 451, eleuadrado de 1. Resta el 90 (abe Tuas muliplicd por s mismo} al. Tienes 30, lado dl cand. "lc Lo, 136 108 Esa Looked AD. Oa. eee re antes ae Seo anon ony Wieray Coase AN pe Ofen Users. Non nc oot testo xno der ten tibia: Un Se atatae vce Forel ry GN po 3‘Como todos los nimeros aria utilizados estén expresados como partes de 6, podriamos expresr la ecuacién original como 2° + x El coefiiente de x es 1, dividase por 2 yelevese al cuadrado (4)? = f Sumeset 3 (formilese a ecuacion: 7 +x-+4=2+4), Amboslados som cuadrados; exiriganse las rates euadradas ((x + 1)? = 1), Por fanto,x += 1. Réstese la mitad de ambos lados: x = 4 ‘Ahora bien, una repla expresada mediante palabras no constiuye tuna férmula: no podemos hacer operaciones para dar lugar a férmulas ‘equivalents, ni podemos contrastarla con otra que tenga como fin fesolver el mismo problema, Por estas razones, el digebra retrica es ‘un dlgebra sin prucbas, y puede dar cabida a respuestas distntas © incompatibles. Est ligada 4 operaciones numéricas que pueden ser {ormalizadas con patateas¥, pot tanto, derivadas muy drectamente de Jas propiedaces clementales tel nimero. ‘Quienes la ensefiaron pudieton haerse referdo a un cuerpo de tecoriatransmitido verbalmente que ampliara Ys restos que nos han Iegado, pero es més probable que las ténicasretGica we ensefiaran ‘como métodoe. Je comprobacion. Si fueron transmitidas asi, Yen podrian parecer a cualguiera que se encontrara con elas un cuerpo {stride hechos sin coherenca interna ni capacidad de informa. En ‘esta forma pasaron probablemente a Occidente, aunque so fuera por ‘su uso en el comerco, Podemos seguir a aparicén de algunas técnicas FetGricas en la mateméticagriega, aunque no su paso 2 all. ‘Solo hay un remedio para ibrarnos de la profusion de resultados ‘ontadictrios y- no explicatves que entrata el algebra retria ‘encontrar Ia manera de dar sentido coherente @ Tas soluciones, al tienos a aguellas que sean correctas. Intentando hacerlo, e¢ como cte0 ‘que los griegos se vieron abocados ala geometra: no por ella misma, sino como método de prueba. Ambas coinciden y nos dan un métedo Adeductivo para tratar problemas matemstios. Este punto de vista nos permite dar sentido alas leyendas, de otro modo confusas,reerentes a Jos primeros gesmetras gricgos: Tales y la eseela de Pitigoras, Tales ‘Sepiin Proclo® (41085 d. C.) Tales 6249-5489 a. C.) «hizo por s. “epi 2 2 Peta emer rime Kb de Element de Ec eng wate pr © bio, pe 4 oo Pos eae Nom, rssh Su it sin nes es por Fg » mismo mochos descubrimientos y ¢ase6 los princpios de otros mu- ‘hos sus sucesores, abordando algunos problemas de manera general $rstros de manera més empiricis. En particular, se cree que fue el Jeimero en demostrar que el dmetro divide el ctculo en dos partes TBuales: que ls angulos dela base de un teiéngulo isosceles soniguaes; vee el angulo comprendide por un semicreulo cs recto, y que dos ‘Mangus son homoteticos 0 congruent" si dos pares de dngulos (Grrespondientes son iaales Tos lados entre esos nguos también lo Son El comentario de Proc al referise al primero de estos hechos (frock, edicion Morrow, pig. 124) no da raxin de cul haya sido la rueba utiizada por Tales, pero el mismo Proclo indica mo podria, Faber sido dicha prueba: imaginese que el diémetro no divide al circulo dos partes iguales; hgave coinciir una parte dl circulo con a otra optandolo a 1 largo del didmeteo, Silas dos partes no coincidieran, tina eacrfa dentro o fuera dela otra en alguna parte, peo entonces los ‘dos no seria todos iguaes, lo cual es absurdo, de donde se sigue el resultado “Algunos especalstas dejan entrever, a veces, que Ia matemitica se descubre de una manera que refleja su propo orden logic, de manera ‘or las proposiciones que requeren otras para su demostracin deben, ‘Bualmecte, seguir a exas otras en orden de apariién. Ast, por ejem- Pio, para prob qu el ingulo comprendido por un semicteulo es Feeio’, usamos en nuestos dis ef resultado de que la suma de os fingulos de un triémgulo vale dos Sagulos recto, Es posble que Tales {sara el mismo método, pro no To sabemos con certeza. Sin embars0, bo es posible inferir que, por el mero hecho de yer matemstion, se ‘etuviera automaticamente a probar Ia validez de cualquier sexaltado ‘que sara en sus demostraciones. En el segundo periodo de auge de 1a investigacin de fundamentos, Ia segunda parte del siglo XIX, gran parte del trabajo realizado consistio en suministrartcoriascuyas con- ‘lusiones fueron las hipStessbasicas de alin otro matematico. Cuan ‘lo estamos en los comienzoshistéricos de ls matemiieas deductivas, ‘con mis motivo podemos imaginar que lo que era evident y no ten fecesidad de prucba para un matemdtico, era uninfresante rompeca- bezas para otto Extraer suposciones basicashabri levado su tiempo, segin se iba viendo que el método deductivo posi ser aplicado a cada ESS et en omens pie eon emer "te ya atu Tales por Pon Dsgencs Lae (1, 225, pie of Cobe)ragiomn avezi pas do ls mates y qu suis pasha de resulta wabiose de antemano, Por tanto no debs sopncaer tos ver auibidos 2 Tals rentaon gue pusen dopa es ‘Sha demosracn ao conta qu coms, qe ce pate ate temado det wero coma de concciminto Ni Siler estecey ses ee renner guste yn ga interes gripe en cveonespuramente logs parce ake so todavia mis tarde que un invsigacona matenat Geomerta ingen Tenesos motivo razonabes para imaginar una formulaic, ingena, de as materia, em aca os mimeton ean fees. tados po sepmentos geometries es dec, lines, aaron, ec los cabos Para epresetar um omer come umalinc, stoma a uidad de long ju poo arbitra ys rept cunts woos {tera necro: tos nimerorcuadadossreprecnatan en ution de un uid eras protein de man sine Emo Ne teadiinal eas mates bablonias yep, y Plato sere 26) como algo habitual en las matematcay gress, Lis primes, nie oa ima, ore des pgs fen mo as El conciminto qu temas de Pores un poco mejor que et ue tenemos de Taha sido necuadamente Fund ycomentaco for Kurt von Fi. Ning corm se puede atu con seguridad $personaje mas bie ques su esc, cual paece haber dildo énlaciones engin momento despuce ds la muerte des er (#89 °C), Mientras ste vv la sel tena come princes itch in eliiosos yon y apts como programa la cena de que todas is cosa eran nmeros. Ena mate, su ppl nese nts en a aime, yextarn los meres de mance goes faa través de ss ropresentacone com mete fired. Bos Son wniveramentedescitos en tod ls histo de ls mate ‘as Hy agtlondcribremos revomene, con viatasaeaabonr ona Nie seat eat pot ao lo dead ee pero J Rao (8. p72) ta Ton, HBAS cate coseoseee 1 Bictnary of Sentero (9S). vt XI pe 1835 vwoajMSeoa lio d Koo, ets por emp id Samy. Te Py ord te Gu taal ma ope oe mt es pa 2 hipotética prucha pitagorica del teorema de Pitigoras debids Bretschnsider!, El resultado de que, en un tringulo reténgulo ABC ‘on un ingulo reeo en C, AB! = AC* + CB?, era ya conocido por los babilonios alrededor del 1700 a. C. Lo uilizaron una y otra vez para resolver sus problemas, y una tabilla, la Plimpton 322, muestra ‘una impresionante lista de trnas de nimeros, revelando que ios babies tenlan cabal conoecimiento de e6mo consiuirternas de eneros a,b, € tales que & = 6° + a! (véanse los ejercicios para mis detalles) "Ya he sugerido que lo que e sigificativo de este perodo es el paso 4c los procedimientos las pruebas, Se pede, por tanto, hablat de teoremas mejor que de resultados, siendo el teorems un resultado del {que existe prucba. En este sentido de teoremar, el que boy lev ‘nombre de Pitdgora tavo que orginase, como sugiee Heath (1921, pg. 145), en svescuela, aunque ninguna fuente nos permite atrbuirto Uirestamente a Pitigorss y ninguna prucba que se pueda aribuir a su cevela ha Hegado hasta nosottos. Proce, por ejemplo, ai siquera atibuye dicho resultado 4 Piigoras ‘Admitiré que el famoso teorema de Pitigoras se origind en su escuela, al hacerlo tengo que afirmar que: (1) Er resultado era conocido para todas los tridngules recténgulos y ‘no Solamente en varios casos particulates (3,4, 5; 5,12, 13; ) (2) Los pitagéricos dieron una prucha del teorema entendicnd por “prucbas mis o menos lo que entendemos hoy La raaén que tengo para creer esto esque, como teorema, mas bien ‘que como conjetura, el resultado no es tiv, Sin embargo, silos Pitagoricos carecieron de prucba del teorema es dificil entender por {que su corolario mas inmedito, la existencia de enimerosiraciona: Tes», les habria solivantado tanto, y tenemos testimonios de que el “Alguna vee se a sugerido que el descubyimiento de Ia inconmen- surabilidad oblige alos griegos a abandonar el dlgebra (donde semen te concept era impensable)y dedicare a a geomera (donde semejante concepto se puede formular sin contradiction). Los partiarios de este parecer hablan de {a geometrzacisn de! algebra, ¥ coasderan grat parte de los Elementos de Euclies (por ejemplo los libros Il y VIEIV) ‘Como un algebra geometrical, en la cual el contenido es de alguna ‘manera algebra, pero el método es geomstico. Van der Warzden (1961) opina que los griegos tienen que haber tenido otra razén aparte ‘del delete en lo visible para dedicase ala geometizacion del algebra cientamene ta no ede de avergta: 5 ata det descubiento de os inca ro Fp ct erin ens ogi. “dgcbra geometric sigue vin paras segments irene, 990, por 0 ej ever una en exact Er, portant a need ge, mo Erect deete eb vile, logue leo + fn ptgsnos 2 ami {gcbrae Torma geome. No hay ninguna neceidad lpca en esto, Seria mis gue poste contnear con una artmetca Ge nimers natrses Ios Que se Stivicram neva eniades, como la sug, por jmp, les ‘Stunt eevciip. Nat bay miscible ens sepmentogcomesco suc en fara de oa etacon, a menos Ue ya sea adguindo on TMlite de pensmento geomeico, Mis que comenzar cone lgcbra faa ir desplazand suites hacia la geomet yo spiro que lox Egos estaan ya empetads en la geomet, Ai pringo, heron Uns tentfeacio ngenaa de seoneta con aimete, con el propos {0 de sar tecnica geometric para seri, proba y Natoma ‘ewltdon uments. El deeubrimieno de Wn iacinaes en Contato de a geomet les nti seguir eulivina, pero eros 1 la fe depostada en a formalason aimclies ingens de Ia magn tua, En el entorno ms general de fost eh enfoque papi era TT ino fe ido gor H.C. Zetben, en do des sone céneas Dir Lehre onde Reeate in Arnon, Copenage (180) 4 coxporaista al idenifiear las cosas de intlecto con las cosas del ‘mundo, Esto se modifies, desarollindose wn idealismo que fue tpico & la filosofia matemstica, y que Platén expuso poderosamente, segs ual las cosas del intelecto son ls verdaderamente reales. Aistotles lament fs infivenca pitagorica em sp mentey™ y adgpy6 una poss realsta al considera las propiedades matematicas como abstridas de los objetos reales. (Vease Korner, 1971, cap. 1) Sema ‘AI tiempo que ot esto de tos ieccionales, se desarots ta Investigacion de os conceptos de semejanza y pailclismo, dos ideas «que aarecerénfrecuentemente en el resto de bro, Dos figuras son semejontes si sus dvetsosdngulos son iguals y los laos de lex nos ‘guales son proporcionales (Euclides, Elementos VI. defincion 1), donde se debe afadir, con Heath, que los lados correspondienes nb y me>nd, ma = nb y me = nd ma e:d si pueden encontrarse nlmeros my males que ma > nb pero me 775, peo cetmo podria demostrarlo Eudoxo? fempeza, d:$ n0 6 igual a7: 5, ya que silo fuera, aplicando Ia definiciin de igualdad, si ds ~ 7:5, sempre que m xd > 1% mx 7 > nx 5. Sin embargo, tomando m = 29 yn = 41, obtenemes xd > 41 xs, pero 9% 7 = 41 5, De acuerdo con esto, la Sefinicion de comparacién de razones permite a Eudoxo infert que ds sexcede 37:5 Un segundo método de comparar ds y 7:5 es como sigue Sitdense dy sem una linea y deslicense todo lo que se quiera, usindolas ‘manera de relas. Las razones d= sy 7: S generaran una secuencia e iaguierdas y derechas que se puede leer en la linea, La pauta generada por d ses DIDIDPIDIDPIDL La pauta de 7: Ses DIDIDDIDID. ylade 21:15 seria la misma que la de 7:5 pero de mayor amplitud Como las pautas de dy 725 diieren, deducimos que d::$ n0 es iguala7: S,y an examen mas detallado nos muestra que ds excede a 7:5, Este método tiene cera similtud con el amado algeritma de Euclid, (Vease Fowler, 1987_) El método de Eudoxo nos permite tomar la razén de dos magnity: {es y compararia con cualquier otra. No resuelve de manera explicit la ‘uestn dela existencia mostrindonos todas ls magnitudes posbles, Peto i nos permite ealeular con cualesquiera segmentos que podamnos onstrirexpressndolos como razones, que pueden ser iguaes 0 esi Buales otras conocidas, pera en culguiet caso son comparables” x Coninaty an ronal Nami. (172) es smatacton (Wone We 190, rae