He aquí un ejemplo, lejos de los mejores, de números primos que entran en un problema (relativamente) geométrico. Consideremos todos los puntos del círculo unitario, $X^2+Y^2=1$ . Obsérvese que al considerar esto como el conjunto de los números complejos $a+bi$ de valor absoluto uno, es decir $a^2+b^2=1$ , esto tiene una estructura de grupo natural. Explícitamente, $(a,b)*(c,d)=(ac-bd,ad+bc)$ .
Ahora, esta es la pregunta: ¿Cuáles son los puntos racionales del círculo? Es decir, cuáles son los puntos $(a,b)$ en el círculo para el cual ambos $a$ y $b$ ¿son números racionales? Su primer caso interesante es $(3/5,4/5)$ . Por supuesto, hay una respuesta a esta pregunta que proviene de la solución clásica al problema de encontrar todos los triples pitagóricos. Pero yo quiero hacer una pregunta aritmética: ¿Cuáles son los posibles denominadores de todos los puntos racionales del círculo?
La respuesta sale de mirar los "primos" en el anillo de enteros de Gauss, pero iré al grano: un número aparecerá como el denominador (común) $D$ de un racional par $(a,b)$ en el círculo unitario si y sólo si los únicos primos que dividen $D$ son los de la forma $4k+1$ . Naturalmente, quiero los números racionales $a$ y $b$ para estar en los términos más bajos.