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…

As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…

The article uses dynamic visualizations in Excel to examine a variety of ways in which students can attain a much greater depth of understanding of optimization problems in introductory calculus. The topics discussed include a variety of common optimization problems that appear in virtually every calculus textbook that can all be enhanced…

This paper presents research activity in the solution of geometric tasks by mathematics teachers and by mathematics teacher trainees at a College of Education as part of an advanced courses. This activity tested the level of knowledge and ability to apply it in the solution of problems that can be solved in a number of ways: by using various tools…

Ariadne is a touch-based program for the learning of homotopies of paths, without the use of formalism, by building mental models. Using Ariadne, the user can construct points, paths by dragging points and homotopies by dragging paths as well as compute winding numbers of paths, all on a variety of surfaces, through touch gestures. Ariadne…

The article presents some examples of plane geometric variance of an area with the use of computer technology. These tools can offer teachers opportunities for adaptation and preparation of pedagogical presentations which will help students along the process of fruitful conjectures formation and eventually construction of formal deductive proofs.…

An interesting Sangaku problem was chosen and a multidirectional study was performed, which included finding the locus of a circle's center moving while being tangent to two circles. It also included finding the radius of that circle given the datum that it is also tangent to the side of an isosceles triangle. Two different proofs are presented of…

Geometrography, "alias the art of geometric constructions" was proposed by Emile Lemoine between the late 1800s and the early 1900s. It consisted originally of a system to measure the complexity of ruler-and-compass geometric constructions, capable of: designate every geometric construction by a pair of values that manifests its…

There has been a large amount of research about the impact of dynamic geometry software (DGS) on the learning of mathematics mainly related to different representations of mathematical concepts and functional dependences. This paper goes beyond these investigations by suggesting meaningful connection and integration of DGS with physical resources…

This paper reports a study developed with twenty-six students from a 7th-grade class and was carried in the context of teaching experience in the school year of 2016/2017, using an applet, Equation Buster, on the learning of solving single-variable linear equations. The research objectives are to assess how this applet can help students to see the…

The emergence of dynamic geometry software influences the teaching and learning of geometry among learners of all ages. Relying on the theory of instrument, this study examined the relationship between preservice mathematics teachers' instrumental genesis and their development of geometric knowledge when solving geometry construction problems with…

Many mathematics educators are not aware of a strong connection that exists between the education of computer programming and mathematics. The reason may be that they have not been exposed to computer programming. This connection is worth exploring, given the current trends of automation and Industry 4.0. Therefore, in this paper we take a closer…

Searching for loci belongs to classical topics of school curricula at schools of different levels all over the world. In the text investigation of loci by GeoGebra using the command "LocusEquation," the tool which has recently been implemented into GeoGebra and which brings a new approach in searching for loci of points, is given. This…

The paper deals with searching for synthetic solution supported by the means of dynamic geometry. It consists of two parts. The first one describes how software influences searching for synthetic solutions of geometric problems. The second one describes a small pilot experiment in which students of Faculty of Education solved two more difficult…

In this paper, we document the results of the implementation of a series of activities related to an optimisation problem. The objective is describing how the construction of mathematical meanings is promoted when the students face the problem through different representations. The activities, addressed towards 15 year old students, surge from a…