euler y la teor´ıa de numeros´ - uam

71
1 de 19 ´ Indice En el XVIII Divisibilidad Ec. diof´ anticas Formas cuadr´ aticas T. Anal´ ıtica Referencias Euler y la Teor´ ıa de N´ umeros Fernando Chamizo Lorente Universidad Aut´ onoma de Madrid http://www.uam.es/fernando.chamizo 14 de febrero de 2007 Fernando Chamizo Lorente Euler y la Teor´ ıa de N´ umeros

Upload: others

Post on 30-Oct-2021

12 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Euler y la Teor´ıa de Numeros´ - UAM

1 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Euler y la Teorıa de Numeros

Fernando Chamizo Lorente

Universidad Autonoma de Madridhttp://www.uam.es/fernando.chamizo

14 de febrero de 2007

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 2: Euler y la Teor´ıa de Numeros´ - UAM

2 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Indice

1 En el XVIII

2 Divisibilidad

3 Ec. diofanticas

4 Formas cuadraticas

5 T. Analıtica

6 Referencias

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 3: Euler y la Teor´ıa de Numeros´ - UAM

3 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La Teorıa de Numeros para Euler

“Una medida de la grandeza de Euler es que cuando unoestudia teorıa de numeros tiene la impresion de que Euler estabaprincipalmente interesado en teorıa de numeros pero cuando unoestudia series divergentes siente que las las series divergentes eransu mayor interes, cuando uno estudia ecuaciones diferenciales unoimagina que realmente las ecuaciones diferenciales eran su materiafavorita, y ası sucesivamente. . . ” H.M. Edwards 1977.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 4: Euler y la Teor´ıa de Numeros´ - UAM

4 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La Teorıa de Numeros para Euler

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 5: Euler y la Teor´ıa de Numeros´ - UAM

4 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La Teorıa de Numeros para Euler

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 6: Euler y la Teor´ıa de Numeros´ - UAM

5 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La Teorıa de Numeros para Euler

Euler 1765 Elementos de algebra

“Cuando el numero de ecuaciones no se ajusta al de incognitas[. . . ] la materia es una rama particular del algebra llamada analisisindeterminado”.

“...usualmente se anade la condicion de que los numeros buscadossean enteros y positivos, o al menos racionales [. . . ]. Ocurre queesta parte del analisis frecuentemente requiere artificios ajustadosa ella, los cuales hacen un gran servicio ejercitando el juicio de losprincipiantes y dandoles destreza en los calculos”.

Nota: Euler comenzo a escribir un libro de teorıa de numeros.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 7: Euler y la Teor´ıa de Numeros´ - UAM

6 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La herencia de Fermat

Con el criterio actual

Lagrange(1736-1813)

Legendre(1752-1833)

Fermat(1601-1665)

Euler(1707-1783)

Gauss(1777-1855)

¿Demostraciones?

Demostraciones

Demostraciones perfectas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 8: Euler y la Teor´ıa de Numeros´ - UAM

6 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La herencia de Fermat

Con el criterio actual

Lagrange(1736-1813)

Legendre(1752-1833)

Fermat(1601-1665)

Euler(1707-1783)

Gauss(1777-1855)

¿Demostraciones?

Demostraciones

Demostraciones perfectas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 9: Euler y la Teor´ıa de Numeros´ - UAM

6 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La herencia de Fermat

Con el criterio actual

Lagrange(1736-1813)

Legendre(1752-1833)

Fermat(1601-1665)

Euler(1707-1783)

Gauss(1777-1855)

¿Demostraciones?

Demostraciones

Demostraciones perfectas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 10: Euler y la Teor´ıa de Numeros´ - UAM

6 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La herencia de Fermat

Con el criterio actual

Lagrange(1736-1813)

Legendre(1752-1833)

Fermat(1601-1665)

Euler(1707-1783)

Gauss(1777-1855)

¿Demostraciones?

Demostraciones

Demostraciones perfectas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 11: Euler y la Teor´ıa de Numeros´ - UAM

6 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La herencia de Fermat

Con el criterio actual

Lagrange(1736-1813)

Legendre(1752-1833)

Fermat(1601-1665)

Euler(1707-1783)

Gauss(1777-1855)

¿Demostraciones?

Demostraciones

