La afirmación de que para todo exponente entero n>2 no existen enteros positivos a,b,c que satisfagan a^n + b^n = c^n; las únicas soluciones enteras no triviales ocurren para n=1 y n=2.

Principio

Una declaración de imposibilidad global sobre ecuaciones diofánticas de potencias puras de grado mayor que dos: ningún triplete entero no nulo puede realizar una suma no trivial de potencias iguales cuando el exponente excede de dos.

Demostración

Ejemplo concreto: para n=3 se busca soluciones enteras positivas de a^3 + b^3 = c^3 y no se encuentran; históricamente se estudiaron casos particulares hasta que una prueba general mostró que no existe tal triplete para ningún n>2 mediante la conexión de soluciones hipotéticas con propiedades imposibles de ciertas curvas elípticas y formas modulares.

Aplicación incorrecta

Afirmar que el teorema prohíbe soluciones reales o racionales, o usarlo para excluir soluciones para n=2 (tripletas pitagóricas). También es un uso indebido deducir que toda ecuación diofántica de grado superior no tiene soluciones enteras, puesto que muchas ecuaciones de grado elevado sí son resolubles.

Consecuencia

Aplicado correctamente implica que cualquier búsqueda de soluciones enteras positivas para a^n + b^n = c^n con n>2 es inútil; históricamente motivó desarrollos profundos en teoría algebraica de números, modularidad y estudio de curvas elípticas y representaciones de Galois.

Inversión

La inversión es el caso n=2, donde existen infinitas soluciones enteras positivas (tripletas pitagóricas); cambiar el dominio a números racionales también admite infinitas soluciones no triviales para n>2 si se permiten cero o cambios de signo.

Límite

Ámbito: enteros a,b,c>0 y exponente entero n>2. Excluye cero, variantes de signo y soluciones en otros anillos o cuerpos; extensiones y análogos (por ejemplo sobre cuerpos finitos o para otros tipos de exponentes) quedan fuera del enunciado.

Tensión semántica

La tensión aparece entre la afirmación “no hay soluciones enteras” y nociones cercanas como “no hay soluciones primitivas”, además de resultados sobre formas modulares; un significado próximo es el estudio diofántico de ecuaciones de grado superior que puede admitir o no soluciones según otras estructuras.

Síntesis

El Último Teorema de Fermat es una afirmación negativa precisa sobre soluciones enteras positivas de sumas de potencias iguales para exponentes superiores a dos; su demostración requirió reformular el problema diofántico en términos de curvas elípticas y modularidad, uniendo un enunciado elemental con herramientas algebraicas profundas.