CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

LTIMO TEOREMA DE FERMAT Derechos de Autor Registrados y Reservados
LTIMO TEOREMA DE FERMAT
Actuando, supongo, en el conjunto de los nmeros enteros PIERRE DE FERMAT debi haber buscado un
cubo que uera el resultado de sumar otros dos cubos, lo mismo hi!o con potencias de ma"or grado,
e#aminando una muestra coniable sin encontrar la pareja apetecida que cumpliera la ecuacin
z x y
n n n
= + #, " $, n > $
%atigado de la inructuosa bsqueda, reali!ados algunos ra!onamientos matemticos " eectuados algunos
clculos probabil&sticos conjetur la ine#istencia de triadas !"# y# $% que cumplieran la mencionada ecuacin
en el conjunto de los enteros.
'l genio que hi!o aquella airmacin era abogado dedicado a las matemticas en su tiempo libre, pero su
dedicacin iba ms all de las ambiciones del comn autodidacta( %ermat es considerado, por sus aportes,
gestor de la geometr&a anal&tica " de la teor&a de la probabilidad. )ambi*n se le reconocen contribuciones en
el campo de la &sica.
'l genio, al igual que todo ser humano, tiene sus limitaciones+ %ermat ormul ,arias conjeturas que luego
sucumbieron ante el poder del anlisis matemtico permaneciendo indestructible el denominado LTIMO
TEOREMA DE FERMAT cu"a ,eracidad, tengo la absoluta seguridad, por in ha sido demostrada en orma
general " directa conirmando la ase,eracin de aquel genio de que la demostracin no cabe en las estrechas
mrgenes de un libro. 'l -ltimo )eorema de %ermat es, en realidad, incompleto dado que la ecuacin ni
siquiera se cumple en el conjunto de los nmeros racionales para & ' (.
.'l -ltimo )eorema de %ermat es el teorema que tiene el ma"or nmero de demostraciones incorrectas
publicadas, " de ,e! en cuando, pero con regularidad, sigue apareciendo alguna.../ 0Mart&n 1ardner2.
'stimado Matemtico, espero que la siguiente demostracin de la ltima conjetura de %ermat no me haga
engrosar el listado de matemticos ilusos que pretendieron obtener resultados correctos sin lograrlo. Usted
tiene la palabra.
ES)EMA DE LA DEMOSTRACI*N
La demostracin tiene como undamento el )eorema de los 3rracionales de %ermat 0)3%2 " en que toda
solucin primiti,a !"# y# $% de la ecuacin pitagrica cumple las siguientes condiciones
A x tr y t r z t r z x y . . . . . 4 5 5 6 7
5 5 5 5 5 5 5
= = = + = +
8ado que las ecuaciones +# ( y , conducen a la cuarta " *sta a ellas, el proceso demostrati,o del Ultimo
)eorema de %ermat reside en la utili!acin de las - ecuaciones anteriores. Adems, dado que el sistema
B a x tr b y t r c z t r d z x y . . . . . = = = + = + 5 4 4
5 5 5 5 5 5 5
es cierto entonces la solucin inicial in,olucra la solucin ./ " *sta la A. Si la solucin ./ no se cumple
para r 0 + entonces no se cumplir para ninguna pareja !t# r% dado que r puede tomar cualquier ,alor as&
sea natural o no.
Llegados a este punto, encontramos que es suiciente con emplear el sistema
C a x t b y t c z t d z x y . . . . . = = = + = + 5 4 4
5 5 5 5 5
4
CARLOS GIRALDO OSPINA
Lic. Matemticas, USC

LTIMO TEOREMA DE FERMAT Derechos de Autor Registrados y Reservados
9bteniendo luego la e#presin+
y
m m
=

5 4
5 5
para 1 cualquiera en lugar de e#ponente 5 en la ecuacin
pitagrica, que se denominar 3rracional de %ermat para 1 ' + " cu"a demostracin aparece ms adelante.
Lo dicho en los prraos que preceden, de acuerdo con los sistemas A., :. " C de ecuaciones, se resume as&+
A B C
Si al subsistema ormado por las tres primeras ecuaciones de cada sistema se denomina D " a la cuarta E
entonces lo dicho respecto a ellas se resume en+
D E
'n consecuencia, lo que sucede en cada sistema sucede en el otro " lo que acontece en cada subsistema
sucede en el sistema.
IRRACIONALES DE FERMAT
Se denominarn 3rracionales de %ermat a los nmeros de la orma I
f
m m
=

