Nesta investigação, tentámos analisar um curso de formação sobre a integração das TIC e avaliar o impacto dessa formação nos futuros professores. Identificámos o papel dos diferentes tipos de conhecimentos que devem ser tidos em conta na conceção de uma formação sobre a integração das novas tecnologias no ensino da matemática. O impacto da formação de professores objeto do estudo está relacionado com problemas de prova em geometria e com a conceção de situações que permitam aos alunos ultrapassar dificuldades de prova graças à utilização adequada das ferramentas do ambiente de geometria dinâmica Cabri-Geometry.