Fostering empirical examination after proof construction in secondary school geometry

In contrast to existing research that has typically addressed the process from example generation to proof construction, this study aims at enhancing empirical examination after proof construction leading to revision of statements and proofs in secondary school geometry. The term “empirical examination” refers to the use of examples or diagrams to investigate whether a statement is true or a proof is valid. Although empirical examination after proof construction is significant in school mathematics in terms of cultivating students’ critical thinking and achieving authentic mathematical practice, how this activity can be fostered remains unclear. This paper shows the strength of a particular kind of mathematical task, proof problems with diagrams, and teachers’ roles in implementing the tasks, by analysing two classroom-based interventions with students in the eighth and ninth grades. In the interventions, the tasks and the teachers’ actions successfully prompted the students to discover a case rejecting a proof and a case refuting a statement, modify the proof, properly restrict the domain of the statement by disclosing its hidden condition, and invent a more general statement that was true even for the refutation of the original statement.

[1]  Óscar Chávez,et al.  Opportunities to engage with proof: the nature of proof tasks in two geometry textbooks and its influence on enacted lessons , 2014 .

[2]  Andreas J. Stylianides Introducing Young Children to the Role of Assumptions in Proving , 2007 .

[3]  Andreas J. Stylianides,et al.  Facilitating the Transition from Empirical Arguments to Proof. , 2009 .

[4]  Proof Problems with Diagrams: An Opportunity for Experiencing Proofs and Refutations. , 2014 .

[5]  J. Sandefur,et al.  Generating and using examples in the proving process , 2013 .

[6]  E. Knuth,et al.  Validating Proofs and Counterexamples across Content Domains: Practices of Importance for Mathematics Majors. , 2013 .

[7]  O. Zaslavsky,et al.  Is this a coincidence? The role of examples in fostering a need for proof , 2011 .

[8]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[9]  Andreas J. Stylianides,et al.  The Role of Instructional Engineering in Reducing the Uncertainties of Ambitious Teaching , 2014 .

[10]  Andreas J. Stylianides,et al.  Seeking research-grounded solutions to problems of practice: classroom-based interventions in mathematics education , 2013 .

[11]  L. Alcock,et al.  Proof validation in real analysis: Inferring and checking warrants , 2005 .

[12]  Paola Iannone,et al.  Does generating examples aid proof production? , 2011 .

[13]  Michelle Zandieh,et al.  Proofs and refutations in the undergraduate mathematics classroom , 2008 .

[14]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[15]  Kotaro Komatsu A framework for proofs and refutations in school mathematics: Increasing content by deductive guessing , 2016 .

[16]  J. Stigler,et al.  The Teaching Gap: Best Ideas from the World's Teachers for Improving Education in the Classroom , 1999 .

[17]  Margaret S. Smith,et al.  Orchestrating Productive Mathematical Discussions: Five Practices for Helping Teachers Move Beyond Show and Tell , 2008 .

[18]  M. Stein,et al.  Mathematical Tasks and Student Cognition: Classroom-Based Factors That Support and Inhibit High-Level Mathematical Thinking and Reasoning. , 1997 .

[19]  Kotaro Komatsu Counter-examples for refinement of conjectures and proofs in primary school mathematics , 2010 .

[20]  Patricio Herbst,et al.  Proving and Doing Proofs in High School Geometry Classes: What Is It That Is Going On for Students? , 2006 .

[21]  Taro Fujita,et al.  Developing a Curriculum for Explorative Proving in Lower Secondary School Geometry , 2016 .

[22]  Bettina Pedemonte,et al.  How can the relationship between argumentation and proof be analysed? , 2007 .

[23]  Kristen N. Bieda Enacting proof-related tasks in middle school mathematics: Challenges and opportunities , 2010 .

[24]  P. Herbst Interactions with Diagrams and the Making of Reasoned Conjectures in Geometry , 2004 .