You are on page 1of 43

TRABAJO FINAL DE MSTER

USO DEL SOFTWARE LIBRE SAGE EN LA ENSEANZA DE LAS MATEMTICAS EN EDUCACIN SECUNDARIA OBLIGATORIA Y BACHILLERATO

NOMBRE DEL ALUMNO O ALUMNA: MARIA FERRI PARDO ESPECIALIDAD CURSADA: INFORMTICA SUPERVISOR O SUPERVISORA DE LA UNIVERSIDAD CATLICA DE VALENCIA: DIONISIO F. YEZ

NDICE

1. 2.

INTRODUCCIN.4 ANTECEDENTES. INVESTIGACIN DE LA APLICACIN DE LAS NUEVAS TECNOLOGAS EN LA ENSEANZA DE LAS MATEMTICAS.5 MOTIVACIN7 SAGE..8 EMPLEO DE SAGE EN LAS AULAS DE UN IES.10 EL PROGRAMA SAGE EN EDUCACION SECUNDARIA OBLIGATORIA.12 6.1 OPERACIONES CON ENTEROS12 6.2 OPERACIONES CON NMEROS RACIONALES Y REALES..13 6.3 CONJUNTOS NUMRICOS.14 6.4 LA AYUDA EN SAGE16 6.5 COMPARACIN DE NMEROS..17 6.6 NUMEROS PRIMOS Y FACTORIZACION DE NUMEROS.17 6.7 MAXIMO COMUN DIVISOR Y MINIMO COMUN MULTIPLO.18 6.8 TRABAJANDO CON NUMEROS COMPLEJOS.19 6.9 ECUACIONES ELEMENTALES EXACTAS.21 6.10 RESOLUCION DE SISTEMAS DE ECUACIONES..23 6.11 RESOLUCION NUMERICA DE ECUACIONES23 6.12 POLINOMIOS Y OPERACIONES CON POLINOMIOS..24 6.13 FACTORIZACIN26 6.14 RAICES DE POLINOMIOS.27 6.15 FRACCIONES ALGEBRAICAS..28 6.16 GRAFICAS DE FUNCIONES.28 6.17 FUNCIONES A TROZOS.32

3. 4. 5. 6.

6.18 LIMITES33 6.19 DERIVADAS..34 6.20 INTEGRALES.35 6.21 VECTORES Y OPERACIONES CON VECTORES36 6.22 MATRICES Y OPERACIONES CON MATRICES.37 7. CONCLUSIONES39 8.BIBLIOGRAFIA.41

1. INTRODUCCIN
El programa matemtico SAGE ha sido desarrollado por un grupo de matemticos de la Universidad de Washington y pretende ser un sustituto de los programas propietarios empleados en la actualidad como Matlab o Mathematica. Dadas sus caractersticas como su calidad, fiabilidad, fcil manejo, su carcter intuitivo, as como el hecho de tratarse de un software de cdigo abierto, lo hacen muy adecuado para el aprendizaje de las Matemticas en Educacin Secundaria Obligatoria y Bachiller. El objetivo de este Trabajo Final de Mster es realizar una aproximacin al programa de clculo matemtico de software libre SAGE as como elaborar una recopilacin de ejercicios adecuados para las etapas escolares anteriormente mencionadas. Adems analizaremos este software, sus potencialidades, sus posibilidades de implantacin en las aulas Lliurex, as como prever cules sern las consecuencias positivas derivadas de su introduccin en la Educacin Obligatoria. Los informes PISA ponen de manifiesto la necesidad de converger con Europa en una materia tan fundamental para el desarrollo intelectual y para la vida cotidiana como son las Matemticas. Por ello, se hace necesario introducir nuevas tcnicas, adems de las tradicionales, que permitan comprender esta materia y desarrollar el pensamiento lgico de los alumnos. Un software como SAGE, no pretende ser un sustituto del profesor, ni de las metodologas empleadas en la enseanza de las Matemticas hasta el momento, sino que se trata de una herramienta mediante la cual los alumnos pueden comprender, analizar, racionalizar y visualizar los mismos problemas matemticos que estudian en clase. Es por este motivo que SAGE representa una innovacin educativa relevante que debera considerarse para mejorar los resultados obtenidos en Matemticas.

2. ANTECEDENTES. INVESTIGACIN DE LA APLICACIN DE LAS NUEVAS TECNOLOGAS EN LA ENSEANZA DE LAS MATEMTICAS.


A lo largo de los ltimos aos, diversos estudios de investigacin realizados en el mbito de la Enseanza Secundaria Obligatoria y Bachiller han estado dedicados al anlisis de las consecuencias de la introduccin de los llamados Computer Algebra Systems (CAS) en el aprendizaje de las Matemticas.

Sin embargo, diversos autores como Ortega [3] y Galn [4] advierten de que el uso de los Computer Algebra Systems se reduce en la mayora de los casos a la utilizacin por parte del ordenador como una calculadora de altas prestaciones, infrautilizando por tanto la potencialidad de recursos que ofrecen. Por ello, es necesario introducir un punto de vista diferente para fomentar al mismo tiempo la creatividad de los alumnos en el campo de las matemticas.

Para ello, es necesario modificar los usos didcticos que tradicionalmente se hacen de estas herramientas, incidiendo en los siguientes aspectos:

Conseguir que los Computer Algebra Systems permitan un aprendizaje positivo de las Matemticas. - Incrementar la posibilidad de experimentacin en el mbito de las Matemticas. - Permitir que el alumno pueda construir un conocimiento matemtico siempre bajo la orientacin de un docente. - Realizar problemas mucho ms realistas aprovechando el uso de los Computer Algebra Systems. - Emplear los resultados incorrectos que se obtienen en muchas ocasiones con los Computer Algebra Systems para reforzar el aprendizaje de los conceptos que se estn estudiando, fomentando de esta forma el espritu crtico de los alumnos. De esta forma se aprovechan los errores para mejorar el proceso de enseanzaaprendizaje. - Introducir la programacin con lenguajes informticos en las clases de Matemticas de forma que los alumnos puedan construir y depurar los programas.

- Complementar la programacin con los Computer Algebra Systems mediante la elaboracin de funciones especficas, incrementando de esta forma la librera de funciones predeterminadas que contienen estos programas.

Un estudio de investigacin realizado por la Universidad de Mlaga [2], centrado en asignaturas de carreras tcnicas y en base a la experiencia acumulada por un grupo de profesores a lo largo de diez aos, se centr en responder las siguientes cuestiones:

- Es posible mejorar el proceso didctico ordinario y sus resultados en las asignaturas de Matemticas de los estudios de Ingeniera mediante la introduccin de la creacin de comandos con Derive por parte de los alumnos? - En qu aspectos se consigue la mejora, cul es el tamao de los efectos principales y cules y cmo son los efectos secundarios? - Cmo se puede responder a los interrogantes primero y segundo sin alterar el proceso ordinario ni afectar negativamente al mismo o a sus resultados? Cules son las dificultades y limitaciones que pueden aparecer?

