Documentos de Académico
Documentos de Profesional
Documentos de Cultura
AUTORES:
o Javier Alcaide Prez
o Helia Santiago Colomer
TUTORA:
o ngela Vallego Martn Albo
LO RACIONAL
NO INTERESA
NDICE
1. Introduccin ...Pg. 3
2. Objetivos . Pg. 4
3. Ecuaciones en una variable .... Pg. 4
4. Ecuaciones lineales en dos variables.....Pg. 5
5. Ternas Pitagricas .... Pg. 12
6. El ltimo teorema de Fermat ... Pg. 15
7. Conclusiones ..Pg. 16
8. Datos biogrficos de algunos matemticos .. Pg. 17
Bibliografa . Pg. 18
ANEXO: PROGRAMA EN PASCAL que proporciona ternas pitagricas primitivas . Pg. 18
Lo racional no interesa
Pgina 2
1. INTRODUCCIN
Si,, el conocimiento til es aquel que probablemente va a contribuir al bienestar
material de la humanidad, ahora o en el futuro prximo, de tal forma que la mera
satisfaccin intelectual resulte irrelevante, entonces la mayor parte de las
matemticas superiores son intiles
G.H. Hardy
En su libro Apologa de un matemtico Hardy [Referencia de G. H. Hardy] dice que hay dos
tipos de matemticas, las autnticas, hechas por autnticos matemticos, y las triviales. En cierta
manera, identifica la matemtica trivial con la matemtica til y defiende con vehemencia las
matemticas autnticas an reconociendo la inutilidad de la mayor parte de ellas. Dice Hardy que las
autnticas matemticas perdurarn a lo largo del tiempo pues como ocurre con la mejor literatura,
puede causar una satisfaccin intensa a miles de personas miles de aos despus de ser creadas.
Desde este punto de vista, el tema de nuestra investigacin pertenece a esa parte de la
matemtica que, segn Hardy, se podra llamar intil. Pretendemos exponer una pequesima parte de
autntica matemtica, la que se refiere a un tipo singular de ecuaciones, las llamadas ecuaciones
diofnticas. El trabajo nos ha salido salpicado de referencias a algunos matemticos importantes que
han tenido que ver con este tema, ya sea por sus aportaciones matemticas a l o simplemente porque
se han interesado en el asunto, y nos ha parecido adecuado introducir en el texto una referencia cruzada
que conduzca a una pequea resea de la vida de ese matemtico. Por ejemplo, Hilbert fue un gran
matemtico que tuvo algo que ver con las ecuaciones diofnticas. Veamos:
En agosto de 1900 David Hilbert [Referencia de David Hilbert] propuso a la comunidad
matemtica, reunida en el Congreso Internacional de Matemticas de Pars una serie de problemas,
concretamente 23, cuya resolucin podra encuadrarse perfectamente en lo que Hardy llama las
autnticas matemticas. Se trataba de problemas que apenas conectaban con la realidad, que no
resolvan problemas prcticos, pero que preocupaban mucho a los matemticos tericos.
El dcimo problema de Hilbert planteaba:
Dada una ecuacin diofntica cualquiera, existe algn algoritmo que permita decidir si esa
ecuacin tiene o no tiene soluciones enteras?
Pero qu es una ecuacin diofntica?
El nombre a estas ecuaciones fue dado en honor de Diofanto [Referencia de Diofanto] de
Alejandra, matemtico de la Edad de Plata de la matemtica griega (poca que va desde el 250 al 350
d. C. aprox.), conocido como el padre del lgebra. Actualmente, se llama ecuacin diofntica a una
ecuacin con una o varias incgnitas, cuyos coeficientes son todos nmeros enteros, y de la que se
buscan todas las soluciones que sean nmeros enteros. Por ejemplo:
5x+10 = 0 es una ecuacin diofntica con una incgnita. Su solucin es x = 2 porque 5(-2) +
10 = 0, y esta solucin es nica.
15x + 10y 20 = 0 es una ecuacin diofntica con dos incgnitas. Una de sus soluciones es
x = 2 y = 1, porque 152 + 10(1) 20 = 0; pero esta ecuacin tiene muchas mas soluciones. De
hecho, tiene infinitas soluciones.
3x2 6y2 + 4x 47 = 0 es una ecuacin diofntica con dos incgnitas. Una de sus solucines es
x = 1 y = 9.
Lo racional no interesa
Pgina 3
El reto que Hilbert plante cuando formul su dcimo problema, era el de encontrar un
procedimiento automtico que permita decidir en un nmero finito de pasos (algoritmo) si una ecuacin
diofntica tiene o no tiene soluciones enteras.
Obsrvese que Hilbert no se interesaba tanto por las soluciones como por si se poda decidir
con antelacin la existencia de ellas.
Despus de un largo proceso en el que intervinieron varios matemticos, Matiyasevich
[Referencia de Yuri Matiyasevich] demostr en 1970 que no existe tal algoritmo.
Eso no quiere decir que, a lo largo de la historia de las Matemticas, no se haya demostrado que
determinados grupos de ecuaciones diofnticas tienen solucin. Es ms, se ha demostrado, para ciertos
tipos, cmo determinar si existen o no soluciones enteras (es decir lo que quera Hilbert para cualquier
ecuacin diofntica) y cmo encontrar esas soluciones.
Presentar algunos casos de ecuaciones diofnticas de las que se puede decidir si tienen o
no solucin, y cuntas y cmo son, en caso de que las haya, dichas soluciones.
Conocer los detalles generales de la vida de algunos matemticos que han tenido que ver
de una u otra forma con las ecuaciones diofnticas.
Hemos resaltado en color azul los resultados importantes y hemos sombreado en gris las
demostraciones, todo ello con el objetivo de facilitar una lectura ms rpida, pudiendo saltarse las partes
grises si as se desea o buscar fcilmente uno de los resultados anteriores en el texto.
Lo racional no interesa
Pgina 4
3.2.1.
Demostracin
Si x es solucin entera de la ecuacin anxn + an-1xn-1 + + a1x + a0 = 0 entonces,
a0
4.1.
Demostracin
Lo racional no interesa
Pgina 5
A continuacin nos ocuparemos de encontrar un mtodo para hallar todas las soluciones de la
ecuacin ax+by=c, con a,b,c, a0, b0 y mcd(a,b) = 1.
En primer lugar demostraremos cmo se pueden obtener todas las soluciones de una ecuacin
de este tipo a partir de una solucin concreta conocida.
4.2.
Si x= y= es una solucin de la ecuacin ax + by = c , a,b,c, a0, b0 y
mcd(a,b) = 1 entonces:
x = + bt
1) Los nmeros de la forma
con t, son tambin solucin de la ecuacin.
y = at
2) Cualquier otra solucin de la ecuacin se puede escribir de esa forma.
Observemos que el primer apartado de este resultado implica que una vez demostrada la
existencia de una solucin, habremos demostrado que hay infinitas soluciones.
Demostracin
1) Supongamos que (,) es solucin de la ecuacin ax + by = c . Tomemos t y
consideremos los nmeros +bt y at; veamos que esos nmeros son solucin de
ax+by=c
2) Supongamos que (1,1) es otra solucin distinta de (,); veamos que t tal
1 = + bt
que
1 = at
Por ser (,) solucin a + b = c
(1)
(2)
1= at.
Pgina 6
Para cerrar el problema de la existencia de soluciones nos queda encontrar una primera
solucin, la que hemos llamado x= y=.
Consideramos la ecuacin diofntica ax + by = c , a,b,c, a0, b0 y mcd(a,b) = 1; se
pretende hallar una solucin inicial de ella.
4.3.
Algoritmo de Euclides [Referencia de Euclides Si dividimos a entre b, obtenemos un
cociente q1 y un resto r2. Si r20, dividimos b entre r2, obteniendo un cociente q2 y un resto r3.
Si r30, dividimos r2 entre r3, obteniendo un cociente q3 y un resto r4, y as sucesivamente.
Este proceso tendr fin y llegaremos a una divisin de resto rn+1 = 0.
Supongamos que a,b, a0, b0 . Mediante sucesivas divisiones enteras, obtenemos:
a = b q1 + r2 con r2 < b (dividiendo a entre b, cociente q1, resto r2)
b = r2 q 2 + r3 con r3 < r2 (dividiendo b entre r2, cociente q2, resto r3)
r2 = r3 q3 + r4 con r4 < r3 (dividiendo r2 entre r3, cociente q3, resto r4)
r3 = r4 q 4 + r5 con r5 < r4 (dividiendo r3 entre r4, cociente q3, resto r5)
..
.
Como b > r2> r3> r4>>0 y la cantidad de nmeros enteros positivos menores que un nmero
dado b es finita, debe existir n, con rn+1 = 0. As:
rn 2 = rn 1 q n 1 + rn con rn < rn 1 (dividiendo rn-2 entre rn-1, cociente qn-1, resto rn)
rn 1 = rn q n + 0 (dividiendo rn-1 entre rn, cociente qn, resto rn+1=0)
Teniendo en cuenta todas las igualdades anteriores, se puede escribir:
r
a
1
1
1
1
= q1 + 2 = q1 +
= q1 +
= q1 +
= q1 +
=
b
r3
1
1
b
b
q2 +
q2 +
q2 +
r2
r
r2
r2
q3 + 4
r3
r3
= q1 +
1
q2 +
Lo racional no interesa
1
1
q3 +
r3
r4
= q1 +
1
q2 +
= .......
1
q3 +
1
q4
Pgina 7
Es decir
4.4.
1
q2 +
1
q3 +
q4 +
1
qn1 +
1
qn
1 3 = q1 +
1 ,
1 = q1 , 2 = q1 +
,
q2 +
q2
q3
= q1 +
1
q2 + +
1 con 1 k n
qk
4.5.
Pk
Qk
donde P1 = q1 , P2 = q1 q2 + 1 , Q1 = 1 , Q2 = q 2 y
Pk = q k Pk 1 + Pk 2 , Qk = q k Qk 1 + Qk 2
Veamos cmo. Es fcil comprobar los primeros casos. La demostracin se completar por
induccin.
P = q1
P
1 = 1 = q1 1
Q1
Q1 = 1
2 = q1 +
3 = q1 +
P = q 2 P1 + 1
1 q1 q 2 + 1 q 2 P1 + 1 P2
=
=
=
2
q2
q2
q 2 Q1 + 0 Q2
Q2 = q 2 Q1
1
q2 +
1
q3
= q1 +
P3 = q3 P2 + P1
q3
q q q + q1 + q3
q P + P1
= 1 2 3
= 3 2
q 2 q3 + 1
q 2 q3 + 1
q3 Q2 + Q1
Q3 = q3 Q2 + Q1
Pgina 8
4 = q1 +
1
q2 +
= q1 +
1
q3 +
1
q4
1
q2 +
q4
q3 q 4 + 1
= q1 +
q3 q 4 + 1
=
q 2 q3 q 4 + q 2 + q 4
P4 = q 4 P3 + P2
q1 q 2 q3 q 4 + q1 q 2 + q1 q 4
q P + P2
= 4 3
q 2 q3 q 4 + q 2 + q 4
q 4 Q3 + Q2
Q4 = q 4 Q3 + Q2
Demostracin
Por induccin sobre k.
Como ya lo hemos comprobado para los primeros valores de k (hasta k=4), slo faltar
demostrar que si suponemos ciertas las formulas para k, entonces tambin lo son para k+1.
Supongamos que se cumple
Pk = q k Pk 1 + Pk 2 y Qk = q k Qk 1 + Qk 2
1
qk + 1
k+ 1
q k +
=
q k +
1
Pk 1 + Pk 2 q k Pk 1 +
q k + 1
=
1
Qk 1 + Qk 2 q k Pk 1 +
q k + 1
Pk 1
P
q k + 1 Pk + Pk 1
+ Pk 2 Pk + k 1
qk + 1
qk + 1
qk+ 1
=
=
=
Pk 1
Qk 1 q k + 1 Qk + Qk 1
+ Pk 2 Qk +
qk + 1
qk + 1
qk+ 1
Pk + 1 = q k + 1 Pk + Pk 1
q k + 1 Pk + Pk 1 Pk + 1
=
q k + 1 Qk + Qk 1 Qk + 1 Qk + 1 = q k + 1 Qk + Qk 1
Recordemos que nuestro propsito es obtener una solucin inicial a la ecuacin diofntica
ax+by=c, presentamos a continuacin el proceso:
4.6.
Siendo k los nmeros del resultado 4.5. se tiene:
( 1) k 1
k+ 1 k =
Qk + 1Qk
Lo racional no interesa
Pgina 9
Demostracin
k+ 1
Pk + 1 Pk
P Q Pk Qk + 1 ( q k Pk + Pk 1 ) Qk Pk ( q k Qk + Qk 1 )
= k+ 1 k
=
=
Qk + 1 Q k
Qk + 1 Qk
Qk + 1 Qk
Pk 1 Qk Pk Qk 1 ( Pk Qk 1 Pk 1 Qk )
=
Qk + 1 Qk
Qk + 1 Qk
Observando que Pk + 1 Qk Pk Qk + 1 = ( Pk Qk 1 Pk 1 Qk ) , se puede escribir :
=
k+ 1 k =
Pk + 1 Qk Pk Qk + 1 ( Pk Qk 1 Pk 1 Qk ) ( 1) 2 ( Pk 1 Qk 2 Pk 2 Qk 1 )
=
=
=
Qk + 1 Qk
Q k + 1 Qk
Qk + 1 Qk
( 1) 3 ( Pk 2 Qk 3 Pk 3 Qk 2 )
( 1) k 1 ( P2 Q1 P1 Q2 ) ( 1) k 1 ( ( q 2 q1 + 1) 1 q1 q 2 )
=
= ... =
=
=
Qk + 1 Q k
Qk + 1 Q k
Qk + 1 Q k
=
( 1) k 1
Q k + 1 Qk
4.7.
Consideremos la ecuacin ax + by = c , a,b,c, a0, b0 y mcd(a,b) = 1 entonces
Pn 1
1
= q1 +
x0 = ( 1) n Qn 1 c
1
Q
q2 +
con n 1
n
y 0 = ( 1) Pn 1 c
q3 + +
1
qn 1
Demostracin
3.1.6.
Si en el resultado
n 1
se considera
k+ 1
a
, se obtiene:
b
( 1) n 2
( 1) n
a Pn 1
( 1) n
n
=
=
a Qn 1 b Pn 1 = ( 1)
Qn Q n 1 b Qn 1
b Qn 1 b Q n 1
a Qn 1 c b Pn 1 c = ( 1) c
n
(( 1)
Qn 1 c a + ( 1)
x = ( 1) Qn 1 c
siendo
y = ( 1) n 1 Pn 1 c
n
Lo racional no interesa
Pn 1
= q1 +
Qn 1
n 1
Pn 1 c b = ( 1)
ax + by = c
2n
c= c
es:
1
q2 +
1
q3 + +
1
qn 1
Pgina 10
(De la anterior demostracin, se observa que para hallar la solucin inicial de la ecuacin
a
diofntica ax + by = c , nicamente tenemos que calcular la diferencia n 1 y multiplicar por c)
b
A continuacin veamos dos situaciones en las que se requiere el planteamiento y la resolucin
de una ecuacin de este tipo.
Ejemplo 1: El promotor de un concierto decide establecer el precio de la entrada para la zona en
la que el pblico est de pie en 20 y el precio de las entradas numeradas de asiento en 50 . Cmo
se puede distribuir la venta de entradas si quiere recaudar 38700 ?
Planteamos la ecuacin: 20x+50y=38700 2x+5y=3870
Tiene soluciones la ecuacin? Si, ya que el m.c.d(2, 5) =1
Hallemos una primera solucin:
5
1
= 2 + ; de manera que n 1 = 2
2
2
5
1
2=
5(1)+2(2 ) =1 (multiplicando por 3870) 2(7740)+53870 = 3870
2
2
x0 = 7740
Por tanto, una de las soluciones de la ecuacin es
y 0 = 3870
x = 7740 + 5t
con t
Todas las soluciones de la ecuacin son de la forma
y = 3879 2t
Solo nos interesan las soluciones positivas, asi que:
7740
3870
7740 + 5t 0 t
1550
y
3870 2t 0 t
1930
5
2
Por tanto slo valen las soluciones que se obtienen para t entre 1550 y 1930.
Hay 380 soluciones distintas. En el contexto de nuestro problema, tres de ellas seran:
Si t = 1550 N de entradas de 20 = 10 y N de entradas de 50 = 770
Si t = 1740 N de entradas de 20 = 960 y N de entradas de 50 = 390
Si t = 1930 N de entradas de 20 = 1910 y N de entradas de 50 = 10
Ejemplo 2: Una persona compra 40 sellos por un valor total de 10 euros. Los sellos son de 10 cts,
40 cts, y 1,4 . Cuntos sellos ha comprado de cada clase?
Planteamos la ecuacin: 10x+40y+140(40 x y) = 1000
en la que x son los sellos de 10 cts, y los sellos de 40cts y 40 x y los sellos de 1,40.
10x + 40y + 140(40 x y) = 1000 10x + 40y + 14040 140x 140y = 1000
130x + 100y = 4600 13x + 10y = 460
Tiene soluciones la ecuacin? Si, ya que el m.c.d(13,10) =1
Hallemos una primera solucin:
Lo racional no interesa
Pgina 11
13
3
= 1+
= 1+
10
10
1
1
3+
3
Por lo que
n 1
= 1+
1 4
=
3 3
13 4
1
=
; 13 (3) + 10 ( 4) = 1 ; 13 ( 1380) + 10(1840) = 460
10 3
30
x = 1380
y por tanto las soluciones vlidas son las que obtenemos para t = 140 y t = 141, que son:
x = 20
y = 20 y
z= 0
x = 30
y= 7
z= 3
5. TERNAS PITAGRICAS
Consideremos la ecuacin: x2 + y2 = z2.
Es obvio que esta ecuacin tiene solucin. Por ejemplo, una de ellas es la formada por los nmeros
3, 4 y 5. En realidad, una solucin de esta ecuacin est formada por las medidas de los lados de un
tringulo rectngulo, por ello las soluciones de esta ecuacin reciben el nombre de ternas pitagricas. En
el contexto de las ecuaciones diofnticas, consideraremos solamente las soluciones formadas solamente
por nmeros enteros.
En este apartado, vamos a intentar describir la forma de obtener todas las soluciones de esta
ecuacin. El proceso requiere algunos resultados previos:
5.1.
Si (x0, y0, z0) es una solucin de la ecuacin x2 + y2 = z2 y si es cualquier nmero
entero, entonces (x0, y0, z0) tambin es otra solucin de la misma ecuacin.
Demostracin
Es evidente ya que: ( x 0 ) 2 + ( y 0 ) 2 = 2 x 0 2 + y 0 2 = 2 z0 2 = ( z0 ) 2
Lo racional no interesa
Pgina 12
5.2.
Si (x0, y0, z0) es una solucin de la ecuacin x + y = z y m.c.d.(x0,y0) = d entonces
2
x0 y 0 z 0
d tambin divide a z0 y adems los nmeros enteros , , forman tambin una
d d d
solucin de esa ecuacin.
Demostracin
Podemos escribir:
x 0 = d x1
2
2
2
2
2
2
2
z 0 = x 0 + y 0 = ( dx1 ) + ( dy1 ) = d 2 x1 + y1
y 0 = d y1
d2 divide a z0 2 d divide a z0
x y
z
Por tanto los nmeros 0 , 0 y 0 son enteros y forman una nueva solucin ya
d d
d
que:
2
2
2
2
2
2
x0 + y 0
z0
x0
y0
z0
+
=
=
=
d2
d2 d
d
d
Gracias a las proposiciones anteriores, es suficiente con hallar las soluciones de la ecuacin
x 2 + y 2 = z 2 en las que los nmeros x e y sean primos entre s; a estas soluciones las denominaremos
soluciones primitivas El resto de soluciones se obtendrn sin ms que multiplicar los tres nmeros
iniciales por un mismo nmero entero.
Cmo hallar una solucin primitiva de la ecuacin x 2 + y 2 = z 2 ?
Si x,y,z y se cumple x + y = z
2
5.3.
con x e y primos entre s, es decir m.c.d.(x,y) = 1
Demostracin
Como x e y son primos entre s uno de ellos tiene que ser impar (si los dos fueran pares no seran
primos entre s). Supongamos sin perder generalidad que x es impar. Sea = mcd( z + y , z y).
Entonces:
z + y = u
z y = v
x 2 = z 2 y 2 = ( z + y )( z y ) = u v = 2 uv
u , v , mcd (u , v) = 1 tales que
2 divide a x 2 divide a x
Por otra parte debe ser impar ya que de lo contrario x 2 = 2 uv sera mltiplo de 4 y,
por tanto, x sera par en contra de la hiptesis inicial.
Ahora restamos z + y y z y
Lo racional no interesa
Pgina 13
u v
divide a y
2
Como divide a x y divide a y y m.c.d.(x,y) = 1 , tendremos = 1
z + y ( z y) = u v 2 y = ( u v ) y =
a2 + b2
z
=
2
2
z + y = u
z + y + z y = u + v 2 z = a + b
2
2
2
2
2
z y = v
z + y z + y = u v 2 y = a b
y= a b
2
Es decir:
5.4.
Si x,y,z con x e y primos entre s, las soluciones primitivas de la ecuacin
x2 + y2 = z2 vienen dadas por
x = ab
y=
a 2 b2
2
z=
a2 + b2
2
3
5
7
9
11
15
15
21
3
5
7
9
11
5
15
7
1
1
1
1
1
3
1
3
Lo racional no interesa
y=
a2 b2
2
4
12
24
40
60
8
112
20
z=
a2 + b2
2
5
13
25
41
61
17
113
28
Terna
(3,4,5)
(5,12,13)
(7,24,25)
(9,40,41)
(11,60,61)
(15,8,17)
(15,112,113)
(21,20,28)
Pgina 14
Lo racional no interesa
Pgina 15
curva racional de gnero mayor que 1 tiene, como mucho un nmero finito de puntos con coordenadas
enteras) cuya comprensin se nos escapa pero que al parecer supuso otro gran avance. El resto es
ms difcil todava. Citemos solamente algunos hechos y fechas.
En 1955 Taniyama conecta las curvas elpticas y las funciones modulares. Y este hecho es el
que propicia la aparicin del autor de la demostracin definitiva, Wiles, que era especialista en curvas
elpticas.
Ribet demuestra en 1985 la conjetura de Frey, que relaciona las curvas elpticas con el ltimo
teorema de Fermat.
Andrew Wiles [Referencia de A. Wiles anuncia en junio de 1993 que haba logrado demostrar la
conjetura de Shimura Taniyama, lo cual implicara la demostracin completa del ltimo teorema de
Fermat. Pero en diciembre tuvo que admitir un error encontrado en su demostracin. Corregir ese error,
con ayuda de otro matemtico, Taylor, que era alumno suyo, le llev otro ao y pico de trabajo.
Finalmente, en septiembre de 1994, el ltimo teorema de Fermat qued demostrado.
Y terminamos casi volviendo al punto de partida del trabajo:
La pregunta surge inevitable. El teorema est demostrado, y qu?, para qu
tanto esfuerzo intil? La respuesta es tambin inevitable. Intil?, seguro que
intil?
Capi Corrales
7. CONCLUSIONES.
Como ya dijimos en el apartado de objetivos, una de las cosas que se pretendan en este trabajo era
mostrar algunos casos de ecuaciones con soluciones enteras, y demostrar si tienen solucin y como
hallarla. No podemos alargarnos ms, tanto por falta de tiempo y espacio, como por falta de
conocimientos. Sin embargo, creemos haber conseguido dar una visin general de lo que son estas
ecuaciones, su forma y sus soluciones.
Queda demostrado, pues, la existencia (o no existencia) de soluciones en algunos de los casos mas
importantes de las ecuaciones diofnticas como son ax+by=c x2+y2=z2. Tambin, inevitablemente,
hemos hecho un repaso del proceso histrico que llevo a la demostracin del ltimo Teorema de
Fermat.
Sin embargo dejamos atrs el estudio de otro tipo de ecuaciones que tambin tienen solucin, como por
ejemplo las de la forma x2 Ay2 = 1, donde A es un entero positivo no cuadrado perfecto, y de otras que
no la tienen, por ejemplo x4 + 2y4 = z2.
Despus de 4 meses de trabajo, creemos haber conseguido los objetivos que nos propusimos al
comienzo y estamos contentos porque cada uno de nosotros ha podido aportar algo para lo que tiene
ms facilidad. No es lo mismo entender una demostracin, que redactar la parte de objetivos, o que
hacer la presentacin electrnica en formato A1. Quizs la organizacin de este concurso considere
mejor un trabajo en el que todos hagan todo, pero hemos de reconocer que nosotros no hemos podido.
Sin embargo, consideramos ms real y mas til para nuestra vida conocer nuestros puntos fuertes y
nuestras limitaciones y sacar partido de ello.
Lo racional no interesa
Pgina 16
Lo racional no interesa
Pgina 17
Referencia de A. Wiles (1953 ) Matemtico britnico que alcanz fama mundial cuando en
1993 en unas conferencias que pronunciaba en el Instituto Isaac Newton, de la Universidad de
Cambridge, anunci la demostracin del ltimo teorema de Fermat. Posteriormente se encontr un error
que fue subsanado en septiembre del 94. En este ao Wiles fue designado Eugene Higgins Professor of
Mathematics en Princeton. El artculo en el que prueba el ltimo Teorema de Fermat es Modular
elliptic curves and Fermat's Last Theorem y fue publicado en el Annals of Mathematics en 1995. A
partir de 1995 Wiles comenz a recibir premios y distinciones por su trabajo pero no pudo llegar a tiempo
de que se le otorgara una de las ms famosas distinciones matemticas, La medalla Field, que no se
concede a matemticos mayores de 40 aos. [Volver a la pgina 16]
BIBLIOGRAFA
Boyer, C. B. Historia de la matemtica. Ed. Alianza Universidad Textos.
Corrales, C. El ltimo teorema de Fermat S.M.P.M.Emma Castelnuovo, n 9.
Devlin, K. El lenguaje de las Matemticas. Ed MA Non Troppo, 2002.
Guelfond, A.O. Resolucin de ecuaciones en nmeros enteros. Ed. Mir, 1984
Hardy, G.H. Apologa de un matemtico. Madrid: Ed. Nivola, 1999
Faria, J. C. Los 23 problemas de Hilbert. Las matemticas del siglo XX. Una mirada en 101
artculos. Madrid: Ed. Nivola, 2000.
Poblacin Sez, Jess. Julia Robinson y el H 10 DivulgaMat. Revista virtual. Enero 2010.
ANEXO:
PROGRAMA EN PASCAL QUE PROPORCIONA TERNAS PITAGRICAS PRIMITIVAS
Adjuntamos adems un programa informtico escrito en lenguaje PASCAL que proporciona ternas
pitagricas primitivas. El programa solicita introducir un nmero impar u y devuelve todas las ternas
pitagricas primitivas de la forma:
u2 v2 u2 + v2
uv,
,
2
2
Pgina 18
Pgina 19
Lo racional no interesa
Pgina 20