La metodología de demostración de teoremas geométricos