Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Using Java Geometry Expert as Guide in the Preparations for Math Contests

Ines Ganglmayr, Zoltán Kovács

TL;DR

The paper investigates using Java Geometry Expert (JGEX) to support structured geometric thinking in contest preparation within Austrian curricula. It analyzes JGEX's capabilities for proving equational geometric properties and its limitations, notably the inability to handle inequalities, while demonstrating both a solvable case with a clear step-by-step trace and a difficult case where automation falls short. The study highlights JGEX as a promising tool for introducing geometric proofs and visual reasoning in classrooms, albeit with challenges in problem formulation and language support that warrant further research and careful integration. Overall, JGEX can augment contest preparation by guiding visualization and argument-building, but its classroom impact depends on addressing usability and applicability constraints.

Abstract

We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.

Using Java Geometry Expert as Guide in the Preparations for Math Contests

TL;DR

The paper investigates using Java Geometry Expert (JGEX) to support structured geometric thinking in contest preparation within Austrian curricula. It analyzes JGEX's capabilities for proving equational geometric properties and its limitations, notably the inability to handle inequalities, while demonstrating both a solvable case with a clear step-by-step trace and a difficult case where automation falls short. The study highlights JGEX as a promising tool for introducing geometric proofs and visual reasoning in classrooms, albeit with challenges in problem formulation and language support that warrant further research and careful integration. Overall, JGEX can augment contest preparation by guiding visualization and argument-building, but its classroom impact depends on addressing usability and applicability constraints.

Abstract

We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.
Paper Structure (8 sections, 10 figures)

This paper contains 8 sections, 10 figures.

Table of Contents

  1. Introduction
  2. Testing of Competition Tasks Using JGEX
  3. A Solvable Problem
  4. A solution via JGEX.
  5. A Problem that is Difficult to Solve Automatically
  6. An attempt for getting the solution via JGEX.
  7. Conclusion
  8. Acknowledgements

Figures (10)

  • Figure 1: A step-by-step solution provided by JGEX, step 1
  • Figure 2: A step-by-step solution provided by JGEX, step 2
  • Figure 3: A step-by-step solution provided by JGEX, step 3
  • Figure 4: A step-by-step solution provided by JGEX, step 4
  • Figure 5: A step-by-step solution provided by JGEX, step 5
  • ...and 5 more figures