La conjetura ABC y el ltimo

teorema de Fermat
Uno de los motivos fundamentales por el que problemas de formulacin
elemental en teora de nmeros puedan ser tan difciles de resolver es la
interaccin entre la suma y la multiplicacin. Si miramos a los nmeros naturales
desde un punto de vista puramente aditivo, todos los nmeros se obtienen sin
ms que sumar 1 tantas veces como haga falta. Si los miramos desde el punto
de vista de la multiplicacin, el teorema fundamental de la aritmtica nos dice
que todo natural se escribe de manera nica como producto de primos.
Sin embargo, resulta muy complicado saber qu pasa con la factorizacin en
primos de la suma de dos nmeros, aunque sepamos las factorizaciones de
ambos. Es por esto que cualquier resultado en teora de nmeros que nos ayude
a relacionar la estructura aditiva con la multiplicativa suele tener consecuencias
tremendas a la hora de resolver problemas.
Hoy quiero poneros un ejemplo de esto, mostrando cmo un resultado de
aspecto inocente puede ayudarnos a resolver problemas tan conocidos como
el ltimo teorema de Fermat. En concreto vamos a hablar de la conjetura ABC.

Antes de formular la conjetura necesitamos introducir la nocin de radical de un
nmero natural. Por el teorema fundamental de la aritmtica sabemos que todo
nmero natural puede escribirse como producto de primos

Definimos entonces el radical de como el nmero

es decir, el producto de los primos que aparecen en la factorizacin de (todos
ellos con exponentes 1). Por ejemplo,
como entonces . Algunas propiedades elementales
del radical son las siguientes:
es un divisor de . En particular, .

Si y son primos relativos, entonces . En general,
para enteros cualesquiera y se tiene que .
es libre de cuadrados si y slo si .
Supongamos ahora que tenemos tres enteros positivos y , primos relativos,
tales que , y tratemos de comparar el valor de con el del radical del
producto . Observemos primero algunos ejemplos:
, entonces
, entonces
,
entonces
Observamos que en todos los casos el radical del producto es mayor que .
Ser que esta desigualdad es siempre cierta? Desgraciadamente ste no es el
caso, puesto que podemos encontrar infinitos contraejemplos de la
forma , donde es un entero positivo.
Para ver que estos nmeros nos dan contraejemplos para todo necesitamos un
pequeo resultado previo, que os dejo como ejercicio:
Si divide a , entonces divide a
Asumiendo el resultado propuesto, en nuestro caso tenemos que es
un divisor de , por lo que en particular divide a , y podemos escribir .
Si calculamos entonces el radical de nos queda (usando algunas de las
propiedades de arriba):

Sin embargo, Oesterl y Masser

(Imgenes tomadas de aqu y aqu)
observaron en 1985 que si elevamos el radical a una potencia superior a ,
entonces parecan existir tan slo una cantidad finita de triples que no
cumplen la desigualdad, dando lugar a la llamada Conjetura ABC:
Conjetura ABC: Para cada slo existen una cantidad finita de enteros
positivos, , primos relativos, tales que y verificando la
desigualdad
Para evitar tener que tratar con el nmero finito de contraejemplos, la conjetura
puede reformularse en trminos equivalentes como sigue:
Conjetura ABC: Para cada existe una constante tal que para toda
terna de primos relativos tales que se
tiene
A da de hoy, la conjetura ABC sigue sin haberse demostrado.
Demostracin del UTF a partir de ABC
Pero, cul es el inters de la conjetura ABC? Como decamos ms arriba,
cualquier resultado que nos diga algo acerca de los factores primos de la suma
de dos nmeros suele tener consecuencias importantes.
Para ilustrar estas consecuencias vamos a demostrar el UTF para
exponentes grandes. Supongamos que la conjetura ABC es cierta en el caso
particular , y supongamos adems (por simplificar lo que sigue, pero esta
suposicin no es absolutamente necesaria) que la constante tiene en este
caso el valor 1, esto es, supongamos que para cualesquiera coprimos y
verificando se tiene la desigualdad .
Supongamos ahora que tenemos enteros positivos , primos entre si,
tales que , esto es, que tenemos un contraejemplo al ltimo
teorema de Fermat. Tomemos entonces . Aplicando el caso
particular de la conjetura ABC de arriba,
obtenemos , y puesto que es un
entero positivo se deduce que , esto es, el ltimo teorema de Fermat debe
ser cierto para exponentes mayores a 5, por lo que slo necesitaramos
demostrar por separado los casos .
Alguno podra pensar que esperar la igualdad es demasiado fuerte, pero a
efectos prcticos es irrelevante. Puesto que para cualquier contraejemplo del UTF
tendremos , necesariamente ; puesto que es constante debe
existir algn valor tal que , y la conjetura ABC nos da

lo que demostrara el UTF para todo exponente mayor a . Tambin es
sencillo ver que podramos haber usado cualquier otro valor de en nuestra
demostracin.
Evidentemente, para poder completar una demostracin usando esta estrategia
sera necesario hacer una estimacin de y demostrar independientemente los
casos que nuestra demostracin deja sin cubrir, pero si demostramos la
conjetura ABC slo sera necesario demostrar el UTF para una cantidad finita de
exponentes.

Este post es una colaboracin de vengoroso, que adems sirve como tercera
aportacin de Gaussianos a la Edicin 3,1415 del Carnaval de Matemticas, que
este mismo blog aloja.