IX. Los límites de lo que podemos saber
← VIII. Qué pudo significar la demostración general · Índice · Apéndice A. Cronología documental mínima →
La historia de la demonstratio mirabilis suele terminar en una pregunta binaria:
¿Fermat tenía una demostración correcta o no?
El archivo no responde de manera binaria.
Eso no significa que no responda nada.
Al separar las cuestiones que la pregunta tradicional mezcla, obtenemos un balance mucho más preciso.
1. ¿Fermat conocía descensos efectivos?
Sí.
No necesitamos inferirlo de la famosa nota. Conservamos un descenso ligado al problema del triángulo rectángulo de área cuadrada, y la Relation de 1659 presenta explícitamente el descenso infinito como método.
Aquí el terreno documental es firme.
2. ¿Concebía el descenso como una estrategia general y flexible?
La evidencia conservada apunta con fuerza en esa dirección.
Fermat aplica el descenso a problemas distintos, habla de principios nuevos y declara que el caso cúbico exige una práctica completamente diferente de las anteriores.
Por eso es históricamente razonable hablar de una generalidad metodológica: la unidad del procedimiento reside en producir una obstrucción menor, no en repetir una identidad fija.
La formulación «unidad de estrategia + heterogeneidad de mecanismos» es nuestra reconstrucción conceptual de ese cuadro documental. No es una cita de Fermat ni una teoría formal que él haya dejado escrita.
3. ¿Había construido descensos suficientes para todos los exponentes?
No lo sabemos.
Éste es el primer límite decisivo.
Una prueba general completa necesitaría cubrir todos los exponentes pertinentes. El corpus conservado no contiene esa cobertura. Tampoco contiene una descripción general que permita deducirla sin reconstruir mecanismos ausentes.
La ausencia no prueba que la familia nunca existiera.
Pero tampoco permite afirmar que existió.
4. ¿La demostración general que Fermat creyó poseer era correcta?
Tampoco lo sabemos.
Éste es un límite todavía más fuerte.
Para responder afirmativamente necesitaríamos el argumento o información suficiente para reconstruirlo con seguridad.
Para responder negativamente necesitaríamos identificar el error de la prueba real, o demostrar que ninguna estrategia disponible para Fermat podía funcionar. No poseemos ninguna de esas dos cosas.
El fracaso de candidatos modernos concretos sólo elimina esos candidatos.
No elimina todos los posibles argumentos históricos.
Y una reconstrucción moderna correcta del caso cúbico o de otro exponente tampoco demuestra que Fermat utilizara ese mecanismo.
5. Lo que permanece desconocido
Después de toda la investigación, cuatro incógnitas siguen abiertas.
La primera es cronológica:
¿cuándo escribió Fermat la Observatio general?
El intervalo material está acotado, pero la fecha sigue desconocida.
La segunda es matemática e histórica:
¿cómo era exactamente su descenso para el caso cúbico?
Sabemos que afirmó poseerlo. No conservamos su mecanismo.
La tercera es estructural:
¿hasta dónde había extendido efectivamente sus métodos de descenso?
No sabemos si poseía paquetes suficientes para todos los exponentes o sólo para algunos.
La cuarta es la pregunta tradicional:
¿era correcta su demostración general?
El corpus conservado no permite decidirlo.
Estas cuatro incógnitas no son fallos pendientes que puedan rellenarse con más álgebra sobre los mismos documentos. Son fronteras documentales.
6. Qué significaría encontrar nueva evidencia
El cuadro podría cambiar.
Un manuscrito nuevo, una copia antigua de correspondencia, una nota marginal identificada, una transcripción temprana o una fuente secundaria que condujera a material primario no auditado podría modificar alguno de estos límites.
También podría aparecer una inconsistencia en nuestra lectura del corpus que obligara a reabrir una parte de la investigación.
Pero sin una pieza de ese tipo, añadir más exponentes o inventar nuevas reconstrucciones no estrecha necesariamente la incertidumbre histórica. Puede enriquecer la matemática de control, pero no sustituir el documento que falta.
Por eso el proyecto se detuvo, deliberadamente, antes de convertir la posibilidad en afirmación.
7. La demostración que no hemos recuperado
¿Qué queda, entonces, de la «demostración admirable»?
No una fórmula secreta.
No una prueba identificada.
No una sentencia sobre si Fermat decía la verdad.
Queda algo históricamente más modesto y, a la vez, más preciso.
Sabemos que Fermat poseía una técnica real de descenso infinito.
Sabemos que esa técnica podía atravesar distintas representaciones.
Sabemos que afirmó aplicarla también al caso cúbico y que describió esa aplicación como muy diferente de las precedentes.
Sabemos que su aritmética madura incluía divisibilidad de potencias, varias formas cuadráticas y una atención explícita a problemas que exigían principios diferentes.
Y sabemos que la afirmación general transmitida en 1670 sobrepasa lo que los mecanismos conservados permiten demostrar.
Entre esos dos extremos se abre el espacio histórico de la demonstratio mirabilis.
Nuestra investigación no lo llena con una prueba imaginaria. Lo delimita.
La forma más fuerte que podemos proponer es ésta:
\[ \boxed{ \text{GENERALIDAD FERMATIANA PLAUSIBLE} = \text{unidad de estrategia} + \text{heterogeneidad de mecanismos}. } \]
Puede haber existido detrás de esa generalidad una familia completa de descensos que se perdió.
Puede haber habido, en cambio, una generalización del método más allá de los casos que Fermat había cerrado.
El documento que permitiría elegir no está entre los testimonios conservados que hemos auditado.
La estrechez del margen, cuatro siglos después, sigue siendo real. Pero ahora podemos decir con mayor precisión qué es lo que falta.
← VIII. Qué pudo significar la demostración general · Índice · Apéndice A. Cronología documental mínima →