Про залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметрії

Abstract

У статті розглянуто питання, пов’язані з можливістю комп’ютерних підтрерджень теорем шкільного курсу планіметрії. Виділено дві групи програм, які сприяють організації навчання емпірично доводити теореми. Розглянуті приклади підтерджень теорем у середовищі СКМ (на основі методу координат) та динамічної геометрії (як емпірична перевірка виконання факту).

The article discusses issues related to the possibility of computer proofs of theorems school course planimetry. Two groups of programs that contribute to the organization of learning to prove theorems. The examples of proofs of theorems in SCM environment (based on the method of coordinates) and dynamic geometry (as an empirical verification of compliance with the fact).