Todo primo congruente con 1 módulo 4 es suma de dos cuadrado

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 p congruente con 1 módulo 4 (esto es, p \equiv 1 (mod \; 4)) puede expresarse como suma de dos cuadrados.

Demostración

Tomamos p un número primo y comenzamos definiendo el siguiente conjunto:

S=\{(x,y,z)\in \mathbb{N}^3|\ x^2 + 4yz=p \}

Un par de consideraciones sobre S:

  • Ninguno de los elementos de S tiene una coordenada nula, ya que si alguna de ellas fuera cero p no podría ser un número primo.
  • El conjunto S es finito, ya que todas las coordenadas de un elemento de S son menores que el propio p.

Vamos a definir ahora la siguiente aplicación f: \; S \rightarrow S:

f(x,y,z)= \left \{ \begin{matrix} (x+2z,z,y-x-z), \; si \; x < y-z \\ (2y-x,y,x-y+z), \; si \;  y-z < x < 2y \\ (x-2y,x-y+z,y), \; si \; x > 2y \end{matrix} \right.

Algunos comentarios sobre esta f:

  • 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 S (esto último puede comprobarse de forma sencilla desarrollando las operaciones correspondientes en cada caso).
  • La aplicación f es una involución, es decir, una función que cumple que f(f(x,y,z))=(x,y,z). 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 (x,y,z) está en el tercer tramo, su imagen es (x-2y,x-y+z,y), que pertenece al los del primer tramo ya que x-2y < x-2y+z[/latex]. Aplicándole [latex]f[/latex] a este punto y realizando las operaciones correspondientes vemos que obtenemos de nuevo [latex](x,y,z)[/latex]. El resto de casos se comprueban también de manera sencilla.</li> <li><strong>La aplicación [latex]f tiene un único punto fijo (es decir, un punto (x,y,z) tal que f(x,y,z)=(x,y,z)).. Para el primer tramo, un punto fijo implicaría y=z, por lo que la última coordenada sería -x, cosa que es imposible. Para el tercer tramo debería cumplirse que x=x-2y, por lo que y debería ser cero, hecho que tampoco puede producirse. Por ello los únicos puntos fijos que tenga f deben ser del segundo tramo. Si eso ocurre debe ser x=y, por lo que la búsqueda de puntos fijos se centra ahora en encontrar puntos (x,x,z) \in S, es decir, que verifiquen x^2+4xz=p. Si sacamos x factor común tenemos la igualdad p=x(x+4z), lo que implica (por ser p primo) que x=1. Por ello el único punto fijo de f es (1,1,z). Además de aquí también obtenemos que es necesario que p=4z+1.

Utilizando ahora el hecho siguiente:

Un conjunto finito y su subconjunto de puntos fijos para cualquier involución tienen la misma paridad.

Como f tiene un único punto fijo, su subconjunto de puntos fijos tiene cardinal impar. Por ello S también tiene un número impar de elementos.

Definimos ahora una segunda aplicación g: \; S \rightarrow S que también es una involución:

g(x,y,z)=(x,z,y)

El hecho de que g es una involución es evidente. Pero además, como S tiene cardinal impar entonces el conjunto de puntos fijos de g 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 (x,y,y). Pero como este punto es un elemento de S se tiene lo siguiente:

p=x^2+4y^2=x^2+(2y)^2

con lo que nuestro número primo p de la forma p=4z+1 cumple que se puede escribir como suma de dos cuadrados, concretamente los de x y 2y. \Box

Actualización:

Para quien quiera profundizar os 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.

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

8 Comentarios

  1. “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. 😀

    Publica una respuesta
  2. @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.

    Publica una respuesta
  3. Cuánta idea feliz en tan poco espacio (si bien se agradece encontrar una demostración tan corta, comparando con la prueba de euler)!

    Publica una respuesta
  4. @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.

    Publica una respuesta
  5. 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.

    Publica una respuesta
  6. 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

    Publica una respuesta

Trackbacks/Pingbacks

  1. Twitter Trackbacks for Todo primo congruente con 1 módulo 4 es suma de dos cuadrado | Gaussianos [gaussianos.com] on Topsy.com - [...] 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…
  2. Uno de congruencias | Gaussianos - [...] 7 en Todo primo congruente con 1 módulo 4 es suma de dos cuadrado [...]

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *