Proof validation and modification in secondary school geometry

Proof validation is important in school mathematics because it can provide a basis upon which to critique mathematical arguments. While there has been some previous research on proof validation, the need for studies with school students is pressing. For this paper, we focus on proof validation and modification during secondary school geometry. For that purpose, we employ Lakatos’ notion of local counterexample that rejects a specific step in a proof. By using Toulmin’s framework to analyze data from a task-based questionnaire completed by 32 ninth-grade students in a class in Japan, we identify what attempts the students made in producing local counterexamples to their proofs and modifying their proofs to deal with local counterexamples. We found that student difficulties related to producing diagrams that satisfied the condition of the set proof problem and to generating acceptable warrants for claims. The classroom use of tasks that entail student discovery of local counterexamples may help to improve students’ learning of proof and proving.     

Promoting mathematical proof from collective argumentation in primary school

The purpose of this research is to promote the construction of mathematical proof from argumentation at the primary level. To show this is a viable instructional strategy at the primary level, we use a teaching experiment methodology and a task related to geometric proof in this research study. To model and analyze the collective argumentation that took place in the classroom, we reconstructed the discussion using the extended Toulmin model. Collective argumentation at the primary level is a valuable opportunity for primary students and their teachers to generate mathematical proof through collaboration.     

Validating proofs and counterexamples across content domains: Practices of importance for mathematics majors

Validating proofs and counterexamples across content domains is considered vital practices for undergraduate students to advance their mathematical reasoning and knowledge. To date, not enough is known about the ways mathematics majors determine the validity of arguments in the domains of algebra, analysis, geometry, and number theory—the domains that are central to many mathematics courses. This study reported how 16 mathematics majors, including eight specializing in secondary mathematics education, who had completed more proof-based courses than transition-to-proof classes evaluated various arguments. The results suggest that the students use one of the following strategies in proof and counterexample validation: (1) examination of the argument's structure and (2) line-by-line checking with informal deductive reasoning, example-based reasoning, experience-based reasoning, and informal deductive and example-based reasoning. Most students tended to examine all steps of the argument with informal deductive reasoning across various tasks, suggesting that this approach might be problem dependent. Even though all participating students had taken more proof-related mathematics courses, it is surprising that many of them did not recognize global-structure or line-by-line content-based flaws presented in the argument.     

Justification as a teaching and learning practice: Its (potential) multifacted role in middle grades mathematics classrooms

Justification is a core mathematics practice. Although the purposes of justification in the mathematician community have been studied extensively, we know relatively little about its role in K-12 classrooms. This paper documents the range of purposes identified by 12 middle grades teachers who were working actively to incorporate justification into their classrooms and compares this set of purposes with those documented in the research mathematician community. Results indicate that the teachers viewed justification as a powerful practice to accomplish a range of valued classroom teaching and learning functions. Some of these purposes overlapped with the purposes in the mathematician community; others were unique to the classroom community. Perhaps surprisingly, absent was the role of justification in verifying mathematical results. An analysis of the relationship between the purposes documented in the mathematics classroom community and the research mathematician community highlights how these differences may reflect the distinct goals and professional activities of the two communities. Implications for mathematics education and teacher development are discussed.     

Integrating algebra and proof in high school mathematics: An exploratory study

Frequently, in the US students’ work with proofs is largely concentrated to the domain of high school geometry, thus providing students with a distorted image of what proof entails, which is at odds with the central role that proof plays in mathematics. Despite the centrality of proof in mathematics, there is a lack of studies addressing how to integrate proof into other mathematical domains. In this paper, we discuss a teaching experiment designed to integrate algebra and proof in the high school curriculum. Algebraic proof was envisioned as the vehicle that would provide high school students the opportunity to learn not only about proof in a context other than geometry, but also about aspects of algebra. Results from the experiment indicate that students meaningfully learned about aspects of both algebra and proof in that they produced algebraic proofs involving multiple variables, based on conjectures they themselves generated.     

The MACSI summer school: a case study in outreach in mathematics

To encourage the study of mathematics in Ireland, the Mathematics Applications Consortium for Science and Industry (MACSI) organizes a summer school once a year. The different aspects of this summer school are presented. Students are selected depending on their motivation, academic abilities, gender and geographical origins. Instruction and supervision is provided by academics, post-doctoral fellows and post-graduate students. The teaching programme evolves every year and reflects the interests of the people involved. Feedback from participants has been almost uniformly positive. Students favour interactive sessions and enjoy the residential aspect of the summer school. Food and accommodation are however the most costly aspects of this summer school. In this respect the support of Science Foundation Ireland has been invaluable.     

A sense-making approach to proof: Strategies of students in traditional and problem-based number theory courses

