El objetivo de las matemticas es descubrir y comunicar ciertas verdades.

Las matemticas son el

lenguaje de los matemticos, y una demostracin es un mtodo para comunicar una verdad
matemtica. Una cualidad del lenguaje de las matemticas es su precisin. Una demostracin bien
realizada no deber de contener ambigedades y no habr duda de que es correcta.

El mtodo progresivo-regresivo
El mtodo progresivo-regresivo consiste en trabajar con la hiptesis y la tesis de forma simultnea
obteniendo afirmaciones equivalentes a ambas y de alguna forma llegar a vincularlas lgicamente.
Si trabajamos con la hiptesis y vamos obteniendo afirmaciones equivalentes estamos
procediendo segn el mtodo progresivo, por otro lado, si trabajamos con la tesis y vamos
obteniendo afirmaciones equivalentes estamos procediendo segn el mtodo regresivo. En
lenguaje coloquial, la idea es ir descomponiendo la hiptesis y la tesis hasta llegar a una verdad
evidente que vincule a ambas, en otras palabras, la idea es ir dando saltos desde la hiptesis
hacia la tesis (mtodo progresivo) y desde la tesis hacia la hiptesis (mtodo regresivo).