UNIVERSIDAD NACIONAL EXPERIMENTAL FRANCISCO DE MIRANDA DECANATO DE POSTGRADO ESPECIALIDAD EN ENSEANZA DE LA MATEMTICA: MENCIN EDUCACIN SUPERIOR

ORDEN EN R ACERCAMIENTO DIDCTICO HISTRICO

Autores: LIC. TREJO, LUISA C.I. 16.103.098

ING. GARCA, DOUGLAS C.I. 15.557.283

Santa Ana de Coro, Abril de 2011

CONSIDERACIONES DE CARCTER HISTRICO Representacin Numrica Aunque los egipcios, griegos y romanos tenan formas distintas de representar los nmeros, la base de su numeracin era decimal. Otros pueblos elaboraron distintos sistemas; por ejemplo, los babilonios tenan como base el sesenta; los mayas, en Amrica, desarrollaron un sistema de base veinte. En el siglo XVII, Leibnitz descubri la numeracin de base binaria, y la posibilidad de infinitos sistemas de numeracin. El espritu prctico que animaba a los Romanos no les permiti hacer grandes progresos en los problemas tericos de las ciencias matemticas. Esto se comprende mejor an, si se piensa en las deficiencias de su sistema de numeracin, que crearon siguiendo la huella de los Griegos., lo que les impidi hacer mayores progresos en el clculo matemtico. Los hindes, en cambio, llegaron a cuestiones ms abstractas, tal como se puede apreciar en el manuscrito Bakhshali que data del siglo VII (D.C.) y desarrollaron un prctico sistema de notacin numeral, al descubrir el cero y el valor posicional de las cifras. Los rabes dieron a conocer el sistema en Europa a partir del siglo VIII (D.C.). Por eso, nuestras cifras se llaman indo arbigas. Smbolos Matemticos A pesar de que los antiguos egipcios tenan smbolos para la adicin y la igualdad, y los griegos, hindes y rabes tenan smbolos para la igualdad y las incgnitas, en esos primeros tiempos las operaciones matemticas solan ser bastante engorrosas debido a la falta de signos apropiados. Las expresiones de dichas operaciones tenan que ser escritas por completo o expresadas mediante abreviaturas de las palabras. Lo anterior indica que el problema de las igualdades no fue conocido por los antiguos en su forma aritmtica. El primero que utiliz el signo igual (=), y expuso algunas cuestiones tericas sobre las igualdades fue Robert Recorde, en su obra The Ground of Arts, publicada en Londres en 1542. Explic su eleccin diciendo: "Pondr, como hago a menudo en el curso de mi trabajo, un par de paralelas o lneas gemelas de una misma longitud, as: _____, porque no hay dos cosas que puedan ser ms iguales". Posteriormente, la rutina se encarg de acortar las paralelas. Ms tarde, en el siglo XVII, el ingls Thomas Harriot y el francs Pierre Bouguer establecieron el uso de los signos mayor que (>) y menor que (<). Evolucin de la Aritmtica Hacia el siglo III (A. C.), los griegos alcanzaron un elevado grado de abstraccin en las ciencias matemticas. La misma palabra Aritmtica es de origen griego. Para ellos, esta ciencia era una rigurosa teora de los nmeros. Sus investigaciones los llevaron muy pronto al concepto de nmero primo. Euclides, hacia el 300 A. C., demostr en sus Elementos, los teoremas bsicos de la divisibilidad de los nmeros enteros, lo que permite a Gauss en 1801, deducir el teorema fundamental de la Aritmtica. Al descubrir Euclides la infinitud de la serie de los nmeros primos, alcanz su mximo desarrollo la teora de los nmeros entre

los griegos. No se volvieron a hacer progresos en este campo, hasta que Fermat, en 1630-65, propuso su teorema sobre los exponentes primos. Con los trabajos de Fermat, Euler y Gauss sobre la teora de los nmeros, se echaron las bases de la Aritmtica moderna o superior. AMPLIACIONES DEL CONCEPTO DE NMERO Nmeros naturales Ya hemos dicho que el concepto de nmero natural se pierde en la antigedad, y est estrechamente ligado a la naturaleza y actividades cotidianas del hombre. Matemticamente, existen varias vas para su construccin: una axiomtica, va seguida por el Matemtico Peano en el siglo XIX, y otra conjuntista, a travs de la nocin de cardinal y de la relacin de coordinabilidad (Cantor, Frege, Rusell). Nmeros enteros La formalizacin de los nmeros enteros es mucho ms artificial que la de los racionales, de modo que a lo largo de la Historia no fue hasta el s. XVI cuando apareci, debido a las dificultades que entraan para la mente humana. La introduccin de los nmeros negativos en Europa la realiza Nicolas Chuquet, matemtico francs. En su obra titulada Triparty en la science des nombres utiliza con habilidad tanto el cero como los nmeros negativos de origen hind, siendo publicada en 1484. En la primera parte de su obra realiza operaciones aritmticas con nmeros enteros, utilizando las cuatro operaciones fundamentales suma, resta, producto y divisin. Hubo que esperar al s. XIX para que Weierstrass diera el modelo de los nmeros enteros, definindolos como clases de pares de naturales mediante una relacin de equivalencia obvia que permita la resta de naturales Nmeros reales Fue en el ao 1872 cuando cinco matemticos (Weierstrass, Heine, Cantor y Dedekind) dieron con la definicin formal de nmero real. Tanto la definicin axiomtica como la de las clases de equivalencia de sucesiones de Cauchy, son laboriosas y artificiales. El origen de los nmeros reales es ms sencillo: Q es un cuerpo incompleto, necesitamos de otros nmeros para representar ciertas medidas y magnitudes no racionales; que los pitagricos de la antigua Grecia llamaban incomensurables y nosotros hoy da llamamos nmeros irracionales3. Nmeros que, como su nombre indica, no pueden expresarse como una fraccin. El descubrimiento de los inconmensurables, es decir, de pares de magnitudes geomtricas para las que no existe esta longitud que las mide (como, por ejemplo, el lado y la diagonal de un cuadrado) destrua la anterior creencia y produjo la primera de las grandes crisis en las Matemticas. En los cimientos de los trabajos pitagricos estaba la conmensurabilidad de dos magnitudes arbitrarias de la misma naturaleza (dos nmeros, dos longitudes, dos reas). La solucin al escndalo lgico que supuso el descubrimiento de los inconmensurables, fue dada por Eudoxo de Cnido, alrededor del ao 370 a.d.C., mediante la formulacin de una definicin de proporcin, o igualdad entre razones, totalmente independiente de la conmensurabilidad o inconmensurabilidad de las magnitudes a las que se