Demostraciones perfectas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 12: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 13: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

(a + 1)p = ap + 1p + p · cosas

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 14: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

(a + 1)p = ap + 1p + p · cosas ⇒

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 15: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

(a + 1)p = ap + 1p + p · cosas ⇒ a = 1, p|2p − 2

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 16: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

(a + 1)p = ap + 1p + p · cosas ⇒ a = 1, p|2p − 2⇒ a = 2, p|3p − 2p + 2− 3 ⇒ p|3p − 3, etc.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 17: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

“Corolario” 1732 (la explicacion en 1747)

Factorizacion de F5: 225+ 1 = 641 · 6700417.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 18: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

Congruencia de Euler-Fermat 1758

Si k y n son coprimos, k divide a nϕ(k) − 1.

ϕ(k) = cantidad de numeros menores que k y coprimos con el.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 19: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

Congruencia de Euler-Fermat 1758

Si k y n son coprimos, k divide a nϕ(k) − 1.

ϕ(k) = cantidad de numeros menores que k y coprimos con el.

Numeros perfectos: 28 = 1 + 2 + 4 + 7 + 14.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 20: Euler y la Teor´ıa de Numeros´ - UAM

7 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Divisibilidad

Pequeno teorema de Fermat 1736,1747,1758

Si p es primo, p divide a np − n.

Congruencia de Euler-Fermat 1758

Si k y n son coprimos, k divide a nϕ(k) − 1.

ϕ(k) = cantidad de numeros menores que k y coprimos con el.

Veinte siglos despues de Euclides

Todo numero perfecto par es de la forma 2n(2n+1 − 1).

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 21: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 22: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 23: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Ej. a = 10, p = 7, p = 17

17 = 0′142857 . . . 1

17 = 0′0588235294117647 . . .

857 94117647999 99999999

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 24: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Ej. a = 10, p = 7, p = 17

17 = 0′142857 . . . 1

17 = 0′0588235294117647 . . .857 94117647

999 99999999

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 25: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Ej. a = 10, p = 7, p = 17

17 = 0′142857 . . . 1

17 = 0′0588235294117647 . . .857 94117647999 99999999

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 26: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Hay exactamente ϕ(p − 1) raıces primitivas (Gauss 1801).

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 27: Euler y la Teor´ıa de Numeros´ - UAM

8 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Existen infinitos numeros para los que el recıproco delpequeno teorema de Fermat es falso (Alford, Granville,Pomerance 1994).Ej. 561 = 3 · 11 · 17, 561|a561 − a siempre que mcd(a, 561) = 1.

0 < a < p, restos al dividir por p de a1, a2, a3, . . . , ap−1.

Si salen todos los restos se dice que a es raız primitiva.

Hay exactamente ϕ(p − 1) raıces primitivas (Gauss 1801).

En el lado computacional:

Fk = 22k+ 1 compuesto para 5 ≤ k ≤ 32 (2001).

Si hay numeros perfectos impares, tienen al menos 47 factoresprimos (2005).

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 28: Euler y la Teor´ıa de Numeros´ - UAM

9 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

El caso n = 3 de la ecuacion de Fermat

Ultimo teorema de Fermat: xn + y n 6= zn, n > 2.

Fermat → n = 4, Euler → n = 3, 4.

Elementos de Algebra Capıtulo XV

Cuestion 1: Se requiere encontrar dos cubos, x3 e y3, cuya sumasea un cubo.

242. Euler intenta sin exito una especie de parametrizacion de lacurva elıptica x3 + 1 = y3, como no puede hacerlo escribe:

por tanto podemos inferir, con cierto grado de certeza, que esimposible encontrar dos cubos cuya suma sea un cubo. Peroestaremos totalmente convencidos con la siguiente demostracion.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 29: Euler y la Teor´ıa de Numeros´ - UAM

9 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

El caso n = 3 de la ecuacion de Fermat

Ultimo teorema de Fermat: xn + y n 6= zn, n > 2.

Fermat → n = 4, Euler → n = 3, 4.

Elementos de Algebra Capıtulo XV

Cuestion 1: Se requiere encontrar dos cubos, x3 e y3, cuya sumasea un cubo.

242. Euler intenta sin exito una especie de parametrizacion de lacurva elıptica x3 + 1 = y3, como no puede hacerlo escribe:

