La pregunta general a la que pretendemos responder es: cómo pueden incorporarse los sistemas de cálculo simbólico a la realización de demostraciones, en particular, y a la enseñanza de las matemáticas, en general? La metodología seguida, para encontrar respuestas adecuadas, no es otra que el desarrollo detallado de situaciones concretas relacionadas con la enseñanza de las matemáticas, utilizando el sistema cálculo simbólico Maple 7, ir reflexionando sin apasionamiento sobre los resultados obtenidos.
