Suma de dos cuadrados

Teoría

El problema de determinar qué enteros puedes escribir como la suma de dos cuadrados enteros, $n = a^2 + b^2$, es una pregunta clásica en teoría de números que conecta la aritmética modular y la geometría de los números. Aunque la aritmética modular simple revela que ningún número congruente a $3 \pmod 4$ puede ser una suma de dos cuadrados, esta condición es necesaria pero no suficiente (por ejemplo, $21 \equiv 1 \pmod 4$, pero el $21$ no es una suma de dos cuadrados). La caracterización completa depende de la factorización en primos de $n$, específicamente distinguiendo entre los factores primos congruentes a $1 \pmod 4$ y los congruentes a $3 \pmod 4$.

Este tema es fundamental en las matemáticas de competencia porque introduce el concepto de normas multiplicativas. La identidad de Brahmagupta-Fibonacci demuestra que el conjunto de números que puedes representar como suma de dos cuadrados es cerrado bajo la multiplicación. Por lo tanto, el problema se reduce a determinar qué números primos son sumas de dos cuadrados. Esto lleva al estudio de los Enteros de Gauss, $\mathbb{Z}[i]$, donde la factorización de los primos racionales determina si los puedes representar o no.

En contextos de olimpiada, usas seguido este teorema para analizar ecuaciones diofánticas con términos cuadráticos o para determinar la existencia de soluciones enteras en problemas geométricos (como encontrar puntos de la red en círculos). La idea clave es que los primos de