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.

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…

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…

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…

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…

The present paper describes a dynamic investigation of polygons obtained by reflecting an arbitrary point located inside or outside a given polygon through the midpoints of its sides. The activity was based on hypothesizing on the shape of the reflection polygon that would be obtained, testing the hypotheses using dynamic software, and finding a…

This paper presents apps designed to assist students in understanding and developing proofs in geometric theorems. These technologies focus on triangle congruence, triangle similarity and properties of parallelograms. Focus group discussions and initial testing of the apps revealed that the apps offered a more engaging medium for learning proving…

The purpose of this study was to investigate pre-service teachers' views about the history of mathematics course in which GeoGebra was used. The qualitative research design was used in this study. The participants of the study consisted of 23 pre-service mathematics teachers studying at a state university in Turkey. An open-ended questionnaire was…

This study sets for itself the task of constructing a learning trajectory for the fundamental theorem of calculus (FTC) that takes into account the interaction with an educational digital tool. Students were asked to explain the connections between interactive and multiple-linked representations in an educational digital tool, and to conjecture…

A geometrical task is presented with multiple solutions using different methods, in order to show the connection between various branches of mathematics and to highlight the importance of providing the students with an extensive 'mathematical toolbox'. Investigation of the property that appears in the task was carried out using a computerized tool.

Students use GeoGebra to explore the mathematical relations among different radii of circles in a triangle (circumcircle, incircle, excircles) and the sides and other segments in the triangle. The more formal mathematical development of the relations that follows the explorations is based on known geometrical properties, different formulas…

The purpose of this paper is to provide examples of "non-traditional" proof-related activities that can explored in a dynamic geometry environment by university and high school students of mathematics. These propositions were encountered in the dynamic geometry environment. The author believes that teachers can ask their students to…