Symbolic Comparison of Geometric Quantities in GeoGebra

Zoltán Kovács
(The Private University College of Education of the Diocese of Linz)
Róbert Vajda
(Bolyai Institute, University of Szeged)

Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities already support symbolic proofs of a conjectured theorem, by exploiting computer algebra capabilities of some dynamic geometry systems as well. We introduce GeoGebra's new feature, the Compare command, that helps the users in experiments in planar geometry. We focus on automatically obtaining conjectures and their proofs at the same time, including not just equalities but inequalities too. Our contribution can already be successfully used to support teaching geometry classes at secondary level, by getting several well-known and some previously unpublished result within seconds on a modern personal computer.

In João Marcos, Walther Neuper and Pedro Quaresma: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu'21), (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021, Electronic Proceedings in Theoretical Computer Science 354, pp. 13–25.
Published: 8th February 2022.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: