Hola,
Supongamos que \( z^N = x^N + y^N \), para \( x, y, z \) enteros positivos no triviales, coprimos dos a dos, donde sin perder generalidad \( x \) es mayor que \( y \), -y- para un \( N \) natural impar lo suficientemente grande.
Resumen:
El famoso Teorema de Fermat presenta una intriga evidente. Parece claro por simples comprobaciones manuales que no va a tener soluciones enteras para casos pequeños como n=3, n=4, etc. Pero cuando consideramos que \( N \) puede tener cualquier valor por asombrosamente grande que sea, ¿qué nos indica que tampoco puede tener soluciones enteras?
Este documento propone una demostración por reducción al absurdo del Último Teorema de Fermat basada exclusivamente en el análisis asintótico de las variables polinómicas. Asumiendo la existencia de una hipotética solución entera para un \( N \) lo suficientemente grande, se modelan los "huecos" discretos entre las variables para estudiar la proporción de las bases mayor y menor (\( x/y \)) de su desigualdad triangular fundamental (\( x+y>z \)).
El artículo demuestra que el sistema está forzado a cumplir dos condiciones mutuamente excluyentes: una cota inferior discreta impuesta por la rigidez de los enteros y una convergencia estricta exigida por el equilibrio algebraico del binomio. El choque asintótico entre ambas exigencias (\( \sqrt{U} \gtrsim U \), para \( U>1 \)) revela que es estructuralmente imposible que las variables encajen, demostrando que la igualdad original es una imposibilidad analítica.
[1] El punto de partida y la naturaleza de las variables. Dado que siempre \( (x+y)^N > x^N + y^N \), tendremos que \( (x+y)^N > z^N \), y por tanto \( z < x+y \). De aquí se deduce la cota inferior fundamental de este sistema discreto: \( x > z-y \).
Si las variables son enteras, como \( x^N = (z - y) \cdot (z^{N-1} + z^{N-2}y + z^{N-3}y^2 + \dots + y^{N-1}) \) -y- los dos factores de la derecha son coprimos salvo por N, pueden ocurrir 2 cosas. Que N divida á \( x \) -y- \( z-y \) sea de la forma \( N^{Nk-1}a^N \), para unos \( a,k \) enteros positivos, ó que N no divida á \( x \) -y- entonces \( z-y \) sea de la forma \( b^N \). En cualquiera de los dos casos (divida o no divida \( N \)), el hueco siempre podrá expresarse asintóticamente o contener un factor de la forma \( a^N \). Para mantener la generalidad de la magnitud, definiremos el hueco menor donde \( y^N = (z - x) \cdot (z^{N-1} + z^{N-2}x + z^{N-3}x^2 + \dots + x^{N-1}) \), como \( z - x = a^N \) (donde \( a \ge 1 \) es un entero que absorbe los posibles factores). Por simetría de magnitudes, el otro hueco será \( z - y = (a+k)^N \), donde \( k \ge 1 \) es el factor entero de separación. Por lo tanto, la desigualdad que vimos antes exige que la base cumpla la siguiente cota: \( x > (a+k)^N \).
Nota sobre las constantes \( a \) y \( k \):
Dado que para una solución hipotética, los valores de \( a \) -y- \( k \) son enteros exactos y fijos, nuestro análisis los va a considerar constantes, independientemente de la magnitud que puedan alcanzar. Pues si imaginamos, por el contrario, que estas bases tuvieran que crecer en función de \( N \) (por ejemplo, de la forma \( (m \cdot N)^N \)), se estarían excluyendo implícitamente la inmensa mayoría de los casos: aquellos donde los huecos tienen bases ordinarias y constantes (como \( 1^N, 2^N, 3^N... \)); perdiéndose por completo la generalidad de la ecuación de partida.
Corolario a la Sección 1: La divergencia entre \( x \) e \( y \) cuando \( N \) tiende a infinito. Si abordamos la ecuación desde una perspectiva puramente continua, podríamos asumir que para un exponente \( N \) tendiendo al infinito, las variables se comprimen hasta ser asintóticamente iguales (\( x \approx y \approx z \)).
Su lógica interna entonces exigiría que la distancia entre ellas también se comportara de forma simétrica, es decir, que \( z-y \approx z-x \). Sin embargo, la innegociable naturaleza discreta de las variables que hemos definido en la Sección 1 destruye esta simetría.
Si evaluamos la proporción entre el hueco mayor y el hueco menor cuando \( N \) tiende al infinito, obtenemos el siguiente límite:
\( \lim_{N \to \infty} \dfrac{z-y}{z-x} = \lim_{N \to \infty} \dfrac{(a+k)^N}{a^N} = \lim_{N \to \infty} \left( 1 + \dfrac{k}{a} \right)^N \)
Como hemos establecido en la Nota sobre las constantes, los valores \( a \) y \( k \) son números enteros positivos, fijos y constantes para cualquier solución hipotética dada. Por consiguiente, la fracción \( \dfrac{k}{a} \) es estrictamente mayor que cero, lo que convierte a la base de nuestro límite en una constante estrictamente mayor que 1. Y cualquier constante mayor que 1 elevada a un exponente infinito diverge irremediablemente:
\( \lim_{N \to \infty} \left( 1 + \dfrac{k}{a} \right)^N = \infty \)
Conclusión del Corolario:
Este resultado demuestra que en el dominio de los números enteros, es matemáticamente imposible que los huecos se mantengan asintóticamente cercanos (\( z-y \approx z-x \)). Por el contrario, la proporción entre el hueco mayor y el menor tiende al infinito. Esto nos garantiza que a medida que \( N \) crece, \( x \) se mantendrá siempre estrictamente mayor que \( y \), preparando el terreno para la exigencia estructural que impondremos a continuación en la Sección 2.
[2] La aproximación binomial. Sabiendo que \( z = x + a^N \), la magnitud de la variable menor debe compensar exactamente la diferencia de las otras dos:
\( y^N = z^N - x^N = (x + a^N)^N - x^N \)
Si desarrollamos este binomio de Newton, obtenemos:
\( y^N = N \cdot a^N \cdot x^{N-1} + \dfrac{N(N-1)}{2} a^{2N} \cdot x^{N-2} + \dots + a^{N^2} \)
Para bases de gran magnitud, como hemos visto que es \( x \), existe una diferencia asintótica insalvable entre un término de grado \( N \) y su inmediato antecesor. Dado que los términos de menor grado se vuelven irrelevantes frente al dominante cuando \( N \to \infty \), la aproximación principal es:
\( y^N \approx N \cdot a^N \cdot x^{N-1} \)
Justificación analítica (La Prueba del Ratio):
Para validar matemáticamente esta aproximación, comparamos los dos primeros términos del desarrollo:
\( \dfrac{T_2}{T_1} = \dfrac{\frac{N(N-1)}{2} a^{2N} \cdot x^{N-2}}{N \cdot a^N \cdot x^{N-1}} \approx \dfrac{N \cdot a^N}{2x} \)
Para que el ratio tienda a cero, se exige que \( x \gg \dfrac{N \cdot a^N}{2} \). Sabiendo por nuestra cota inicial que \( x > (a+k)^N \), comprobamos el límite:
\( \lim_{N \to \infty} \dfrac{(a+k)^N}{N \cdot a^N} = \lim_{N \to \infty} \dfrac{1}{N} \left(1 + \dfrac{k}{a}\right)^N = \infty \)
Puesto que la función exponencial del numerador supera holgadamente al crecimiento lineal de \( N \), el descarte de los términos menores es asintóticamente riguroso.
[3] La exigencia de la cota discreta (Límite Inferior). Partiendo de nuestra aproximación validada:
\( y^N \approx N \cdot a^N \cdot x^{N-1} \)
Despejamos la variable \( y \) tomando la raíz \( N \)-ésima en ambos lados:
\( y \approx N^{1/N} \cdot a \cdot x^{1 - \frac{1}{N}} \)
Sabemos que \( \lim_{N \to \infty} N^{1/N} = 1 \). La ecuación se simplifica a:
\( y \approx a \cdot \dfrac{x}{x^{1/N}} \)
Para aislar la proporción entre ambas bases, reorganizamos los términos:
\( \frac{x}{y} \approx \dfrac{x^{1/N}}{a} \)
Aplicamos ahora la restricción impuesta por la naturaleza discreta del sistema: \( x > (a+k)^N \). Si introducimos esta exigencia en nuestra fracción (\( x^{1/N} > a+k \)), y teniendo en cuenta que operamos bajo un régimen asintótico, la desigualdad estricta se transforma en una cota asintótica inferior. Descubrimos así el límite inferior de la proporción:
\( \dfrac{x}{y} \gtrsim \dfrac{a+k}{a} \)
[4] La exigencia del equilibrio algebraico. Para observar el comportamiento puro de las proporciones, partimos de \( x^N + y^N = z^N \).
Calculamos \( y^N \) y \( x^N \) usando nuestra aproximación asintótica para ambos desarrollos:
El que ya teníamos:
\( y^N \approx N \cdot a^N \cdot x^{N-1} \)
Y : \( x^N \); sabiendo que \( z = y + (a+k)^N \) :
\( x^N = z^N - y^N = (y + (a+k)^N)^N - y^N \)
\( x^N = N \cdot (a+k)^N \cdot y^{N-1} + \dfrac{N(N-1)}{2} (a+k)^{2N} \cdot y^{N-2} + \dots + (a+k)^{N^2} \)
\( x^N \approx N \cdot (a+k)^N \cdot y^{N-1} \)
Dividimos la ecuación de \( x^N \) entre la de \( y^N \):
\( \dfrac{x^N}{y^N} \approx \dfrac{N \cdot (a+k)^N \cdot y^{N-1}}{N \cdot a^N \cdot x^{N-1}} \)
Las variables \( N \) se cancelan. Agrupamos los términos:
\( \left(\dfrac{x}{y}\right)^N \approx \left(\dfrac{a+k}{a}\right)^N \cdot \left(\dfrac{y}{x}\right)^{N-1} \)
Multiplicamos ambos lados por \( (x/y)^{N-1} \) para unificar el ratio:
\( \left(\dfrac{x}{y}\right)^{2N-1} \approx \left(\dfrac{a+k}{a}\right)^N \)
Para despejar la proporción definitiva que exige el álgebra, tomamos la raíz \( (2N-1) \)-ésima:
\( \dfrac{x}{y} \approx \left( \dfrac{a+k}{a} \right)^{\frac{N}{2N-1}} \)
Dado que \( \lim_{N \to \infty} \dfrac{N}{2N-1} = \dfrac{1}{2} \), la fórmula generalizada exige asintóticamente que:
\( \lim_{N \to \infty} \dfrac{x}{y} = \sqrt{\dfrac{a+k}{a}} \)
[5] La Contradicción Asintótica. Para que la ecuación de Fermat admita una solución entera en exponentes muy grandes, el sistema está obligado a satisfacer simultáneamente dos exigencias analíticas que son mutuamente excluyentes:
La Condición Discreta:
La restricción de los enteros exige que el ratio cumpla \( \dfrac{x}{y} \gtrsim \dfrac{a+k}{a} \).
La Condición Algebraica:
El equilibrio asintótico de los polinomios exige que el ratio converja a \( \dfrac{x}{y} \approx \sqrt{\dfrac{a+k}{a}} \).
Si enfrentamos ambas conclusiones, asumiendo que \( a,k \) son enteros positivos tales que \( a \ge 1 \) y \( k \ge 1 \), el sistema incurre en una contradicción matemática. Al fusionar la igualdad asintótica con la cota inferior geométrica, llegamos al absurdo de exigir que:
\( \sqrt{\dfrac{a+k}{a}} \gtrsim \dfrac{a+k}{a} \)
Es analíticamente imposible que la raíz cuadrada de una cantidad estrictamente mayor que 1 sea, en el límite, mayor o igual que la propia cantidad.
En cambio, en el dominio continuo de los números reales, esta incompatibilidad no existe. La base \( x \) no tiene por qué ser estrictamente mayor que una N-ésima potencia y posee la flexibilidad necesaria para ajustar su proporción a la exigencia del equilibrio algebraico de la ecuación.
En definitiva, la exigencia de operar exclusivamente con números enteros impone a la base \( x \) un tamaño desproporcionado que destruye el delicado equilibrio del ratio \( (x/y) \). Al ser estructuralmente imposible satisfacer simultáneamente la rigidez de los enteros y la exigencia asintótica del álgebra, la existencia de soluciones resulta matemáticamente absurda.
[6] Demostración Analítica Alternativa: El confinamiento asintótico de la proporción \( (x/y) \) Si aún quedara alguna duda sobre la incompatibilidad entre la exigencia continua del límite y la rigidez de los números enteros, podemos llegar a la misma contradicción a través de otra vía analítica directa.
Partamos de una variable de compresión \( p \), que relacione la base mayor con su hueco respecto a la 'hipotenusa' de su desigualdad triangular (\( x+y>z \)) :
\( p = \dfrac{x}{z-y} \)
Sabiendo por definición que \( z = x + y - d \), para un \( d \) entero positivo, podemos reescribir el denominador:
\( p = \dfrac{z-y+d}{z-y} = 1 + \dfrac{d}{z-y} \)
Si despejamos la fracción resultante e invertimos los términos, obtenemos la siguiente identidad algebraica exacta:
\( p - 1 = \dfrac{d}{z-y} \implies \dfrac{1}{p-1} = \dfrac{z-y}{d} \)
A continuación, evaluamos esta identidad bajo la tendencia asintótica exigida cuando \( N \) tiende a infinito. Se puede demostrar que en el infinito continuo las distancias se comprimen de tal forma que: (1) \( z \approx x \) y (2) \( d \approx y \).
Demostración de (1):
Partimos de \( x^N + y^N = z^N \). Dividimos entre \( z^N \):
\( \left(\dfrac{x}{z}\right)^N + \left(\dfrac{y}{z}\right)^N = 1 \)
Como \( x > y \), sabemos con certeza absoluta que el término de \( x \) es el que está aportando más de la mitad del peso de la ecuación:
\( 0,5 < \left(\dfrac{x}{z}\right)^N < 1 \)
Aplicamos el límite de la raíz \( N \)-ésima:
\( \lim_{N \to \infty} (0,5)^{\frac{1}{N}} < \lim_{N \to \infty} \dfrac{x}{z} < \lim_{N \to \infty} (1)^{\frac{1}{N}} \)
\( 1 \le \lim_{N \to \infty} \dfrac{x}{z} \le 1 \)
Demostración de (2):
Sabemos por la Sección [2] que \( y^N \approx N \cdot x^{N-1} \cdot a^N \); luego \( y^N > N \cdot y^{N-1} \cdot a^N \) -y- dividiendo entre \( y^{N-1} \), entonces \( y > N \cdot a^N \).
Como \( z = x + y - d \); entonces \( \dfrac{z-x}{y} = 1 - \dfrac{d}{y} \).
Al aplicar la lógica del infinito, como \( z \approx x \) (están pegadísimos asintóticamente) y la variable \( y \), que hemos dicho que es mayor que \( N \cdot a^N \), divide á \( z-x \), que hemos quedado que es \( a^N \). De esta forma, \( \dfrac{a^N}{y} < \dfrac{1}{N} \) -y- \( 0 < \dfrac{z-x}{y} < \dfrac{1}{N} \). Luego \( \dfrac{z-x}{y} \approx 0 \). Y concluimos que \( 0 \approx 1 - \dfrac{d}{y} \), y por tanto, que \( d \approx y \).
Aplicando ahora estos límites a nuestra identidad, obtenemos:
\( \dfrac{1}{p-1} \approx \dfrac{x-y}{y} = \dfrac{x}{y} - 1 \)
Despejando la proporción principal entre los catetos (\( x/y \)), llegamos a la ecuación rectora de este sistema en el infinito:
\( \dfrac{x}{y} \approx 1 + \dfrac{1}{p-1} \)
Dado que la base mayor \( x \) crece hacia el infinito a una velocidad mayor que el hueco constante \( z-y=(a+k)^N \), la variable \( p \) asumirá valores positivos muy grandes (estrictamente \( p > 2 \)). Por consiguiente, el término \( \dfrac{1}{p-1} \) será siempre un valor estrictamente menor que 1. Al sustituir esto en nuestra ecuación rectora, el análisis asintótico continuo dicta que la proporción \( (x/y) \) está obligada a ser menor que 2.
\( \dfrac{x}{y} < 2 \)
Sin embargo, en la Sección [3] establecimos que para los números enteros, los huecos discretos exigen que \( \dfrac{x}{y} \gtrsim \dfrac{a+k}{a} \). Si evaluamos el caso más favorable posible para la convergencia (el hueco mínimo absoluto donde las constantes \( a=1 \) y \( k=1 \)), la rigidez geométrica de las bases discretas impone una barrera infranqueable:
\( \dfrac{x}{y} \gtrsim \dfrac{1+1}{1} = 2 \)
La contradicción es absoluta y matemáticamente irresoluble. Por segunda vez, vemos que la ecuación de Fermat colapsa inevitablemente cuando \( N \) se hace muy grande.
Un saludo,
Fernando Moreno
