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…

Problem solving and proofs have always played a major role in mathematics. They are, in fact, the heart and soul of the discipline. The using of a number of different proof techniques for one specific problem can display the beauty, and elegance of mathematics. In this paper, we present one specific, interesting geometry problem, and present four…

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…

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…

Mathematical proofs play a paramount role in developing 21st-century skills, and the use of technology in mathematics learning has widely paved the way in the instruction of mathematical proofs. In mathematics education, GeoGebra has a significant role as a dynamic mathematics software in supporting students' learning process. This study aims to…

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…

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…

Proof, as a central and integral part of mathematics, is an essential component of mathematical education and is considered as the basic procedure for revealing the truth of mathematical propositions and for teaching productive reasoning as part of human civilization. Is there therefore room for conjectures in mathematics? In this paper after…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

Eye-tracking (ET) method provides a promising channel for educational researchers to connect learning outcomes to cognitive processes. The main principle of ET is that our gaze and our focus of attention are connected. Due to the advent of digital technologies, eye tracking studies are increasingly growing in different fields and in mathematics…

The integration of technology in entrepreneurship arithmetic that uses realistic mathematic education as the basis into learning processes is instrumental in creating understanding and problem-solving abilities among students. However, until recently only a few technology-based learning media have been developed to accommodate the aforementioned…

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…