Um estudo histórico de algumas das tentativas de demonstração do quinto postulado de Euclides de Alexandria