Descenso Infinito

Teoría

El Método del Descenso Infinito (Descente Infinie) es una técnica de demostración muy poderosa en teoría de números. La usas específicamente para demostrar que ciertas ecuaciones diofánticas no tienen soluciones no triviales. Pierre de Fermat desarrolló y popularizó este método, que es una forma específica de demostración por contradicción basada en el Principio del Buen Orden de los enteros positivos. Este principio dice que cualquier conjunto no vacío de enteros positivos tiene un elemento mínimo.

Para aplicar el método, normalmente supones (por contradicción) que una ecuación diofántica tiene una solución en enteros positivos. A partir de esta solución hipotética, haces algunas manipulaciones algebraicas —usando seguido aritmética modular o propiedades de divisibilidad— para construir una solución distinta y "más pequeña" para la misma ecuación. Con "más pequeña", nos referimos usualmente al valor de una de las variables o a la suma de todas.

La contradicción surge porque no puedes generar una secuencia infinita de enteros positivos que siempre disminuyan ($z_1 > z_2 > z_3 > \dots > 0$). Si al suponer que existe una solución mínima logras encontrar una todavía más pequeña, entonces la suposición inicial de que existe una solución tiene que ser falsa. Aunque es muy común usar esta técnica para probar que algo no tiene solución, también es fundamental para demostrar que algunas raíces son irracionales (como $\sqrt{2}$) y es el antecedente de la técnica de Vieta Jumping.

Fórmulas Clave

**