От доказательства с использованием компьютера к компьютерному доказательству

Abstract

В статье ставится вопрос, из каких элементов строится доказательство в математике. Авторы надеются возбудить дискуссию, предложив один из возможных ответов на этот вопрос. В статье демонстрируется, как новая программа символической геометрии Geometry Expressions™ может использоваться в задачах на доказательство в курсе математики для старших классов. Предлагается два способа использования программы в доказательствах. При первом способе программа помогает в формулировании гипотезы и планировании доказательства, в то время как при втором способе программа подтверждает общее утверждение, что и может рассматриваться в качестве доказательства. 

Compounds of the proof are presented in the article. Authors tell how Geometry Expressions™ can be used to study the problems on solving