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…

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…

This is the first of four columns by Tim Erikson which introduces us to the Common Online Data Analysis Platform (CODAP). CODAP is a free, web-based software tool that your students can use for many types of tasks. This first column shows how CODAP can be used for mathematical modelling and where it might fit with the "Australian Curriculum:…

Employing best practices for teaching mathematics like math manipulatives, children's literature picture books, and GeoGebra can all be connected and better help to prepare students for a STEM world to develop confident young individuals in doing mathematics in a world of AI, distance learning, and online with emerging technologies. This paper…

Vectors have important applications both within and outside mathematics, but the concept of vectors is often taught to students in a less-than-engaging way, leading to students feeling inadequate and frustrated. This article describes the use of a mathematical microworld, "Driving with Vectors," to explore vectors using equitable…

Today math teachers can best reach their students and show them how math surrounds us by using manipulatives, children's literature, and GeoGebra while teaching mathematics. These are some of the best pedagogical practices for teaching mathematics today. In our high-tech world, students need to be proficient in science, technology, engineering,…

In this article, the authors share activities designed to help students make a connection between the complex roots of X[superscript 2] - 2x + 5 = 0 and the graph of y = X[superscript 2] - 2x + 5. We piloted these activities in three precalculus classes. The activities involved both concrete and technological representations of the mathematical…

Sequences are an important topic--not only in mathematics but also in the mathematics curriculum. Exploring sequences related to medial triangles offers learners opportunities to solve problems involving sequences within geometric contexts. Sequences related to medial triangles are also a rich source of beautiful and interesting geometric patterns…

In this paper it is demonstrated how the free, and easily downloadable, software package called SMath Studio can be used to set up a model of alpha-particle scattering. The basic physics of the motion of an alpha-particle in the nuclear coulomb field is used to produce a simple stepwise computer algorithm which, in conjunction with a novel set of…

Valid proofs need not be in the traditional two-column format. This classroom activity allows students to explore, discuss, and use specialized facts to create a general statement of truth.

Here, we present an interdisciplinary educational project intended for high school chemistry that is focused on the establishment of a mathematical model to describe the relationship between conductivity and concentration, while linking chemistry to mathematics with the help of computer software. The project was designed to help high school…

Mathematics has been taught throughout history without much more than a straightedge, a compass, and an abacus. So there is little question that all the major concepts of mathematics can be delivered without the aid of modern technology. But clearly, just the time-saving aspect of using technology can greatly enhance the art of teaching. In this…

Right triangles play a significant role in mathematics. In this favorite lesson, the authors help students understand variant and invariant properties by considering relationships among angle measures and side lengths in right triangles. Students explore these relationships using interactive mathematics software, changing one angle and observing…

When the author first started teaching twenty years ago, he thought that as long as he was using dynamic geometry software (DGS) for students to "discover" conjectures instead of them learning the conjectures from a lecture or the textbook, he was maximizing their learning potential because they were using technology. Over the years, he…

The Common Core State Standards for Mathematics envisions data analysis as a key component of K-grade 12 mathematics instruction with statistics introduced in the early grades. Nonetheless, deficiencies in statistical learning persist throughout elementary school and beyond. Too often, mathematics teachers lack the statistical knowledge for…