refiere. La importancia de esta teora de las proporciones es que permiti a la geometra continuar su desarrollo independientemente de toda teora aritmtica: la geometra continu su desarrollo hacia la solucin de problemas que constituiran el germen del clculo infinitesimal. Ciertamente esta importancia es tambin medida por la correspondencia entre la definicin de Eudoxo y la definicin de nmeros reales que, 2000 aos ms tarde, dara Richard Dedekind, en lo que hoy se conoce como cortaduras de Dedekind. La diferencia entre ambas teoras es quiz slo planteable a un nivel semntico, ya que mientras que Dedekind persegua una fundamentacin del nmero real o del continuo, Eudoxo, precisamente, consegua evitar, para sus fines, la necesidad de un tal sistema de nmeros. Es conveniente tener presentes estos problemas en el origen de las matemticas: los nmero reales, que tanto tiempo y esfuerzo cost precisar, son respuesta no slo a un problema de clculo aritmtico o algebraico, sino tambin al problema de la medida de magnitudes fsicas o geomtricas. EJEMPLO DIDCTICO Elementos de Euclides Libro Primero Nociones Comunes N. C. 1. Cosas iguales a la misma cosa son iguales entre s. N. C. 2. Si a cosas iguales se le aaden cosas iguales, los totales son iguales. N. C. 3. Si a cosas iguales se restan cosas iguales, las que quedan son iguales. N. C. 4. Cosas que coinciden con otra son iguales a la tercera N. C. 5. El todo es mayor que la parte. Gua Estas nociones comunes, a veces llamadas axiomas, se refieren a magnitudes de una clase. Las magnitudes que aparecen en los Elementos incluyen lneas, ngulos, figuras planas y figuras slidas. Las tres primeras Nociones Comunes indican que magnitudes de la misma clase se pueden comparar, ser aadidas y restadas, pero las de diferente clase no. Por ejemplo, una lnea no se puede sumar ni restar con un rectngulo, ni un ngulo puede ser comparado con un pentgono. La Nocin Comn 4 dice que si dos cosas son idnticas, es decir, si son la misma, entonces son iguales. La Nocin Comn 5, puede ser interpretada como una definicin de "ser mayor que". Decir que una magnitud B es parte de otra A podra ser considerado como decir que A es la suma de B y C para alguna tercera magnitud C. De forma simblica, A > B significa que existe algn C de modo que A = B + C. Euclides considera estas dos condiciones de modo equivalente a lo largo de su obra.

Hay otras propiedades de magnitudes que son utilizadas a lo largo del Libro I, adems de las Nociones Comunes anteriores. A continuacin se listan algunas de ellas y dnde son utilizadas. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. Si no x = y, entonces x > y o x < y. No es x < y y x = y. Si no no x = y, entonces x = y. Si x < y e y = z, entonces x < z. Si x < y e y < z, entonces x < z. Si x = y e y < z, entonces x < z. Si x < y, entonces x + z < y + z. Si no x > y, entonces x = y o x < y. Si no x < y y no x = y, entonces x > y. Si 2x = 2y, entonces x = y. Si x = y, entonces 2x = 2y.

La nmero 3 es un ejemplo del principio de doble negacin, ms que una nocin comn. La nmero 11 es un caso especial de la Nocin Comn 2, dado que doblar es un caso especial de adicin, es decir, 2x es precisamente x + x. Algunas de las propiedades anteriores son variantes lgicas de otras, por ejemplo, la 1, 8 y 9 son equivalentes a afirmar que al menos uno de los tres casos siguientes es cierto: x < y, x = y, o x > y. La propiedad 2 dice que dos de los casos sealados no pueden ser simultneamente verdad. Para dos magnitudes x e y de la misma clase, se verifica exactamente uno de los tres casos siguientes: x < y, x = y, o x > y Se suele denominar ley de tricotoma para magnitudes. Esta ley podra, en particular, haber sido enunciada como una Nocin Comn de forma explcita. Una presentacin moderna en las Matemticas actuales, las nociones y propiedades anteriores podran considerarse como la base del lgebra abstracta. Consideremos la relacin binaria entre un conjunto de magnitudes de la misma clase, llamada igualdad, y denotada como se hace habitualmente por el smbolo de igualdad, x = y. Suponemos que la igualdad es una relacin de equivalencia, es decir, que verifica los siguientes tres axiomas: 1. Transitividad: (x < y ^ y < z) x < z 2. Asimetra: x < yy < x 3. Tricotoma: se cumple una, y exactamente una de las condiciones siguientes: x < y, x = y, y < x