5 4
5 5
m;, m < 4
TEOREMA2 TIF
Si
m N
, 4 > m entonces los nmeros I
f
m m
=

5 4
5 5
son irracionales
DEMOSTRACI*N
+/ Sea N m , 4 > m I
f
m m
=

5 4
5 5
(/ I
f
m
m
= 7
4
7
4
5
5
........................................................................ segn +
,/ Sean a b N ,
4
7
4
5
5
=
m
m
a
b
-/
5 7
5
5
5 5
m
m
m
m
a
b

=
+
..................................................................... segn ,
3/
5 7
5m m
a =
,
5
5 5 m
b
m
+
=
................................................. segn , " -
Nota/ ;o es necesario considerar la irreductibilidad de la racciones dado que al inal aparece una
e#presin semejante a la del numeral -/
4/ a
m
m
=

7 4
4
5
5 5
,
b
m
= 7 7
........................................................ segn 3
5/ Si m = 5 entonces
a = 5 6
,
b = >
,
a
b
=
6
7
...................... segn 4/
6/
a
b
no es racional si m = 5 ........................................................... segn 5
7/ 7
5
4
4 7
5 5
= =



m
m
m
m
Lim a Lim
5
CARLOS GIRALDO OSPINA
Lic. Matemticas, USC

LTIMO TEOREMA DE FERMAT Derechos de Autor Registrados y Reservados
?or lo tanto, los nicos ,alores naturales posibles de a son 4, 5 o 6,
para los cuales es cil ,eriicar que mN
+8/
7 7 7 = =

m
m m
Lim b Lim

?or tanto, los nicos ,alores naturales de b son 4@, >, A, @ " B. b = 4@ si m = 4, b = > si m = 5
's cil comprobar, la ine#istencia de
m N
para b = C ,@,AD B .
Se puede demostrar que
7
m
es irracional para m < 5 procediendo de manera similar a la
demostracin de que
5
lo es. La dierencia radica en que m es ,ariable.
++/
4
7
4
5
5

m
m
es un irracional ................................................. segn 6, 7 " +8
+(/ I
f
m m
=

5 4
5 5
es irracional para m < 4........................... segn + " ++
h/9/d/
TEOREMA DE PARIDAD
Si los nmeros
N y x ,
son de igual paridad entonces
z x y
n n n
= + es simpliicable.
Nota2 ;meros de igual paridad, para este teorema, son los que poseen actor comn
a > 4
.
De1ostraci:&.
4. x = au, y = av .......................................................................,, hiptesis
(/ z x y
n n n
= + ............................................................................... hiptesis
,/
z a u a v
n n n n n
= +
............................................................ segn +/ " (/
-/ z = at .......................................................................................... segn ,/
3/
a t a u v
n n n n n
= + 0 2
........................................................... segn ,/ " -/
4/
t u v
n n n
= +
.......................................................................... segn 3/
?or tanto, si u, v son primos relati,os se denomina solucin primiti,a de
t u v
n n n
= +
a la tripleta (u,v,t).
'n otras palabras, toda solucin no primiti,a de z x y
n n n
= + es simpliicable hasta obtener otra
primiti,a de igual orma en cu"o caso+ MCD!x,y,z% 0 +/
5/ Si x, y son ambos impares, con independencia de que sean primos relati,os, entonces para z x y
5 5 5
= +
z u = + 5 5 4 0 2 ", por tanto, no e#iste solucin en N/
Se;arador de Fer1at/ SF
Con el in de simpliicar la demostracin del Ultimo )eorema de %ermat " de darle comprensin inmediata a
una de las inerencias de la misma, hablaremos ahora de un hipot*tico aparato que se denominar Separador
de %ermat. 0SF2
'l Separador de %ermat consta de una entrada x " dos salidas+ S+ " SI/ Adems, unciona a la pereccin
para el objeto empleado.
6
CARLOS GIRALDO OSPINA
Lic. Matemticas, USC

LTIMO TEOREMA DE FERMAT Derechos de Autor Registrados y Reservados
Supongamos que por x entre sal, por S+ salga cloro " por SI se e,acue sodio as&
La persona encargada de recoger el cloro " el sodio sabe lo que entra al SF " lo que debe salir, pero jams
obser,a al encargado de alimentar el aparato. Un d&a el recolector recibe a!ure por la S+, sorprendido corre "
descubre que por SI brota agua. EFu* conclu"e el recolector siendo que el SF unciona sin desperectosG
Ahora supongamos+

Con la nue,a sustancia nuestro recolector recibe r = 4 por S+ " acumula irracionales en la SI siempre que
por x ingrese 5
m
r
m
. Habituado a las nue,as sustancias, el operario llega el lunes al trabajo " encuentra que por
S+ brotan solo nmeros naturales r 4 " por SI brotan naturales. <Co&c=usi:&>
SF EN T?RMINOS L*GICOS
+/
x r
m m m
= 5
r = 4 " ;
(/ r 4 " ;
x r
m m m
5
DEMOSTRACI*N DE LA LTIMA CON@ETRA DE FERMAT/
Teore1a
Si x, y Z# x $, y $, n < 5 entonces z x y
n n n
= + .
carece de solucin en los enteros
De1ostraci:&
4. Sea n = 2m m <4 .................................................................... suposicin
5. z x y
n n n
= + ............................................................................... hiptesis
6. z x y
m m m 5 5 5
= + ................................................................. segn 4. " 5.
7
S
1
S
I
A
Cloro
Sodio
Sa=
3
r = 1
5
m
r
m
CARLOS GIRALDO OSPINA
Lic. Matemticas, USC

LTIMO TEOREMA DE FERMAT Derechos de Autor Registrados y Reservados

7. ( ) ( ) ( ) z x y
m m m
5 5 5
= + .......................................................... segn 6.
B.
x r
m m m
= 5
.......... segn 7. " Condiciones de Solucin ?rimiti,a 0C.S.?.2
@.
x r
m m m
=

5 5
4
0 2
...................................................................... segn B.
A. y r
m m m
=

0 2 0 2 5
4 5 5
.....................................................segn 7. " C.S.?.
>. ( ) ( ) z x r
m m m
= +
4
5 5
.................................................... segn 7. " C.S.?.
I. y r
m m m
=

5
5 5 5
...................................................................... segn A.
4$.
y r
m m m
=

5
5 5 5
............................................................... segn >.
44. Sean r = 4, m < 4
45. y I
m m
f
= =

5 4
5 5
.............................................. segn 4$., 44. " )3%
46.
x r
m m m
= 5
r = 4 y ; ......................... segn B., 44. " 45.
47. 47. r 4 y ;
x r
m m m
5
.......................... segn 46" S%.
4B. Las condiciones de solucin primiti,a de la ecuacin pitagrica no se cumplen si m < 4 " una de las dos
,ariables x, y es un nmero entero..................................... segn 46. " 47.
4@. Supongamos que para n < 5 e#iste solucin en a. ( ) ( ) ( )
a
b
n
c
d
n
!
f
n
= +
4A. ( ) ( ) ( ) adf bcf bd!
n n
n
= + ........................................................................... segn 4@.
4>. Si e#iste solucin en a entonces e#iste solucin en J " ,ice,ersa. ........ segn 4@ " 4A.
4I. z x y
n n n
= + carece de solucin en a, n " 5 ...................................... segn 4B. " 4>.
5$. z x y
m m m 5 5 5
= + carece de solucin en a para m < 4 ........................... segn 6. " 4I.
54. Sean n = 2# $ 1, # < $ "
( )
( ) ( ) ( )
5
2 4 5 0
5
2 4 5 0
5
4 5
5
4
5
4
5
4
+ + +
+ =
# # #
% & '

55. Si en la ecuacin anterior hacemos
z ' =
4
5
,
x & =
4
5
,
y % =
4
5
entonces en !((a surten los
mismos eectos que en el numeral 5$.
56. z x y
n n n
= + carece de solucin en a si n " 5, x $, y $ ..................segn 5$. " 55.
h.q.d.
B