## [Teorema de los Dos Cuadrados de Fermat](/es/node/62959) 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.