Статья написана в соавторстве с Ron Armontrout, Laurie Boswell, Tim Corica. Авторы рассматривают возможности компьютерной поддержки курса геометрии в среде The Geometer's Sketchpad на примере решения одной занимательной геометрической задачи. Приводятся фрагменты отчетов школьников, которые решали эту задачу с применением среды The Geometer's Sketchpad.

В статье ставится вопрос, из каких элементов строится доказательство в математике. Авторы надеются возбудить дискуссию, предложив один из возможных ответов на этот вопрос. В статье демонстрируется, как новая программа символической геометрии 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