Windmill images and shapes have a long history in geometry and can be found in problems in different mathematical contexts. In this paper, we share and discuss various problems involving windmill shapes and solutions from geometry, algebra, to elementary number theory. These problems can be used, separately or together, for students to explore…

In this paper, Harel and Sowder's proof schemes of taxonomy were applied for identifying eighth grade students' learning of proof and proofing. This study aimed to examine what kind of proof schemes are used in geometry and measurement learning areas and student's skills in giving proof and their opinions about proof. Qualitative methods were…

In this study we aim to characterize a way of proving which can be produced in a primary mathematics classroom and explore the factors that influence these processes and lead to changes in the way of proving. Assuming proving as a socially embedded activity, we conceptualize it as the interplay between 'construction' and 'substantiation' based on…

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…

It's often useful extending students beyond the limiting geometry of triangles and quadrilaterals to regularly consider generalizations of results for triangles and quadrilaterals to higher order polygons. A brief heuristic description is given here of the author applying this strategy, and which led to an interesting result related to the…

This study focused on improving students' learning mathematical of proofs and proving by using combinations of proof strategies that span different levels of understanding of proof structure; we refer to these as 'level-spanning proof-production strategies'. We analysed the level-specific proof-production strategies evident in the lessons and…

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…

A simple in-class demonstration of integral Calculus for first-time students is described for straightforward whole number area magnitudes, for ease of understanding. Following the Second Fundamental Theorem of the Calculus, macroscopic differences in ordinal values of several integrals, [delta]"F"(x), are compared to the regions of area…

We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. As a means for generating interesting examples of exact arc length calculations in calculus courses, we recall two large classes of…

This paper reports on the development of the Teaching Mathematics for Social Justice beliefs (TMfSJ-B) scale and its psychometric properties. Preservice elementary education teachers enrolled in teacher education programmes at seven universities completed multiple surveys designed to understand the evolution of attitudes and beliefs about teaching…

Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

In this note, some variants of Cauchy's mean value theorem are proved. The main tools to prove these results are some elementary auxiliary functions.

The topic of recurrence relations has recently been introduced in many discrete mathematics textbooks. Recurrence relations are efficient modelling and problem-solving techniques used in mathematics. Combinatorial problems are often used to introduce recurrence relations. However, many textbooks consider problems that can be reduced only to the…