This paper reports the results of an exploratory study of the perceptions of and approaches to mathematical proof of undergraduates enrolled in lecture-based and problem-based “transition to proof” courses. While the students in the lecture-based course demonstrated conceptions of proof that reflect those reported in the research literature as insufficient and typical of undergraduates, the students in the problem-based course were found to hold conceptions of and approach the construction of proofs in ways that demonstrated efforts to make sense of mathematical ideas. This sense-making manifested itself in the ways in which students employed initial strategies, notation, prior knowledge and experiences, and concrete examples in the proof construction process. These differences were also seen when students were asked to determine the validity of completed proofs. These results suggest that such a problem-based course may provide opportunities for students to develop conceptions of proof that are more meaningful and robust than does a traditional lecture-based course.     

Three modes of STEM integration for middle school mathematics teachers

Of the four subjects in an integrated science, technology, engineering, and mathematics (STEM) approach, mathematics has not received enough focus. This could be in part because mathematics teachers may be apprehensive or unsure about how to implement integrated STEM education in their classrooms. There are benefits to integrated STEM in a mathematics classroom though, including increased motivation, interest, and achievement for students. This article discusses three methods that middle school mathematics teachers can utilize to integrate STEM subjects. By focusing on open‐ended problems through engineering design challenges, mathematical modeling, and mathematics integrated with technology middle school students are more likely to see mathematics as relevant and valuable. Important considerations are discussed as well as recent research with these approaches.     

Traditional instruction in advanced mathematics courses: a case study of one professor’s lectures and proofs in an introductory real analysis course

It is widely accepted by mathematics educators and mathematicians that most proof-oriented university mathematics courses are taught in a “definition-theorem-proof” format. However, there are relatively few empirical studies on what takes place during this instruction, why this instruction is used, and how it affects students’ learning. In this paper, I investigate these issues by examining a case study of one professor using this type of instruction in an introductory real analysis course. I first describe the professor’s actions in the classroom and argue that these actions are the result of the professor’s beliefs about mathematics, students, and education, as well as his knowledge of the material being covered. I then illustrate how the professor’s teaching style influenced the way that his students attempted to learn the material. Finally, I discuss the implications that the reported data have on mathematics education research.     

Indicators of middle school students' mathematics enjoyment and confidence

A study involving 916 students spanning grades 5–8 was conducted to investigate indicators that may contribute to enjoyment and confidence in mathematics. For this group of middle school students, mathematics enjoyment, mathematics confidence, and attitudes toward school were found to generally decline across grade levels. Mathematics enjoyment and confidence were also found to differ significantly based upon student preferences for future careers. Gender differences as well as similarities regarding predictors of mathematics enjoyment and confidence were identified. Specifically, the best predictor for end of year mathematics enjoyment for males was beginning of year attitude toward school, while the most significant predictor of end of year enjoyment for females was beginning of year dispositions toward mathematics (semantic perception). A strong relationship between mathematics enjoyment and confidence overall was found, with indications that activities that increase mathematics enjoyment contribute to increased confidence, and also that activities that increase mathematics confidence contribute to increased enjoyment.     

Formal specification and proofs for the topology and classification of combinatorial surfaces

We describe one of the first attempts at using modern specification techniques in the field of geometric modeling and computational geometry. Using the Coq system, we developed a formal multi-level specification of combinatorial maps, used to represent subdivisions of geometric manifolds, and then exploited it to formally prove fundamental theorems. In particular, we outline here an original and constructive proof of a combinatorial part of the famous Surface Classification Theorem, based on a set of so-called “conservative” elementary operations on subdivisions.     

Students’ understanding of mathematical objects in the context of transformational geometry: Implications for constructing and understanding proofs

This research explored students’ views of geometric objects through the implementation of a curriculum module that allowed them to explore the relationships between transformational geometry and linear algebra. The majority of the students were middle and secondary mathematics education majors enrolled in a one-semester geometry course that is aimed at prospective teachers. A preponderance of the evidence suggests that the participating students, for the most part, viewed isometries operationally and viewed geometric objects (triangle, etc.) as “perceived.” Results also suggest that these two views influenced the students’ abilities to understand and to construct geometric proofs in transformational geometry.     

Small-group searches for mathematical proofs and individual reconstructions of mathematical concepts

This is a study of mathematics students working in small groups. Our research methodology allows us to examine how individual ideas develop in a social context. The research perspective used in this study is based on a co-constructive view of learning. Groups of three or four undergraduate mathematics majors, with prior experience writing mathematical proofs together, were asked to prove three statements. Computer software, such as Geometers Sketchpad, was available. Group work sessions were videotaped. Later, individuals viewed segments of the group video and were asked to reflect on group activities. Students in some groups did not share a common conception of proof, which seemed to hamper their collaboration. We observed interactions that fit with the co-constructive theory, with bidirectional interactions that shaped both group and individual conceptions of the tasks. These changes in understanding may result from parallel and successive internalization and externalization of ideas by individuals in a social context.     