Llegando a las siguientes conclusiones: Los Computer Algebra Systems son herramientas informticas de fcil manejo y tiles para su integracin en las clases de Matemticas de carreras de Ingeniera. - Es necesario cambiar los usos tradicionales que se hacen de los Computer Algebra Systems para lograr maximizar las oportunidades que ofrecen. - La optimizacin debe orientarse hacia una mejora de la motivacin y la autonoma, as como del aprendizaje basado en la implicacin del alumno en el proceso. - Se considera como una gran potencialidad poder combinar los recursos de un Computer Algebra System con la flexibilidad de un lenguaje de programacin.

3. MOTIVACIN
El aprendizaje de las Matemticas plantea serios problemas a los alumnos de Secundaria y Bachiller. La necesidad de desarrollar el pensamiento racional de los alumnos, as como su capacidad de abstraccin y su creatividad, hacen necesario la introduccin de nuevos mtodos de aprendizaje por parte de los profesores.

En este sentido, el profesor no debe ser un mero comunicador de conocimientos o conceptos, sino que debe convertirse en parte activa del proceso de aprendizaje. La investigacin de nuevos mtodos innovadores que permitan mejorar los resultados obtenidos en Matemticas se convierte en una buena opcin, siempre que se justifique adecuadamente su uso con los buenos resultados obtenidos.

La dificultad en el aprendizaje de las Matemticas se debe habitualmente a la incapacidad por parte de los alumnos abstraerse e imaginar los problemas planteados. Por ello, siempre son bienvenidas aquellas ayudas externas que permitan visualizar los problemas planteados, sin dejar de lado por ello el proceso de desarrollo de la capacidad matemtica y analtica del alumno.

Los llamados Computer Algebra Systems son programas matemticos que se suelen emplear en clases de Ingeniera para el aprendizaje de determinadas asignaturas, y que sin embargo, tambin podran adaptarse para ayudar en el aprendizaje de las Matemticas en Educacin Secundaria Obligatoria y en Bachiller.

Para ello, en primer lugar hay que tener claro que estos programas no son un sustituto del profesor, ni van a lograr que el alumno aprenda sin esfuerzo alguno, sino que van a actuar como apoyo y siempre bajo la supervisin del profesor, permitiendo un aprendizaje ms fluido e intuitivo.

Claro est que en Educacin Secundaria Obligatoria no se van a realizar ni mucho menos las mismas actividades que se desarrollan en las clases de Ingeniera, sino que ms bien ser todo lo contrario. Por ello, el xito del empleo de un Computer Algebra System en ESO va a depender de lo bien que adaptemos toda su gran

potencialidad y capacidad de clculo a la mente de un alumno en plena adolescencia.

Por tanto, el primer paso que debemos dar como profesores es una toma de contacto con el programa, evaluando cmo puede mejorar los resultados de nuestros alumnos, y centrndonos en las rdenes estrictamente necesarias para conseguir nuestros objetivos.

Al final, no se trata de que nuestros alumnos sean unos portentos en el uso y conocimiento del programa en cuestin, sino de que comprendan bien los conceptos estudiados en clase y que sepan emplear el CAS como una herramienta de apoyo para conseguir unos buenos resultados en la asignatura.

4. SAGE
El programa de clculo computacional SAGE surge como un proyecto personal del profesor de matemticas de la Universidad de Washington William Stein. Este profesor, junto con el resto de profesores e investigadores de su grupo de trabajo, empleaba habitualmente el programa Magma tanto en sus clases y laboratorios como tambin para desarrollar sus investigaciones.

Sin embargo, el programa Magma, al igual que otros programas propietarios como Matlab, Mathematica o Maple, poda llegar a costar hasta 1.500 euros, dependiendo del tipo de uso e instalacin del mismo. Adems, estos programas no permiten al usuario ver el cdigo del programa, de ah surgi la idea de crear un software libre para el anlisis matemtico.

Por otra parte, el elevado nivel de los software comerciales, haca prcticamente imposible plantearse un desarrollo partiendo desde cero, ya que seran muchos los aos e investigadores dedicados a ello. Por ello, el profesor Stein lleg a la conclusin de que dados los numerosos paquetes de cdigo abierto que ya existan tanto en diferentes lenguajes, como enfocados a diversas reas de las Matemticas, la mejor decisin sera unificar todos estos paquetes opensource para desarrollar de esta forma un gran software matemtico que sera el embrin del actual SAGE.

Hasta el momento actual, SAGE cuenta con ms de 200 colaboradores en todo el mundo, y ya ha tenido un total de 300 revisiones. Adems, se han celebrado muchos eventos, los llamados SAGE Days, en los que desarrolladores de todo el mundo se renen para elaborar documentacin sobre el uso de SAGE en educacin, para detectar y solucionar errores, o bien para implementar nuevas funciones.

Un ejemplo de este tipo de eventos, son las Jornadas de verano SAGE que se celebran en Espaa, en las que se presentan algunas experiencias docentes que se han estado llevando a cabo en diferentes Universidades espaolas.

El trabajo de colaboracin conjunta de investigadores, matemticos y estudiantes ha hecho posible que SAGE disponga en la actualidad de una gran cantidad de documentacin compuesta por manuales de referencia, tutoriales y guas.

SAGE dispone de una documentacin enorme compuesta de tutoriales, guas y el manual de referencia. Solo por el tamao de este ltimo nos damos cuenta de la sorprendente amplitud de posibilidades que tiene este programa. Actualmente SAGE le lleva la delantera a todos sus competidores no libres en cuanto a temas de matemtica terica, como pueden ser curvas elpticas o espacios de matrices, y por supuesto es capaz de dibujar grficos en 2D y en 3D y de crear componentes interactivos al estilo de Mathematica, con la diferencia de que para compartirlos no necesitas el Mathematica Player: solamente un navegador.

Algunas de las muchas caractersticas de SAGE son las siguientes:

- Interfaz grfica tipo Notebook, empleada para la revisin y reutilizacin de entradas y salidas, que permite incluir grficas y notas de texto las cuales estn disponibles en la mayora de navegadores (incluyendo Internet Explorer, Mozilla Firefox, Opera, Konqueror y Safari). - Cuenta con una lnea de comandos basada en texto empleando para ello iPython. - Emplea el lenguaje de programacin Python, que soporta expresiones de programacin orientada a objetos.

- Realiza un procesamiento paralelo usando para ello tanto procesadores de ncleo mltiple como procesadores simtricos. Utiliza Maxima y SymPy. Permite tener un control interactivo de los clculos.

- Tiene libreras de funciones elementales y especiales. As como libreras de estadstica multivariable. Permite realizar grficas en 3D y 2D tanto de funciones como de datos. Permite emplear herramientas de manipulacin de datos y de matrices.

- Cuenta con una caja de herramientas para aadir interfaces de usuario a clculos y a aplicaciones. - Posee herramientas para analizar y visualizar grficas, as como herramientas ms destinadas al procesamiento de imgenes utilizando Pylab y Python. Cuenta con filtros para exportar e importar imgenes, sonido, vdeo, datos, etc. Soporta gran cantidad de nmeros complejos. Permite computacin simblica de funciones.

