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.

Hands-on experiments with overturning some prisms (partially filled with water) lead students to a conjecture which can be confirmed by using a 3D geometry programme and reinterpreting the process of "overturning of a prism" in an appropriate way. But such confirmations are not a proof and particularly cannot answer the question…

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…

In the article, we prove 18 inequalities involving inradius, a length of one side and one additional element of a given triangle. 14 of these inequalities are the necessary and sufficient conditions for the existence and uniqueness of such a triangle. All proofs are based on standard methods of calculus and can serve as a good demonstration of the…

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…

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…

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 article special sequences involving the Butterfly theorem are defined. The Butterfly theorem states that if M is the midpoint of a chord PQ of a circle, then following some definite instructions, it is possible to get two other points X and Y on PQ, such that M is also the midpoint of the segment XY. The convergence investigation of those…

This study examines how collective argumentation in the integration of the ACODESA method (collaborative learning, scientific debate and self-reflection) and GeoGebra can help students understand parametric equations. The participants of the study consist of 24 university students enrolled in a mathematics education programme at a state university…

The purpose of this study is to examine secondary school students' mathematical reasoning about the area of the circle. Mathematical tasks designed using GeoGebra were performed within the context of the 5E-based flipped classroom approach. The participants of the study are 13 secondary school students. The tasks, video and audio recordings…

The present paper describes beautiful conservation relations between areas formed by different geometrical shapes and area relations formed by algebraic functions. The conservation properties were investigated by students at an academic college of education using a computerized technological tool and were subsequently accompanied by justified…

In this paper, we investigate how a research mathematician conjectures and proves when conducting her research. To be precise, the aim of this study is to achieve a comprehensive understanding of the way this research mathematician develops these mathematical practices and thus gain insight to improve the teaching and learning of these two…

This paper presents research into closed orbits parallel to quadrilaterals inscribed in various geometric shapes that can be represented by mathematical functions: straight lines, circles, ellipses, parabolas, and hyperbolas. Mathematical proofs have been given for the existence of an infinite number of parallel orbits for each of these shapes.…

The purpose of this paper is to follow the reasoning of high school students when asked to explain the standard trigonometric limit lim/[theta][right arrow] sin[theta]/[theta]. An observational study was conducted in four different phases in order to investigate if visualization, by means of an interactive technology environment (Geogebra), can…

Logical statements are prevalent in mathematics, science and everyday life. The most common logical statements are conditionals, 'If H … , then C … ', where 'H' is a hypothesis and 'C' is a conclusion. Reasoning about conditionals depends on four main conditional contexts (intuitive, abstract, symbolic or counterintuitive). This study tested a…