SOLUCIONES DE EQUILIBRIO CON SOFTWARE LIBRE PARA LA DOCENCIA
EN LA FACULTAD DE INGENIERA AGRCOLA DE LA UNIVERSIDAD NACIONAL DE PIURA
1. MARCO CONCEPTUAL BSICO
1.1 El software libre Muchas personas estn acostumbradas a no ser realmente propietarias del software que utilizan, en el sentido que su licencia, prohbe utilizarlo libremente (por ejemplo, en ms de un ordenador), estudiar su diseo, distribuir copias o modificarlo. Existen, sin embargo, programas cuya licencia hace que el usuario sea realmente dueo del mismo, pues sta permite e incluso fomenta libertades exactamente contrapuestas a las privaciones anteriores. As, se llama Software Libre a aqul que garantice las siguientes libertades: 1. La libertad de usar el programa, en cualquier momento y con cualquier propsito. 2. La libertad de estudiarlo y modificar el cdigo fuente del programa (la informacin completa sobre su diseo real). 3. La libertad de distribuir copias a quien pueda necesitarlas. 4. La libertad de mejorar el programa y hacer pblicas las mejoras, de modo que toda la sociedad se beneficie de ellas. A los programas que de alguna manera privan de estas libertades se les suele llamar Software Privativo. 1.2 Por qu el software libre en las aulas? En todos los niveles educativos, en particular en el universitario, el uso de las tecnologas de la informacin y de la comunicacin aumenta da a da y en todos los mbitos. En particular, el uso del ordenador en las aulas de asignaturas de matemticas est abriendo las puertas en nuestros das a nuevas oportunidades y a terrenos inexplorados. Durante el Primer Semestre 2011, la asignatura de Clculo III de la Facultad de Ingeniera Agrcola inici la experiencia de utilizar software libre como herramienta para la docencia de las Matemticas. Por qu esta decisin? 2
Hay que tener en cuenta que en niveles educativos previos al universitario existe una cantidad mnima de alumnos que utilizan software libre y la mayora se impone con un modelo basado en el uso de software privativo. La eleccin de los programas usados en el aula se ampara en la libertad de ctedra del profesor y se gua por consideraciones que deberan ser objetivas, algunas de las cuales como la calidad del producto y su adecuacin a lo que describe la asignatura son, por supuesto, requisitos previos. Pero en la mayora de los casos, existe ms de un programa informtico que cumple razonablemente bien los requisitos anteriores, por lo que, para la definitiva eleccin, es preciso recurrir a consideraciones adicionales. Con frecuencia, estas consideraciones han estado relacionadas con la tradicin y la inercia a usar las mismas herramientas de aos anteriores. Aunque raramente se tiene en cuenta una cuestin que, en la prctica, puede tener una gran importancia: la licencia del producto o los productos elegidos y las connotaciones que este factor implica. Las primeras de estas connotaciones, quizs aquellas que pueden resultar ms evidentes, estn relacionadas con las restricciones que los programas con licencia privativa imponen para su uso. Por ejemplo, en la mayor parte de los casos, este tipo de licencias impone restricciones sobre el nmero de ordenadores en los que el software puede ser usado. Adems, las restricciones de tipo econmico dificultan la posibilidad de que los alumnos puedan utilizar y comparar diferentes herramientas en el aula. El software con licencia libre, como contrapunto, permite y de hecho fomenta el disponer de varias herramientas a la vez, complementarias o capaces de interactuar entre s, cada una de las cuales contar con sus puntos fuertes y sus debilidades. Aunque el profesor se decante por una de ellas, siempre podr ofrecer a sus alumnos la enriquecedora posibilidad de experimentar con otras, de resolver un mismo problema desde distintas perspectivas y de saciar su curiosidad a aquellos que cuenten con mayores inquietudes. Por otra parte, en un nivel superior, el software libre ofrece la interesante posibilidad de que los alumnos puedan acceder al cdigo fuente, a la forma en que est programada la herramienta que estn utilizando en clase. Esto tiene, en matemticas, el gran valor de poder estudiar la manera en la que un programa de primer nivel implementa en la prctica los algoritmos que han sido estudiados en las clases terico-prcticas. El poder observar y 3
modificar el cdigo de un programa profesional, utilizado por miles de personas de todo el mundo, constituye una experiencia tremendamente gratificante, de gran valor docente, como refuerzo y motivacin. Y en ltimo lugar, uno de los argumentos ms importantes pero, con frecuencia, no suficientemente valorado, debido quizs al desconocimiento del software libre y a la asimilacin social de los valores que conlleva el software privativo es el hecho que impulsando el software en el aula y con l los valores ticos asociados, estaremos basando la educacin en pilares como la libertad, el conocimiento, la solidaridad y la colaboracin, estatutos expresamente reconocidas en los estatutos de la Universidad Nacional de Piura y de todas las universidades peruanas.
1.3 Requisitos para las herramientas matemticas Se detallan a continuacin los requisitos que debera proporcionar un programa para poder ser usado en los primeros niveles educativos de una titulacin universitaria que cuente con ciertos requerimientos de clculo cientfico. Nivel 0. Requisitos mnimos: - Calculadora cientfica. El requerimiento ms bsico: se trata de poder realizar todo tipo de operaciones numricas, almacenar valores en variables, utilizar funciones exponenciales, logartmicas, trigonomtricas, tablas de valores ledos de un fichero... - Resolucin numrica de ecuaciones y sistemas de ecuaciones, calculando (probablemente de forma aproximada) valores numricos que solucionan las ecuaciones. - Grficas de funciones 2D y 3D de distintos tipos: implcitas/explcitas, curvas de nivel, paramtricas,... - Programacin de algoritmos que se ejecuten automticamente, a partir de determinados parmetros, y produzcan un resultado. Nivel 1. En funcin de las necesidades de la asignatura, puede ser conveniente el utilizar programas que se centren en el clculo con expresiones numricas de tipo matricial o bien en la manipulacin simblica de expresiones algebraicas y simblico. Aunque, con frecuencia, herramientas originalmente diseadas para el clculo simblico son aptas para 4
ser usadas para clculo numrico y matricial (y viceversa), su diseo y su filosofa justifica que las herramientas matemticas de clculo se puedan agrupar en dos grupos diferentes: - Tipo A. Programas de clculo simblico. Son programas optimizados para las siguientes operaciones: _ Manipulacin algebraica de expresiones. Se trata de poder manipular (factorizar, desarrollar, simplificar, ...) expresiones algebraicas que incluyan variables y parmetros, incluyendo aritmtica racional. _ Resolucin simblica de ecuaciones y sistemas de ecuaciones. _ Clculo diferencial e integral: Clculo de lmites, derivar e integrar funciones (de forma exacta)...
Entres los ejemplos ms conocidos en el mundo del software privativo: Mathematica, Maple, etc. - Tipo B. Programas de clculo numrico y matricial, de los cuales el ms conocido (con licencia privativa) es, sin duda, Matlab . Son programas centrados en optimizar y hacer fciles a la vez las operaciones con expresiones numricas. _ Clculo matricial: Operaciones numricas con vectores, matrices, determinantes, trasposicin, inversin, clculo de autovalores,... _ Manipulacin de rangos de valores numricos, extraccin de rangos de valores de un vector y de submatrices.
2. ANTECEDENTES BIBIOGRFICOS. Dentro de las investigaciones sobre la Didctica de las Matemticas y en particular del uso de programas o software en los cursos de matemticas he tomado los siguientes antecedentes referidos a trabajos similares al realizado en esta investigacin: Juan ngel 1 , Licenciado en Ciencias Matemticas por la Universidad de Valencia y Guillermo Bautista, Licenciado en Pedagoga por la Universidad de Barcelona, ambos en su trabajo de investigacin titulado Didctica de las matemticas en
enseanza superior: la utilizacin de software especializado, sealan que la evolucin que ha experimentado el software matemtico, especialmente en la ltima dcada, nos ofrece nuevas formas de ensear, aprender y hacer matemticas. Y acotan que sorprendentemente, en muchas de nuestras universidades esta posibilidad no ha supuesto cambios significativos en la didctica de las asignaturas de esta rea de conocimiento. En el trabajo de investigacin que dan a conocer dan respuesta a la interrogante sobre las ventajas que ofrece el uso adecuado de los programas matemticos respecto a una formacin tradicional indicando que en primer lugar, permite al profesor explicar conceptos que, de otra forma, quedaran en un nivel de abstraccin difcil de asimilar por muchos estudiantes en un tiempo breve. Por aadidura, este tipo de software permite una participacin mucho ms activa y creativa (quizs la palabra sea constructivista) por parte del estudiante: con esta herramienta, el estudiante podr adentrarse por s mismo (preferentemente de forma guiada por su profesor) en nuevos mundos que le permitirn conjeturar, experimentar, y extraer conclusiones.
Francisco Jos Cabo Garca Bonifacio Lamazares Rodrguez 2 , docentes e investigadores del Departamento de Economa Aplicada (Subseccin de Matemticas) Facultad de Ciencias Econmicas y Empresariales de la Universidad de Valladolid, en su trabajo de investigacin DERIVE: Una herramienta para el Aprendizaje de las Matemticas, manifiestan que el empleo de recursos informticos facilita al alumno la comprensin de los conceptos que se imparten en las clases tericas, lo que permite un proceso de aprendizaje ms eficiente. En este trabajo detallan sus experiencias de utilizar DERIVE en las clases de matemticas concluyendo que la utilizacin de recursos informticos permite un mayor acercamiento al alumno de asignaturas que, como Matemticas, no gozan de muchas simpatas entre los estudiantes. Adems, estas prcticas con ordenador se realizan durante el primer curso de carrera, lo cual redunda en una mayor destreza de los
alumnos en las prcticas informticas que debern realizar en los sucesivos cursos a lo largo de su vida acadmica. Enrique Vlchez Quesada 3 , docente e investigador de la Universidad Nacional de la Escuela de Matemtica de Costa Rica, imparte los cursos de Matemtica I para Economa y Matemtica I, II y III para Informtica. En su trabajo Impacto de las Nuevas Tecnologas de la Informacin y la Comunicacin para la Enseanza de la Matemtica en la Educacin Superior, seala que las tecnologas de la informacin y la comunicacin, indudablemente han impactado las instituciones de enseanza superior a nivel mundial, obligando en muchos casos a estos centros de enseanza, a replantearse el concepto de Universidad en el contexto de una sociedad distinta; la sociedad de la informacin. Adems seala que este impacto ha trado a colisin los mtodos tradicionales de enseanza con todas las potencialidades brindadas por las nuevas tecnologas digitales, a tal punto, que actualmente muchos investigadores han vislumbrado en ellas, los medios ineludibles para poder superar problemas culturales y cognoscitivos relacionados con la enseanza y el aprendizaje de la matemtica. As mismo, la integracin de materiales educativos computarizados o plataformas de enseanza virtual en el currculum escolar, se est convirtiendo en una necesidad, en una respuesta para solventar la crisis que podramos llamar matemafobia. Pedro Ortega Pulido 4 , Profesor Asociado del Departamento de Anlisis Econmico: Economa Cuantitativa de la Universidad Autnoma de Madrid ha publicado trabajos de Matemticas aplicando DERIVE bajo el ttulo de Prcticas de Matemtica I y Matemtica II con DERIVE 5 en el cual en su parte introductoria justifica la eleccin de DERIVE. Sealando entre sus motivos principales: 1. La facilidad de su aprendizaje: no necesita muchos conocimientos previos de informtica, y se puede aprender a utilizar en un corto espacio de tiempo, sin necesidad de invertir muchas horas en la lectura del manual y 2. La sencillez de su
entorno de trabajo, ya que permite ejecutar los comandos va men, o a travs de la edicin de los mismos por pantalla. Luis Zabarreitia 5 , Universidad de la Habana, en su artculo Software Libre para Matemticas seala que en el mundo actual se est manifestando la tendencia por parte de las grandes compaas a privatizar bienes que por su naturaleza deberan ser comunes: las ideas, el arte, las ciencias, la cultura. Algunas trasnacionales se han adueado, incluso, de secuencias genticas no diferentes a las que forman la base de la vida. En ese mundo, el Movimiento de Software Libre representa un paso firme y necesario en contra de la privatizacin del conocimiento, y se ha visto reflejado en otros movimientos similares, como el Creative Commons, por una cultura libre. Seala que todo gran programa surge de un programador rascndose una comezn. Puede decirse que el resto de las ciencias evolucionan de la misma forma: todo gran descubrimiento surge de la curiosidad, la curiosidad cientfica del investigador que toma lo que conoce, y quiere ver qu ocurre un paso ms all. (Si pude ver un poco ms lejos, fue porque me par en los hombros de gigantes). La ciencia necesita de gigantes para avanzar, la sociedad necesita gigantes para avanzar. Pero ni la ciencia, ni la sociedad, necesitan de los intereses comerciales que buscan privatizar a los gigantes.
3. ANLISIS PREVIO DE LAS HERRAMIENTAS DISPONIBLES A continuacin se analizar una de las opciones ms extendidas en el mundo del software matemtico con licencia libre, desde el punto de vista de su uso en la universidad (aunque, probablemente, lo que sigue sea de inters para otros niveles educativos). Por supuesto, que existen ms herramientas relacionadas con las matemticas disponibles con licencia libre (sera prcticamente imposible, dado su cantidad) y existen numerosas omisiones algunas de ellas intencionadas (excelentes programas relacionados con la geometra, fractales, calculadoras, juegos,...), pues no eran requeridas por las circunstancias que motivaron el presente estudio.
3.1. Maxima En los aos 60, el prestigioso MIT (Massachusetts Institute of Technology) inici el proyecto MAC (Mathematics and Computation) con el objetivo de desarrollar herramientas computacionales inteligentes para ser aplicadas al estudio de modelos fsicos. Como fruto, naci Macsyma (MACs SYmbolic MAnipulator, que constituy el primer proyecto con xito en la automatizacin de operaciones matemticas de tipo simblico. En este sentido, puede considerarse el padre de todos los programas de clculo simblico actuales. Macsyma origin numerosas variantes, entre ellas DOE-Macsyma, subvencionada por el Department of Energy (DOE) de los EE.UU. De esta variante naci Maxima, que fue mantenida entre 19822001, por W. Shelter, que intercedi para que, en 1998, el DOE autorizara su distribucin con licencia libre (GPL). Caractersticas: - Cuenta con el apoyo una comunidad de desarrollo muy dinmica, que trabaja constantemente para su actualizacin, mejora y soporte. - Disponible para distintas plataformas, tales como GNU/Linux, MS Windows, etc - Cubre sobradamente las necesidades bsicas de clculo simblico para un alumno de primer curso de una titulacin universitaria. - Grficos: Tiene comandos propios para la representacin de grficos 2D y 3D que, por defecto, utilizan el programa gnuplot. Los comandos de representacin de grficos tienen previsto el utilizar, a bajo nivel, otros programas disintos de gnuplot, como geomview que permite la visualizacin de superficies 3D con calidad OpenGL e interactuar con ellos, cambiando luces, texturas, etc. - Maxima cuenta con manuales y documentacin que pueden descargarse libremente de internet. Adems, existen numerosos recursos bibliogrficos del original Macsyma, que son en un alto porcentaje, aplicables a Maxima. - Maxima incorpora un completo lenguaje de programacin propio, derivado del Macsyma original. Eso s, este lenguaje no es demasiado intuitivo y no incorpora las 9
caractersticas de lenguajes ms modernos (como estructuras de datos o programacin orientada a objetos). - Interfaz con usuario: por defecto, utiliza una interfaz poco amigable (de tipo consola de texto). Pero existen numerosos programas libres que actan como interfaz sobre Maxima, algunos de ellos de tipo genrico, como TEXmacs, Emacs, WIMS y otros de especficamente diseados para facilitar el uso de Maxima, como xMaxima o wxmaxima.
4. DESARROLLO Y CONCLUSIONES DESGLOSADAS EN LA INVESTIGACIN La asignatura de Clculo III de la Facultad de Ingeniera Agrcola inici la experiencia de usar software libre para su enseanza. En esta asignatura, se escogi el programa Maxima, por ser el que reuna los requisitos exigidos por la asignatura: en primer lugar, el clculo simblico y numrico, manipulacin de expresiones algebraicas, resolucin de sistemas de ecuaciones, clculo matricial, lmites, derivacin e integracin simblica. Y en segundo lugar, la posibilidad de representar grficos de funciones de una y dos variables y la existencia de interfaces de usuario tan cmodas como sea posible. Adems, Maxima, tiene la ventaja de contar con una de las comunidades de usuarios y desarrolladores ms activas y con cierto bagaje de uso en el Departamento de Matemticas de la Universidad Nacional de Piura travs del programa con licencia privativa Macsyma, usado hace aos por algunos profesores de este departamento como apoyo a su investigacin. Para el uso de Maxima en las aulas, se trabaj con una gua de uso y de prcticas que puede encontrarse en la direccin web http://softwarelibre.uca.es/matematicas.
4.1 Clculo III. Ingeniera Agrcola. En esta asignatura se haba utilizado en aos anteriores el programa Mathematica, por lo tanto el objetivo de la experiencia docente era evaluar hasta qu punto poda ser complementado o sustituido por el programa Maxima (con licencia libre). El aula de informtica tena instalado el sistema operativo Windows XP. 10
La experiencia fue muy positiva, se valor especialmente la posibilidad que aporta el hecho de que, desde el momento en que se est programando la asignatura, el profesor pueda tener la seguridad de que los alumnos tendrn acceso al programa, bien sea en su hogar o en diferentes lugares llmese el aula o centros de informtica. En la asignatura anterior el profesor haba usado, dentro de su tarea investigadora, el programa Macsyma, en una versin privativa de la que se deriv Maxima. De hecho, en el departamento existe bibliografa relacionada con este programa que puede ser de gran utilidad para sta y para otras asignaturas que en el futuro podran utilizar Maxima para explotar algunos de los puntos para los que este programa se encuentra bien dotado. Concretamente, lo referente a las ecuaciones diferenciales y a la manipulacin de expresiones trigonomtricas, Maxima muestra aptitudes equivalentes y en algunos casos superiores a los programas ms extendidos, como Mathematica. El trabajo realizado con los alumnos se grafic en la gua elaborada referida a las Soluciones de Equilibrio de una Ecuacin Diferencial para la asignatura de Clculo III que aparece en el Anexo.
4.2 Encuesta a alumnos Como complemento a esta experiencia, se realiz una encuesta a los alumnos de la asignatura de Clculo III de la Facultad de Ingeniera Agrcola, que constaba de 15 alumnos. Los resultados 6 se resumen en las grficas de las figuras 1 y 2. Las tres primeras preguntas (figura 1) se centraban en averiguar el porcentaje de stos que utilizaban el ordenador en su hogar y qu programas haban instalado en los mismos. La conclusin es que un alto porcentaje (el 86.7 %) de los alumnos tiene acceso a esta herramienta en su domicilio. A la hora de preguntar qu programas de los utilizados en la asignatura (Scientific Work Place, WIMS, Maxima/ wxmaxima) tenan instalados en estos ordenadores, la primera conclusin que se obtuvo es que el 86.7% de los alumnos tena instalados por lo menos unos de estos programas. El ms instalado (aunque no especialmente ms valorado, como se refleja en 1 (b), fue Scientific Work Place. Esto, en cierto modo, era de esperar, pues es la herramienta que ha estado usndose con
6 Se utiliz el programa estadstico SPSS 19. Versin de prueba. 11
exclusividad en sta durante los ltimos aos y que todava se utilizan con exclusividad otros grupos de sta. Por ltimo, resulta especialmente llamativa (aunque tambin esperable) la grfica 1 (c). Como se puede apreciar, en ella, a pesar de ser, con diferencia, Scientific Work Place el programa que ms alumnos instalaron en sus hogares, ninguno de ellos reconoca tener una licencia que les permitiera hacerlo. Esto corrobora la teora de que el uso de software privativo en las aulas incita a los alumnos a la copia ilegal de estos programas. La segunda parte de la encuesta (figura 2) se centraba en estudiar la impresin de los alumnos ante la experiencia. En esta ltima pregunta (figura 2) se les pidi una evaluacin global, de 0 a 4, del resultado de la experiencia docente en la que haban participado, obteniendo resultados muy positivos (una media de 3.80 sobre 4, con varianza 0.171).
Tiene ordenador en casa?
Frecuencia Porcentaje Porcentaje vlido Porcentaje acumulado Vlidos No 2 13,3 13,3 13,3 Si 13 86,7 86,7 100,0 Total 15 100,0 100,0
Figura 2: Evaluacin de la experiencia docente por parte de los alumnos
16
5. ANEXO SOLUCIONES DE EQUILIBRIO EN ECUACIONES DIFERENCIALES LINEALES ORDINALES DE PRIMER ORDEN CON PROGRAMA MAXIMA
Una ecuacin diferencial se dice que es autnoma si no aparece en ella explcitamente la variable independiente: ( ) ' y f y = . Los puntos crticos de estas ecuaciones son las soluciones de la ecuacin algebraica ( ) 0 f y = . Estas soluciones, como funciones constantes, son evidentemente soluciones de la ecuacin diferencial. Son llamadas soluciones de equilibrio y tienen propiedades importantes. Si suponemos que por cada unto del plano pasa una nica solucin de la ecuacin autnoma, podremos afirmar las siguientes afirmaciones sobre las soluciones de equilibrio: 1. La grfica de una solucin no constante no corta a ninguna solucin de equilibrio. 2. Una solucin no constante es estrictamente creciente o decreciente. 3. Si la grfica de una solucin no constante est acotada superior o inferiormente (o ambas) por una solucin de equilibrio, necesariamente debe tender a ella cuando x tiende a infinito. Veamos, por ejemplo, las soluciones de equilibrio de la ecuacin autnoma ' ( ) y sen y = representadas en el campo de direcciones de la ecuacin y algunas soluciones no constantes. 17
Ejemplo: Sea ( )( ) ' 1 3 y y y = ; la ecuacin autnoma. Representemos con ayuda de la orden plotdf las soluciones de equilibrio ( 1, 3 y y = = ), junto con algunas de sus curvas solucin no constantes en el campo de direcciones de la ecuacin. ( %i2) plotdf(-(y-1)*(y-3),[trajectory_at,0,1],[ycenter,1],[xradius,4],[yradius]) 18
Veamos ahora dos opciones grficas que son muy tiles cuando se trata de ecuaciones con parmetros. La opcin sliders establece una lista de parmetros, que cambiarn interactivamente utilizando barras de deslizamiento y los rangos de variacin de dichos parmetros. La opcin parameters establece una lista de parmetros con valores numricos, que son utilizados en la definicin de la ecuacin diferencial. Ejemplo: Sea la ecuacin autnoma ( )( ) ' y k y a y b = . 19
El parmetro fijo ser 1 k = y para ay b tendremos dos barras de deslizamiento respectivamente: ( %i3) plotdf(k*(y-a)*(y-b),[parameters,"k=-1"],[sliders,"a=0:1,b=2:3"]);
Ejercicios 1. Isoclinas. Otro mtodo grfico para conocer el comportamiento cualitativo de las soluciones de una ecuacin, es el mtodo de las isoclinas (igual inclinacin o 20
pendiente). Una isoclina de una ecuacin diferencial ( ) ' , y f x y = es una curva de la forma ( ) , f x y c = . Nos permite localizar campos de direcciones con la misma inclinacin. Representa el campo de direcciones de la ecuacin ' y y = y junto con las isoclinas y c = para 3, 2, 1,0,1, 2,3 c = y algunas curvas solucin en | | 3,3 . 2. Curvas de inflexin. Se puede obtener informacin sobre la concavidad de las curvas solucin de la ecuacin diferencial ( ) ' , y f x y = sin resolverla. Para ello, derivamos la ecuacin implcitamente y obtenemos '' y . Entonces, en las regiones del plano donde '' 0 y > , las curvas son cncavas hacia arriba y en las que '' 0 y < , cncavas hacia abajo. Representa el campo de direcciones de la ecuacin ( ) ' cos y senx y x = + junto con algunas curvas de inflexin.
6. BIBLIOGRAFA
1. Axiom book. http://page.axiom-developer.org/zope/Plone/refs/books/axiom- book2.pdf. 2. Maxima. http://maxima.sourceforge.net/es/compalg.html 3. Ginac, web page. http://www.gnu.org/software/emacs/emacs.html. 4. Maxima, web page. http://maxima.sourceforge.net. 5. Yacas, web page. http://yacas.sourceforge.net. 6. Texas Instruments. http://education.ti.com/calculators/downloads/LATINOAMERICA/ 7. M. Victoria Redondoeble and J. Rafael Rodrguez Galvn. Introduccin a Maxima. Universidad de Cdiz, 2005. 8. Martn Efran-Mendoza Bolo. EL Winplot como recurso didctico en la enseanza de la Matemtica.