Una técnica de demostración que obtiene una contradicción suponiendo un contraejemplo mínimo en un dominio bien ordenado (típicamente los enteros positivos) y luego construyendo un contraejemplo estrictamente menor, repetible ad infinitum, contraviniendo la minimalidad.

Principio

Aprovechar el buen orden de los naturales: si existe un contraejemplo mínimo, construye a partir de él otro contraejemplo válido y estrictamente menor, generando una secuencia estrictamente decreciente en un conjunto bien ordenado, lo cual es imposible.

Demostración

Demostración clásica: para probar que √2 es irracional, supón que existen enteros a,b>0 con a^2=2b^2 en términos primos; se construyen entonces enteros más pequeños a',b' tal que a'^2=2b'^2 (argumento de paridad y división), contradiciendo la minimalidad y por tanto inexistencia de tal par (a,b).

Aplicación incorrecta

Aplicar descenso infinito en dominios no bien ordenados (por ejemplo enteros sin restricción de positividad o los reales), o no garantizar que el contraejemplo construido sea estrictamente menor en el mismo orden, invalida el argumento.

Consecuencia

Proporciona un método potente para probar imposibilidades en teoría de números y problemas diofánticos, a menudo entregando contradicciones elementales sin maquinaria avanzada.

Inversión

El reverso conceptual es el ascenso infinito o una prueba constructiva de existencia mediante la construcción de una cadena creciente no acotada; el descenso demuestra la no existencia por contradicción, el ascenso busca existencia mediante iteración.

Límite

Requiere un orden bien fundado (usualmente los naturales) y la capacidad de producir un elemento estrictamente menor del mismo dominio; no prueba directamente cotas cuantitativas ni resultados de existencia fuera de contextos bien fundados.

Tensión semántica

Muy relacionado con las pruebas por contraejemplo mínimo y con el principio de buen orden o la inducción fuerte; la tensión es de estilo: el descenso produce testigos explícitos más pequeños, mientras que la inducción arguye de forma más abstracta.

Síntesis

El descenso infinito explota el buen orden: suponer un contraejemplo mínimo y exhibir uno aún menor conduce a contradicción, ofreciendo una vía elemental y a menudo constructiva para establecer la imposibilidad de ciertas configuraciones aritméticas.