Automated reasoning in elementary geometry: towards inquiry learning

  • Beatrix Hauer
  • Zoltan Kovacs
  • Tomás Recio
  • Pilar M. Vélez
Schlagworte: Didaktik der Mathematik, GeoGebra, Elementargeometrie, Vermutungen, Beweise


We report on a new technical way on conjecturing and proving elementary geometry statements. This new method relies on some Automated Reasoning Tools, embedded in the dynamic geometry software tool GeoGebra, and it may support inquiry learning at various levels. We provide examples of mathematical inquiries that may be better approached by the students by using our method during the exploration process.

Fachwissenschaftliche & fachdidaktische Beiträge