- Cuenta con interfaces a otros software Matemticos, como Magma o Maple, permitiendo de este modo a los usuarios comparar resultados. Permite realizar una edicin colaborativa de documentos.

Para resumir, SAGE es un software que nos permite experimentar con las Matemticas. Es gratuito y opensource (de cdigo abierto) y constituye la apuesta ms novedosa para utilizar las TIC en el mbito acadmico. Sus caractersticas ms destacadas son la integracin de mltiples herramientas, la posibilidad de acceso remoto a travs de Internet, as como el nfasis por compartir su cdigo informtico. Tanto por su potencia como por su versatilidad muchos matemticos auguran que SAGE se convertir en un estndar de facto para el aprendizaje con el ordenador de las Matemticas de nivel medio y superior.

5. EMPLEO DE SAGE EN LAS AULAS DE UN IES


Veamos primero cmo se debe instalar de forma adecuada este software en el ordenador.

Utilizar SAGE en un ordenador personal es muy sencillo una vez que hemos tenido en consideracin algunos detalles importantes. En primer lugar, SAGE se puede utilizar de formas muy diferentes, una de las cuales es la instalacin bsica habitual que podemos hacer de cualquier programa en nuestro ordenador.

Adems, podemos utilizarlo de otras formas, como por ejemplo, lanzando un LiveCD desde la unidad D:\ del ordenador, o bien, sencillamente conectndonos a Internet. Esta ltima forma de ejecucin de SAGE es la que ms nos va a interesar para nuestras aplicaciones. La instalacin en un PC es sencilla, pero depende del sistema operativo instalado en el ordenador. Sin embargo, la opcin ms cmoda y que aporta grandes ventajas respecto de otros programas de clculo matemtico, es la de emplear SAGE a travs de Internet. Como se ha explicado en apartados anteriores, este programa puede ejecutarse desde cualquier explorador, siendo Firefox el ms recomendado por todos los expertos por razones de seguridad.

Al acceder a la pgina web principal de SAGE (www.SAGEnb.org) lo nico que tenemos que hacer es registrarnos y de esta forma accederemos al cuaderno de trabajo de SAGE, conocido como Notebook.

Una vez en la pgina web del Notebook de SAGE podemos buscar hojas de trabajo o Worksheets elaborados por otros usuarios y ejecutarlos, as como crear nuevas hojas de trabajo, empezar a trabajar con ellas e incluso compartirlas con la comunidad de usuarios de SAGE.

Por tanto, como se puede observar, son muchas las ventajas de utilizar SAGE en cualquier aula de laboratorio de un Instituto de Educacin Secundaria. En primer lugar, se puede emplear en todos los ordenadores independientemente del sistema operativo que tengan instalado, en segundo lugar, no requiere de instalacin alguna y por ltimo, no requiere emplear ordenadores de altas prestaciones.

El modelo de desarrollo de software libre que emplea SAGE, permite que surjan cada da nuevas ideas y funcionalidades que mejoran y complementan el sistema continuamente. Adems, existen muchos grupos de Google que versan sobre SAGE y permiten a los usuarios y desarrolladores estar permanentemente informados sobre las novedades de este sistema.

Adems, como se ha explicado anteriormente, SAGE puede emplearse va web siendo posible de esta forma compartir hojas de trabajo con el resto de usuarios, lo que abre posibilidades ilimitadas de aplicacin en el mbito docente: tareas que se pueden realizar en casa, realizacin de trabajos en grupo, clases guiadas colectivas de laboratorio, etc.

6. EL PROGRAMA SAGE EN EDUCACIN SECUNDARIA OBLIGATORIA


Llegados a este punto, ya tenemos conocimiento suficiente sobre las caractersticas tcnicas de SAGE. Tambin sobre sus posibilidades de implantacin en aulas de laboratorio de Secundaria, as como sobre su potencialidad como herramienta innovadora en el mbito del aprendizaje de las Matemticas.

En los siguientes apartados haremos un recorrido por los diferentes tipos de operaciones que se pueden realizar con el programa, que se han incluido por su sencillez y sus contenidos prximos a las Matemticas estudiadas en Secundaria y Bachiller.

6.1 OPERACIONES CON ENTEROS


SAGE emplea los operadores habituales para realizar operaciones con enteros. Tanto la jerarqua de operaciones como el uso del parntesis es similar al que se utiliza en Matemticas. Para el clculo de potencias se utiliza el doble asterisco (**) el carcter circunflejo (^). Por otra parte, los comentarios comienzan siempre con el signo #.

Otros aspectos importantes a considerar son que las potencias con exponente negativo producen fracciones y que las variables se inicializan con el signo (=).

SAGE: 45+13 58 SAGE: 45-589 -544 SAGE: 130/5 26 SAGE: 190/24 95/12 SAGE: 2**3 8 SAGE: 3^4 81 SAGE: (3+5)^4-25*3+5 4026 SAGE: 3^(-5) 1/243 SAGE: a=2 SAGE: 3*a, -a*5, a^3 (6, -10, 8)

6.2 OPERACIONES CON NMEROS RACIONALES Y REALES

Al igual que las operaciones con enteros, las operaciones con nmeros racionales y reales resultan muy intuitivas con SAGE. Las fracciones se escriben con la barra de divisin (/), mientras que los nmeros reales se denotan por el punto decimal(.).

Al igual que en el resto de programas de Clculo Matemtico, el exponente de la potencia de 10 se escribe tras la letra e, la raz cuadrada se calcula mediante la funcin sqrt(), mientras que para calcular la raz n-sima elevamos a 1/n.

Adems, es conveniente tener en cuenta que SAGE siempre simplifica radicales, extrayendo los factores de las operaciones siempre que sea posible.

Un ejemplo de lo explicado en prrafos anteriores, se puede observar en el siguiente Worksheet del Notebook de SAGE:

SAGE: 4/5+25/7 153/35 SAGE: 5/8-16/9 -83/72 SAGE: (5/2-3/8)^3+(4/6)/(25/16) 384859/38400 SAGE: 5.263+1.632 6.89500000000000 SAGE: (1.3265987)^100 1.87912961723248e12 SAGE: 5/4+0.65 1.90000000000000 SAGE: sqrt(32) 4*sqrt(2) SAGE: sqrt(4), sqrt(8), sqrt(32) (2, 2*sqrt(2), 4*sqrt(2)) SAGE: 1024^(1/4) #Clculo de la raz cuarta 4*4^(1/4)

6.3 CONJUNTOS NUMRICOS

Como es bien sabido, en Matemticas tenemos distintos conjuntos numricos, por una parte, el conjunto de los nmeros enteros (Z), por otra, el conjunto de los nmeros racionales (Q), o el conjunto de los nmeros complejos (C). SAGE emplea una aritmtica exacta para el conjunto Z y Q, mientras que emplea una aritmtica aproximada para R y C.

