Informatics in Education

Dynamic geometry software has been accused of contributing to an empirical approach to school geometry. However, used appropriately it can provide students with a visually rich environment for conjecturing and proving. Year 8 students who were novices with regard to geometric proof were able to exploit the features of Cabri Geometry II to assist them in formulating and proving in the context of Cabri simulations of mechanical linkages.