Estrategia: Reducción al absurdo (Suponer que no)
| La Reducción al absurdo, que Euclides tanto amaba, es una de las mejores armas de la Matemática. Es mucho mejor gambito que cualquiera de los del ajedrez: un jugador de ajedrez puede ofrecer el sacrificio de un peón u otra pieza, pero un matemático ofrece la partida. |
|
G. H. Hardy (1877-1947) |
|
La Reducción al absurdo es uno de los métodos más usados para hacer comprobaciones. La idea es suponer que la proposición que se quiere demostrar es falsa, y a partir de esta suposición, usando deducciones, llegar a una contradicción o algo absurdo, lo cual implica que nuestra proposición es necesariamente cierta. Esta estrategia se usa en las clásicas verificaciones de:
|
