Definición
La caracterización de que un primo p puede expresarse como suma de dos cuadrados enteros precisamente cuando p = 2 o p ≡ 1 (mod 4); extendido a enteros: n es suma de dos cuadrados si y solo si cada primo congruente con 3 (mod 4) aparece con exponente par en la factorización prima de n.
Principio
Principio
El principio organizador es la correspondencia entre representaciones por normas en los enteros gaussianos y condiciones de congruencia sobre los factores primos: la factorización en Z[i] y la paridad de los exponentes controlan la representabilidad como x^2 + y^2.
Demostración
Demostración
Ejemplo concreto: el primo 5 satisface 5 ≡ 1 (mod 4) y 5 = 1^2 + 2^2; por el contrario el primo 3 (≡ 3 mod 4) no puede escribirse como suma de dos cuadrados enteros.
Aplicación incorrecta
Aplicación incorrecta
Un uso indebido plausible es asumir que p ≡ 1 (mod 4) garantiza una representación única salvo orden y signo; aunque las representaciones están restringidas, la unicidad no se sigue sin condiciones adicionales, y los compuestos requieren la prueba de paridad en los exponentes.
Consecuencia
Consecuencia
La aplicación correcta clasifica las sumas de dos cuadrados entre enteros, permite construir representaciones explícitas mediante factorización en enteros gaussianos e informa problemas en geometría aritmética y formas cuadráticas.
Inversión
Inversión
La inversión enfatiza los primos p ≡ 3 (mod 4), que no pueden expresarse como suma de dos cuadrados; invertir la condición de congruencia muestra la dicotomía nítida módulo 4.
Límite
Límite
Ámbito: las afirmaciones tratan sobre sumas de cuadrados enteros; excluyen descomposiciones en cuadrados racionales o algebraicos sin conversión y requieren factorización prima en Z para el criterio entero.
Tensión semántica
Tensión semántica
Existe tensión con problemas más amplios de sumas de potencias (p. ej. el problema de Waring) y con representaciones por otras formas cuadráticas; el teorema de los dos cuadrados es específico para la forma x^2 + y^2 y para técnicas de enteros gaussianos.
Síntesis
Síntesis
El teorema de los dos cuadrados de Fermat vincula una condición de congruencia simple modulo 4 y la paridad de exponentes en la factorización prima con la representación por norma en Z[i]: primos y enteros son sumas de dos cuadrados exactamente cuando su factorización cumple las restricciones modulares y de paridad del teorema.