» FUNDAMENTOS DE LA HATEMATICy Apontes dela Cétedra. SMlberto M Viole Pol. en Metematica BREVE RESENA SOBRE EL PENSAMIENTO. PREHELENICO. ZENON Y EUDOXIO - ARISTOTELES - PITAGORAS EI camino hacia el conocimiento cientifico tiene como punto de partida un mismo Interrogante que involucra al medio y al hombre en constante relecién. La respuesta a ‘al cuestién guardé un sentido de verdad relativa en funcion de ideologias ligadas a los tiempos hist6ricos en las que fueron propulsadas. En las culturas prehelénicas, el hombre asociaba su vida al funcionamiento del Universo, buscando en el comportamiento de ciertos hechos naturales predicciones Sobre su destino, que justificaban a través de causas sobrenaturales, El interés del hombre por develar los enigmas que ei Universo ponia ante sus ojos, lo precisponia a la observacion y en consecuencia le otorgaba un conocimiento del medio que, en la Grecia del siglo VI 2, C, daria lugar al nacimiento de la ciencia (episteme) como producto de ta razén. La organizacién politica y social de la época era una de las manifestaciones que ceracterizaba al hombre helénico. Se produce asi un cambio de sentido sobre el Conocimiento fundado en ta necesidad de Independencia de aquellos fenémenos que regian su destino de manera arbitraria. La busqueda de le verdad era un fin en si mismo y el camino que propiciaba su desarrollo era la contemplacién. ‘Diche de otre manera el saber cientifico se desarrollé de espaldes al quehacer diario de los hombres” (S. Durand, G. Garcfa, 2009). E] idealismo de Plaién se basaba en la existencia de dos mundos: uno sensible, formado por copias de las formas puras que se hallaban en el verdadero mundo que era el de las ideas, siendo éste absolutamente independiente de la realidad. Platon ‘entendia que la matematica y en especial ia geometria era el medio adecuado para explicar a través de ellas los hechos “cientificos” por ser sus entes y relaciones, formas perfectas y puras. Esta concepcién daria a la matemética el caracter de ciencia hacia el siglo Va C. Arist6teles fue discipulo de Platén y como él, concebia la cien asociada con lo universal. A diferencia de su maestro, para Aristételes, tanto los objetos como los hombres formaban parte de un mismo mundo imperfecto. Esta idea de universo, Io llevé_@ reconocer que la matematica no era un método apropiado para explicar los fenémenos fisicos, habida cuenta que su perfeccién no se adaptaba a la impureza del mundo real. No se daria asi fo que ocurria en el cielo, al que consideraba inmutable y perfecto La ciencia por esta época no era produciora de conocimiento practice que diera al hombre la posibilidad de mejorar su calidad de vida. La ciencia por si misma,yp » constituia aceica de los fenémenos celestes y ia sistematizacién del conocimlento matemético 2 biequede de la verdad fine iéonicos; produciora de explicaciones racional sin perjuicio dsl hombre, Ese pensamiento semi mistica, carecieti2d 2 Pitégoras (5097-560? a de C), quien vigié por Egipto, conde aprendié mucho de fos sacerdotag, viskG Babllonia y repitié sus xperiencias ds Egipto; fndo una hermended pera al alto pensamienio ia, y ademas realiz6 dos de las mas matematico, en Creiona, en el sur de grandes contribuciones e la Mateméatice. Segiin la leyencs, murid en les llamas de su propia sscuelz quemada por los fenéticos politicos y religiosos que azuzeron a las mases para protestar contra ja instruceién que Pitégores © pensabe darles. Antes de Pitégoras, nacle, ae habla dado ciara cuenta de que le pruebe debe proceder de las suposiciones. De acuerdo con le iradicidn, Pitagores fue el: primer europe que insistié en qua ios axiomas, jos postulados, deben establecerse 2l principio, an si desarrolio de le Geometria, y que todo el. desarrollo descensa en les aplicaciones dei razonamienio deductive partiendo ie fos exdomas © postuledos. asiablecida pc 2tico rk pensemienio prehelé Pitégoras esiablecié la prucba en is Matemética y debe considararse como. una conquisia pues, antes de éi, ja Geomeiria habia side una coleccién de reglas 2 las qus se habia llegado empiricamente, sin une clare indicacién de, que estuvieran relacionades entre sf y sin la més leve sospecha que pudieran deducirse cle un nimero relativamente pequafio de postuledos, Le oruebe sonstituye hoy ei verdadero espiritu de ja Metemdtica y nos parece dificil imaginar como prescindir de sila el razonamienta maiem ia segunda contribucién metemdtica sobresalionte de Pilégores es el -descubrimionio, que le humillé --$0n insuficientes pare le construccién de ia Maierndiice, hasia sn ja forma rudimentaria en que 6! la conocla. A some un projets, que de cue los numeros neturaies 1, 2, 3, te este capliat de toda la naturalere, 9] Universo entero, fisicw) Dy} mental, moral, matemético, todas las cosas estan constiuidas segtin'le idttner Tpretable en funcién de estos ladtilioe proporcionados por Dice quien, declaraba Pitégoras, discontit ia de los nimeros naturales 1, 2, 3.... y s6lo es ink es en efecto " nimero", y nimero natural . Le influencia misiica del pensamienic de la apoca puede iraducirss an ta siguiente expresién de Platén “Hasta Dies gsometrize” He aqui lo que habia derrumbado su ieorfa: es imposible encontrar dos némeros enteros tales que si cuadrado de uno de sllos sea igual al doble del cuadrado del otro. En realidad PRégoras enconiré su zo en Geometria: la razén entre el tax dig un cuadrado y une de sus dlagonales no puede ser expresade come raz dimeros enteros cuaissquiera. En oira forme podernos decir que le rafz cuadrade de 2 es irracional, o se igual a un niimero eniero o fraccién decimal exaci sos, objenida dividiendo un numero entero por otro; un cone: nétrige tan simple como si de le diegonel d niega la filosofia 7 matematicc. Los resuitacios obtsnides por este simple problema no iueron aamitides de un mado satisfaciorio por todos ios maieimdtices. Esta idea rondaba ia concepcién del infinito, fo incontabie Zan6n de Elsa (495-125 a.C.}, amigo del fildsofo Parménides, cuando visitd Atenas con su protector dejé sorprendidos 2 los filésofos inventerido cuatro inocentes paredojes que no pedian resolver con palabras. is elias, La primera») Profesorado en Matematica Fundamentos de la Matematica La primera de elles, La Dicotomfa: el movimiento es imposible, debido a que siempre que se mueve debe alcanzar la mitad de su curso antes de que alcance el final; pero antes de haber alcanzado la mitad debe haber alcanzado 'a cuarta parte y asi sucesivamente de modo indefinido. De aqui que ef movimiento nunca pueda iniciarse. La segunda, el argumento Aquiles: ‘La Paradoja de Aquiles y ta tort Conecteinos ests idea con fa siguiente historia." AQuiles, famoso “guerrero griego, es considerado el mis veloz de los mortales. Una intrggide tortuga reta 2 Aquiles a wna carrera, aién sabiendo que Aquiles es 10 veces mas sapido@qé ella. Por tal circunstancia Aquiles concede a la tortuga una ventaja de 1 km {1000 m!, con esta ventaja podriamos preguntar ¢Cucindo Aquiles alcanzaré a fa tortuga? Para daz zespuesta a esta pregunta pensemos ex lo siguiente: Si Aquiles recorre el kilometro de ventaja, fa tortuga habré recorrido 100 metros mis, en ese momento los 100 metros serin su nueva veniaia. | > 100 metros +. Mientras Aquiles recore los 100 metros que los separan, la tertuga tomard una nueva ventaja de 10 metros. a 10 metros _ Es claro entonces, que si Aquiles recorte los 10 metros de nueva venta, la tortuga tomnard otra ventaja de 1 metro.w y Ahore exeminemos ias opuestas. Tercera, Ja flecha. Une flecha qué se musve en un instante dado esié en Teposo © no esié en rsposo, es decir, se wiueve. Si el instante es indivisible, je fiecha no puede moverss, pues si fo hac: el instante quederfa dividido ituide de instantes. Como fa flecha ingin instante, no podré en ningiin momento. De aqui inmediatamente, Pero st tiempo esté cori no puede moverse en r que siempre permeneceré en reposo. Cuaitasel Stadium. "Para demosirer qu jtad del ther PO puiedle ser igual al doble del tismpo consideraremos tras 4 de cuerpos una de las cuales, (A) esi on reposo, misniras que las otras des, (8) y (CO), se mueven con igual 4 o00 0 0 ooog 0 cage En ef momento (2), hebré oF fo tante ef tlempe que he emplsado para pesar (A) es doble que el tiempo que ha empleedo pars pasar (C) Pero el tiempo que (8) y (C) han empleado para alcanzar l@ posicién (4) ¢s ef mismo. Por tante el doble det tismpo es igual a la mitad dal tiempo” (traduccién de Bumet) Es uti esiacas. Estas son, en lenguaje no metem los primeros que se ccuperon de la continu! uventud. Tanic Piaténcomo Arist: dad, esiaban influidos por las duclas que Zenén habla inyectade an ef razonamienio meiemético y que Eudoxio, en su teorie de fas proporciones - "la corona de ja Matematica grlega’., suavizé hasta fe diltima cuaria parie det sigio XIX. Siendo joven, Eudoxio se trasladé @ Aisnes desde Tarento, donde habia estudiade. Llegado 4 Atenas, Eudoxio pronto encontré a Platon, Como era lo hacia en ef Pires. Se dice demasiado pobre para vivir cerca de ls academi que Platén y Eudoxto hicieron juntes un vi je & Egipto. De ser asi, parece que Eudoxio fue menos crédulo que su predecesor Pitagoras. Platén, sin embargo, muestra los siecios ds haberss incorporado buena parts numeros, propio dei Oriente. Encontréndose poco popt ticismo de los del mis S@ esiabiecié y ensefid an Cr , Gonde iranscuri Esludié medicine y se dics que un médico praciico y 'egislador por todo esto no fuers suficients, realizé un ancima de su Metemética. Camo si serio astutic ds Asironomfa, < iiquecié con notables contribuciones. En su construcoién cientifica ‘i los adeiarie de sus necasided de establecer conjeturas. Alguna idea de fo que Eudoxio hizo puede obisnerse pertiendo de un seneillo probleme. Para encontrar sl érea ds un reciénguio multiplicamos ef largo por el ancho. Aunque esto nos parece facil presente graves dificultacias, @ no ser que ambos lados tengen por medides ntimeros racioneles. Otro problema es ef de hallar fa tongitud ds una 'inea curva, el area de une superficie curva 9 ei volumen eneerraco por superi 2] momento en que se pasa de las figures nuimeros irracionalss.)) Eudoxio ided ef primer método légicamente satisfactorio que Euclides reprodujo en el Libro V de sus Elementos. En su método de exhaucién aplicado al calculo de 4reas y vollimenes, Eudoxio demosité que no necesitamos aceptar la “existencia" de "cantidades infinitamente pequefias". Para los fines de un matematico es suficiente poder llegar a una cantidad tan pequefia como queramos por la divisién continuada de una cierta cantidad. Para terminar en cuanto se refiere a Eudoxio se presenta a continuacion su definicién de las razones iguales que capacitan a los matematicos para tratar los ntimeros irracionales tan rigurosamente como se tomé a los racionales. Este fue esencialmente el punto de partida de la modema teoria de los irracionales. "Se dice que la primera de cuatro cantidades tiene la misma razén respecto de la segunda como tiene Ia tercera respecto de la cuarta, cuando, siempre que consideremos equimittiples (iguales multiplos) de la primera y la tercera, y cualquier otro equimtltipla de la segunda y cuarta, el miltiplo de la primera es mayor, igual a, 0 menor que e! miiltiplo de la segunda, cuando el milltipio de la cuarta” Lo més importante de la obra matematica que realizaron los griegos en ef periodo clasico fue plasmado en los escritos de Euclides y Apolonio, quienes cronolégicamnente ambos pertenecen al periodo helenistico 0 alejancrino. &__ Mas sobre procesos infnitos, Se tiene sobre ia siguiente figuraProtesorado en Matemdtica Fundamentos de la Matematica Dado el fedo AB y la diagonal AC, consiriyase ef punto F sobre AC tal que AF=AB. Sea E sl punio en CB tel que EF es perpendicular @ AC. Observemos ‘ por sar ambos iriangulos recténgulos con le misma hipotenusa (AE) y un osteio iguel (AF = AB). Esto nos dice que EF ahora que los tiéngulos EFA y EBA son congruentes, 1 Claramente, 2€F= 45° por ser AC la diagonal de un cusdrado y como el Angulo en F 6s recio y la suma de los éngulos inisriorss del triéngulo CFE debe de ser 180°, se tiene que Fac oF 45°. Todo Esto dice que el irlanguic CFE es EF. isosceles y por lo ter En conclusié: Ahora, como la unidad (que esté fila) mida‘a AG y a AE que mide también a la resta de estos sagmentos, ee dec GF. Andiogal EB, mide también a ia resta BC — Resumienc ante, como ia jenamos que ta unicied « cuadrado con iados yal que también mide fe unided con Repitiendo fode af ergumento anierior ie nuevo cuadiado, liegerernos @ un tercer suacrade (mucho més su lado y su diegonai Finelmenis notemos que si se indefinidemente, encontramos segmentos flados y diagonales cel cuadrada) cada vez més pequefies y @ los que nuestra unidad deberé medlir, io cusi no es posible porque eventualmenis dichos segmentos seran cada vez mas pet isfios que ia unidad. De esta manera, nuestra suposicién inicial eosrea de ia oxistencia de una unidadé con les caracisrisiicas descritas no pusce so: asi la inconmensurabilided de si lade de un cuadrado su diagonal. 2Qué tens que ver seto con los irracionales?Notemos que por si Teorema de Piidgoras, si llami mos “a” a la longitud dei lado L de! cuadrado, ta longi! agonal d seré Via. Bi hecho de que estos dos segmenios sean inconmensurabies, nos dics que no existe una unidad U ni enteros n y m tales qua: Esto en longitucles, se eseribe: Referencies Bibliogrétines: Rodemechs ‘ic, Eeparia. Alianza Universidad (1976). E Aigo mes Una ernostracién algebraica confirma una vez mas los procesos infinitos. “Sit es un ntimero hracionai, tne puede expreserse con expresién decimal o Deriédica o con come en cualquier bace”, Aqui deber ostrerse dos isorsmas. Teorema 4) “No existe expresién periddica pure”. Teorsme 2)" No exists expresién periédica mixta”