Estos conjuntos numricos tienen una notacin especial en SAGE: el conjunto de los enteros es ZZ, el de los racionales QQ, el de los reales RR y por ltimo, los nmeros complejos se representan por CC.

Podemos saber en qu conjunto considera SAGE que est cada nmero, empleando para ello el mtodo .base_ring(), que se emplea de la siguiente forma:

SAGE: a=5 SAGE: a.base_ring() Integer Ring SAGE: a=5.6 SAGE: a.base_ring() Real Field with 53 bits of precision SAGE: a=52/89 SAGE: a.base_ring() Rational Field

Tambin puede ser interesante extraer el denominador y el numerador de un nmero racional, estas operaciones se realizan con las funciones: .denominator() y .numerator().

Para operaciones de redondeo, empleamos las funciones .round(), .floor() y .ceil(). Las cinco funciones anteriores se pueden emplear indistintamente tanto como funciones como como mtodos. Adems, mediante el mtodo .round() podemos especificar con cuntos decimales queremos realizar el redondeo.

SAGE: a=54/13 SAGE: denominator(a) 13 SAGE: a.denominator() 13 SAGE: numerator(a) 54 SAGE: a.numerator() 54 SAGE: a= 5.48 SAGE: a.round() 5 SAGE: a.floor() 5 SAGE: a.ceil()

6 SAGE: a= -5.375 SAGE: a.round() -5 SAGE: a.floor() -6 SAGE: a.ceil() -5

6.4 LA AYUDA EN SAGE

La ayuda en SAGE funciona de forma muy sencilla. Como para realizar cualquier operacin, en primer lugar escribimos el objeto, SAGE sabe qu mtodos se pueden aplicar a dicho objeto, de esta forma, al escribir un objeto, el punto, y pulsando a continuacin el tabulador, el programa nos muestra un men con los mtodos que se pueden aplicar a ese objeto.

Para obtener ayuda sobre un mtodo o una funcin, en lugar de escribir los parntesis escribiremos el signo de interrogacin (?) y pulsaremos el tabulador. Para movernos en el men ayuda, en caso de que la ayuda ocupe ms de una pantalla, mediante la barra espaciadora avanzaremos de pgina, por otra parte para salir de la ayuda emplearemos la tecla q (quit).

La ayuda en SAGE se nos presenta con un texto descriptivo en ingls y ejemplos de uso de las funciones y mtodos. A ttulo informativo, y aunque este tipo de ayuda no se vaya a emplear en Educacin Secundaria Obligatoria ni en Bachiller, si lo que queremos es tener informacin acerca del cdigo fuente de las funciones, escribiremos dos signos de interrogacin (??).

6.5 COMPARACIN DE NMEROS

En SAGE empleamos los conocidos operadores de orden (<, >, <=, >=). Cuando empleamos estos operadores para comparar nmeros, la respuesta de la comparacin es True cuando la desigualdad es verdadera, y False cuando la desigualdad es falsa. Aparte de los operadores de orden, podemos emplear los operadores de igualdad (==) y no igualdad (!=)

SAGE: 4<6 True SAGE: -3>4 False SAGE: 75<76, 78>=78 (True, True) SAGE: 36==6*6 True SAGE: 5!=5 False

6.6 NMEROS PRIMOS Y FACTORIZACIN DE NMEROS

Como ya sabemos, un nmero natural es un nmero primo cuando sus nicos divisores son la unidad y l mismo. Mientras que el resto de nmeros, es decir, los nmeros no primos, se denominan tambin nmeros compuestos. El Teorema Fundamental de la Aritmtica afirma que todo nmero compuesto puede descomponerse factorialmente como producto de nmeros primos.

En SAGE se emplean las siguientes funciones relacionadas con nmeros primos: - Para comprobar si un nmero es primo: .is_prime() -Para informarnos sobre si un nmero es potencia de un nmero primo: .is_prime_power() - Dado un nmero n, el primer nmero primo mayor que n: .next_prime()

- Obtener el primo inmediatamente anterior a n: .previous_prime()

SAGE: a=21 SAGE: a.is_prime() False SAGE: a.is_prime() True SAGE: 9.next_prime() 11 SAGE: 81.is_prime_power() True SAGE: previous_prime(24) 23 SAGE: a=7

Por otra parte, si lo que queremos es descomponer un nmero compuesto en sus factores primos, emplearemos la funcin .factor(). Adems, muy relacionado con el problema de la factorizacin tenemos el problema de hallar todos los divisores de un nmero dado, para ello, multiplicando cualquiera de los factores de la descomposicin de un nmero obtenemos un divisor de dicho nmero.

6.7 MXIMO COMN DIVISOR Y MNIMO COMN MLTIPLO

Los conceptos de mnimo comn mltiplo y mximo comn divisor son muy empleados desde los primeros cursos de Educacin Secundaria Obligatoria. Dado un nmero entero n, consideramos el conjunto de sus divisores positivos. Si dado otro nmero entero m, consideramos de nuevo el conjunto de sus divisores y hacemos la interseccin de ambos conjuntos, el mayor de los nmeros de la interseccin es por definicin el mximo comn divisor de ambos nmeros.

Por otra parte, si consideramos lo mltiplos positivos de n y de m, y hacemos la interseccin de estos conjuntos, existir necesariamente un nmero que ser el menor de todos, este nmero es el mnimo comn mltiplo.

Las funciones que se emplean para calcular el mximo comn divisor y el mnimo comn mltiplo de dos enteros, son respectivamente: .gcd() y .lcm().

SAGE: (81).gcd(9) 9 SAGE: (81).lcm(9) 81

6.8 TRABAJANDO CON NMEROS COMPLEJOS

Los nmeros complejos son expresiones de la forma a+bi donde a y b son nmeros reales e i es la raz cuadrada de -1. Por defecto, el programa SAGE no reconoce esta letra como un nmero complejo, por ello, para que el programa trate la letra como nmero complejo es necesario escribir la siguiente orden: i = CC(i)

Por otra parte, las operaciones aritmticas con nmeros complejos se realizan de nuevo con los operadores habituales.

SAGE: i = CC(i) SAGE: type(i) <type 'SAGE.rings.complex_number.ComplexNumber'> SAGE: type(3+4*i) <type 'SAGE.rings.complex_number.ComplexNumber'> SAGE: i^2 -1.00000000000000 SAGE: a = 5+8*i SAGE: b = 3.4+9*i SAGE: a+b 8.40000000000000 + 17.0000000000000*I SAGE: a-b 1.60000000000000 - 1.00000000000000*I SAGE: 3*a-7*b

-8.80000000000000 - 39.0000000000000*I SAGE: a*b -55.0000000000000 + 72.2000000000000*I SAGE: a/b 0.961538461538461 - 0.192307692307692*I SAGE: a^3 -835.000000000000 + 88.0000000000000*I

