VIII. Qué pudo significar la demostración general
← VII. Por qué una única fórmula no basta · Índice · IX. Los límites de lo que podemos saber →
Después de recorrer los documentos y desmontar los mecanismos de descenso, podemos volver a la frase que dio origen al problema.
Fermat no escribió simplemente que los casos cúbico y biquadrático eran imposibles. La observación transmitida en 1670 extiende la afirmación a todas las potencias superiores al cuadrado y añade que había descubierto una demostración admirable.
Si tomamos en serio la generalidad de esa frase, una explicación histórica debe responder a una pregunta inevitable: ¿cómo podía pasar Fermat de descensos particulares a una afirmación universal?
La investigación permite descartar una suposición que durante mucho tiempo resulta casi automática: la generalidad no exige necesariamente una única fórmula válida para todos los exponentes.
El caso biquadrático conserva un descenso. El caso cúbico es presentado por Fermat como otro descenso cuya práctica era completamente distinta. Los controles matemáticos posteriores muestran, además, que al cambiar el exponente pueden cambiar las formas auxiliares, las ramas, las parametrizaciones e incluso el tipo de objeto que desciende.
La posibilidad que emerge es más flexible.
1. Unidad de estrategia, heterogeneidad de mecanismos
Podemos describir un descenso, en su forma más abstracta, mediante tres momentos.
Primero, una solución hipotética se rigidiza aritméticamente: se normaliza, se controlan primitividad, paridad y divisores comunes, se factoriza y se separan potencias cuando la coprimalidad lo permite.
Después aparece el tramo específico del problema: hay que construir un auxiliar, elegir una representación, parametrizar, separar ramas o efectuar cualquier transformación que permita volver a una obstrucción del mismo tipo lógico.
Finalmente debe probarse que el nuevo objeto es estrictamente menor.
En símbolos modernos:
\[ \mathcal O_p \longrightarrow \mathcal R_p \overset{\mathcal T_p}{\longrightarrow} \mathcal O'_p, \qquad \mu_p(\mathcal O'_p)<\mu_p(\mathcal O_p). \]
Esta notación no pretende traducir un esquema escrito por Fermat. Es una manera de expresar lo que una familia heterogénea de descensos tendría que hacer.
El subíndice es esencial.
No hay razón matemática ni documental para exigir
\[ \mathcal T_p=\mathcal T_q \]
cuando \(p\neq q\).
En \(n=4\), el camino utiliza configuraciones pitagóricas y cuadrados.
En \(p=3\), una reconstrucción natural conduce a la forma \(X^2+3Y^2\).
En los controles de \(p=5\) y \(p=7\), los mecanismos cambian otra vez.
Por eso la formulación histórica más robusta que ha sobrevivido a nuestra auditoría es:
\[ \boxed{ \text{unidad de estrategia} + \text{heterogeneidad de mecanismos}. } \]
Debe entenderse con cuidado. No estamos afirmando que éste fuera el esquema consciente y explícito de Fermat. Afirmamos que es la arquitectura histórica más fuerte que puede proponerse sin imponer al corpus una uniformidad que éste no documenta.
2. Generalidad del método y generalidad de la prueba
Aquí aparece la distinción decisiva de todo el problema.
Una cosa es que Fermat concibiera el descenso como un método general: una estrategia capaz de adoptar formas distintas según la cuestión.
Otra cosa es que hubiera construido una prueba general completa del Último Teorema.
La primera afirmación posee apoyo documental considerable. En 1659 Fermat presenta el descenso como método, reúne bajo él problemas diferentes, habla de principios nuevos y declara explícitamente que la práctica del caso cúbico difiere de las anteriores.
La segunda exige mucho más.
Si reducimos el problema general a sus exponentes esenciales y empleamos nuestra notación moderna, una prueba completa por descensos heterogéneos necesitaría algo del tipo
\[ \forall p\ \exists\mathcal T_p, \]
donde cada paquete \(\mathcal T_p\) consiguiera simultáneamente:
\[ \text{preservar la obstrucción}, \qquad \text{cerrar el procedimiento}, \qquad \text{producir disminución estricta}. \]
Esta fórmula no pertenece a Fermat. Es una especificación lógica moderna del contenido que una prueba general de ese tipo tendría que poseer.
Y es precisamente el punto que la documentación no permite cerrar.
Conservamos un descenso para \(n=4\).
Fermat afirma uno para \(n=3\), pero el mecanismo se perdió.
No poseemos una familia conservada de transformaciones \(\{\mathcal T_p\}\) que cubra todos los exponentes.
La distancia entre un método generalizable y una demostración general efectivamente completa es, por tanto, el núcleo de la incertidumbre.
3. Primera posibilidad: una familia completa que no se conservó
La primera interpretación toma la afirmación marginal en su sentido más fuerte.
Fermat habría construido suficientes descensos particulares para cubrir los exponentes necesarios y habría poseído, por tanto, una demostración general correcta. La transmisión posterior habría conservado sólo una pequeña parte de ese trabajo.
No hay nada lógicamente imposible en este escenario.
Sabemos que se perdieron manuscritos, que el ejemplar marginal no se conserva y que incluso del descenso cúbico, expresamente reivindicado por Fermat, no poseemos el mecanismo. La pérdida documental es real.
Por ello no puede concluirse:
si no conservamos los argumentos, entonces Fermat nunca los tuvo.
Pero esta posibilidad exige postular mucho más de lo que el archivo muestra. No basta perder una demostración: habría que perder una familia suficientemente amplia de mecanismos capaces de cerrar el teorema general.
El corpus conservado no proporciona esa familia ni una descripción suficientemente detallada de ella.
Esta interpretación permanece posible, pero documentalmente abierta.
4. Segunda posibilidad: generalización del método más allá de los casos cerrados
Existe otra explicación.
Fermat pudo dominar varios descensos particulares, reconocer en ellos una estrategia de enorme potencia y extender su confianza en el método más allá de los exponentes para los que había construido todos los detalles.
Esta hipótesis requiere menos contenido matemático perdido. También encaja con un rasgo visible del corpus: Fermat formula en distintas ocasiones resultados generales y programas de investigación a partir de un repertorio de casos particulares y métodos que todavía están en desarrollo.
La carta de 1658 a Digby, donde distingue entre proposiciones demostradas y otras cuya demostración aún espera encontrar, muestra que era capaz de registrar esa diferencia. Esto impide caricaturizarlo como alguien que confundía sistemáticamente conjetura y prueba. Pero no elimina la posibilidad de que, en otro contexto y quizá en otro momento de su carrera, sobrestimara la cobertura de una estrategia que funcionaba en varios casos.
Tampoco este escenario está demostrado.
No poseemos un documento en que Fermat diga que la afirmación general de la Observatio era una extrapolación no cerrada.
La posibilidad es históricamente compatible con el corpus; no es una confesión reconstruida.
5. Por qué no debemos escoger artificialmente
Las dos interpretaciones no tienen exactamente el mismo estatuto documental.
La hipótesis de una familia completa perdida necesita suponer la desaparición de más contenido matemático del que podemos reconstruir directamente.
La hipótesis de una generalización metodológica más allá de los casos cerrados necesita suponer un exceso de confianza que Fermat tampoco documenta explícitamente.
Una exige más matemática perdida.
La otra exige una inferencia sobre el alcance que Fermat atribuyó a su método.
El archivo no contiene la pieza que decidiría entre ambas.
Elegir una de las dos por preferencia psicológica —porque nos parece que Fermat era demasiado buen matemático para equivocarse, o porque nos parece imposible que dispusiera de una prueba elemental— sería sustituir evidencia por carácter.
Tampoco los resultados modernos resuelven la cuestión. Que hoy sepamos cuán difícil es el Último Teorema no demuestra qué argumentos pudo haber considerado Fermat suficientes. Y que una reconstrucción moderna concreta funcione o fracase no identifica ni refuta un mecanismo histórico que no se conserva.
La conclusión más rigurosa es mantener abierta la bifurcación.
6. Qué sí hemos aprendido sobre la posible forma de la prueba
Aunque no podamos decidir si la prueba general existió, la investigación ha restringido considerablemente el espacio de interpretaciones.
No necesitamos postular:
- una identidad universal oculta;
- una forma cuadrática válida para todos los exponentes;
- una parametrización única;
- una transformación algebraica uniforme;
- una misma medida descendente;
- un descenso ya escondido en Diofanto II.8.
La generalidad puede residir en la estrategia y no en la fórmula.
Diofanto proporciona un precedente de diseño de auxiliares específicos.
El descenso biquadrático muestra un mecanismo completo que cambia de representación y vuelve a una obstrucción menor.
El testimonio cúbico muestra que Fermat aceptaba descensos de práctica muy distinta.
Los controles modernos muestran que tal diversidad no es una concesión historiográfica arbitraria: la propia matemática puede exigirla.
El resultado no es una demostración recuperada, pero tampoco es una simple confesión de ignorancia.
Hemos obtenido una forma estructural plausible para aquello que la expresión «demostración general» podría haber significado dentro del horizonte fermatiano:
\[ \boxed{ \text{para cada problema pertinente, encontrar un camino de descenso adecuado,} } \]
sin exigir que todos esos caminos sean algebraicamente iguales.
La pregunta que queda abierta es si Fermat llegó efectivamente a construir todos los caminos que su afirmación general requería.
← VII. Por qué una única fórmula no basta · Índice · IX. Los límites de lo que podemos saber →