Experimentation and Proof in Mathematics
This paper examines the role and function of experimentation in mathematics with reference to some historical examples and some of my own, in order to provide a conceptual frame of reference for educational practise. I identify, illustrate, and discuss the following functions: conjecturing, verification, global refutation, heuristic refutation, and understanding. After pointing out some fundamental limitations of experimentation, I argue that in genuine mathematical practise experimentation and more logically rigorous methods complement each other. The challenge for curriculum designers is therefore to develop meaningful activities that not only illustrate the above functions of experimentation but also accurately reflect the complex, interrelated nature of experimentation and deductive reasoning.
KeywordsMathematics Education Deductive Reasoning Interior Angle Dynamic Geometry Software Deductive Proof
Reprinted adaptation of article by permission from CJSMTE, 4(3), July 2004, pp. 397–418, http://www.utpjournals.com/cjsmte , © 2004 Canadian Journal of Science, Mathematics and Technology Education (CJSMTE).
- Aigner, M., & Ziegler, G. M. (1998). Proofs from The Book. New York: SpringerVerlag.Google Scholar
- Arber, A. (1954). The mind and the eye. Cambridge: Cambridge University Press.Google Scholar
- Borba, M. C., & Skovsmose, O. (1997). The ideology of certainty in mathematics education. For the Learning of Mathematics, 17(3), 17–23.Google Scholar
- Davis, P. J., & Hersh, R. (1983). The mathematical experience. Harmondsworth: Penguin Books.Google Scholar
- De Villiers, M. (1989). From “TO POLY” to generalized poly-figures and their classification: a learning experience. International Journal of Mathematical Education in Science and Technology, 20(4), 585–603.Google Scholar
- De Villiers, M. (1990). The role and function of proof in mathematics. Pythagoras, 24, 17–24 (A copy of this paper can be directly downloaded from http://mzone.mweb.co.za/residents/profmd/proofa.pdf).
- De Villiers, M. (2000). A Fibonacci generalization: A Lakatosian example. Mathematics in College, 10–29 (A copy of this paper can be directly downloaded from http://mzone.mweb.co.za/residents/profmd/fibo.pdf).
- De Villiers, M. (2002). From nested Miquel Triangles to Miquel distances. Mathematical Gazette, 86(507), 390–395.Google Scholar
- De Villiers, M. (2003). The Role of Proof with Sketchpad. In Rethinking Proof with Sketchpad 4. Emeryville: Key Curriculum Press. (A copy of this paper can be directly downloaded from: http://mzone.mweb.co.za/residents/profmd/proof.pdf).
- De Villiers, M. (2005). A generalization of the nine-point circle and the Euler line. Pythagoras, 62, 31–35.Google Scholar
- De Villiers, M. (2006). A generalization of the Spieker circle and Nagel line. Pythagoras, 63, 30–37.Google Scholar
- De Villiers, M. (2007). A hexagon result and its generalization via proof. The Montana Mathematics Enthusiast, 14(2), 188–192 (A copy of this paper can be directly downloaded from: http://www.math.umt.edu/TMME/vol4no2/TMMEvol4no2_pp.188_192_SA.pdf).
- Epstein, D., & Levy, S. (1995). Experimentation and proof in mathematics. Notices of the AMS, 42(6), 670–674.Google Scholar
- Ernest, P. (1991). The philosophy of mathematics education. Basingstoke: Falmer Press.Google Scholar
- Fischbein, E. (1982). Intuition and proof. For the Learning of Mathematics, 3(2), 9–18, 24.Google Scholar
- Grünbaum, B., & Shephard, G. (1994). A new look at Euler’s theorem for polyhedra. American Mathematical Monthly, 101(2), 109–128.Google Scholar
- Hales, T. C. (2000). Cannonballs and Honeycombs. Notices of the AMS, 47(4), 440–449.Google Scholar
- Halmos, P. (1984). Mathematics as a creative art. In D. Campbell & J. Higgens (Eds.), Mathematics: people, problems, results (Vol. II, pp. 19–29). Belmont: Wadsworth.Google Scholar
- Hanna, G. (1983). Rigorous proof in mathematics education. Toronto: OISE Press.Google Scholar
- Hanna, G. (1995). Challenges to the importance to proof. For the Learning of Mathematics, 15(3), 42–49.Google Scholar
- Hanna, G. (1997). The ongoing value of proof. In M. De Villiers & F. Furinghetti (Eds.), ICME-8 Proceedings of topic group on proof (pp. 1–14). Centrahil: AMESA.Google Scholar
- Hilton, P., & Pedersen, J. (1994). Euler’s theorem for polyhedra: a topologist and geometer respond. American Mathematical Monthly, 101(10), 959–962.Google Scholar
- Hofstadter, D. R. (1985). Metamagical themas: questing for the essence of mind and pattern. New York: Basic Book Publishers.Google Scholar
- Kramer, E. E. (1981). The nature and growth of modern mathematics. Princeton: Princeton University Press.Google Scholar
- Kleiner, I., & Movshovitz-Hadar, N. (1991). The role of paradoxes in the evolution of mathematics. American Mathematical Monthly, 101(10), 963–974.Google Scholar
- Lakatos, I. (1983). Proofs and refutations, 4th reprint. Cambridge: Cambridge University Press.Google Scholar
- Movshovitz-Hadar, N., & Webb, J. (1998). One equals zero and other mathematical surprises. Emeryville: Key Curriculum Press.Google Scholar
- Neubrand, M. (1989). Remarks on the acceptance of proofs: The case of some recently tackled major theorems. For the Learning of Mathematics, 9(3), 2–6.Google Scholar
- Polya, G. (1954). Mathematics and plausible reasoning: induction and analogy in mathematics, vol I. Princeton: Princeton University Press, 7(1), 5–41.Google Scholar
- Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(1), 5–41.Google Scholar
- Rotman, J. (1998). Journey into mathematics: an introduction to proofs. NY: Prentice Hall.Google Scholar
- Singh, S. (1998). Fermat’s last theorem. London: Fourth Estate.Google Scholar
- Schoenfeld, A. (1986). On having and using geometric knowledge. In J. Hiebert (Ed.), Conceptual and procedural knowledge: The case of mathematics (pp. 225–264). Hillsdale, NJ: Lawrence Erlbaum.Google Scholar