Affiliation:
1. University of Ljubljana, Faculty of Education, Kardeljeva pl. 16, 1000 Ljubljana, Slovenia
Abstract
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.
Publisher
Research Information Ltd.
Reference15 articles.
1. A deductive database approach to automated geometry theorem proving and discovering;Chou;Journal of Automated Reasoning,2000
2. The role and function of proof in mathematics;De Villiers;Pythagoras,1990
3. Using dynamic geometry to expand mathematics teachers’ understanding of proof;De Villiers;International Journal of Mathematical Education in Science and Technology,2004
4. Visualization and proof: a brief survey of philosophical perspectives;Hanna;Zentralblatt für Didaktik der Mathematik,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthetic Proof with the Support of Dynamic Geometry;International Journal for Technology in Mathematics Education;2019-09-01