Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
14 de febrero de 2007
Índice
1 En el XVIII
2 Divisibilidad
3 Ec. diofánticas
4 Formas cuadráticas
5 T. Analı́tica
6 Referencias
La herencia de Fermat
Fermat
(1601-1665)
Euler
(1707-1783)
Lagrange
(1736-1813)
Legendre
(1752-1833) Gauss
(1777-1855)
La herencia de Fermat
Fermat ¿Demostraciones?
(1601-1665)
Euler
(1707-1783)
Lagrange
(1736-1813)
Legendre
(1752-1833) Gauss
(1777-1855)
La herencia de Fermat
Fermat ¿Demostraciones?
(1601-1665)
Euler Demostraciones
(1707-1783)
Lagrange
(1736-1813)
Legendre
(1752-1833) Gauss
(1777-1855)
La herencia de Fermat
Fermat ¿Demostraciones?
(1601-1665)
Euler Demostraciones
(1707-1783)
Lagrange
(1736-1813)
Legendre
(1752-1833) Gauss Demostraciones perfectas
(1777-1855)
La herencia de Fermat
Fermat ¿Demostraciones?
(1601-1665)
Euler Demostraciones
(1707-1783)
Lagrange
(1736-1813)
Legendre
(1752-1833) Gauss Demostraciones perfectas
(1777-1855)
Divisibilidad
Divisibilidad
(a + 1)p = ap + 1p + p · cosas
Divisibilidad
(a + 1)p = ap + 1p + p · cosas ⇒
Divisibilidad
Divisibilidad
Divisibilidad
Divisibilidad
Divisibilidad
Divisibilidad
Después de Euler
Después de Euler
Después de Euler
Después de Euler
Después de Euler
Después de Euler
Después de Euler
Factorización única
x3 + y3 = z3 solución mı́nima x, y , z.
Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.
Factorización única
x3 + y3 = z3 solución mı́nima x, y , z.
Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.
Factorización única
x3 + y3 = z3 solución mı́nima x, y , z.
Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.
Factorización única
x3 + y3 = z3 solución mı́nima x, y , z.
Se puede suponer x = p + q, y = p − q, 4|p, mcd(p, q) = 1.
⇒ 2t (t + 3u) (t − 3u)
2p = |{z}
| {z } | {z }
h3 f3 g3
3 3 3
⇒ h =f +g solución menor ⇒ contr.
Después de Euler
Después de Euler
Después de Euler
Después de Euler
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
Euler 1733 √
x1 ≈x2 13
x12 = 13x22 + 1 −→ x1 = 3x2 + x3
√
x2 ≈x3 6/4
4x22 = 6x2 x3 + x32 − 1 −→ x2 = x3 + x4
...... ......... ......
2 2
x11 = 6x11 x12 + 4x12 +1
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
Euler 1733 √
x1 ≈x2 13
x12 = 13x22 + 1 −→ x1 = 3x2 + x3
√
x2 ≈x3 6/4
4x22 = 6x2 x3 + x32 − 1 −→ x2 = x3 + x4
...... ......... ......
2 2 2
x11 = 6x11 x12 + 4x12 +1 ! ∆ = 13x12 +1
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
Euler 1733 √
x1 ≈x2 13
x12 = 13x22 + 1 −→ x1 = 3x2 + x3
√
x2 ≈x3 6/4
4x22 = 6x2 x3 + x32 − 1 −→ x2 = x3 + x4
...... ......... ......
2 2
x11 = 6x11 x12 + 4x12 +1 ! Sol. triv. x12 = 0, x11 = 1
La ecuación de Pell
Q(x, y ) = n ⇒
ax 2 − by 2 = n ⇒ x 2 − Ay 2 = m ⇒ sol. part. x 2 − Ay 2 = 1.
Euler 1733 √
x1 ≈x2 13
x12 = 13x22 + 1 −→ x1 = 3x2 + x3
√
x2 ≈x3 6/4
4x22 = 6x2 x3 + x32 − 1 −→ x2 = x3 + x4
...... ......... ......
2 2
x11 = 6x11 x12 + 4x12 +1 ! Sol. triv. x12 = 0, x11 = 1
p = x 2 + 5y 2 ⇔ 20|p − 1 ó 20|p − 9
2 2
p = x +13y ⇔ 52|p−a para algún a ∈ {1, 9, 17, 25, 29, 49}
Ej. 109 = 82 + 5 · 32 , 20|109 − 9, 233 = 52 + 13 · 42 , 52|233 − 25.
Reciprocidad cuadrática
Reciprocidad cuadrática
Si 8|(p − 1)(q − 1)
p|x 2 − q tiene solución ⇔ q|x 2 − p tiene solución
Reciprocidad cuadrática
Si 8|(p − 1)(q − 1)
p|x 2 − q tiene solución ⇔ q|x 2 − p tiene solución
Si 8 - (p − 1)(q − 1)
p|x 2 − q tiene solución ⇔ q|x 2 − p no tiene solución
Reciprocidad cuadrática
Si 8|(p − 1)(q − 1)
p|x 2 − q tiene solución ⇔ q|x 2 − p tiene solución
Si 8 - (p − 1)(q − 1)
p|x 2 − q tiene solución ⇔ q|x 2 − p no tiene solución
Después de Euler
Después de Euler
Después de Euler
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
Y X1
(1 − p −1 )−1 =
n
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
Y X1
(1 − p −1 )−1 = =x
n
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
Y X1
(1 − p −1 )−1 = =x
n
X1
x=
n
1 X1
⇒ x(1 − ) =
1 X 1 2 n
x= 2-n
2 2n
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
Y X1
(1 − p −1 )−1 = =x
n
1 X1
x(1 − ) =
2 n
2-n
1 1 X1
1 1 1 ⇒ x(1 − )(1 − ) = ,... etc.
2 3 n
X
x(1 − ) =
2-n
3 2 3n
2-n 3-n
2 3 5 p 1 1 1 1 1
· · · ··· · · ... = + + + + + ...
1 2 4 p−1 1 2 3 4 5
Y X1
(1 − p −1 )−1 = =x
n
El producto de Euler
∞
X 1 Y
ζ(s) = , ζ(s) = (1 − p −s )−1 .
ns p
n=1
(1 − p −s )−1 = n−s , s = 1
Q P
Corolario 1
(1 − p −1 )−1 = log ∞.
Q
Se cumple
(1 − p −s )−1 = n−s , s = 1
Q P
Corolario 1
(1 − p −1 )−1 = log ∞.
Q
Se cumple
(1 − n−2 )−1 = 2
Q
Corolario 2
Los primos son infinitamente más numerosos que los cuadrados.
(1 − p −s )−1 = n−s , s = 1
Q P
Corolario 1
(1 − p −1 )−1 = log ∞.
Q
Se cumple
(1 − n−2 )−1 = 2
Q
Corolario 2
Los primos son infinitamente más numerosos que los cuadrados.
(1 − n−1 )−1 = ∞,
Q
Corolario 3 log ∞ < ∞
Los primos son infinitamente menos numerosos que los naturales.
(1 − p −s )−1 = n−s , s = 1
Q P
Corolario 1
(1 − p −1 )−1 = log ∞.
Q
Se cumple
(1 − n−2 )−1 = 2
Q
Corolario 2
Los primos son infinitamente más numerosos que los cuadrados.
(1 − n−1 )−1 = ∞,
Q
Corolario 3 log ∞ < ∞
Los primos son infinitamente menos numerosos que los naturales.
(1 − p −1 )−1 ∼ p −1
Q
Corolario 4 log
P −1
La suma de los inversos de los primos diverge: p = log log ∞.
Después de Euler
Mertens (1897):
Y X1
(1 − p −1 )−1 ∼ C log x y ∼ log log x
p<x p<x
p
dando sentido explı́cito a los infinitos de Euler.
Después de Euler
Mertens (1897):
Y X1
(1 − p −1 )−1 ∼ C log x y ∼ log log x
p<x p<x
p
dando sentido explı́cito a los infinitos de Euler.
Después de Euler
Mertens (1897):
Y X1
(1 − p −1 )−1 ∼ C log x y ∼ log log x
p<x p<x
p
dando sentido explı́cito a los infinitos de Euler.
Referencias
Referencias electrónicas
The Euler archive
http://www.math.dartmouth.edu/∼euler/