GeoGebra Discovery at EGMO 2022

Abstract

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.