O objetivo deste texto é apresentar um estudo presente na literatura há tempos, sobre o papel da prova e demonstração em ambientes dinâmicos no contexto da educação matemática. Atualmente, com a possibilidade de uma versão particular do software GeoGebra, é possível viabilizar a verificação de propriedades presentes na geometria plana, algumas consideradas na literatura como teoremas. Poucos softwares de Geometria Dinâmica (GDS) incluem características relacionadas ao pensamento matemático. A implantação de um algoritmo de Demonstração Automática de Teoremas (DAT), permite confirmar/refutar a validade matemática de um enunciado geométrico proposto para a construção da demonstração construído em um sistema de geometria dinâmica. Devido à pandemia vivenciada no momento, foi desenvolvida uma atividade piloto utilizando a plataforma Teams da Microsoft que permite compartilhar a área de trabalho com cada participante e gravar todo o evento com a autorização dos presentes. Os participantes voluntários da atividade foram três professores da escola básica, que já utilizam o GeoGebra clássico na sua prática e manifestaram interesse em conhecer a versão do GeoGebra com a ferramenta DAT. Eles relataram que a experiência mostrou que as possibilidades de utilização do GeoGebra estão se expandindo e só contribuirão para a compreensão de propriedades da geometria plana e outras que poderão ser exploradas. Nesse trabalho são apresentadas as atividades realizadas por um dos participantes denominado por P1.