Articulação de registros de representações na construção de provas empíricas e teóricas por um grupo de professores de Matemática