Métodos de demostración matemática en topología geométrica