Automated reasoning in elementary geometry: towards inquiry learning

Authors

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

Keywords:

mathematics education, GeoGebra, elementary geometry, conjecture, proof

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.

Downloads

Published

2018-12-03

How to Cite

Hauer, B., Kovacs, Z., Recio, T., & Vélez, P. M. (2018). Automated reasoning in elementary geometry: towards inquiry learning. Pedagogical Horizons, 2(2), 1–13. Retrieved from https://pedagogical-horizons.org/index.php/ph/article/view/42

Issue

Vol. 2 No. 2 (2018): Pedagogical Horizons 2(2), 2018

Section

Scientific Discipline & Subject Didactics – articles