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.
