Proof plays a central role in developing, establishing and communicating mathematical knowledge. Nevertheless, it is not such a central element in school mathematics. This article discusses some issues involving mathematical proof in school, intending to characterize the understanding of mathematical proof in school, its function and the meaning and relevance attributed to the notion of simple proof. The main conclusions suggest that the idea of addressing mathematical proof at all levels of school is a recent idea that is not yet fully implemented in schools. It requires an adaptation of the understanding of proof to the age of the students, reducing the level of formality and allowing the students to experience the different functions of proof and not only the function of verification. Among the different functions of proof, the function of explanation deserves special attention due to the illumination and empowerment that it can bring to the students and their learning. The way this function of proof relates to the notion of simple proof (and the related aesthetic issues) seems relevant enough to make it, in the future, a focus of attention for the teachers who address mathematical proof in the classroom. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.

This study aims to understand the functional thinking of 10th-grade students while studying functions. Specifically, we intend to answer the following research questions: what are the functional thinking processes used by 10th-grade students when studying functions? What difficulties do students present while learning functions? In view of the nature of this research objective, we adopted a qualitative and interpretative approach. In order to answer these questions, data were collected from the written records produced by the students while solving the proposed tasks, from records of the oral interactions during discussions and from a questionnaire. The results show that functional thinking processes were implicit in the resolution of the tasks proposed to the students. The students expressed an understanding of how the variables were related, presenting evidence of their functional thinking while working on the new concepts represented by the functions addressed in the proposed tasks. Some students expressed difficulties in interpreting the different types of representations associated with the functions, in retaining the necessary information from a graphical representation that would help them to draw conclusions and establish correspondences, in explaining functional relationships, and in interpreting the information provided by algebraic expressions. These difficulties can reduce the recognition of the relationships between variables and their behavior in the different representations, becoming an obstacle to learning for some students.

This study focuses on teacher’s Knowledge for Teaching Mathematics with Technology (KTMT), paying a special attention to teacher’s representational fluency. It intends to characterize how the teacher uses and integrates the different representations provided by the graphing calculator on the process of teaching and learning functions at the high school level. Specifically, it intends to understand the balance established between the use of the different representations, and the way these representations are articulated. The study adopts a qualitative approach undertaking one teacher case study. Data were collected for two school years, at 10th and 11th grades, and included class observation, semi-structured interviews and documents gathering. Data analysis was mainly descriptive and interpretative in nature, considering the problem under study. The conclusions reached reveal an active use of the graphical and algebraic representations and a scarce use of the tabular representation. The lack of balance on the use of representations also includes the work within a representation. In this case, the graphical representation is the only one that was explored. The conclusions also indicate a flexible articulation between the two representations usually used. It was possible to identify different patterns on the use of the representations and a frequent use of an interactive approach, marked by repeated alternations between representations. Globally, this study emphasizes teacher’s KTMT and raises questions about the impact of technology on teacher’s representational fluency and about the difference between a numerical and a tabular representation.