幾何推論arXiv:2401.11908
オーストリアの医療センターに設置された揺れるラクダの軌跡の物語
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
医療センターにある揺れるラクダの玩具に着想を得て、GeoGebra Discoveryを用いた自動幾何推論の教育プロジェクトの事例を紹介する。
著者: Anna Käferböck, Zoltán Kovács
分類: cs.RO, cs.CG, cs.SC
原文アブストラクト
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.