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…

Mathematical induction is a powerful method of proof, taught in most undergraduate programs involving mathematics and in secondary schools in some countries. It is also commonly known to be complex and difficult to comprehend. During the last five decades, mathematics education research has produced numerous studies on the learning and teaching of…

This article presents an inquiry-oriented lesson for teaching Lagrange's theorem in abstract algebra. This lesson was developed and refined as part of a larger grant project focused on how to "Orchestrate Discussions Around Proof" (ODAP, the name of the project). The lesson components were developed and refined with attention to how well…

The multiplication principle (MP) is foundational for combinatorial problem-solving. From a units-coordination perspective, applying the MP with justification entails establishing unit relationships between the number of options at each independent stage of a counting process and the total number of combinatorial outcomes. Existing research…

Analogy has played an important role in developing modern mathematics. However, it is unclear to what extent students are granted opportunities to productively reason by analogy. This article proposes a set of lessons for introducing topics in ring theory that allow students to engage with the process of reasoning by analogy while exploring new…

In this article, we analyzed the levels of reading comprehension: literal, inferential, and critical, using a diagnostic test about the understanding of the Mean Value Theorem (MVT) in engineering students of the Universidad de La Salle in the Calculus I lecture (Differential Calculus). The objectives of this article are to identify in which of…

In recent years, professional organizations in the United States have suggested undergraduate mathematics shift away from pure lecture format. Transitioning to a student-centered class is a complex instructional undertaking especially in the proof-based context. In this paper, we share lessons learned from a design-based research project centering…

Professors in proof-based mathematics courses often intend that the feedback they provide on students' flawed proofs will promote proof comprehension. In this theoretical article, we investigate how such feedback can be formulated. Drawing on Lakatos's process of proof and refutation, we propose the notion of "heuristic refutation…

Recent research in university mathematics education has moved beyond the traditional focus on the transition from secondary to tertiary education and students' understanding of introductory courses such as pre-calculus and calculus. There is growing interest in the challenges students face as they move into more advanced mathematics courses that…

In this exploratory study, we investigate undergraduate students' engagement with generative Artificial Intelligence (genAI) in proving mathematical statements. We selected six mathematical statements to conduct interviews with three students. We present the emergent framework, Students' Interactive Proving Experience with AI (SIPE-AI), which…

For students taking higher level mathematics courses, the transition from computational to proof-based courses such as analysis and algebra not only introduces a new format of writing and communication, but also a new level of abstraction. This study examines the affordances of one particular tool to aid students in this transition: a proof…

In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

This study explores the effects of a computer algebra system on students' mathematical thinking. Mathematical thinking is identified with mathematical thinking powers and structures. We define mathematical thinking as students' capacity to specialize and generalize their previous knowledge to solve new mathematical problems. The study was…

Undergraduate concepts are often first introduced in a single-dimensional setting and then extended to multiple dimensions. For instance, many undergraduate real analysis students will first learn of the metric topology on [set of real numbers] before being exposed to more general metric spaces. I conducted a paired teaching experiment (Steffe…

In this paper, we discuss our experience in collaborating with mathematicians to increase their use of active learning pedagogy in a proof-based linear algebra course. The mathematicians we worked with valued using active learning pedagogy to increase student engagement but were reluctant to use active learning pedagogy due to time constraints.…