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

Ordinary interactive dynamic geometry systems (IDGS) cannot generally show, how a measurable property of an interactively constructed geometric figure depends on the determining variables of that figure. With a certain method of “Automated Deduction in Geometry” (ADG), implemented in Geometry Expressions (abbreviated GX, homepage: http://www.geometryexpressions.com/), it is now possible to calculate such a dependency as an algebraic expression consisting of the determining variables. We explain this facility by selected examples, which represent the usage of this tool and evaluate its application in classroom. keywords planimetry, automated calculation, interactive dynamic geometry systems. Pp. 55-60.