Automated reasoning in elementary geometry: towards inquiry learning

Autor/innen

  • Beatrix Hauer
  • Zoltan Kovacs
  • Tomás Recio
  • Pilar M. Vélez

Schlagworte:

Didaktik der Mathematik, GeoGebra, Elementargeometrie, Vermutungen, Beweise

Abstract

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.

Veröffentlicht

2018-12-03

Ausgabe

Rubrik

Fachwissenschaftliche & fachdidaktische Beiträge