El método del descenso infinito es un método de demostración por contradicción , basado en el hecho de que el conjunto de los números naturales está completamente ordenado . Significativamente desarrollado por Pierre Fermat .
Suele utilizarse para probar que alguna ecuación no tiene solución según el siguiente esquema: a partir de la suposición de que existe una solución, se prueba la existencia de otra solución, que en algún sentido es más pequeña, entonces se puede construir una cadena infinita de soluciones, cada una del cual es menor que el anterior, esto provoca una contradicción con el hecho de que en todo subconjunto no vacío de números naturales existe un elemento minimal, entonces la suposición de la existencia de una solución inicial es falsa.
Para probar la irracionalidad usando el método del descenso infinito, se supone que es un número racional :
para algunos números naturales y . Entonces el cuadrado de este número es:
,eso es Esto significa que es un número par . Por : , cuando se sustituye por : . Dividiendo ambas partes por 2 da: , lo que significa que también es un número par. Así, los números originales y se pueden dividir simultáneamente por 2 y obtener una representación diferente . Con los números resultantes, puedes hacer la misma operación, y así infinitas veces. Así, se construye una secuencia infinitamente decreciente de números naturales, lo cual es imposible. Es decir, no es un número racional .