My diploma work deals with the problems of teaching proving in schools. Proving is the basis of all mathematical research, yet, despite all the important functions of proof, both students and teachers avoid it. Moreover, students do not recognize the necessity of a formal proof, which includes deductive argumentation and naively trust empirical research as the only reliable confirmation of a statement. In the following, I present a different approach to proving in geometry, namely a computer model of guided proving made with the program Ok Geometry. With the assistance of the made model I want to show that student can, with some guidance, present multiple observations and relevant deductive arguments in the ritual of proving and are consequently more successful at solving geometrical problems.
|
