Next Article in Journal
Integrating Cluster Analysis into Multi-Criteria Decision Making for Maintenance Management of Aging Culverts
Next Article in Special Issue
Asymptotic Behavior of a Surface Implicitly Defined
Previous Article in Journal
Reliability Simulation of Two Component Warm-Standby System with Repair, Switching, and Back-Switching Failures under Three Aging Assumptions
Previous Article in Special Issue
On the Implicit Equation of Conics and Quadrics Offsets
 
 
Article

Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools

by 1,*,†, 2,†, 3,† and 4,†
1
Departamento de Ingeniería Industrial, Escuela Politécnica Superior, Universidad Antonio de Nebrija, C/Santa Cruz de Marcenado 27, 28015 Madrid, Spain
2
Sociedad Asturiana de Educación Matemática “Agustín de Pedrayes”, Federación Española de Sociedades de Profesores de Matemáticas, Plaza Club Patín Gijón Solimar 1, 33213 Gijón, Spain
3
The Private University College of Education of the Diocese of Linz, Salesianumweg 3, 4020 Linz, Austria
4
CEAD Profesor Félix Pérez Parrilla, C/Dr. García Castrillo, 22, 35005 Las Palmas de Gran Canaria, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Academic Editor: Juana Sendra
Mathematics 2021, 9(20), 2548; https://doi.org/10.3390/math9202548
Received: 4 September 2021 / Revised: 1 October 2021 / Accepted: 6 October 2021 / Published: 11 October 2021
(This article belongs to the Special Issue Symbolic Computation for Mathematical Visualization)
Recently developed GeoGebra tools for the automated deduction and discovery of geometric statements combine in a unique way computational (real and complex) algebraic geometry algorithms and graphic features for the introduction and visualization of geometric statements. In our paper we will explore the capabilities and limitations of these new tools, through the case study of a classic geometric inequality, showing how to overcome, by means of a double approach, the difficulties that might arise attempting to ‘discover’ it automatically. On the one hand, through the introduction of the dynamic color scanning method, which allows to visualize on GeoGebra the set of real solutions of a given equation and to shed light on its geometry. On the other hand, via a symbolic computation approach which currently requires the (tricky) use of a variety of real geometry concepts (determining the real roots of a bivariate polynomial p(x,y) by reducing it to a univariate case through discriminants and Sturm sequences, etc.), which leads to a complete resolution of the initial problem. As the algorithmic basis for both instruments (scanning, real solving) are already internally available in GeoGebra (e.g., via the Tarski package), we conclude proposing the development and merging of such features in the future progress of GeoGebra automated reasoning tools. View Full-Text
Keywords: automated theorem proving in geometry; automated deduction in geometry; automated reasoning in geometry; Dynamic Geometry; GeoGebra; computational algebraic geometry automated theorem proving in geometry; automated deduction in geometry; automated reasoning in geometry; Dynamic Geometry; GeoGebra; computational algebraic geometry
Show Figures

Figure 1

MDPI and ACS Style

Recio, T.; Losada, R.; Kovács, Z.; Ueno, C. Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools. Mathematics 2021, 9, 2548. https://doi.org/10.3390/math9202548

AMA Style

Recio T, Losada R, Kovács Z, Ueno C. Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools. Mathematics. 2021; 9(20):2548. https://doi.org/10.3390/math9202548

Chicago/Turabian Style

Recio, Tomás, Rafael Losada, Zoltán Kovács, and Carlos Ueno. 2021. "Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools" Mathematics 9, no. 20: 2548. https://doi.org/10.3390/math9202548

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop