Teorema de la Suma de Dos Cuadrados

Teoría

El Teorema de la Suma de Dos Cuadrados es un resultado fundamental en la teoría de números que te dice exactamente qué enteros positivos $n$ puedes escribir como la suma de dos cuadrados perfectos, o sea, $n = a^2 + b^2$ para enteros $a$ y $b$. Este problema viene desde la época de Diofanto, pero Fermat y Euler lo resolvieron por completo. El teorema conecta la aritmética elemental con las propiedades de los residuos cuadráticos y la estructura de los enteros de Gauss $\mathbb{Z}[i]$.

La idea central depende de la factorización en primos de $n$. Los primos se comportan de forma distinta respecto a las sumas de cuadrados según su valor módulo 4. El primo $2$ es una suma de cuadrados ($1^2+1^2$), y los primos de la forma $4k+1$ siempre son sumas de dos cuadrados distintos. En cambio, nunca puedes escribir los primos de la forma $4k+3$ como una suma de dos cuadrados. El teorema generaliza esto para números compuestos si usas la propiedad multiplicativa de la norma en los números complejos.

Este teorema se usa mucho en competencias como el AIME y el USAMO para resolver ecuaciones diofánticas o para ver si existen soluciones enteras a problemas geométricos (como encontrar puntos de la cuadrícula en un círculo). También tiene mucho que ver con el estudio de los enteros de Gauss, ya que $n = a^2 + b^2$ corresponde a la factorización $