The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Anna Käferböck,Zoltán Kovács

DOI: https://doi.org/10.4204/EPTCS.398.16

2024-01-22

Abstract:We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above.

Robotics,Computational Geometry,Symbolic Computation

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to apply automatic geometric reasoning to classroom projects by using the GeoGebra Discovery software tool, so as to expand the mathematical knowledge of middle school students and above. Specifically, through a specific case - studying the motion trajectory of a rocking camel toy exhibited in the medical center in Freistadt, the author shows how to go from wrong conjectures, experiments, and modeling to precise mathematical settings, and finally draw conclusions through automatic reasoning.

### Summary of Main Problems:

1. **Application of Automatic Geometric Reasoning**:
- Research on how to introduce automatic geometric reasoning tools (such as GeoGebra Discovery) in secondary education to help students understand complex geometric problems.

2. **Motion Analysis of Rocking Camel Toy**:
- Identify and describe the motion trajectories of certain points on the rocking camel toy, especially the motion path of the camel's hump.
- Verify the initial conjecture (for example, whether the hump moves along an elliptical path) through experiments and modeling.

3. **Practical Application in STEM/STEAM Education**:
- Explore how to combine practical applications in real life with automatic geometric reasoning to design STEM/STEAM activities suitable for middle school students and above.

4. **Improved Teaching Methods**:
- Show how to simplify complex geometric constructions by technical means (such as GeoGebra Discovery) and improve teaching efficiency.

### Specific Steps and Findings:

- **Measurement and Modeling**: First, make accurate measurements of the toy and build a model in GeoGebra.
- **Propose Conjecture**: The students initially guessed that the motion trajectory of the hump was elliptical.
- **Verify Conjecture**: By dragging point E to an unrealistic position, it was found that the motion trajectory of the hump was actually a curve similar to the figure "8", not an ellipse.
- **Calculate Trajectory Equation**: Use the LocusEquation command to calculate the mathematical equation of the trajectory, and the result is a sixth - degree polynomial equation.
- **Prove**: Prove that the obtained curve is indeed a sixth - degree curve by the elimination method in algebraic geometry.
- **Generalize**: Further generalize the problem settings through the Dilate command and slider function, and study the changes of the output curves in different situations.

### Conclusion:

This paper not only shows how to use modern technological tools (such as GeoGebra Discovery) to solve complex geometric problems, but also emphasizes the importance of automatic geometric reasoning in secondary education. In this way, students can understand mathematical concepts more deeply and cultivate their problem - solving abilities. In addition, the paper also explores the practical application of STEM/STEAM education, providing new ideas and methods for future teaching.