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

要約

無料ソフトウェア パッケージ GeoGebra Discovery を使用した、架空の教室プロジェクトのための自動幾何推論の例を示します。
このプロジェクトは、オーバーエスターライヒ州の医療センターに設置された、一般に入手可能なおもちゃ、ロッキングラクダによって動機付けられました。
誤った推測、実験、モデル化、正確な数学的設定、そして自動推論による証明のプロセスが、中等教育レベル以上の数学的知識を拡張するのにどのように役立つかを説明します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google