Paraprofessionals in Cyprus and England: perceptions of their role in supporting primary school mathematics

Paraprofessionals increasingly work alongside teachers in many countries, with research suggesting they undertake pedagogic roles for which they are not formally prepared. We investigate this from the perspective of paraprofessionals supporting individual children with special needs in primary schools in Cyprus and England and develop a typology to conceptualise their views of their role in mathematics lessons in relation to children, teachers and mathematical processes. All perceive themselves as explaining mathematical ideas and dealing with difficulties. Some report having major or sole responsibility for teaching and planning mathematics. The vast majority feel able to do their job with only informal preparation, often linking this to the low level of mathematics involved. We argue that the current situation is contrary to the subject knowledge literature. Expectations placed on paraprofessionals and the mathematical experiences of the children they support arouse concerns.     

Dee and his books: lessons from the history of mathematics for primary and middle school teachers

This article describes a cross-curricular project based on Shakespeare's Tempest, in which the life and work of John Dee was used to inspire lessons in mathematics.     

Mexican high school students' social representations of mathematics,its teaching and learning

This paper reports a qualitative research that identifies Mexican high school students’ social representations of mathematics. For this purpose, the social representations of ‘mathematics’, ‘learning mathematics’ and ‘teaching mathematics’ were identified in a group of 50 students. Focus group interviews were carried out in order to obtain the data. The constant comparative style was the strategy used for the data analysis because it allowed the categories to emerge from the data. The students’ social representations are: (A) Mathematics is…(1) important for daily life, (2) important for careers and for life, (3) important because it is in everything that surrounds us, (4) a way to solve problems of daily life, (5) calculations and operations with numbers, (6) complex and difficult, (7) exact and (6) a subject that develops thinking skills; (B) To learn mathematics is…(1) to possess knowledge to solve problems, (2) to be able to solve everyday problems, (3) to be able to make calculations and operations, and (4) to think logically to be able to solve problems; and (C) To teach mathematics is…(1) to transmit knowledge, (2) to know to share it, (3) to transmit the reasoning ability, and (4) to show how to solve problems.     

Opportunities for learning: the use of variation to analyse examples of a paradigm shift in teaching primary mathematics in England

We demonstrate the power of Variation Theory as an analytical tool used to understand the underlying conceptual structure of mathematics lessons taught by English primary school teachers. We study excerpts of three lessons that are posted on a professional website. We show how lesson analysis using variation allows us to focus on what is made available to be learnt in the lesson excerpts. We identify some differences in their use of dimensions of variation and the associated ranges of change and discuss how suitable patterns of variation and invariance might differ according to the nature of the learning focus. We reflect on the value of our analytical approach.     

Designing a duo of material and digital artifacts: the pascaline and Cabri Elem e-books in primary school mathematics

This paper focuses on a duo of artifacts, constituted by a physical artifact and its digital counterpart. It deals with the theoretically and empirically underpinned design process of the digital artifact, the e-pascaline developed with Cabri Elem technology, in reference to a physical artifact, the pascaline. The theoretical frameworks of the instrumental approach and the theory of semiotic mediation together with the analysis of teaching experiments with the pascaline support the design in terms of continuity and discontinuity between the two artifacts. The components of the digital artifact were chosen from among the components of the physical artifact that are the object of instrumental genesis by the students and that are analyzed as having a semiotic potential that contributes to didactical aims. Components instrumented by students which had inadequate semiotic potential were eliminated. With the resulting duo, each artifact adds value to the use of the other artifact for mathematical learning.     

Authority and whole-class proving in high school geometry: The case of Ms. Finley

Students’ experiences with proving in schools often lead them to see proof as a static product rather than a negotiated process that can help students justify and make sense of mathematical ideas. We investigated how authority manifested in whole-class proving episodes within Ms. Finley’s high school geometry classroom. We designed a coding scheme that helped us identify the proving actions and interactions that occurred during whole-class proving and how Ms. Finley and her students contributed to those processes. By considering the authority over proof initiation, proof construction, and proof validation, the episodes illustrate how whole-class proving interactions might relate to students’ potential development (or maintenance) of authoritative proof schemes. In particular, the authority of the teacher and textbook limited students’ opportunities to engage collectively in proving and sometimes allowed invalid arguments to be accepted in the public discourse. We offer suggestions for research and practice with respect to authority and proof instruction.