Skip to main content

Proof Validation and Modification by Example Generation: A Classroom-Based Intervention in Secondary School Geometry

  • Chapter
  • First Online:

Part of the book series: ICME-13 Monographs ((ICME13Mo))

Abstract

Recent curriculum reforms underline mathematical activity related to proof validation , but few studies have explicitly addressed proof validation at the secondary school level. This chapter reports on our study of this issue. We suggest a specific kind of task for introducing proof validation in secondary school geometry and define the meanings of proof validation and proof modification in terms of Lakatos’s notion of the local counterexample . We briefly report on a classroom-based intervention implemented using such tasks in a lower secondary school in Japan. We then analyze the results of a task-based questionnaire conducted after the intervention to investigate how well the students did in proof validation and modification. The analysis shows that student failure in proof validation arose mainly from their difficulty with producing diagrams that satisfied the condition of the proof problem.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  • Alcock, L., & Weber, K. (2005). Proof validation in real analysis: Inferring and checking warrants. Journal of Mathematical Behavior, 24(2), 125–134.

    Article  Google Scholar 

  • Common Core State Standards Initiative. (2010). Common core state standards for mathematics. Retrieved August 27, 2015, from http://www.corestandards.org/wp-content/uploads/Math_Standards.pdf.

  • Department for Education. (2014). Mathematics programmes of study: Key stage 4 (National curriculum in England). Retrieved May 17, 2016, from https://www.gov.uk/government/uploads/system/uploads/attachment_data/file/331882/KS4_maths_PoS_FINAL_170714.pdf.

  • de Villiers, M. (2010). Experimentation and proof in mathematics. In G. Hanna, H. N. Jahnke, & H. Pulte (Eds.), Explanation and proof in mathematics: Philosophical and educational perspectives (pp. 205–221). New York: Springer.

    Chapter  Google Scholar 

  • Herbst, P., & Arbor, A. (2004). Interactions with diagrams and the making of reasoned conjectures in Geometry. ZDM The International Journal on Mathematics Education, 36(5), 129–139.

    Google Scholar 

  • Herbst, P., & Brach, C. (2006). Proving and doing proofs in high school geometry classes: What is it that is going on for students? Cognition and Instruction, 24(1), 73–122.

    Article  Google Scholar 

  • Hodds, M., Alcock, L., & Inglis, M. (2014). Self-explanation training improves proof comprehension. Journal for Research in Mathematics Education, 45(1), 62–101.

    Article  Google Scholar 

  • Inglis, M., & Alcock, L. (2012). Expert and novice approaches to reading mathematical proofs. Journal for Research in Mathematics Education, 43(4), 358–390.

    Article  Google Scholar 

  • Knuth, E. J. (2002). Secondary school mathematics teachers’ conceptions of proof. Journal for Research in Mathematics Education, 33(5), 379–405.

    Article  Google Scholar 

  • Ko, Y. Y., & Knuth, E. J. (2013). Validating proofs and counterexamples across content domains: Practices of importance for mathematics majors. Journal of Mathematical Behavior, 32(1), 20–35.

    Article  Google Scholar 

  • Komatsu, K. (2017). Fostering empirical examination after proof construction in secondary school geometry. Educational Studies in Mathematics, 96(2), 129–144.

    Google Scholar 

  • Komatsu, K., Tsujiyama, Y., Sakamaki, A., & Koike, N. (2014). Proof problems with diagrams: An opportunity for experiencing proofs and refutations. For the Learning of Mathematics, 34(1), 36–42.

    Google Scholar 

  • Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. Cambridge: Cambridge University Press.

    Google Scholar 

  • McCrone, S. M. S., & Martin, T. S. (2004). Assessing high school students’ understanding of geometric proof. Canadian Journal of Science, Mathematics and Technology Education, 4(2), 223–242.

    Article  Google Scholar 

  • Miyazaki, M., Nagata, J., Chino, K., Fujita, T., Ichikawa, D., Shimizu, S., et al. (2016). Developing a curriculum for explorative proving in lower secondary school geometry. In Proceedings of the 13th International Congress on Mathematical Education. Hamburg, Germany.

    Google Scholar 

  • Reiss, K., Klieme, E., & Heinze, A. (2001). Prerequisites for the understanding of proofs in the geometry classroom. In M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, pp. 97–104). Utrecht, Netherlands.

    Google Scholar 

  • Segal, J. (1999). Learning about mathematical proof: Conviction and validity. Journal of Mathematical Behavior, 18(2), 191–210.

    Article  Google Scholar 

  • Selden, A., & Selden, J. (2003). Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem? Journal for Research in Mathematics Education, 34(1), 4–36.

    Article  Google Scholar 

  • Selden, J., & Selden, A. (1995). Unpacking the logic of mathematical statements. Educational Studies in Mathematics, 29(2), 123–151.

    Article  Google Scholar 

  • Stigler, J. W., & Hiebert, J. (1999). The teaching gap: Best ideas from the world’s teachers for improving education in the classroom. New York: Free Press.

    Google Scholar 

  • Stylianides, A. J. (2007). Introducing young children to the role of assumptions in proving. Mathematical Thinking and Learning, 9(4), 361–385.

    Article  Google Scholar 

  • Stylianides, G. J., Stylianides, A. J., & Weber, K. (2017). Research on the teaching and learning of proof: Taking stock and moving forward. In J. Cai (Ed.), Compendium for research in mathematics education (pp. 237–266). Reston, VA: National Council of Teachers of Mathematics.

    Google Scholar 

  • Weber, K. (2008). How mathematicians determine if an argument is a valid proof. Journal for Research in Mathematics Education, 39(4), 431–459.

    Google Scholar 

  • Weber, K. (2010). Mathematics majors’ perceptions of conviction, validity, and proof. Mathematical Thinking and Learning, 12(4), 306–336.

    Article  Google Scholar 

Download references

Acknowledgements

This study is supported by the Japan Society for the Promotion of Science (Nos. 15H05402, 16H02068, and 26282039).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kotaro Komatsu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Komatsu, K., Ishikawa, T., Narazaki, A. (2018). Proof Validation and Modification by Example Generation: A Classroom-Based Intervention in Secondary School Geometry. In: Stylianides, A., Harel, G. (eds) Advances in Mathematics Education Research on Proof and Proving. ICME-13 Monographs. Springer, Cham. https://doi.org/10.1007/978-3-319-70996-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-70996-3_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-70995-6

  • Online ISBN: 978-3-319-70996-3

  • eBook Packages: EducationEducation (R0)

Publish with us

Policies and ethics