## [Descenso Infinito](/es/node/60354) Definición 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 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 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 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 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 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 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 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 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.