por tanto podemos inferir, con cierto grado de certeza, que esimposible encontrar dos cubos cuya suma sea un cubo. Peroestaremos totalmente convencidos con la siguiente demostracion.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 30: Euler y la Teor´ıa de Numeros´ - UAM

9 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

El caso n = 3 de la ecuacion de Fermat

Ultimo teorema de Fermat: xn + y n 6= zn, n > 2.

Fermat → n = 4, Euler → n = 3, 4.

Elementos de Algebra Capıtulo XV

Cuestion 1: Se requiere encontrar dos cubos, x3 e y3, cuya sumasea un cubo.

242. Euler intenta sin exito una especie de parametrizacion de lacurva elıptica x3 + 1 = y3, como no puede hacerlo escribe:

por tanto podemos inferir, con cierto grado de certeza, que esimposible encontrar dos cubos cuya suma sea un cubo. Peroestaremos totalmente convencidos con la siguiente demostracion.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 31: Euler y la Teor´ıa de Numeros´ - UAM

9 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

El caso n = 3 de la ecuacion de Fermat

Ultimo teorema de Fermat: xn + y n 6= zn, n > 2.

Fermat → n = 4, Euler → n = 3, 4.

Elementos de Algebra Capıtulo XV

Cuestion 1: Se requiere encontrar dos cubos, x3 e y3, cuya sumasea un cubo.

242. Euler intenta sin exito una especie de parametrizacion de lacurva elıptica x3 + 1 = y3, como no puede hacerlo escribe:

por tanto podemos inferir, con cierto grado de certeza, que esimposible encontrar dos cubos cuya suma sea un cubo. Peroestaremos totalmente convencidos con la siguiente demostracion.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 32: Euler y la Teor´ıa de Numeros´ - UAM

10 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Factorizacion unica

x3 + y3 = z3 solucion mınima x , y , z .

Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.

2p · (p2 + 3q2) = z3, mcd(2p, p2 + 3q2) = 1 (si 3 6 |p)

⇒ 2p = 2t︸︷︷︸h3

(t + 3u)︸ ︷︷ ︸f 3

(t − 3u)︸ ︷︷ ︸g3

⇒ h3 = f 3 + g3 solucion menor ⇒ contr.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 33: Euler y la Teor´ıa de Numeros´ - UAM

10 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Factorizacion unica

x3 + y3 = z3 solucion mınima x , y , z .

Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.

2p · (p2 + 3q2) = z3, mcd(2p, p2 + 3q2) = 1 (si 3 6 |p)

5. Para que el producto p/4 · (p2 + 3q2) pueda ser un cubo, cadauno de estos factores, a no ser que tenga un factor comun, debenser un cubo cada uno.

⇒ 2p = 2t︸︷︷︸h3

(t + 3u)︸ ︷︷ ︸f 3

(t − 3u)︸ ︷︷ ︸g3

⇒ h3 = f 3 + g3 solucion menor ⇒ contr.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 34: Euler y la Teor´ıa de Numeros´ - UAM

10 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Factorizacion unica

x3 + y3 = z3 solucion mınima x , y , z .

Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.

2p · (p2 + 3q2) = z3, mcd(2p, p2 + 3q2) = 1 (si 3 6 |p)

7. Para que p2 + 3q2 sea un cubo, solo tenemos que suponer,como hemos visto antes: p ± q

√−3 = (t ± u

√−3)3.

⇒ 2p = 2t︸︷︷︸h3

(t + 3u)︸ ︷︷ ︸f 3

(t − 3u)︸ ︷︷ ︸g3

⇒ h3 = f 3 + g3 solucion menor ⇒ contr.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 35: Euler y la Teor´ıa de Numeros´ - UAM

10 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Factorizacion unica

x3 + y3 = z3 solucion mınima x , y , z .

Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.

2p · (p2 + 3q2) = z3, mcd(2p, p2 + 3q2) = 1 (si 3 6 |p)

7. Para que p2 + 3q2 sea un cubo, solo tenemos que suponer,como hemos visto antes: p ± q

√−3 = (t ± u

√−3)3.

⇒ 2p = 2t︸︷︷︸h3

(t + 3u)︸ ︷︷ ︸f 3

