VII. Por qué una única fórmula no basta
← VI. De las fórmulas a los grafos de descenso · Índice · VIII. Qué pudo significar la demostración general →
Hasta aquí hemos utilizado \(n=4\) y \(p=3\) porque están directamente conectados con el corpus fermatiano: uno conserva un descenso, el otro conserva el testimonio de que existió uno.
Para probar si nuestra descripción estructural es demasiado estrecha conviene mirar otros exponentes. Pero debemos hacerlo con una regla estricta: los casos siguientes son controles modernos, no reconstrucciones de Fermat.
Su función es responder a una pregunta matemática:
¿qué aspectos del descenso pueden variar cuando cambia el exponente?
1. El quinto exponente: un descenso puede ramificarse
En una ruta moderna para \(p=5\) aparece una forma auxiliar del tipo1
\[ X^2-5Y^2. \]
Pero el argumento no sigue una única línea.
Una rama puede terminar mediante una obstrucción congruencial. Otra necesita una normalización especial antes de que la representación pueda invertirse y reconstruirse un objeto menor.
La lección es importante:
\[ \boxed{ \text{un exponente puede contener ramas con mecanismos terminales distintos}. } \]
La unidad del descenso no exige que todas las ramas acaben de la misma manera.
2. El séptimo exponente: representar no es descender
Para \(p=7\), una ruta de prueba de estrés conduce de manera natural a una forma2
\[ X^2+7Y^2. \]
La representabilidad puede controlarse y una extracción orientada puede realizarse en una clase adecuada. Sin embargo, en una rama excepcional la raíz obtenida deja de pertenecer a la clase canónica que permitiría repetir el procedimiento.
En el lenguaje de grafos, el camino alcanza una representación válida pero falla antes del cierre.
Ésta es una diferencia crucial:
\[ \boxed{ \text{representabilidad} + \text{extracción} \not\Rightarrow \text{descenso}. } \]
Una forma cuadrática puede ser una excelente interfaz intermedia y, aun así, no ser el objeto estable que desciende.
Las demostraciones posteriores conocidas para el séptimo exponente usan otros auxiliares. Eso confirma el diagnóstico estructural: el fracaso de una forma concreta no prueba que el exponente carezca de descenso; prueba sólo que esa ruta no se autorreproduce de la manera necesaria.
3. Qué sobrevive al comparar \(3,5,7\)
No sobrevive:
- una misma forma cuadrática;
- una misma parametrización;
- una misma rama;
- una misma fórmula de extracción;
- una misma medida;
- ni siquiera el mismo tipo de objeto auxiliar durante toda la prueba.
Sí sobreviven funciones más abstractas:
- normalizar;
- construir un objeto auxiliar;
- factorizar y controlar excepciones;
- extraer potencias cuando la coprimalidad lo permite;
- representar o parametrizar;
- transferir entre objetos;
- reingresar a una obstrucción repetible;
- demostrar una disminución estricta.
Esto explica por qué sería un error buscar la «demostración admirable» exclusivamente como una identidad perdida que funcionara sin cambios para todos los exponentes.
Los controles modernos no demuestran qué hizo Fermat.
Demuestran algo más limitado pero muy útil: la matemática misma no obliga a que una estrategia general de descenso tenga una realización algebraica uniforme.
Esta conclusión prepara la pregunta histórica decisiva.
Si Fermat pensaba el descenso como una estrategia capaz de adoptar formas distintas —y en 1659 dice explícitamente que algunas de ellas son muy diferentes entre sí—, ¿qué tipo de generalidad pudo estar atribuyendo a su «demostración admirable»?
Ésa es la cuestión que debemos abordar ahora.
← VI. De las fórmulas a los grafos de descenso · Índice · VIII. Qué pudo significar la demostración general →
Notas
Paulo Ribenboim, Fermat’s Last Theorem for Amateurs (New York: Springer, 1999), I.6, 49–56, utilizado como control moderno del caso \(p=5\).↩︎
Ribenboim, Fermat’s Last Theorem for Amateurs, I.7, 57–62, utilizado como control moderno externo de una arquitectura de descenso para \(p=7\) distinta de la ruta cuadrática sometida a prueba en FDA.↩︎