Семеніхіна Олена ВолодимирівнаSemenikhina Olena VolodymyrivnaШамрай СвітланаShamrai Svitlana2019-01-242019-01-242014Семеніхіна, О. В. Про залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметрії [Текст] / О. В. Семеніхіна, С. В. Шамрай // Актуальні питання природничо-математичної освіти : збірник наукових праць / Міністерство освіти і науки України, Сумський державний педагогічний ун-т ім. А. С. Макаренка ; [голова редкол. О. С. Чашечникова; редкол.: В. Г. Бевз, В. Ватсон, Л. П. Величко та ін.]. – Суми : [СумДПУ ім. А. С. Макаренка], 2014. – Вип. 4. – С. 156–160.https://repository.sspu.edu.ua/handle/123456789/6600У статті розглянуто питання, пов’язані з можливістю комп’ютерних підтрерджень теорем шкільного курсу планіметрії. Виділено дві групи програм, які сприяють організації навчання емпірично доводити теореми. Розглянуті приклади підтерджень теорем у середовищі СКМ (на основі методу координат) та динамічної геометрії (як емпірична перевірка виконання факту).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).ukтеоремакомп’ютерне доведеннякомп’ютерний експериментtheoremproving computercomputer experimentArticle