In this article, we state an interesting geometric conservation property between the three angle bisectors of three similar right triangles and provide a proof without words for its justification. A GeoGebra applet is also presented to help with the understanding of the progression of the proof from inductive to deductive stage.

Understanding part-whole relations is crucial in early mathematics education. However, both analogue and digital learning environments often lack systematic approaches to foster part-whole understanding. With the rising popularity of educational apps, it is essential to evaluate how they implement learning of part-whole relations. Accordingly,…

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…

A method is presented which can be used to obtain analytical solutions for boundary value problems (BVPs) using the matrix exponential and Maple. Systems of second order, linear differential equations are expressed as two or more first order equations in matrix form, and their solutions are obtained using the matrix exponential, matrix…

In this article, we consider certain minimization problems. If d[subscript 1], d[subscript 2] and d[subscript 3] are the distances of a boundary or inner point to the sides of a given triangle, find the point which minimizes d[subscript 1][superscript n] + d[subscript 2][superscript n] + d[subscript 3][superscript n] for positive integer n. These…

GeoGebra is a dynamic software that is frequently used and of increasing importance in mathematics teaching processes in our digital age. Accordingly, in this study a new perspective has been brought to the proofs of the "two square difference identity" expressed for the square, which is a flat polygon, made with different approaches.…

PWW style are presented. The difference of evidence is based on various additional auxiliary constructions, which in itself is a "mathematical art" that the student can master as a result of much practice. The PWW are accompanied by GeoGebra applets containing HINT buttons that allow the student to get step-by-step help in completing the…

This article investigates the knowledge arising in mathematics teachers' planning of how to manage transitions within and beyond dynamic geometry environments in the topic of circle theorems. The notion of situated abstraction is used to elaborate the central TPACK construct within mathematics education and address previous criticisms of the…

This article reports on the design and implementation of a didactic sequence in the frame of a design-based research study. The research aim is to test the hypothesis that affordances of dynamic geometry may support students' awareness of logical relationships between geometrical properties of constructed figures. We elaborate on the task design…

Jordan canonical form (JCF) is one of the most important, and useful, concepts in linear algebra. Mathematics, physics, biology, science and engineering undergraduates often find the first application of real JCF in the discipline of differential equations (continuous models) to solving systems of differential equations. In this work, we apply…

The COVID-19 pandemic, like past historical events such as the Vietnam War or 9/11, will shape a generation. Mathematics educators can seize this unprecedented opportunity to teach the principles of mathematical modeling in epidemiology. Compartmental epidemiological models, such as the SIR (susceptible-infected-recovered), are widely used by…

This work is the result of a pre-experiment carried out as part of a master's course, dealing with the study of the parabola through different mathematical views. It aims to recognize possible didactic obstacles in its teaching, based on intuitive manifestations in the resolution of a didactic situation based on GeoGebra software. The methodology…

Problem-based learning puts students in situations that suggest problems without providing instructions and available knowledge. Therefore, when using problem-based learning, students need to be flexible, self-disciplined, active and self-occupied with knowledge and turn the knowledge the teacher intends to impart into their knowledge. For locus…

Geometric constructions present an opportunity to help students develop geometric proofs and justifications while actively creating mathematical representations (Mariotti, 2001). Though traditionally carried out with paper and pencil, dynamic geometry software allows students to produce more precise constructions with greater certainty…

In this study, we explore automated reasoning tools (ART) in geometry education and we argue that these tools are part of a wider, nascent ecosystem for computer-supported geometric reasoning. To provide some context, we set out to summarize the capabilities of ART in GeoGebra (GGb), and we discuss the first research proposals of its use in the…