Rola programu komputerowego CABRI w rozwiązywaniu matematycznych problemów

CABRI is a didactic program which has won a very stable position and is probably the most popular one in teaching mathematics. The program is constructed in such a way that it not only accepts and carries out tasks but it emits and stimulates certain behaviors itself, communicating them to the user. Program CABRI, using automatic means, allows undertaking activities corresponding to the so - called Platonian geometric constructions which are usually made with a pair of compasses and a ruler. It is used mostly for experimenting within the area of classical Euclidean geometry. Moreover, it also offers various other possibilities and might be used outside geometry. The essential role of CABRI, most frequently used in teaching at school, is using it to solve various tasks and problems - mainly in geometry. We often think what a student can do when his/ her attempts to solve a particular problem are not effective. Is, in such cases, a computer program capable of helping him/her solve a mathematical problem? Working with CABRI, a student very quickly arrives at the right solution. That means that he/she finds the answer to the questions he/she asked himself/herself - the degree of certainty of the result the student achieves is high. He/she also becomes convinced that the answer is correct. A student's task in such a situation is to find theoretical grounds for the facts he/she has discovered