Resumen de A propósito de la envolvente de una familia de elipses

Francisco Botana Ferreiro , Tomás Jesús Recio Muñiz

• En esta nota se estudia la envolvente de una familia de curvas constituida por las elipses con un foco fijo en el punto A(4,0), otro foco variable B(0,α) y longitud de eje mayor igual a 5. El cálculo de esta envolvente sirve como motivación para reflexionar sobre diversas dificultades ligadas a la incorporación del cálculo automático de envolventes en programas de geometría dinámica, como parte de objetivo, mas general de dotara tales programas de capacidades de razonamiento geométrico (demostración, derivación, descubrimiento, cálculo de lugares, etc.) automático.