Um estudo da demonstração no contexto da Licenciatura em matemática: uma articulação entre os tipos de prova e os níveis de raciocínio geométrico Documento