Si consideramos un nmero complejo z = a+bi, otras operaciones que podemos realizar en SAGE con este nmero complejo son las siguientes: - .real() :Para obtener la parte real del nmero complejo. - .imag() :Para obtener la parte imaginaria del nmero complejo. - .conjugate() : Para obtener el conjugado del nmero complejo (a-bi). - .norm() : Para obtener la norma del nmero complejo. - .arg(), .argument() : Para obtener el argumento o ngulo en radianes que forma el vector (a,b) con la parte positiva del eje de las x.

El siguiente Worksheet del Notebook de SAGE muestra un ejemplo de cmo emplear estas funciones:

SAGE: i = CC(i) SAGE: a =5+8*i SAGE: a.real() 5.00000000000000 SAGE: a.imag() 8.00000000000000 SAGE: a.abs() 9.43398113205660 SAGE: a.norm() 89.0000000000000 SAGE: a.conjugate() 5.00000000000000 - 8.00000000000000*I SAGE: a*a.conjugate() 89.0000000000000 SAGE: a.arg() 1.01219701145133

El Teorema Fundamental del lgebra nos demuestra que todo nmero complejo tiene n races n-simas. Para obtener estas races utilizamos el comando .nth_root(n), en el que debemos indicar como argumento el orden de la raz. Por defecto, SAGE solamente nos devuelve una de las races, pero utilizando la opcin all=True nos devuelve un listado con todas las races. Para el caso de la raz cuadrada utilizamos la funcin sqrt().

SAGE: i = CC(i) SAGE: a = 4.6 + 9.68*i SAGE: b = a.nth_root(5); b 1.56634459784419 + 0.359216283265026*I SAGE: b^5 4.59999999999999 + 9.68000000000000*I SAGE: a.nth_root(5, all=True) [1.56634459784419 + 0.359216283265026*I, 0.142392112822719 + 1.60068617272853*I, -1.47834143238984 + 0.630062176803190*I, 1.05605736501685 - 1.21128633243841*I, 0.825662086739775 1.37867830035833*I] SAGE: sqrt(a) 2.76743452871272 + 1.74891219639849*I SAGE: sqrt(a, all=True) [2.76743452871272 + 1.74891219639849*I, -2.76743452871272 1.74891219639849*I]

6.9 ECUACIONES ELEMENTALES EXACTAS

En SAGE, las ecuaciones estn separadas por dos signos igual (==), por lo que si las separamos nicamente con un signo igual nos dar un error. Si no escribimos el doble igual, el programa supone que la ecuacin est igualada a cero. El comando empleado para resolver este tipo de ecuaciones exactas es el siguiente: solve (ecuacin, x)

Como viene siendo habitual, en el siguiente Worksheet del Notebook de SAGE podemos hacernos a la idea de cmo emplear esta funcin de resolucin de ecuaciones.

SAGE: solve(x^2-5*x+6 == 0,x) [x == 3, x == 2] SAGE: solve(x^2-5*x+6,x) [x == 3, x == 2] SAGE: solve(x^2-4*x+4==0,x) [x == 2] SAGE: solve(x^3-3*x+2==0,x) [x == -2, x == 1] SAGE: solve((x+1)/9+(3*x-4)/45 == [x == (814/223)] SAGE: solve(x^8-10*x^6+37*x^4-60*x^2+36,x) [x == -sqrt(2), x == sqrt(2), x == -sqrt(3), x == sqrt(3)] x+(5*x-54)/12,x)

A la hora de resolver ecuaciones, es muy comn que obtengamos soluciones complejas. El smbolo que usa el programa SAGE para representar el smbolo imaginario es I.

SAGE: solve(x^2+4,x) [x == (-2*I), x == (2*I)] SAGE: solve(3*x^3+5*x^2-4*x+5,x) [x == -1/2*(I*sqrt(3) + 1)*(1/54*sqrt(3)*sqrt(1423) 2005/1458)^(1/3) - 1/162*(-61*I*sqrt(3) + 61)/(1/54*sqrt(3)*sqrt(1423) - 2005/1458)^(1/3) - 5/9, x == -1/2*(I*sqrt(3) + 1)*(1/54*sqrt(3)*sqrt(1423) - 2005/1458)^(1/3) 1/162*(61*I*sqrt(3) + 61)/(1/54*sqrt(3)*sqrt(1423) 2005/1458)^(1/3) - 5/9, x == (1/54*sqrt(3)*sqrt(1423) 2005/1458)^(1/3) + 61/81/(1/54*sqrt(3)*sqrt(1423) - 2005/1458)^(1/3) - 5/9]

6.10 RESOLUCIN DE SISTEMAS DE ECUACIONES

Como es bien sabido, un sistema de ecuaciones es un conjunto de ecuaciones. En SAGE, estas ecuaciones se escriben formando lo que se conoce como una lista. Para ello, debemos escribir entre corchetes las ecuaciones y separarlas mediante comas, escribiendo despus de la lista de ecuaciones los nombres de las variables que queremos resolver.

SAGE: var('x,y') (x, y) SAGE: solve([x+y == 2, x-y == 0],x,y) [[x == 1, y == 1]] SAGE: solve(x^2+y == 2, y) [y == -x^2 + 2] SAGE: solve([x+y == 2, 2*x+2*y == 4],x,y) [[x == -r1 + 2, y == r1]] SAGE: solve([x^2+y^2 == 2, 2*x+2*y == 3],x,y) [[x == -1/4*sqrt(7) + 3/4, y == 1/4*sqrt(7) + 3/4], [x == 1/4*sqrt(7) + 3/4, y == -1/4*sqrt(7) + 3/4]]

6.11 RESOLUCIN NUMRICA DE ECUACIONES

Por lo general, las ecuaciones no son resolubles de forma exacta, por ello, si queremos conseguir soluciones tendremos que recurrir a mtodos numricos que nos proporcionarn las soluciones con el grado de aproximacin que queramos. Los algoritmos empleados para los mtodos numricos, hacen necesario especificar el intervalo en el cual el algoritmo debe buscar una solucin. En el caso de que haya ms de una solucin en el intervalo dado, el algoritmo encontrar nicamente una de las soluciones. El mtodo empleado para encontrar la solucin numrica de una ecuacin es el siguiente: .find_root (intervalo).

Por lo general, tanto este tipo de resolucin numrica de ecuaciones como el uso de este mtodo no se emplearn en Educacin Secundaria Obligatoria, aunque s que podran utilizarse como ejemplo en algunas sesiones ms enfocadas a Bachiller y preparacin de la Prueba de Acceso a la Universidad.

Por ltimo, un ejemplo de utilizacin de la funcin .find_root(intervalo) lo podramos ver en el siguiente Worksheet del Notebook de SAGE:

SAGE: f = (x^2-5*x+6 == 0) SAGE: #Para encontrar la solucin en el intervalo (-20,5) SAGE: f.find_root(-20,5) 2.999999999999999 SAGE: #Para encontrar la solucin en el intervalo (0,2.5) SAGE: f.find_root(0,2.5) 2.0 SAGE: g = (sin(x^2)+3 == exp(x)) SAGE: g.find_root(-10,10) 1.3737974476331927 SAGE: g.find_root(-10,20) 1.3737974476331767

