Inductive Derivation of Formulae by a Computer

The aim of the paper is to present visual derivation of classic arithmetic formulae by a computer. The GEOMETER'S SKETCHPAD software is used for the purpose. The approach has been experienced with 6-grade students, who are already familiar with powers. The results are encouraging, since the students show successful application of the formulae that have been taught. Several applications are proposed.