In questa ricerca, abbiamo cercato di analizzare un corso di formazione sull'integrazione delle TIC e di valutare l'impatto di tale formazione sui futuri insegnanti. Abbiamo identificato il ruolo dei diversi tipi di conoscenza che devono essere presi in considerazione nella progettazione di un corso di formazione sull'integrazione delle nuove tecnologie nella didattica della matematica. L'impatto della formazione degli insegnanti oggetto dello studio è legato ai problemi di dimostrazione in geometria e alla progettazione di situazioni che consentano agli studenti di superare le difficoltà di dimostrazione grazie all'uso appropriato degli strumenti dell'ambiente di geometria dinamica Cabri-Geometry.