6.12 POLINOMIOS Y OPERACIONES CON POLINOMIOS

Desde una edad bien temprana los estudiantes de ESO empiezan a emplear los polinomios. En principio, los polinomios no son ms que expresiones algebraicas formadas por nmeros, letras y operaciones elementales de suma, resta, multiplicacin, divisin o potenciacin. Para trabajar con polinomios en SAGE debemos indicar el tipo de nmeros que deben ser los coeficientes as como la letra con la que queremos trabajar.

En este sentido, lo nico que tenemos que tener en consideracin es que los coeficientes deben ser siempre nmeros enteros o nmeros racionales, que son los nmeros con los que SAGE emplea aritmtica exacta.

Como en casos anteriores, tendremos que escribir la siguiente expresin para empezar a trabajar con polinomios: R.<x> = PolynomialRing(QQ)

Donde QQ es la expresin que emplea SAGE para denotar el cuerpo de los nmeros racionales.

Por otra parte, para operar con polinomios en SAGE no necesitamos ms que utilizar los operadores habituales de suma, resta, multiplicacin, divisin y potenciacin.

SAGE: R.<x> = PolynomialRing(QQ) SAGE: f = 4*x^3 + 5*x^2 + 3*x +2 SAGE: f(0), f(5), f(15) (2, 642, 14672) SAGE: g = x^2 -4*x +3 SAGE: f + g 4*x^3 + 6*x^2 - x + 5 SAGE: f - g 4*x^3 + 4*x^2 + 7*x - 1 SAGE: f * g 4*x^5 - 11*x^4 - 5*x^3 + 5*x^2 + x + 6 SAGE: g^4 x^8 - 16*x^7 + 108*x^6 - 400*x^5 + 886*x^4 - 1200*x^3 + 972*x^2 432*x + 81 SAGE: f // g #Para obtener el cociente de la divisin 4*x + 21 SAGE: f % g #Para obtener el resto 75*x - 61

6.13 FACTORIZACIN

El concepto de factorizacin se introduce en Educacin Secundaria con la finalidad de aprender a reducir polinomios y cocientes de polinomios, as como para obtener el mximo comn divisor y el mnimo comn mltiplo de dos polinomios.

En este sentido las funciones que se emplean para factorizar polinomios son las siguientes, algunas de las cuales ya se ha visto en apartados anteriores:

- Para comprobar que un polinomio es irreducible: .is_irreducible() - Para factorizar un polinomio: .factor() - Para obtener el mximo comn divisor de dos polinomios: .gcd() - Para obtener el mnimo comn mltiplo de dos polinomios: .lcm()

SAGE: R.<x> = PolynomialRing(QQ) SAGE: g = (x-1) ^3 * (x-6) * (3*x -10) SAGE: f.factor() (x - 1)^5 * (x^2 + 1) SAGE: g.factor() (3) * (x - 6) * (x - 10/3) * (x - 1)^3 SAGE: f.gcd(g) x^3 - 3*x^2 + 3*x - 1 SAGE: f.lcm(g) x^9 - 43/3*x^8 + 233/3*x^7 - 653/3*x^6 + 375*x^5 - 451*x^4 + 1223/3*x^3 - 803/3*x^2 + 328/3*x - 20 SAGE: f.is_irreducible() False SAGE: g.is_irreducible() False

6.14 RACES DE POLINOMIOS

En primer lugar, es necesario distinguir el tipo de races que queremos hallar, lo que depender del polinomio en cuestin. En este sentido existen diferentes tipos de funciones que podemos emplear:

- Para hallar las races y multiplicidad en el cuerpo base empleamos la funcin .roots() - Si lo que queremos es calcular las races reales emplearemos .real_roots() - En caso de que queramos hallar las races complejas emplearemos .complex_roots()

Un ejemplo de utilizacin de estas funciones se puede ver en el siguiente Worksheet:

SAGE: R.<x> = QQ[] SAGE: f = (x^2 +1)*(x-3)^2*(x^2-2) SAGE: f.roots() [(3, 2)] SAGE: #Para calcular las races reales: SAGE: f.real_roots() [-1.41421356237310, 1.41421356237310, 3.00000000000000] SAGE: #Para calcular las races complejas: SAGE: f.complex_roots() [-1.41421356237310, 1.41421356237310, 3.00000000000000, 1.00000000000000*I, 1.00000000000000*I]

6.15 FRACCIONES ALGEBRAICAS

Dada su importancia y empleo en secundaria, es interesante considerar este apartado al margen del apartado de operaciones con polinomios. Habitualmente se trabaja con fracciones de polinomios, tambin denominadas fracciones algebraicas o funciones racionales, sobre las que se pueden aplicar gran parte de los comandos que se han estudiado para polinomios y fracciones.

Como en apartados anteriores, la mejor forma de ver su utilizacin es mediante el siguiente Worksheet de SAGE:

SAGE: R.<x> = QQ[x] SAGE: r = (x^3-6)/(2*x^2-4*x-1) SAGE: s = (5*x^2-3*x)/(3*x-4) SAGE: r+s (13*x^4 - 30*x^3 + 7*x^2 - 15*x + 24)/(6*x^3 - 20*x^2 + 13*x + 4) SAGE: s^4 (625*x^8 - 1500*x^7 + 1350*x^6 - 540*x^5 + 81*x^4)/(81*x^4 - 432*x^3 + 864*x^2 - 768*x + 256) SAGE: r^3 (x^9 - 18*x^6 + 108*x^3 - 216)/(8*x^6 - 48*x^5 + 84*x^4 - 16*x^3 42*x^2 - 12*x - 1) SAGE: r(5), r(-3), r(6) (119/29, -33/29, 210/47) SAGE: r.denominator() 2*x^2 - 4*x - 1 SAGE: r.numerator() x^3 - 6 SAGE: r.base_ring() Rational Field SAGE: r.parent() Fraction Field of Univariate Polynomial Ring in x over Rational Field

6.16 GRFICAS DE FUNCIONES

En los cursos de 3 y 4 de la ESO, los alumnos empiezan a visualizar y comprender el significado de las grficas de funciones. Es muy interesante emplear SAGE como apoyo para facilitar su comprensin y poder tener de esta manera una aproximacin ms visual a los problemas planteados.

Los ejemplos que se van a ver en este apartado son muy sencillos y pueden emplearse en actividades de laboratorio de secundaria. El formato grfico empleado por SAGE es png, que por su alta calidad y reducido tamao en bytes lo hace el ms adecuado para este tipo de aplicaciones.

Para representar grficas de funciones, se emplea la siguiente instruccin: plot (f, xmin, xmax, opciones)

Veamos ahora ms en detenimiento las opciones de la misma:

