Búsqueda automática de lugares geométricos

• Autores: Eugenio Roanes Macías, Eugenio Roanes Lozano
• Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 53, 1999 (Ejemplar dedicado a: Comunicaciones de la sesión en español del congreso IMACS-ACA'99), págs. 67-77
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    Looking

  • English

    Looking for geometric loci is easier using suitable computer systems. A Dynamic Geometry System can help in a first exploration of the problem and a Computer Algebra System is necessary to use algebraic methods of mechanical proving. How to use the last one in the discovering process and how to proof theorems relative to geometric loci in a automatic way is described. Two examples are shown as illustration: the extension of Simson’s theorem discovered last century by Jakob Steiner and a second extension recently found by Professor Miguel de Guzmán.