(t − 3u)︸ ︷︷ ︸g3

⇒ h3 = f 3 + g3 solucion menor ⇒ contr.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 36: Euler y la Teor´ıa de Numeros´ - UAM

11 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Conjetura de Fermat → 1630 aprox.

E. Kummer (1847) → Teorıa de ideales. El teorema es ciertopara exponentes primos regulares.

G. Faltings (1983). El teorema es cierto salvo un numerofinito de soluciones para cada n.

A. Wiles (1994) → Conjetura de Shimura-Taniyama-Weil.Demostracion general.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 37: Euler y la Teor´ıa de Numeros´ - UAM

11 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Conjetura de Fermat → 1630 aprox.

E. Kummer (1847) → Teorıa de ideales. El teorema es ciertopara exponentes primos regulares.

G. Faltings (1983). El teorema es cierto salvo un numerofinito de soluciones para cada n.

A. Wiles (1994) → Conjetura de Shimura-Taniyama-Weil.Demostracion general.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 38: Euler y la Teor´ıa de Numeros´ - UAM

11 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Conjetura de Fermat → 1630 aprox.

E. Kummer (1847) → Teorıa de ideales. El teorema es ciertopara exponentes primos regulares.

G. Faltings (1983). El teorema es cierto salvo un numerofinito de soluciones para cada n.

A. Wiles (1994) → Conjetura de Shimura-Taniyama-Weil.Demostracion general.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 39: Euler y la Teor´ıa de Numeros´ - UAM

11 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Conjetura de Fermat → 1630 aprox.

E. Kummer (1847) → Teorıa de ideales. El teorema es ciertopara exponentes primos regulares.

G. Faltings (1983). El teorema es cierto salvo un numerofinito de soluciones para cada n.

A. Wiles (1994) → Conjetura de Shimura-Taniyama-Weil.Demostracion general.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 40: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 41: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

Cuando se ha encontrado uno de estos valores es facil deducir de elinfinitos [...] es suficiente saber uno, digamos el menor; y Pell, unescritor ingles, nos ha ensenado a encontrarlo con un ingeniosometodo.

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 42: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

Euler 1733

x21 = 13x2

2 + 1x1≈x2

√13−→ x1 = 3x2 + x3

4x22 = 6x2x3 + x2

3 − 1x2≈x3

√6/4

−→ x2 = x3 + x4

. . . . . . . . . . . . . . . . . . . . .

x211 = 6x11x12 + 4x2

12 + 1

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 43: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

Euler 1733

x21 = 13x2

2 + 1x1≈x2

√13−→ x1 = 3x2 + x3

4x22 = 6x2x3 + x2

3 − 1x2≈x3

√6/4

−→ x2 = x3 + x4

. . . . . . . . . . . . . . . . . . . . .

x211 = 6x11x12 + 4x2

12 + 1 ! ∆ = 13x212 + 1

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 44: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

Euler 1733

x21 = 13x2

2 + 1x1≈x2

√13−→ x1 = 3x2 + x3

4x22 = 6x2x3 + x2

3 − 1x2≈x3

√6/4

−→ x2 = x3 + x4

. . . . . . . . . . . . . . . . . . . . .

x211 = 6x11x12 + 4x2

12 + 1 ! Sol. triv. x12 = 0, x11 = 1

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 45: Euler y la Teor´ıa de Numeros´ - UAM

12 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La ecuacion de Pell

Q(x , y) = n ⇒ax2 − by2 = n ⇒ x2 − Ay2 = m ⇒ sol. part. x2 − Ay2 = 1.

Euler 1733

x21 = 13x2

2 + 1x1≈x2

√13−→ x1 = 3x2 + x3

4x22 = 6x2x3 + x2

3 − 1x2≈x3

√6/4

−→ x2 = x3 + x4

. . . . . . . . . . . . . . . . . . . . .

x211 = 6x11x12 + 4x2

12 + 1 ! Sol. triv. x12 = 0, x11 = 1

x10 7→ . . . 7→ x3 7→ x2 7→ x1 1 7→ . . . 7→ 109 7→ 108 7→ 649

⇒ 6492 − 13 · 1802 = 1 (1759, fracciones continuas)

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 46: Euler y la Teor´ıa de Numeros´ - UAM

13 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Representacion por formas cuadraticas