- f hace referencia a la funcin que queremos graficar, es el nico parmetro obligatorio de la instruccin. - Por defecto, SAGE visualizar la funcin en el intervalo [-1,1], salvo en el caso en que especifiquemos xmin y xmax, que sern los extremos del intervalo en los que dibujaremos la grfica. - Las opciones, como su nombre indica, son enteramente opcionales, por ejemplo, podemos cambiar el color de la grfica aadiendo la opcin color, o bien, modificar el grosor de la misma mediante la opcin thickness.

En el siguiente Worksheet se muestra la utilizacin de la instruccin plot(f):

SAGE: f(x) = x^2-2*x+1 SAGE: plot(f)

SAGE: f.plot(-5,5)

SAGE: plot(f, -4, 4, color='green', thickness = 3)

6.17 FUNCIONES A TROZOS

El estudio de lmites en Bachiller siempre resulta complicado y sobretodo difcil de visualizar por parte de los alumnos. Por ello, es necesario tener algunas sesiones de laboratorio con SAGE en las que se visualicen grficas de funciones a trozos.

La orden de SAGE para definir una funcin a trozos es: Piecewise()

En el siguiente Worksheet podemos ver un ejemplo de utilizacin de esta orden:

SAGE: f = Piecewise([[(-5,-1),sin(x)],[(-1,2),x^2],[(2,4),x]]); f Piecewise defined function with 3 parts, [[(-5, -1), sin(x)], [(-1, 2), x^2], [(2, 4), x]] SAGE: yaxis = [-2, 5] SAGE: plot(f)

6.18 LMITES

A partir de este apartado, y en sucesivos apartados hasta el final nos vamos a centrar en actividades que se pueden realizar en Bachiller. Las Matemticas que se estudian en los dos aos de Bachiller estn ms encaminadas a la Prueba de Acceso a la Universidad, y se estudia por tanto Anlisis Matemtico.

Esta parte de las Matemticas requiere sin ninguna duda una mayor dedicacin as como una gran capacidad de abstraccin por parte de los alumnos. Para comprender muchos de los conceptos de Anlisis es sin duda muy interesante ayudarse de una herramienta como SAGE, que ayuda a visualizar los problemas, permitiendo tener una aproximacin ms intuitiva a los mismos.

Para poder calcular un lmite en SAGE necesitamos, por lo menos, dos datos: una funcin y un punto en el que calcular el lmite de la funcin. Adems, como es bien sabido de Teora de Anlisis Matemtico, para que exista el lmite de una funcin, los dos lmites laterales deben existir y deben ser iguales.

El comando que emplearemos en SAGE para el clculo de lmites es el siguiente: limit (f, x=a)

Por ltimo, para calcular los lmites laterales en SAGE, necesitamos emplear la opcin dir, la cual puede tomar dos valores diferentes: plus (si el lmite es por la derecha) o minus (si el lmite es por la izquierda).

Para concluir la teora sobre el clculo de lmites, es conveniente remarcar que en SAGE se emplea el smbolo oo para denotar el infinito.

Como viene siendo habitual, el siguiente Worksheet de SAGE nos ofrece una aproximacin ms completa e intuitiva de la resolucin de problemas de lmites con SAGE:

SAGE: f = x^3 + 4 SAGE: limit (f, x=3) 31 SAGE: limit (cos(x)/sin(x), x=0) Infinity SAGE: limit(exp(x), x = oo) +Infinity

6.19 DERIVADAS

En SAGE, las derivadas de funciones se calculan empleando los comandos diff() y derivative(), funciones que hacen exactamente lo mismo, y que por lo tanto puede emplearse una u otra indistintamente.

En caso de que la funcin sea de varias variables ser necesario indicar un segundo argumento, que es la variable en funcin de la cual se deriva la funcin.

Tanto en el caso de funciones de una o dos variables, podemos especificar tambin el orden de derivacin pasando el parmetro adecuado a la funcin.

SAGE: f(x) = x^5 + 2*x^4 + 3*x^3 + x^2 + cos(x); f x |--> x^5 + 2*x^4 + 3*x^3 + x^2 + cos(x) SAGE: f.diff() x |--> 5*x^4 + 8*x^3 + 9*x^2 + 2*x - sin(x) SAGE: f.diff(2) #Derivada segunda x |--> 20*x^3 + 24*x^2 + 18*x - cos(x) + 2 SAGE: f.diff(3) #Derivada tercera x |--> 60*x^2 + 48*x + sin(x) + 18 SAGE: var('x,y') (x, y) SAGE: f(x,y) = x^5*y^3 SAGE: f.diff(x)

(x, y) |--> 5*x^4*y^3 SAGE: f.diff(x,2) #Derivada parcial segunda respecto de x (x, y) |--> 20*x^3*y^3 SAGE: f.diff(x,y) #Derivada parcial respecto de x e y (x, y) |--> 15*x^4*y^2 SAGE: f.diff(x,3,y,2) #Derivada tercera respecto de x y segunda respecto de y (x, y) |--> 360*x^2*y

6.20 INTEGRALES

Al igual que en el caso de las derivadas, existen dos comando exactamente iguales que permiten el clculo de integrales. Estos comandos son: integral() e integrate().

Estas funciones pueden tener hasta cuatro argumentos de entrada, aunque nicamente el primero de ello es obligatorio, y que es la funcin a integrar. Los otros tres argumentos son los siguientes:

- Letra sobre la que realizar la integral. Debe especificarse siempre que la funcin tenga ms de una variable. - Lmite superior. - Lmite inferior.

Claro est que las dos ltimas opciones nicamente deben especificarse en el caso de que estemos realizando una integral definida.

Veamos un ejemplo de cmo realizar integrales en SAGE:

SAGE: f(x) = x^3 SAGE: f.integral() x |--> 1/4*x^4

SAGE: f. integral (x, 1,5) #Integral definida x |--> 156 SAGE: var('a') a SAGE: f(a,x) = a * tan(x) SAGE: f.integral(x) (a, x) |--> a*log(sec(x)) SAGE: f.integral(a) (a, x) |--> 1/2*a^2*tan(x)

6.21 VECTORES Y OPERACIONES CON VECTORES

Para terminar con este bloque del TFM, veremos algunos conceptos relacionados con el lgebra Lineal. Al igual que en el caso del Anlisis Matemtico, el lgebra Lineal forma parte de las Matemticas que se estudian en Bachiller.

Vamos a empezar viendo cmo se construye un vector en SAGE, para ello, no hay ms que emplear la siguiente orden: vector(R, lista)

El argumento lista hace referencia al conjunto de elementos que conforman el vector, por tanto, el tamao de la lista coincide con las dimensiones del vector.

Por otra parte, para realizar el producto escalar de dos vectores se pueden emplear indistintamente los siguientes mtodos: .dot_product(), .inner_product()

Por otra parte, para calcular la norma de un vector, es decir, la raz cuadrada del producto escalar del vector consigo mismo, se emplea el siguiente mtodo o funcin: .norm()

Para el clculo del producto vectorial se emplea la funcin .cross_product(), mientras que para obtener el vector transpuesto utilizamos .transpose().

