Abstract
Theorem acquisition and deductive proof have always been core elements in the study and teaching of Euclidean geometry. The introduction of dynamic geometry environments,DGE (e.g., Cabri-Géomètre, Geometer's Sketchpad), into classrooms in the past decade has posed a challenge to this praxis. Student scan experiment through different dragging modalities on geometrical objects that they construct, and consequently infer properties(generalities, theorems) about the geometrical artefacts. Because of the inductive nature of the DGE, the experimental-theoretical gap that exists in the acquisition and justification of geometrical knowledge becomes an important pedagogical and epistemological concern. In this paper, we will describe and study a ‘Cabri proof by contradiction’ of a theorem on cyclic quadrilaterals given by a pair of 16 year-old students in a Hong Kong secondary school. We will discuss how their construction motivates a visual-cognitive scheme on `seeing' proof in DGE, and how this scheme could fit into the theoretical construct of cognitive unity of theorems proposed by Boero, Garuti and Mariotti(1996). The issue of a cognitive duality and its relation to visualization will be raised and discussed. Finally, we propose a possible perspective to bridge the experimental-theoretical gap in DGE by introducing the idea of a dynamic template as a visualizer to geometrical theorem justification and acquisition.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
Arzarello, F. (2000). Inside and outside: spaces, times and language in proof production. Proceedings of PME 24: Psychology of Mathematics Education 24th International Conference, 1 (pp. 23–38). Hiroshima, Japan.
Arzarello, F., Micheletti, C., Olivero, F. and Robutti, O. (1998). Dragging in Cabri and modalities of transition from conjectures to proofs in geometry. Proceedings of PME 22: Psychology of Mathematics Education 22nd International Conference, 2 (pp. 32–39). Stellenbosch, South Africa.
Balacheff, N. (1993). Artificial intelligence and real teaching. In C. Keitel and K. Ruthven (Eds), Learning from Computers: Mathematics Education and Technology (pp. 131–158). Berlin: Springer.
Boero, P., Garuti, R. and Mariotti, M.A. (1996). Some dynamic mental process underlying producing and proving conjectures. Proceedings of PME 20: Psychology ofMathematics Education 20th International Conference, 2 (pp. 121–128). Valencia, Spain.
Boero, P., Garuti, R. and Lemut, E. (1999). About the generation of conditionality of statements and its links with proving. Proceedings of PME 23: Psychology of Mathematics Education 23rd International Conference, 2 (pp. 137–144). Haifa, Israel.
Chazan, D. (1993). High school geometry students' justification for their views of empirical evidence and mathematical proof. Educational Studies in Mathematics 24: 359–387.
Davis, P.J. (1993). Visual theorems. Educational Studies in Mathematics 24: 333–144.
de Villiers, M. (1997). The role of proof in investigative, computer-based geometry: Some personal reflection. In J. King and D. Schattschneider (Eds), Geometry Turned On: Dynamic Software in Learning, Teaching, and Research (MAA Notes Series 41) (pp. 15–28). Washington, D.C.: Mathematical Association of America.
Fischbein, E. (1993). The theory of figural concepts. Educational Studies in Mathematics 24: 139–162.
Garuti, R., Boero, P., Lemut, E. and Mariotti, M.A. (1996). Challenging the traditional school approach to theorems: A hypothesis about the cognitive unity of theorems. Proceedings of PME 20: Psychology of Mathematics Education 20th International Conference, 2 (pp. 121–128). Valencia, Spain.
Garuti, R., Boero, P. and Lemut, E. (1998). Cognitive unity of theorems and difficulty of proof. Proceedings of PME 22: Psychology of Mathematics Education 22nd International Conference, 2 (pp. 345–352). Stellenbosch, South Africa.
Goldenberg, E.P. (1995). Ruminations about dynamic imagery (and a Strong Plea for Research). In R. Sutherland and J. Mason (Eds), Exploiting Mental Imagery with Computers in Mathematics Education (pp. 202–224). Berlin: Springer.
Hanna, G. and Jahnke, H.N. (1993). Proof and application. Educational Studies in Mathematics 24: 421–438.
Harel, G. (1996). Classifying processes of proving. Proceedings of PME 22: Psychology of Mathematics Education 22nd International Conference, 3 (pp. 59–65). Stellenbosch, South Africa.
Healy, L. (2000). Identifying and explaining geometrical relationship: Interactions with robust and soft Cabri construction. Proceedings of PME 24: Psychology of Mathematics Education 24th International Conference, 1 (pp. 103–117). Hiroshima, Japan.
Hölzl, R. (1996). How does 'dragging' affect the learning of geometry. International Journal of Computers for Mathematical Learning 1: 169–187.
Hoyles, C. and Healy, L. (1999). Linking informal argumentation with formal proof through computer-integrated teaching experiments. Proceedings of PME 23: Psychology of Mathematics Education 23rd International Conference, 3 (pp. 105–112). Haifa, Israel.
King, J. and Schattschneider, D. (Eds) (1997). Geometry Turned On: Dynamic Software in Learning, Teaching, and Research (MAA Notes Series 41). Washington, D.C.: Mathematical Association of America.
Leung, A. and Lopez-Real, F. (2000). An analysis of students' explorations and constructions using Cabri geometry. In M.A. Clements, H. Tairab and W.K. Yoong (Eds), Science, Mathematics and Technical Education in the 20th and 21st Centuries (pp. 144–154). Universiti Brunei Darussalam.
Mariotti, M.A. (1997). Justifying and proving in geometry: the mediation of a microworld. In M. Hejny and J. Novotona (Eds), Proceedings of European Conference on Mathematical Education (pp. 21–26). Prague: Prometheus Publishing House.
Mariotti, M.A. and Bartolini Bussi, M.G. (1998). From drawing to construction: teacher's mediation within the Cabri environment. Proceedings of PME 22: Psychology of matics Education 22nd International Conference, 3 (pp. 247–254). Stellenbosch, South Africa.
Mariotti, M.A., Bartolini Bussi, M., Boero, P., Ferri, F. and Garuti, R. (1997). Approaching geometry theorems in contexts: from history and epistemology to cognition. Proceedings of PME 21: Psychology of Mathematics Education 21st International Conference, 1 (pp. 180–195). Lahti, Finland.
Noss, R. and Hoyles, C. (1996). Windows on Mathematical Meanings: Learning Cultures and Computers. Dordrecht, The Netherlands: Kluwer Academic Publishers.
Resnick, M.D. (1998). Proof as a source of truth. In T. Tymoczko (Ed.), New Directions in the Philosophy of Mathematics (pp. 317–336). New Jersey: Princeton.
Rodd, M.M. (2000). On mathematical warrants: Proof does not always warrant, and a warrant may be other than a proof. Mathematical Thinking and Learning 2(3): 221–224.
Rota, G-C. (1997). The phenomenology of mathematical proof. Synthese 111: 183–196.
Sfard, A. (1991). On the dual nature of mathematical conceptions: reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics 22: 1–36.
Simon, M. (1996). Beyond inductive and deductive reasoning: the search for a sense of knowing. Educational Studies in Mathematics 30: 197–210.
Vygotsky, L.S. (1978). Mind in Society: The Development of Higher Psychological Processes. Cambridge, MA: Harvard University Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Leung, A., Lopez-Real, F. Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. International Journal of Computers for Mathematical Learning 7, 145–165 (2002). https://doi.org/10.1023/A:1021195015288
Issue Date:
DOI: https://doi.org/10.1023/A:1021195015288