Key points are not available for this paper at this time.
The article discusses the process of proving one of the classic school geometric theorems using modern information technologies. Particular attention is paid to the use of dynamic geometry software, such as GeoGebra, as well as computer automatic proof systems, which allows not only to visualize geometric structures, but also to formally verify the correctness of the proof. Examples of specific geometric problems solved using these technologies are shown, and the advantages and possible limitations of their use in the educational process are discussed. In conclusion, it is concluded that information technology has a significant potential in improving the quality of mathematics education and deepening the understanding of geometric concepts among schoolchildren. One of the reasons for using information and communication technologies in education is: increasing interest in lessons; promoting the development of students' communication skills; use a variety of lessons; The ability of students to competently use sources of information, the ability to freely use modern information technologies will greatly contribute to increasing student activity.
Baibolotov et al. (Tue,) studied this question.