#
From Measuring to Formal Demonstration Using Interactive Computational Geoboards and Recurrent Electronic Charts
Article

## Sergei Abramovich, State University of New York at Potsdam, United States ; Gary Brown, Marietta High School, United States

JCMST Volume 18, Number 2, ISSN 0731-9258 Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC USA

## Abstract

The paper shows how the joint use of dynamic geometry program and a spreadsheet may provide a computational environment for exploring geometry on plane lattices that lessens the risk of developing a false empiricist view of mathematics often associated with the use of information technology. Based on the unique interrelation of Pick's and Euler's formulas for lattice polygons, activities were designed to promote the idea of formal demonstration in geometry through the use of computing technology. The paper reports on the use of the activities with preservice and inservice teachers enrolled in a technology-rich mathematics education course. Certain things fi rst became clear to me by a mechanical method, although they had to be demonstrated by geometry afterwards because their investigation by the said mechanical method did not furnish an actual demonstration. But it is of course easier, when the method has previously given us some knowledge of the questions, to supply the proof than it is to find it without any previous knowledge.

## Citation

Abramovich, S. & Brown, G. (1999). From Measuring to Formal Demonstration Using Interactive Computational Geoboards and Recurrent Electronic Charts. Journal of Computers in Mathematics and Science Teaching, 18(2), 105-134. Charlottesville, VA: Association for the Advancement of Computing in Education (AACE). Retrieved May 18, 2021 from https://www.learntechlib.org/primary/p/6560/.

© 1999 Association for the Advancement of Computing in Education (AACE)

### Keywords

## References

View References & Citations Map- Abramovich, S. (1995). Technology-motivated teaching of advanced topics in discrete mathematics. Journal of Computers in Mathematics and Science From Measuring to Formal Demonstration 133
- Abramovich, S., & Brown, G. (1996). Integrating problem solving, technology, and the experience of mathematical discovery in teacher education. Journal of Computers in Mathematics and Science Teaching, 15(4), 287-302.
- Balacheff, N. (1988). Aspects of proof in pupils’ practice of school mathematics. In D. Pimm (Ed.), Mathematics, Teachers, and Children (pp.216-238). London:
- De Soto, C.B., London, M., & Handel, S. (1965). Social reasoning and spatial paralogic. Journal of Personality and Social Psychology, 2(4), 513-521.
- DeTemple, D., & Robertson, J.M. (1974). The equivalence of Euler ’s and Pick’s theorems. Mathematics Teacher, 67(3), 222-226.
- Freudenthal, H. (1973). Mathematics as an Educational Task. Dordrecht: Reidel.
- Hanna, G. (1995). Challenges to the importance of proof. For the Learning of Mathematics, 15(3), 42-49.
- Hersh, R. (1993). Proving is convincing and explaining. Educational Studies in Mathematics, 24(4), 389-399.
- Hoyles, C., Healy, L., & Noss, R. (1995). Can dynamic geometry constructions replace proof or contribute to it? In C. Mammana (Ed.), ICMI Study: Perspectives on the Teaching of Geometry for the 21st Century (pp. 101-104)
- Pólya, G. (1954). Mathematics and Plausible Reasoning, vol.1: Induction and Analogy in Mathematics. New Jersey: Princeton University Press.
- Yerushalmy, M.(1990). Using empirical information in geometry: Student’s and designer ’s expectations. Journal of Computers in Mathematics and Science 134 Abramovich and Brown Acknowledgements

These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.

Suggest Corrections to References