Автоматизированные вычисления алгебраических величин при построении интерактивных геометрических фигур – дидактический анализ

Аннотация

Обычно интерактивные системы динамической геометрии не могут показать, как измеряемая характеристика геометрической фигуры зависит от других ее параметров. С помощью методов «Automated Deduction in Geometry» (ADG), реализованных в динамической геометрии, становится возможным вычислить какой-нибудь параметр фигуры в зависимости от остальных ее параметров. Поясним это свойство системы с помощью выбранных примеров, которые демонстрируют применение этого инструмента и оценивают возможность его применения в классе.