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

Abstract

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 del objetivo, más general, de dotar a tales programas de capacidades de razonamiento geométrico (demostración, derivación, descubrimiento, cálculo de lugares, etc.) automático.