IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v9y2021i20p2548-d653626.html
   My bibliography  Save this article

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

Author

Listed:
  • Tomás Recio

    (Departamento de Ingeniería Industrial, Escuela Politécnica Superior, Universidad Antonio de Nebrija, C/Santa Cruz de Marcenado 27, 28015 Madrid, Spain
    These authors contributed equally to this work.)

  • Rafael Losada

    (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
    These authors contributed equally to this work.)

  • Zoltán Kovács

    (The Private University College of Education of the Diocese of Linz, Salesianumweg 3, 4020 Linz, Austria
    These authors contributed equally to this work.)

  • Carlos Ueno

    (CEAD Profesor Félix Pérez Parrilla, C/Dr. García Castrillo, 22, 35005 Las Palmas de Gran Canaria, Spain
    These authors contributed equally to this work.)

Abstract

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.

Suggested Citation

  • Tomás Recio & Rafael Losada & Zoltán Kovács & Carlos Ueno, 2021. "Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools," Mathematics, MDPI, vol. 9(20), pages 1-29, October.
  • Handle: RePEc:gam:jmathe:v:9:y:2021:i:20:p:2548-:d:653626
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/9/20/2548/pdf
    Download Restriction: no

    File URL: https://www.mdpi.com/2227-7390/9/20/2548/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:9:y:2021:i:20:p:2548-:d:653626. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.