Key points are not available for this paper at this time.
Technology has changed school geometry in many aspects. Hand-made sketches can be substituted with precise dynamic constructions; computer software allows effective measuring of geometric quantities, persuasive visualisation, effective checking of properties, and even automated proving. Observation – a process that is inherent in geometric thinking – is, surprisingly, rarely associated with dynamic geometry software. In the article we consider observation as a cognitive process, and the role of observation in geometric thinking, especially in proving geometric facts. In the main part of the article we describe the principles of automated observation as is implemented in a computer program OK Geometry, designed for the observation of dynamic constructions. Automated observation helps in investigating geometric configurations, in generating hypotheses, in inventing geometry tasks.
Zlatan Magajna (Fri,) studied this question.