When first learning how to write mathematical proofs, it is often easier for students to work with statements using the universal quantifier. Results that single out special cases might initially come across as more puzzling or even mysterious. In this article we explore three specific statements from abstract algebra that involve the number…

Understanding how young learners come to construct viable mathematical arguments about general claims is a critical objective in early algebra research. The qualitative study reported here characterizes empirically developed progressions in Grades K-1 students' thinking about parity arguments for sums of evens and odds, as well as underlying…

External visualization (i.e., physically embodied visualization) is central to the teaching and learning of mathematics. As external visualization is an important part of mathematics at all levels of education, it is diverse, and research on external visualization has become a wide and complex field. The aim of this scoping review is to…

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…

Concerns have been expressed that although learners may solve linear equations correctly they cannot draw on mathematically valid resources to explain their solutions or use their strategies in unfamiliar situations. This article provides a detailed qualitative analysis of the thinking of 15 Grade 8 and Grade 9 learners as they talk about their…

In an undergraduate analysis course taught by one of the authors, three prompts are regularly given: (i) What do we know? (ii) What do we need to show? (iii) Let's draw a picture. We focus on the third prompt and its role in helping students develop their confidence in learning how to construct proofs. Specific examples of visual models and their…

This study focused on investigating the ability of 58 pre-service mathematics teachers (PSMTs) to construct-evaluate-refine mathematical conjectures and proofs. The PSMTs enrolled in a three-credit mathematics education course that offered various opportunities to engage with mathematical activities including constructing-evaluating-refining…

A second course in linear algebra that goes beyond the traditional lower-level curriculum is increasingly important for students of the mathematical sciences. Although many applications involve only real numbers, a solid understanding of complex arithmetic often sheds significant light. Many instructors are unaware of the opportunities afforded by…

The "Reasoning Algebraically about Operations Casebook" was developed as the key resource for participants' Developing Mathematical Ideas seminar experience. The thirty-four cases, written by teachers describing real situations and actual student thinking in their classrooms, provide the basis of each session's investigation into the…

Many tertiary institutions with mathematics programmes offer introduction to proof courses to ease mathematics students' transition from primarily calculation-based courses like Calculus and differential equations to proof-centred courses like real analysis and number theory. However, unlike most tertiary mathematics courses, whose mathematical…

In this article we outline the role evidence and argument plays in the construction of a framing theory for Proof Based Teaching of basic operations on natural numbers and integers, which uses tiles to physically represent numbers. We adopt Mariotti's characterization of a mathematical theorem as a triple of statement, proof and theory, and…

Theon's ladder is an ancient method for easily approximating "n"th roots of a real number "k." Previous work in this area has focused on modifying Theon's ladder to approximate roots of quadratic polynomials. We extend this work using techniques from linear algebra. We will show that a ladder associated to the quadratic…

Let R be an integral domain with quotient field F, let S be a non-empty subset of R and let n = 2 be an integer. If there exists a rational function ?: S [right arrow] F such that ?(a)[superscript n] = a for all a ? S, then S is finite. As a consequence, if F is an ordered field (for instance,[real numbers]) and S is an open interval in F, no such…

Even though algebraic ideas are addressed across a number of grades, algebra continues to serve as a gatekeeper to upper mathematics and degree attainment because of the high percentage of students that fail algebra classes and become halted in their educational progress. One reason for this is students not having the opportunity to build on their…

We present the basic theory of denesting nested square roots, from an elementary point of view, suitable for lower level coursework. Necessary and sufficient conditions are given for direct denesting, where the nested expression is rewritten as a sum of square roots of rational numbers, and for indirect denesting, where the nested expression is…