Estatísticas para Demonstrações de proposições de geometria euclidiana por meio da geometria analítica: uma proposta de aplicação no ensino básico