Resumen de Segundo teorema de tales: un ejemplo básico, pero complicado, sobre la necesidad de cooperación ente DGS y CAS para el cálculo del lugar geométrico

Thierry Dana-Picard, Tomás Jesús Recio Muñiz

• Is this paper, we deal with a very elementary geometry statement, known as thales theorem or as the intercept theorem, in different countries, and its converse. We approach this topic from a triple pertial of loci computation, to show the benefits of dynamic geometry and computer algebra cooperation, and to disseminalte the existence of automated reasoning tools in GeoGebra and GeoGebra discovery