La afirmación de que la ecuación diofántica x^n + y^n = z^n no tiene soluciones enteras no nulas (x,y,z no todos cero) para ningún exponente entero n mayor que 2; equivalentemente, no existen soluciones enteras primitivas no triviales para n>2.

Principio

Las sumas de potencias enteras se comportan de forma esencialmente distinta para los exponentes 1 y 2 (donde hay abundantes soluciones) que para exponentes mayores: la estructura aritmética y algebraica necesaria para soportar soluciones enteras no triviales desaparece más allá del caso cuadrático; la demostración conecta curvas elípticas y formas modulares.

Demostración

Para n = 3 y números pequeños puede demostrarse mediante descenso que no existe ningún triple entero no nulo que satisfaga x^3 + y^3 = z^3; históricamente muchos exponentes se trataron con métodos especializados, y la afirmación general se resolvió relacionando soluciones hipotéticas con curvas elípticas cuya modularidad impide su existencia para todo n>2.

Aplicación incorrecta

Afirmar la existencia de una prueba elemental simple para todos los exponentes basada en argumentos de exponentes pequeños, o aplicar erróneamente el teorema a soluciones racionales sin comprobar la primitividad o a ecuaciones de forma distinta, llevando a conclusiones incorrectas.

Consecuencia

Además de prohibir directamente una clase de soluciones diofánticas, la consecuencia profunda fue el estímulo al desarrollo de técnicas en teoría algebraica de números, formas modulares y estudio de curvas elípticas y representaciones galoisianas, enriqueciendo la geometría aritmética moderna.

Inversión

Para los exponentes n = 1 y n = 2 la afirmación inversa es verdadera: existen infinitas soluciones enteras (soluciones lineales para n=1 y ternas pitagóricas para n=2), ilustrando que la imposibilidad depende del exponente.

Límite

Se aplica a exponentes enteros n>2 y ternas enteras no triviales; no trata exponentes racionales no enteros, ecuaciones con otra forma, casos que permitan ceros, ni declaraciones análogas sobre otros anillos o cuerpos sin calificaciones adicionales.

Tensión semántica

Hay tensión entre manipulaciones algebraicas ingenuas que sugieren generalizaciones (por ejemplo factorizaciones en los enteros) y la profunda maquinaria analítica y aritmética realmente necesaria; asimismo suele darse confusión entre afirmaciones sobre soluciones enteras, racionales o en cuerpos de números algebraicos.

Síntesis

El último teorema de Fermat es una declaración diofántica negativa y precisa: más allá de los casos lineal y cuadrático no existen soluciones enteras no triviales, y la ruta hacia su demostración unificó áreas diversas de la teoría de números, convirtiendo una imposibilidad en catalizador de avances estructurales.