Carta a N. Beguelin 1778

Todos los numeros contenidos de una sola forma en x2 + y2 sonprimos o dobles de primos donde x e y son primos entre sı. Heobservado que otras expresiones similares de la forma nx2 + y2

gozan de la misma propiedad dando a la letra n valoresconvenientes.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 47: Euler y la Teor´ıa de Numeros´ - UAM

13 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Representacion por formas cuadraticas

Carta a N. Beguelin 1778

Todos los numeros contenidos de una sola forma en x2 + y2 sonprimos o dobles de primos donde x e y son primos entre sı. Heobservado que otras expresiones similares de la forma nx2 + y2

gozan de la misma propiedad dando a la letra n valoresconvenientes.

Euler calculo una tabla de 65 numeros convenientes y los empleo pa-ra construir primos de hasta 8 dıgitos.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 48: Euler y la Teor´ıa de Numeros´ - UAM

13 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Representacion por formas cuadraticas

Carta a N. Beguelin 1778

Todos los numeros contenidos de una sola forma en x2 + y2 sonprimos o dobles de primos donde x e y son primos entre sı. Heobservado que otras expresiones similares de la forma nx2 + y2

gozan de la misma propiedad dando a la letra n valoresconvenientes.

Desde el punto de vista actual la explicacion radica en la estructuradel grupo de clases. Para los numeros convenientes la representacionpor primos se puede decidir con congruencias sencillas.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 49: Euler y la Teor´ıa de Numeros´ - UAM

13 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Representacion por formas cuadraticas

Carta a N. Beguelin 1778

Todos los numeros contenidos de una sola forma en x2 + y2 sonprimos o dobles de primos donde x e y son primos entre sı. Heobservado que otras expresiones similares de la forma nx2 + y2

gozan de la misma propiedad dando a la letra n valoresconvenientes.

Desde el punto de vista actual la explicacion radica en la estructuradel grupo de clases. Para los numeros convenientes la representacionpor primos se puede decidir con congruencias sencillas.

p = x2 + 5y2 ⇔ 20|p − 1 o 20|p − 9

p = x2+13y2 ⇔ 52|p−a para algun a ∈ {1, 9, 17, 25, 29, 49}

Ej. 109 = 82 + 5 · 32, 20|109 − 9, 233 = 52 + 13 · 42, 52|233 − 25.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 50: Euler y la Teor´ıa de Numeros´ - UAM

14 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Reciprocidad cuadratica

p, q primos distintos mayores que dos.

Ley de reciprocidad cuadratica Conjetura 1772

Si p es de la forma 4mq + (2r + 1)2 entonces q y −q son de laforma np + s2.

Con un lenguaje mas sencillo:

