Professional Documents
Culture Documents
ANDREW WILES
P. Kittl
Departamento de Mecánica
Casilla 2777
Correo 21
Santiago - CHILE
Resumen
y2 = x3 + A x 2 + B x + C (1)
donde las constantes A, B y C y las variables toman valores sobre los números reales. En
la teoría de números se buscan las soluciones racionales. La conjetura T-S es que estas
soluciones se obtienen de las funciones modulares, que en algunos casos son inversas a las
funciones elípticas [1]. Pero que en general son invariantes para una transformación del
tipo z' = az + b/cz + d, z, z' números complejos o sea que tienen dos períodos en el plano
complejo. Daremos un ejemplo de como un método geométrico puede usarse para un
problema de la teoría de números. La ecuación:
x2 + y2 = z2 (2)
es un caso especial de la (1), puesto que si dividimos por z2 y llamando de nuevo a los
x y
cocientes e ξ e ζ y se tiene:
z z
ξ2 + ζ 2 = 1 (3)
Si buscamos las soluciones enteras de la ecuación (2) es lo mismo que buscar las soluciones
racionales de (3). Conocemos una solución racional la (x = 1, y = o) mostraremos como de
allí se pueden deducir otras, en este caso todas las soluciones. La recta que pasa por (1,0)
tiene la ecuación (Fig. 1) :
1.5
5 12
PC (− , )
13 13
1
2 2
y=− x+
0.5 3 3
0
y
m m
y=− x+
n n
m2 − n 2
-0.5 xC = 2
m + n2
2mn
yC = 2
m + n2
-1
-1.5
-1.5 -1 -0.5 0 0.5 1 1.5
x
m
Fig. 1: Toda recta que tenga pendiente racional y que parta de un punto pitagórico, corta
n
al círculo x2 + y 2 = 1, en otro punto pitagórico.
η = k (ξ - 1) (4)
ξ 2 + k2 (ξ - 1)2 = 1 (5)
Desarrollando 5 se tiene:
ξ 2 (1 + k2 ) - 2 k2 ξ -1 + k2 = 0 (6)
k2 1 k 2 −1
ξ = ± =
1+ k 2 1+ k2 1+ k 2
(7)
2k
η = k (ξ − 1) = −
k 2 +1
Es fácil ver que ξ 2 + η2 = 1 y que η tiene dos signos + y -. Como k es un número racional
negativo para que η sea positivo y cociente de dos enteros k = − m n y la solución es :
m2 − n 2
ξ =
m2 + n 2
(8)
2m n
η=
m 2 + n2
x = m2 - n2
y = 2mn (9)
z = m2 + n2
Las fórmulas (9) contienen todas las soluciones de la ecuación (2) expresadas como
números enteros. Toda solución de la (2) es una generadora de todas las soluciones. En el
caso de las curvas elípticas, la funciones modulares dan los generadores, pero estos no
generan todas las soluciones sino algunas de ellas. El total de las soluciones de todos los
generadores tiene todas las soluciones. En este caso especial hay infinitos generadores y
cada uno genera todas las soluciones.
Curvas elípticas: La curva (1) tiene tres raíces y por lo tanto se puede escribir.
Estas raíces pueden ser reales diferentes a ≠ b ≠ c ε R a < b < c, o dos iguales o
tres iguales. Pueden ser también dos imaginarias conjugadas. En la Fig. 2, se ilustra las
formas de las ecuaciones. Para dibujarlas fácilmente se toma en cuenta que la derivada de
(10) es:
2 y y ' = ( x − a ) ( x − b) + ( x − a ) ( x − c) + ( x − b ) ( x − c )
(11)
( x − a ) ( x − b ) + ( x − a ) ( x − c) + ( x − b ) ( x − c )
y' =
± 2 ( x − a ) ( x − b ) ( x − c)
2
2
1.5
1.5 y2 = x 2 ( x − 1)
y 2 = ( x 2 − 1) x
1
1
Punto aislado
0.5 0.5
0•
0
y
y
-0.5
-0.5
-1
a <b < c
-1
-1.5
a= b< c
-2 -1.5
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
x
-2
0 0.5 1 1.5 2
x
2 2
1.5 1.5
y2 = x 3
1 1
y2 = x ( x2 + 1)
0.5 0.5
0 0
y
-0.5 -0.5
a=b= c
-1 -1
a ; b = z, c = z *
-1.5 -1.5
-2 -2
-1 -0.5 0 0.5 1 1.5 2 -1 -0.5 0 0.5 1 1.5 2
x x
Fig. 2: Cuatro clases de curvas elípticas clasificadas de acuerdo a sus raíces. No todos los puntos son
generadores, por ejemplo, en la curva y 2 = x2 (x-1), x = 2, y = 2, es una solución racional que genera
la solución trivial x=1, y=0.
En estas curvas una solución puede generar otras por el método de interceptar una
tangente a la curva en un punto que es solución de la ecuación, con otra rama de la misma.
Un ejemplo sencillo se obtiene con la curva:
y2 = x3 (12)
a =b=c =o
3 1
3 −1 3
y'= + x 2 = + x 2
2 2
(13)
3
y ' ( x = 1) = +
2
y − 1=
3
(x − 1) (14)
2
2
3
y 2 = x 3 = 1 + ( x −1 (15)
2
9 2 3 1
x3 − x + x− =0 (16)
4 2 4
1 1
Una solución es x1 = y por lo tanto y1 = − 1 . Los valores x1 = , y1 = − 1 son
4 8 4 8
soluciones racionales de la curva elíptica (12) generadas por la solución xo = 1, yo = 1. Es
fácil ver que otra solución generada por x1 = 1 4 , y1 = − 1 8 es solución si la ecuación :
9 2 3 1
x3 − x + 5 x− 8 =0 (17)
24
2 2
la tiene. Efectivamente, la ecuación (17) tiene la solución x2 = 14 y y 2 = ± x23 = ± 1 1
=
2 212 26
Así que la solución xo = 1, yo = 1 engendra una serie de soluciones del tipo (Fig. 3):
1.5
( xo , yo )
1
xo = 1, yo = 1
0.5
1 1
y
x1 = , y1 = −
4 8
1 1
( x2 , y2 ) x2 = , y2 =
8 64
0
( x1 , y1 )
-0.5
-0.5 0 0.5 1 1.5
x
xo = 1 , yo = 1
1 1
x1 = 2 , y1 = − 3
2 2
1 1
x2 = 4 , y2 = 6 (18)
2 2
..................................
1 ( −1) n
xn = , yn =
22 n 23 n
La solución general de la ecuación (12) es:
2 3
x = , y = ±
m m
(19)
n n
donde m y n son enteros primos entre si. La solución xo = 1, yo = 1, genera una serie de
soluciones. Actualmente el único método para predecir los generadores son las funciones
modulares. Wiles demostró [2] que se puede saber si existen generadores para muchas
curvas elípticas. Ahora se supone [3] que se probó se puede saber si existen para todas.
Hay que recordar que la demostración de Wiles del Teorema de Fermat se reduce a
la existencia de soluciones a una curva elíptica y que ella no tiene generadores. Se trabaja
en el campo complejo y las representaciones son en un espacio de cuatro dimensiones. Así
que parece que la conjetura de Taniyama - Shimura fue finalmente probada y todas las
curvas elípticas tienen funciones modulares que pueden decir si tienen o no soluciones
racionales.
Conjetura de Langlands. Esta conjetura dice que entre las representaciones de Galois y
las formas automorfas (funciones automorfas) hay una correspondencia biunívoca [4, 5].
Las representaciones de Galois muestran las relaciones entre la soluciones de las
ecuaciones que estudia la teoría de los números. En la demostración del teorema de Fermat
Wiles probo parte de esta conjetura. Un cuerpo significa una estructura algebraica en la
que puede definirse dos operaciones que son isomorfas con la adición y la multiplicación
entre números reales. Estas estructuras pueden ser números racionales, números reales o
complejos, funciones como polinomios o cocientes de polinomios, campos locales como
los del tipo número m-adicional 1+ n + n2 + ...... Primero se prueba la conjetura para
campos de funciones, luego para campos locales. Así que queda solo para el caso de los
campos numéricos.
1, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 53, 59, 61, 67, 71,
73, 79, 83, 89, 97,..... (20)
Como conclusión se puede asegurar, hoy en día, que no hay capítulo de las
matemáticas aislado del resto, teoría de números, álgebra, análisis, geometría están todos
vinculados.
Agradecimientos: A Marco Rosales, por haber realizado las figuras y leído el trabajo.
Bibliografía
1. Kittl, P., Nota sobre el último teorema de Fermat y su demostración por Andrew
Wiles, Ciencia al día, 2 (1999),
http://wwwciencia.cl/cienciaaldía/volumen2/número1/artículos/artículo l.html.
2. Tate, John, Rational points in eliptical curves, New York, Springer Verlag, 1992.
4. Mackenzie, Dana, Fermat's last theorem first cousin, Science 287(2000) 792.