@ PEDAGOGIA DINAMICA MATEMATICA ESTRATEGIAS DE ENSENANZA Y APRENDIZAJE Francisca Ortiz RodriguezEL LIBRO MUERE CUANDO LO FOTOCOPIAN Amigo lector: La obra que usted tiene en sus manos es muy valiosa. Su autor vertié en ella conocimientos, experiencia y afios de trabajo. El editor ha procurado una presentaci6n digna de su contenido y pone su empefio y recursos para difundirla ampliamente, por medio de su red de comercializacién. Cuando usted fotocopia este libro, 0 adquiere una copia “pirata” o lo que fotocopia ilegal del mismo, el autor y el editor dejan de perc les permite recuperar la inversién que han realizado, La reproduccién no autorizada de obras protegidas por el derecho de autor desalienta la creatividad y limita la difusion de la cultura -ademas de ser un delito. Si usted necesita un ejemplar del libro y no le es posible conseguirlo, le rogamos hacérnoslo saber. No dude en comunicarse con nosotros. Editorial Pax México matemAatica. Estrategias de ensetanza Director editorial: Miguel EscorzaT. Director de la serie: Manuel S. Saavedra R. Coordinacién editorial: Gilda Moreno Manzur Produccién: Héctor Martinez © 2001 Editorial Pax México, Lib. Carlos Césarman, S.A. Ave. Cuauhtémoe 1430 Col. Sta. Cruz Atoyac México, D.E, CP 03310 Tel: 5605-7677 Fax: 5605-7600 Correo elect: editorialpax@editorialpax.com Primera edicién ISBN 968-860-594-4 Todos los derechos reservados conforme a la ley Impreso en México/Printed in MexicoPROBLEMAS GENERALES Lo {Qué es la matematica? gps eta ee i ne éCuiles la esencia de las matematicas contemporaneas? Seguin Mina Rees, citada por Schaaf (1964): Las matemiticas son un lenguaje que debe aprenderse, y es ne- cesario aprender sus técnicas si queremos usar este lenguaje. Las matemiaticas son, a la vez, inductivas y deductivas, pero la imaginacion es totalmente indispensable para su desarrollo. Las matemiAdticas crecen por acumulacién, las nuevas formas se crean a veces por intuici6n, y a veces por formalismo légico. Las demostraciones y justificaciones dependen de la légica habi- tual, pero el matemitico es libre de modificar esta l6gica si lo ne- cesita, Las fuentes de la invencién matemiatica residen a veces en las propias matemiticas y otras veces en las realidades del mundo que nos rodea. El proceso de abstraccién y de axiomatizacién ha servido simul- téneamente para profundizar en los problemas de fundamentos y para clevar una soberbia superestructura. Los resultados obtenidos por las matemticas puras en el pasado y en el presente han proporcionado a los cientificos la base concep- tual para la comprensién y la descripcién del mundo fisico.2 FRANCISCA ORTIZ RODRIGUEZ, Las matemiticas, plantea Stewart (1996, p. 9), no son lo que la gente su- pone. Incluso cuando parece como si fueran lo que se supone que son, basta con volver la espalda un momento para que ya hayan cambiado. Cier- tamente —contintia—, no se limitan a ser un cuerpo de conocimientos inamovible; su desarrollo no se reduce a inventar nimeros nuevos (...). Ambas versiones sittian una concepcién amplia y dindmica de las ma- tematicas. Las matemiticas, al igual que toda la ciencia de principios del siglo xxi, adquiere como caracteristica el desvanecimiento de sus fronteras tradicionales. En la actualidad esta perdiendo aquella divisién compartimental que separaba la aritmética del algebra, de la geometria, etc. Se acepta ya que cada area interacttia y se complejiza en cada una de las restantes. La investi- gaci6n matemiatica se ha enriquecido ademas con el contacto activo y direc- to que genera la ciencia aplicada, desde donde puede observarse que las aplicaciones mis interesantes muchas veces requieren elementos de las ma- teméticas que no se han considerado tiles, dejando a un lado los saberes tradicionales aceptados como bisicos e indispensables. La matematica no trata de simbolos —éstos son s6lo instrumentos del artesano—; su objetive son sus conceptos y la relacion que existe entre ellos. De tal manera, dados una determinada informacién o un problema especifico, surgen preguntas como: équé es lo que se deduce necesariamen- te de ella? El propésito de la matematica es conseguir que se comprendan tales cuestiones, aislando aquellas que son esenciales para llegar al fondo del problema presentado. El quid no es hallar la respuesta correcta sino, mas que nada, com- prender por qué existe esa respuesta, si la hay, asi como la forma que ésta tiene. Las buenas matemiticas, asegura Stewart (1996), muestran un as- pecto mis bien austero y conllevan algtin elemento de sorpresa. Pero, so- bre todo, tienen significado. Mas que una aplicacién practica, lo interesante es la creacién de nue- vas matematicas. Alguien formuld alguna vez un teorema sobre los ntimeros primos y afirmé que nunca podria demostrarse, ya que se carecia de una buena no- tacion para este tipo de niimeros. Sin embargo, Carl Friedrich Gauss, des- pués de haberlo demostrado en sélo cinco minutos partiendo de determinados principios clasicos, dijo mordazmente: “Lo que le hace falta son nociones, no notaciones”. Por tanto, los cdlculos son tan sélo un medio para llegar a un fin. Si en la demostracién de un teorema se efectéan célculos muy largos, éstePROBLEMAS GENERALES 3 puede ser un resultado no adecuado, en tanto no se expliquen las razones que den cuenta del porqué de tales calculos, asi como de su inevitabilidad. Si la matemitica es buena entonces forzosamente alude a conceptos. ¢Como ha evolucionado la matematica? Se El desarrollo de la matemiética alo largo de miles de aos ha tenido perio- dos de actividad y de estancamiento; pero en un sentido sdlo temporal, ha sido continuo. En cada época esta ciencia nos ha dejado como herencia una masa considerable de resultados detallados. Unos aportan interés ex- clusivamente arqueolégico, sobre todo los relacionados con la antigiiedad clasica y los referidos a las matemAticas posteriores al inicio del siglo xvi; se trata de una obra contenida en memorias o revistas cuya existencia ape- nas conocen algunos mateméaticos profesionales. Esto significa que el lazo de unién con el pasado se conforma por la sobrevivencia de un nuevo método, o un nuevo concepto, o una herramienta muy potente, o un nue- vo punto de vista, conseguido después de un duro trabajo del cual se des- prende un “residuo” heredable a la época siguiente. Las épocas fundamentales de la historia de la matemética son: 1. Matemdticas prebelénicas, Una era de empirismo. La matemiti- ca de los sumarios, los babilonios y los egipcios era intuitiva y poco elaborada, y respondfa fundamentalmente a exigencias prac- ticas. Su herencia la conforman las fracciones y los grados sexagesimales, la medida y las formas geométricas, junto con la astronomia, 2. Matemdticas griegas. A esta época, que duré cerca de mil aitos, debemos dos de las aportaciones mis importantes de la historia de las matemiticas: la idea de la demostracién deductiva, con su fe en el razonamiento légico, y la conviccién de que el mundo ffsico podia ser descrito en términos matemiticos: “El nimero es el len- gvaje de la ciencia”. 3. Matemdticas orientales y semiticas. Sus contribuciones espora- dicas entre el afio 500 a. C. y el 1200 d. C. dejaron como heren- cia, al menos, una clarificacién del papel de los simbolos y un sistema tnico de numeracidn.4 FRANCISCA ORTIZ RODRIGUEZ 4. Matemdticas del Renacimiento. Las matemiticas, no demasiado esplendorosas, de los aiios 1400-1600, dejaron como residuo fun- damental el “Algebra simbdlica” de Cardano, Vieta, Bombieri, Calvius y Herriot. . 5. Matemdticas del periodo barroco. La Epoca de la Ilustraci6n, transcurrida entre 1600 y 1800, fue testigo del nacimiento de las mateméticas modernas, en el sentido més general del término a que aludiamos antes. Comenzando con las contribuciones de Descartes y Newton, esta época pudo contemplar simultdnea- mente el renacimiento de la ciencia moderna, y en ella empeza- ron a esbozarse los conceptos de numero, de forma y de continuidad, Los grandes mateméticos de este periodo fueron ademas grandes hombres de ciencia: Newton, Leibniz, Euler, Bernoulli, Lagrange, Laplace, Gauss. 6. Matemdticas del siglo xrx. La época comprendida entre 1800 y 1870 se caracteriza fundamentalmente por la explotaci6n de los descubrimientos del siglo anterior y su aplicacién a las ciencias (mecinica, fisica, geodesia y astronomia). 7. Matemdticas del siglo xx. Este periodo, incubado ya desde 1835, no surge con claridad sino hasta 1870 y la naturaleza de las mate- miticas modernas, en el sentido més restringido del que habla- bamos, se pone de manifiesto hacia 1900. Esta matemitica se caracterizaria por su mayor generalidad, su mayor grado de abs- traccién y su mayor rigor légico, preocupandose primordialmente de la morfologfa y la anatomfa comparada de la estructura de las matematicas. {Cudles han sido las caracteristicas de la estructura del pensamiento matemitico? + Schaaf (1964, p. 64) considera que las matemiticas del siglo xx pueden identificarse con la deducci6n y la estructura axiomitica. Pero la idea de estructura se habia esbozado antes de 1900; ya desde 1800, mds 0 menos,PROBLEMAS GENERALES 5 los matemiticos se habian dirigido, si bien por caminos tortuosos, hacia una teoria de las estructuras. El logro de la nocién de estructuras se debe a la extension del con- cepto de numero, a la de los conceptos de espacio y a la de las técnicas de razonamiento. La extension de la nocién de ntimero o de liberacion del Algebra se remontaa los afios anteriores a 1800. Los babilonios y los egipcios se perca- taron de que para saber por qué ntimero era necesario multiplicar 6 para obtener como resultado 2, habia necesidad de inventar un nuevo numero, el racional 1/3, Consideraron elementalmente lo que es una operacién inver- sa, y cOmo esto permiria la extensidn del niimero. La aparicion de los ntime- ros negativos no se basa en procesos de inversién sino s6lo formalistas, ya que existfa una fe ciega en unas manipulaciones mecénicas que con ciertos sfmbolos daban resultados consistentes utilizando lo que se denominaba permanencia de las leyes formales. Ast, Cardano anuncié en 1945 el princi- pio: “menos por menos da més”. Estos nimeros (los negativos) no se comprendieron y utilizaron adecuadamente sino hasta 1750. Los griegos se percataron de la diferencia entre ndimeros racionales ¢ irracionales, lo cual produjo una inmensa conmocién, Los hinddes también manipularon los irracionales, pero con una escasa conciencia de su verdadera naturale- za. Los néimeros irracionales fucron cmpleados durante los siglos com- prendidos entre el xv y el xvi, pero sin comprender por completo su relacién con los dems conjuntos de nimeros conocidos. A diferencia de los negativos, los ntimeros complejos fucron bien entendidos; también los nimeros irracionales y los complejos surgen como extensiones formales. La generalizacién de la aritmética terminé hacia 1800 y le siguié de inmediato la de la nocién de niimero. La notacién modular y el concepto de congruencia se deben a Gauss (1801) y hacia 1830 los algebristas britanicos se percataron sin duda alguna de la naturaleza for- mal y abstracta del algebra. Los trabajos de Hamilton sobre los cuaterniones aparecen en 1835, y unos afios m4s tarde les siguen las dlgebras generales (sistemas considerablemente abstractos de n dimensiones) de Grassman, obra ignorada durante muchos afios. Hacia 1860 Cayley inventé las ma- trices y en 1880 Gibbs inventé el andlisis vectorial. En esta época se llevé a cabo el estudio sistematico de los ntimeros reales, con la teorfa de funciones analiticas y la teorfa de conjuntos de George Cantor, asf como su exposi- cién del continuo lineal y de los ntimeros transfinitos. Al mismo tiempo que se llevan a cabo estas extensiones del concepto de néimero, sucede algo semejante con el de espacio, “liberando” —en palabras6 FRANCISCA ORTIZ RODRIGUEZ de Schaaf (1964, p. 66)— de este modo a la geometria. Las btisquedas de Saccheri (1733) y Legendre (1794), referentes al postulado de las paralelas, aparentemente resultaron infructuosas, aunque basicas para la invencién de las geometrias no euclidianas. Asi Gauss conocié lo esencial dela geometria hiperbdlica, antes de que Lobatschevski (1826) y Bolyai (1832) publicasen sus resultados, mismos que sdlo se conocieron hasta ser traducidos al fran- césy al inglés. Estos elementos conforman el primer periodo del desarrollo de las geometrias no euclidianas, caracterizado por el uso de los métodos sintéticos de la geometria elemental. Las contribuciones de Riemann, Lie, Helmholtz y Beltrami conforman el segundo periodo que se caracteriza por el empleo de métodos analiticos y de una geometria diferencial durante los afios sesenta. La invenci6n de las geometrias no euclidianas representa un hito del pensamiento matemitico, el cual generé una serie de intentos fructuosos que permitieron la profundizacién en los fundamentos de la geometria, El resul- tado fue que el espacio fisico de Newton abrié paso a una concepcién de los entes geométricos y del espacio geométrico como puras abstracciones, en donde los simbolos desempefarian el papel de diagramas visuales, y la légi- ca de la intuicion y la axiomatica el de la verdad absoluta de Euclides. Pasch (1882) y Peano (1893) son las grandes figuras de esta evolucién, asi como los Fundamentos de la Geometrfa de Gilbert (1899), momento crucial que permite considerar a las mateméticas como algo relativo. El absolutismo habfa desaparecido. Asi, observamos que al final del siglo x1x son dos los grandes resi- duos que surgen casi a la par: la creacién de las algebras abstractas y la de las geometrias abstractas, originando un nuevo dngulo, el del método axio- miatico o de los postulados, y conformando una revolucién fundamental del pensamiento humano. Las mateméticas del siglo xx deben contem- plarse vinicamente como una creacién arbitraria de los mateméticos. Untercer aspecto, relacionado con los anteriores, se refiere a laexten- sin de las técnicas de razonamiento, o liberacién de la Iégica. En 1666, en su obra De arte combinatoria, Leibniz presenta reglas que hacen innecesario el pensamiento, y enuncia los principios de la multiplicacién, negacién e identidad légica, asi como el de la clase vacfa, exponiendo la légica matem4- tica de manera sistematica. En 1854 aparecen las Leyes del Pensamiento de George Boole, quien expone de forma original y extensa las reglas de la légica formal. Veinte aftos después se publica una memoria sobre légica formal, escrita por Augustus de Morgan, y en 1881, la légica simbélica de John Venn.PROBLEMAS GENERALES 7 Entre 1870 y 1885, Charles Sanders Peirce vuelve a descubrir la ley de dualidad del algebra de Boole, define el “valor de verdad” y es el primero en utilizar las tablas de verdad (método matricial) en l6gica; siguiendo los pa- sos de G. Frege, entre 1880 y 1900 hizo contribuciones ala logica simbélica y alos fundamentos de aritmética. Y a principios del siglo, Bertrand Russell (1903), publica sus Principles of Mathematics (principios de las matemAti- cas), anticipaci6n a su tratado monumental: Principia Mathematica, los Prin- cipios Mateméaticos de Whitehead y Russell (1910-1913). Extensa formulacién de la légica simbélica, en ella se manifiesta con toda claridad el espfritu de las matematicas del siglo xx: La matemdtica pura se ocupa unicamente de conceptos definibles en un pequerio nimero de conceptos ldgicos: todas las proposiciones pueden deducirse a partir de unos pocos principios légicos; los con- ceptos:fundamentales'de das:neaternsticas son.indfinibles-y hanide ser postislados. Las matemiticas, desde este punto de vista, no son més que una parte de la légica. De tal manera, la escuela Whitchead-Russell, al contribuir con este método de pensamiento, recibe el nombre de escuela logistica. Existen otras dos escuelas de pensamiento importantes en lo que se refiere a la filosofia de las matemiticas: la escuela formalista, identificada con Hilbert, y la Intuicionista, representada por Brouwer. Los formalistas consi- deran que las matemiticas no son més que un juego de ajedrez, con reglas sencillas, donde el matemitico sélo tiene que ocuparse de las posibles in- terpretaciones de los simbolos que estin en juego. Visto asf, el formalis- mo puede parecer mis estéril de lo que en realidad es, Sin embargo, muchos mateméticos lo adoptan, considerando si no todas sus reglas, al menos algunas. Los intuicionistas sostienen que la matemitica es anterior ala légica, y que ésta es s6lo una parte de la primera. Las matemiticas de esta escuela no aceptan el principio del tercero excluido como universalmente vilido; consideran ademés que toda entidad matemiatica debe ser construida y, de no ser asf, ésta no puede existir. Por ejemplo, no se admite ninguna afir- macién acerca de un conjunto infinito sino puede demostrarse en un nu- mero finito de pasos. Hacia 1920, Carnap, al ocuparse de los andlisis del lenguaje y de su seméntica, depura atin més el sentido del formalismo, lo cual precipité una dura batalla entre formalistas e intuicionistas que dur6 hasta posiblemente8 FRANCISCA ORTIZ RODRIGUEZ 1930. En 1931, Gadel demostr6, con un razonamiento impecable, que no era posible probar la consistencia de un sistema légico sin salir del sistema. Esta accién no parece haber causado trastornos excesivos a las matematicas de la época. En 1900, en el Congreso Internacional de Matemiticas de Paris, Hilbert propone una lista de veinte problemas fundamentales, intentando mediante ellos captar las grandes lineas de biisqueda de la matematica. Muchos problemas de Hilbert ya han sido resueltos pero, a pesar de ser un gran genio, no fue capaz de prever los enormes progresos que han ocurrido desde 1915 y que paulatinamente han convertido a la matemiti- caen el centro y la génesis de otras ciencias. zCuéles han sido y son las fuentes de inspiracién matematicas? geen ee Ya en la antigticdad la escuela pitagérica distingu‘a cuatro ramas de la matemitica: la aritmética, la misica, la geometria y la astronomia. Con excepcién de la misica, todas ellas siguen constituyendo la fuente de inspiracién matematica. El lugar de la misica puede ocuparlo el dlgebra ola combinatoria, La matematica moderna ha agregado a estas cuatro ramas una quinta: el azar. De tal forma, en nuestros tiempos hay al menos cinco fuentes distintas de conceptos matemiticos: el ntimero, la forma, el modo de ordenar, el movimiento y el azar. + Elnimero Es el concepto mas conocido y también uno de los més basicos. Se cree que se originé a través del hecho de contar: propiedades, dias, enemigos, etc. Numero significa contar, dar a cada elemento un nombre particular, caracterizar un conjunto en su totalidad. Un nimero representa una can- tidad. En sentido cardinal, es el resultado, por una parte, de la abstraccion de una cualidad comin a los diversos elementos de un conjunto, y por otra, la posibilidad de comparar este conjunto con otro, mediante corres-