Combinatorial proofs of binomial identities involve establishing an identity by arguing that each side enumerates a certain set of outcomes. In this paper, we share results from interviews with experienced provers (mathematicians and upper-division undergraduate mathematics students) and examine one particular aspect of combinatorial proof, namely…

In this paper, a simple proof of the Morley's Trisector Theorem is presented which involves basic plane geometry only. The use of backward geometric approach, trigonometry or advanced mathematical techniques is not required. It is suitable for introducing to secondary or undergraduate students, as well as teachers or instructors for learning or…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

This work is devoted to exploring proof abilities in Graph Theory of undergraduate students of the Degree in Computer Engineering and Technology of the University of Seville. To do this, we have designed a questionnaire consisting of five open-ended items that serve as instrument to collect data concerning their proof skills when dealing with…

We report findings from a longitudinal study of students' beliefs about empirical arguments and mathematical proof. We consider the influence of an 'Introduction to Proof (ITP)' course and the consequences of the observed changes in behaviour. Consistent with recent literature, our findings suggest that a majority of the thirty-eight undergraduate…

Working with approximations is a common practice in physics. This paper presents an exploratory study of student understanding of some of the elementary aspects of approximations encountered in college physics. For this purpose, a questionnaire (a set of 14 multiple-choice questions) was developed to probe how students dealt with these aspects in…

We suggest that writing lesson plays can be a valuable approach in learning to teach proving in teacher education. A lesson play is an imagined discussion between a teacher and some students about a particular mathematical content, written verbatim. In this paper, we investigate novice teachers' opportunities to work on teaching practices related…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

The Students' Approaches to Learning (SAL) tradition comprehends an approach to learning as a combination of students' aims for learning and the processes used to achieve them. The tradition values a deep approach to learning; this is the case also in the context of university mathematics, where a deep approach is seen as a requirement for…

Conjecturing has been considered to inspire the need for proof, enhance the understanding of proofs, and construct a valid proof. This study describes students' processes of formulating a Euclidean geometry conjecture in the form of a conditional statement through constructing a geometric figure and using measuring and dragging modalities of a…

The ability to distinguish between exact and inexact differentials is an important part of solving first-order differential equations of the form Adx + Bdy = 0, where A(x,y) [not equal to] 0 and B(x,y) [not equal to] 0 are functions of x and y However, although most undergraduate textbooks motivate the necessary condition for exactness, i.e. the…

Motivation to learn attracts many researchers in educational contexts. In this study, we propose an instrument tailored towards specifically measuring student motivation in calculus courses at higher education. We outline an extensive instrument development process that was built on (Benson's 1998. Developing a strong program of construct…

A growing emphasis on computational thinking worldwide necessitates student proficiency in creating algorithms. Focusing on the use of counterexamples for developing student-invented algorithms, I reanalyze two pieces of data from previously published research, pertaining to two different cases of students' algorithmatizing activity. In both…

We present action research of a problem posed as part of a multi-participant national (Israeli) test checking the mathematical knowledge of high school students at the ages of 16-17, where some of those who solved this problem made an error by using the converse to a well-known theorem, where the converse is not true. In order to examine the…

Despite the recognized importance of mathematical proof in secondary education, there is a limited but growing body of literature indicating how preservice secondary mathematics teachers (PSMTs) view proof and the teaching of proof. The purpose of this survey research was to explore PSMTs' knowledge and beliefs about proof and proof teaching in…