GeoGebra Discovery at EGMO 2022

This study will show the ability (or inability) of GeoGebra Discovery to deal with Euclidean geometry problems proposed at the recent European Girls' Mathematical Olympiad (Hungary, April 6-12, 2022). After a brief introduction to the context of this Olympiad and to the program GeoGebra Discovery, the problems will be described and an attempt will be made to solve them with GeoGebra Discovery, finally pointing out the relationship between the difficulties encountered by the team members and by GeoGebra, which can contribute to the establishment of criteria on the interest (and complexity) of the automatically obtained results. ; Este estudio mostrará la capacidad (o incapacidad) de GeoGebra Discovery para hacer frente a los problemas de geometría euclidiana propuestos en la reciente Olimpiada Matemática Europea de Niñas (Hungría, 6-12 de abril de 2022). Después de una breve introducción al contexto de esta Olimpiada y al programa GeoGebra Discovery, se describirán los problemas y se intentará resolverlos con GeoGebra Discovery, señalando finalmente la relación entre las dificultades encontradas por los miembros del equipo y por GeoGebra, lo que puede contribuir al establecimiento de criterios sobre el interés (y la complejidad) de los resultados obtenidos automáticamente. ; Este estudo mostrará a capacidade (ou incapacidade) da GeoGebra Discovery de lidar com problemas de geometria euclidiana propostos na recente Olimpíada Europeia de Matemática das Meninas (Hungria, 6 a 12 de abril de 2022). Após uma breve introdução ao contexto desta Olimpíada e ao programa GeoGebra Discovery, os problemas serão descritos e será feita uma tentativa de resolvê-los com a GeoGebra Discovery, finalmente apontando a relação entre as dificuldades encontradas pelos membros da equipe e pela GeoGebra, que podem contribuir para o estabelecimento de critérios sobre o interesse (e complexidade) dos resultados obtidos automaticamente.