Introducción
El resultado que da título a este artículo es bien conocido:
Todo primo congruente con 1 módulo 4 es suma de dos cuadrados.
Este resultado fue propuesto por Fermat a través de una carta enviada a Marín Mersenne. Como era habitual en él, Fermat no dio ninguna demostración de este hecho. La primera que se conoce se debe a Euler, que consiguió demostrar el resultado utilizando el método del descenso infinito. Después Lagrange, Gauss y Dedekind (entre otros) dieron otras demostraciones o simplificaciones de éstas.
En este artículo vamos a ver una demostración bastante elegante (aunque no constructiva) debida a Don Zagier que me envió vengoroso hace ya bastante tiempo después de publicarla en su propio blog. Vamos con ella.
Todo primo congruente con 1 módulo 4 es suma de dos cuadrados
En primer lugar vamos a escribir el enunciado de nuestro teorema:
Teorema:
Todo primo
congruente con 1 módulo 4 (esto es,
) puede expresarse como suma de dos cuadrados.
Demostración
Tomamos un número primo y comenzamos definiendo el siguiente conjunto:
Un par de consideraciones sobre :
- Ninguno de los elementos de
tiene una coordenada nula, ya que si alguna de ellas fuera cero
no podría ser un número primo.
- El conjunto
es finito, ya que todas las coordenadas de un elemento de
son menores que el propio
.
Vamos a definir ahora la siguiente aplicación :
Algunos comentarios sobre esta :
- La aplicación está bien definida, ya que todas las coordenadas son positivas (teniendo en cuenta los conjuntos de definición de cada trozo) y la terna resultante en cada caso vuelve a ser un elemento de
(esto último puede comprobarse de forma sencilla desarrollando las operaciones correspondientes en cada caso).
- La aplicación
es una involución, es decir, una función que cumple que
. Esto también es sencillo de demostrar, pero al igual que en el caso anterior debemos tener cuidado con el tipo de terna que obtenemos. Por ejemplo, si
está en el tercer tramo, su imagen es
, que pertenece al los del primer tramo ya que
. Aplicándole
a este punto y realizando las operaciones correspondientes vemos que obtenemos de nuevo
. El resto de casos se comprueban también de manera sencilla.
- La aplicación
tiene un único punto fijo (es decir, un punto
tal que
).. Para el primer tramo, un punto fijo implicaría
, por lo que la última coordenada sería
, cosa que es imposible. Para el tercer tramo debería cumplirse que
, por lo que
debería ser cero, hecho que tampoco puede producirse. Por ello los únicos puntos fijos que tenga
deben ser del segundo tramo. Si eso ocurre debe ser
, por lo que la búsqueda de puntos fijos se centra ahora en encontrar puntos
, es decir, que verifiquen
. Si sacamos
factor común tenemos la igualdad
, lo que implica (por ser
primo) que
. Por ello el único punto fijo de
es
. Además de aquí también obtenemos que es necesario que
.
Utilizando ahora el hecho siguiente:
Un conjunto finito y su subconjunto de puntos fijos para cualquier involución tienen la misma paridad.
Como tiene un único punto fijo, su subconjunto de puntos fijos tiene cardinal impar. Por ello
también tiene un número impar de elementos.
Definimos ahora una segunda aplicación que también es una involución:
El hecho de que es una involución es evidente. Pero además, como
tiene cardinal impar entonces el conjunto de puntos fijos de
también tiene un número impar de elementos, por lo que debe existir al menos un punto fijo. Dicho punto fijo será entonces de la forma
. Pero como este punto es un elemento de
se tiene lo siguiente:
con lo que nuestro número primo de la forma
cumple que se puede escribir como suma de dos cuadrados, concretamente los de
y
.
Actualización:
Para quien quiera profundizar, dejo un enlace JSTOR donde puede consultarse el artículo original:
Don Zagier, A one-sentence proof that every prime p ≡ 1 mod 4 is a sum of two squares. Amer. Math. Monthly 97 (1990), no. 2, 144, doi:10.2307/2323918
http://www.jstor.org/pss/2323918
Para finalizar, comentar que las consideraciones adicionales que aparecen en el artículo de vengoroso no forman parte de la demostración original de Zagier.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
«una demostración bastante elegante (aunque no constructiva)»
No puede ser elegante una construcción del tipo que los estudiantes, con buen criterio, ven más como un juego de palabras que como otra cosa. 😀
@Maestrón:
¿Qué condiciones impones entonces para que una prueba sea elegante? Tengo dudas ahí. Me da la impresión que el sentir que pretendes comunicar en tu post es que la prueba no te resulta natural (En palabras de D. J. Newman una prueba natural es aquella que no contiene construcciones ad hoc o brillanteces propias de un Gauss o Euler). Eso se acepta, pero de ahí a denunciar una falta de elegancia hay una distancia que el adicto al debate no puede pasar por alto.
Cuánta idea feliz en tan poco espacio (si bien se agradece encontrar una demostración tan corta, comparando con la prueba de euler)!
@^DiAmOnD^:
¿Podrías poner en minúscula la E que sale dentro del paréntesis de mi comentario previo? 🙂
@Todos:
Notar que como corolario del teorema del día tenemos una clasificación completa de los naturales que pueden representarse como suma de dos cuadrados. Un natural n es suma de dos cuadrados si y sólo si los primos de la forma 4m+3 que lo dividen aparecen con exponente par en su descomposición canónica.
Vale, lo retiro, es elegante, pero te tomo la palabra. Bien, todos sabemos hacer brillanteces (a nuestro nivel), pero para prima dona no todos valemos. Es decir, puede que me haya equivocado y, después de todo haya que juzgar esto de las matemàticas como, pongamos por caso, la música de Bach.
Me huelo que dadas las ganas de meterme en jardines, no sería la primera vez, ni la cuarta, que me encontraría que, después de llegar a dominar un tema con mucho o poco esfuerzo, descubro que también hay charlatanes en las alturas.
[…] Todo primo congruente con 1 módulo 4 es suma de dos cuadrado | Gaussianos gaussianos.com/todo-primo-congruente-con-1-modulo-4-es-suma-de-dos-cuadrado – view page – cached * 1 en Pierre de Fermat: el jurista que nos mantuvo en vilo * 1 en El promedio de sus vecinos * 1 en Y el volumen es… […]
Pues a mí me ha parecido preciosa!
[…] 7 en Todo primo congruente con 1 módulo 4 es suma de dos cuadrado […]
Muy buena demostración.
soy abogado..siempre me gustaron las matemáticas…en fin la pregunta: me fascina el tema de los números primos y el caso de los numeros primos igual a la suma de dos cuadrados..siempre me ponga a jugar con papel y lápiz..la pregunta es necesario saber todo ese idioma en que lo escribiste?Es una demostración matemática o es una demostración lógica?Pregunto desde mi ignorancia..da la impresión que la matemática se reduciría a la lógica…Es que me siento mas cómodo con los números….Gracias