Symbolic Comparison of Geometric Quantities in GeoGebra
Abstract
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 wellknown and some previously unpublished result within seconds on a modern personal computer.
 Publication:

arXiv eprints
 Pub Date:
 February 2022
 DOI:
 10.48550/arXiv.2202.04626
 arXiv:
 arXiv:2202.04626
 Bibcode:
 2022arXiv220204626K
 Keywords:

 Computer Science  Computational Geometry;
 Mathematics  Algebraic Geometry
 EPrint:
 In Proceedings ThEdu'21, arXiv:2202.02144