SAGE: u = vector([3, 5, 7]) SAGE: v = vector([4, 1/2, 3/5]) SAGE: u.cross_product(v) (-1/2, 131/5, -37/2) SAGE: v.cross_product(u) (1/2, -131/5, 37/2)

6.22 MATRICES Y OPERACIONES CON MATRICES

Para construir una matriz en SAGE, debemos emplear la siguiente funcin: matrix(R, [f1, f2, f3, , fn])

Todas las operaciones con matrices, al igual que las operaciones con vectores, se realizan con los operadores habituales, con la excepcin del producto matricial que se realiza con el asterisco (*).

El siguiente Worksheet muestra un ejemplo de cmo realizar operaciones con matrices en SAGE:

SAGE: A = matrix([[2,4,3],[5,8,6],[2,-3,4]]); A [ 2 [ 5 4 8 3] 6] 4] 3] 6] 4] 5]

[ 2 -3 [ 2 [ 5 4 8

SAGE: B = matrix([[-3,5,2],[3,-4,2],[0,1,4]]); A

[ 2 -3 [-1 9

SAGE: A + B

[ 8

8] 8] 9]

[ 2 -2 [ 6 12

SAGE: 3*A [15 24 18] [ 6 -9 12] SAGE: A * B [ [ 6 9 -3 -1 26 22 -4 31 66 24] 50] 14] 29] -7] 22] 42] 87] 4] 30] 48] 78]

[-15 [ 23 [ 13 [ 30 [ 62

SAGE: B * A [-10 -26 SAGE: A^2

[ -3 -28 SAGE: B^3 [-171 [ -9 264 33 [ 162 -231

7. CONCLUSIONES

A lo largo del desarrollo de este TFM, hemos podido familiarizarnos con el programa de Clculo Computacional SAGE, conociendo las novedades e innovaciones que representa con respecto de otros programas de similares prestaciones.

Tambin se ha podido constatar cmo mejorar este software el trabajo en aulas de laboratorio sean cuales sean los ordenadores empleados en ellas. Adems, las caractersticas del programa permiten crear grupos de trabajo, interactuar con el resto de alumnos e incluso con el profesor, as como compartir los Worksheets y programas desarrollados.

Por tanto, podemos decir que son muchas las caractersticas positivas y novedosas de este software, aunque nosotros, como profesores, debemos ir todava un poco ms all. Es decir, SAGE ser una herramienta muy valiosa, que se ir implantando paulatinamente en los laboratorios de los Institutos de Educacin Secundaria, pero este programa por s mismo, no puede suplir en buen hacer de un profesor.

La figura del profesor debe continuar siendo la de gua y acompaante del proceso de aprendizaje, ayudando a los alumnos a sortear cada piedra del camino y apoyndose en herramientas como SAGE para conseguir lo mejor de cada alumno.

Como deca al inicio del TFM, nuestro pas cuenta con unos malos resultados en Matemticas en los informes PISA, por ello, cualquier aportacin metodolgica innovadora ser bienvenida. Las tablas Excel, la pizarra digital y los programas de Clculo Computacional Algebraico pueden contribuir a un mayor entendimiento de esta materia, as como a desarrollar aptitudes como la capacidad de abstraccin, pensamiento lgico, razonamiento matemtico, etc. pero en ningn caso llegarn a sustituir la figura de un buen profesor. Como futuros profesores deberamos ser conscientes de la enorme velocidad con la que surgen nuevos programas, lenguajes informticos y tecnologas, y no deberamos perder el tren de las TIC en educacin. Por ello, es conveniente estar

siempre actualizado tanto en el uso de las nuevas herramientas tecnolgicas, como en nuevos mtodos didcticos.

8. BIBLIOGRAFA

[1] Botana, Escribano, Tabera, Abnades. Software matemtico libre.

[2] J.L Galn, J.L Gonzlez, Y. Padilla, P. Rodrguez. Uso de las Tecnologas de la Informacin y la Comunicacin en Educacin Matemtica. Una experiencia en las titulaciones de ingeniera de la Universidad de Mlaga.

[3] P. Ortega. La enseanza del lgebra Lineal mediante sistemas informticos de clculo algebraico. Tesis doctoral. Universidad Complutense de Madrid, Espaa.

[4] J.L. Galn. Integrales Mltiples con DERIVE. Un estudio de innovacin curricular en primer curso de Ingeniera Tcnica de Telecomunicacin. Tesis doctoral, Universidad de Mlaga, Espaa.

[5]http://itis.cesfelipesegundo.com/secciones/WebPersonal/archivos/1/OpenSour ceMath-Gaceta-baja-res.pdf

[6] http://SAGEmath.org/es/Manual_SAGE_principiantes.pdf

[7] http://SAGE.math.washington.edu/home/tkosan/newbies_book/

[8]M.Real, La potencia de las TIC para el clculo simblico. Suma, n 61, 55-61.

[9] W. Stein, Mathematical Software and Me: a very personal recollection.

[10] http://SAGEmath.org/doc-pdf/en/SAGETutorial.pdf

[11] J.L. Tbara. Matemticas elementales con SAGE.

[12] http://SAGEmath.org/doc-pdf/en/SAGETutorial.pdf

[13] Lopez, Lagunes, Herrera. Excel como una herramienta asequible en la enseanza de la Estadstica.

[14] Criterios de diseo y evaluacin de situaciones didcticas basadas en el uso de medios informticos para el estudio de las matemticas - Dialnet

[15] Uso de las Tecnologas de la Informacin y la Comunicacin en Educacin Matemtica. Una experiencia en las titulaciones de Ingeniera de la Universidad de Mlaga. - Dialnet

[16] http://gredos.usal.es/jspui/handle/10366/76557

[17] http://www.freewebs.com/justocabezas/Tesis.pdf

[18]http://servidoropsu.tach.ula.ve/profeso/guerr_o/didmat_web/5.invest_didac. htm

[19]http://www.redescepalcala.org/inspector/DOCUMENTOS%20Y%20LIBROS/MA TEMATICAS/DIDACTICA%20DE%20LAS%20MATEMATICAS%20PARA%20MAESTROS. pdf

[20]http://campus.usal.es/~teoriaeducacion/rev_numero_07/n7_art_malaga1.htm

[21]http://campus.usal.es/~teoriaeducacion/rev_numero_07/n7_art_villarreal.ht m

[22] http://www.educa.madrid.org/portal/c/portal/layout?p_l_id=36197.10

[23] http://biblioteca.universia.net/html_bura/ficha/params/title/actividades-auladerive-dirigido-4%C2%BA-eso-1%C2%BA-bachillerato/id/29515416.html

[24] http://www.SAGEmath.org/

[25]http://www.uam.es/personal_pdi/ciencias/pangulo/doc/laboratorio/b2s3ej.ht ml

[26] J.M. Gallardo. Ecuaciones Diferenciales Ordinarias. Una introduccin con SAGE.

[27] http://www.mathworks.com

[28] W.A. Stein. SAGE Tutorial. Create Space, 2009.