Si 8|(p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p tiene solucion

Si 8 - (p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p no tiene solucion

Ej: 41|x2 − 5 para x = 13, 5|x2 − 41 para x = 1

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 51: Euler y la Teor´ıa de Numeros´ - UAM

14 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Reciprocidad cuadratica

p, q primos distintos mayores que dos.

Ley de reciprocidad cuadratica Conjetura 1772

Si p es de la forma 4mq + (2r + 1)2 entonces q y −q son de laforma np + s2.

Con un lenguaje mas sencillo:

Si 8|(p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p tiene solucion

Si 8 - (p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p no tiene solucion

Ej: 41|x2 − 5 para x = 13, 5|x2 − 41 para x = 1

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 52: Euler y la Teor´ıa de Numeros´ - UAM

14 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Reciprocidad cuadratica

p, q primos distintos mayores que dos.

Ley de reciprocidad cuadratica Conjetura 1772

Si p es de la forma 4mq + (2r + 1)2 entonces q y −q son de laforma np + s2.

Con un lenguaje mas sencillo:

Si 8|(p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p tiene solucion

Si 8 - (p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p no tiene solucion

Ej: 41|x2 − 5 para x = 13, 5|x2 − 41 para x = 1

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 53: Euler y la Teor´ıa de Numeros´ - UAM

14 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Reciprocidad cuadratica

p, q primos distintos mayores que dos.

Ley de reciprocidad cuadratica Conjetura 1772

Si p es de la forma 4mq + (2r + 1)2 entonces q y −q son de laforma np + s2.

Con un lenguaje mas sencillo:

Si 8|(p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p tiene solucion

Si 8 - (p − 1)(q − 1)

p|x2 − q tiene solucion ⇔ q|x2 − p no tiene solucion

Ej: 41|x2 − 5 para x = 13, 5|x2 − 41 para x = 1

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 54: Euler y la Teor´ıa de Numeros´ - UAM

15 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Gauss (1801) demostro la ley de reciprocidad y creo unateorıa de formas cuadraticas (clases, generos, composicion).

Artin (1927) dio una formulacion muy general de la ley dereciprocidad que se aplica a extensiones de cuerpos.

Actualmente se sabe que falta como mucho un numero idoneoen la tabla de Euler (Chowla 1934) y que, si existe, debe sermayor que cien millones.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 55: Euler y la Teor´ıa de Numeros´ - UAM

15 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Gauss (1801) demostro la ley de reciprocidad y creo unateorıa de formas cuadraticas (clases, generos, composicion).

Artin (1927) dio una formulacion muy general de la ley dereciprocidad que se aplica a extensiones de cuerpos.

Actualmente se sabe que falta como mucho un numero idoneoen la tabla de Euler (Chowla 1934) y que, si existe, debe sermayor que cien millones.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 56: Euler y la Teor´ıa de Numeros´ - UAM

15 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Gauss (1801) demostro la ley de reciprocidad y creo unateorıa de formas cuadraticas (clases, generos, composicion).

Artin (1927) dio una formulacion muy general de la ley dereciprocidad que se aplica a extensiones de cuerpos.

Actualmente se sabe que falta como mucho un numero idoneoen la tabla de Euler (Chowla 1934) y que, si existe, debe sermayor que cien millones.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 57: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .

∏(1− p−1)−1 =

∑ 1

n

= x

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 58: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .∏

(1− p−1)−1 =∑ 1

n

= x

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 59: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .∏

(1− p−1)−1 =∑ 1

n= x

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 60: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .∏

(1− p−1)−1 =∑ 1

n= x

x =∑ 1

n1

2x =

∑ 1

2n

⇒ x(1− 1

2) =

∑2-n

1

n

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 61: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .∏

(1− p−1)−1 =∑ 1

n= x

x(1− 1

2) =

∑2-n

1

n

1

3x(1− 1

2) =

∑2-n

1

3n

⇒ x(1− 1

2)(1− 1

3) =

∑2-n3-n

1

n, . . . etc.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 62: Euler y la Teor´ıa de Numeros´ - UAM

16 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Los albores de los metodos analıticos

Diversas observaciones sobre series infinitas 1744

2

1· 3

2· 5

4· · · · · p

p − 1· . . . =

1

1+

1

2+

1

3+

1

4+

1

5+ . . .∏

(1− p−1)−1 =∑ 1

n= x

El producto de Euler

ζ(s) =∞∑

n=1

1

ns, ζ(s) =

∏p

(1− p−s)−1.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 63: Euler y la Teor´ıa de Numeros´ - UAM

17 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La distribucion de los primos

¿Para que otra demostracion de la infinitud de los primos?

Corolario 1∏

(1− p−s)−1 =∑

n−s , s = 1

Se cumple∏

(1− p−1)−1 = log∞.

Corolario 3∏

(1− n−1)−1 = ∞, log∞ < ∞Los primos son infinitamente menos numerosos que los naturales.

Corolario 4 log∏

(1− p−1)−1 ∼ p−1

La suma de los inversos de los primos diverge:∑

p−1 = log log∞.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 64: Euler y la Teor´ıa de Numeros´ - UAM

17 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La distribucion de los primos

Corolario 1∏

(1− p−s)−1 =∑

n−s , s = 1

Se cumple∏

(1− p−1)−1 = log∞.

“log∞ es el mınimo entre todas las potencias de infinito”.

Corolario 3∏

(1− n−1)−1 = ∞, log∞ < ∞Los primos son infinitamente menos numerosos que los naturales.

Corolario 4 log∏

(1− p−1)−1 ∼ p−1

La suma de los inversos de los primos diverge:∑

p−1 = log log∞.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 65: Euler y la Teor´ıa de Numeros´ - UAM

17 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La distribucion de los primos

Corolario 1∏

(1− p−s)−1 =∑

n−s , s = 1

Se cumple∏

(1− p−1)−1 = log∞.

Corolario 2∏

(1− n−2)−1 = 2

Los primos son infinitamente mas numerosos que los cuadrados.

Corolario 3∏

(1− n−1)−1 = ∞, log∞ < ∞Los primos son infinitamente menos numerosos que los naturales.

Corolario 4 log∏

(1− p−1)−1 ∼ p−1

La suma de los inversos de los primos diverge:∑

p−1 = log log∞.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 66: Euler y la Teor´ıa de Numeros´ - UAM

17 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La distribucion de los primos

Corolario 1∏

(1− p−s)−1 =∑

n−s , s = 1

Se cumple∏

(1− p−1)−1 = log∞.

Corolario 2∏

(1− n−2)−1 = 2

Los primos son infinitamente mas numerosos que los cuadrados.

Corolario 3∏

(1− n−1)−1 = ∞, log∞ < ∞Los primos son infinitamente menos numerosos que los naturales.

Corolario 4 log∏

(1− p−1)−1 ∼ p−1

La suma de los inversos de los primos diverge:∑

p−1 = log log∞.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 67: Euler y la Teor´ıa de Numeros´ - UAM

17 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

La distribucion de los primos

Corolario 1∏

(1− p−s)−1 =∑

n−s , s = 1

Se cumple∏

(1− p−1)−1 = log∞.

Corolario 2∏

(1− n−2)−1 = 2

Los primos son infinitamente mas numerosos que los cuadrados.

Corolario 3∏

(1− n−1)−1 = ∞, log∞ < ∞Los primos son infinitamente menos numerosos que los naturales.

Corolario 4 log∏

(1− p−1)−1 ∼ p−1

La suma de los inversos de los primos diverge:∑

p−1 = log log∞.

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 68: Euler y la Teor´ıa de Numeros´ - UAM

18 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Mertens (1897):∏p<x

(1− p−1)−1 ∼ C log x y∑p<x

1

p∼ log log x

dando sentido explıcito a los infinitos de Euler.

La definicion de ζ(s) puede extenderse dando lugar a una funcionmeromorfa en C (¿Euler? Riemann).

Hipotesis de Riemann 1859

Todos los zeros complejos de la funcion ζ tienen parte real 1/2.

#{p < x} =

∫ x

2

dt

log t+ O(

√x log x) ⇔ HR es cierta

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 69: Euler y la Teor´ıa de Numeros´ - UAM

18 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Mertens (1897):∏p<x

(1− p−1)−1 ∼ C log x y∑p<x

1

p∼ log log x

dando sentido explıcito a los infinitos de Euler.

La definicion de ζ(s) puede extenderse dando lugar a una funcionmeromorfa en C (¿Euler? Riemann).

Hipotesis de Riemann 1859

Todos los zeros complejos de la funcion ζ tienen parte real 1/2.

#{p < x} =

∫ x

2

dt

log t+ O(

√x log x) ⇔ HR es cierta

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 70: Euler y la Teor´ıa de Numeros´ - UAM

18 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Despues de Euler

Mertens (1897):∏p<x

(1− p−1)−1 ∼ C log x y∑p<x

1

p∼ log log x

dando sentido explıcito a los infinitos de Euler.

La definicion de ζ(s) puede extenderse dando lugar a una funcionmeromorfa en C (¿Euler? Riemann).

Hipotesis de Riemann 1859

Todos los zeros complejos de la funcion ζ tienen parte real 1/2.

#{p < x} =

∫ x

2

dt

log t+ O(

√x log x) ⇔ HR es cierta

Fernando Chamizo Lorente Euler y la Teorıa de Numeros

Page 71: Euler y la Teor´ıa de Numeros´ - UAM

19 de 19Indice En el XVIII Divisibilidad Ec. diofanticas Formas cuadraticas T. Analıtica Referencias

Referencias

Referencias electronicas

The Euler archive

http://www.math.dartmouth.edu/∼euler/

Ed Sandifer’s How Euler Did It (MAA online)

http://www.maa.org/news/howeulerdidit.html

Esta charla en formato PDF esta en http://www.uam.es/fernando.chamizo

Fernando Chamizo Lorente Euler y la Teorıa de Numeros