La conjetura ABC y el último teorema de Fermat

Uno de los motivos fundamentales por el que problemas de formulación elemental en teoría de números puedan ser tan difíciles de resolver es la interacción entre la suma y la multiplicación. Si miramos a los números naturales desde un punto de vista puramente aditivo, todos los números se obtienen sin más que sumar 1 tantas veces como haga falta. Si los miramos desde el punto de vista de la multiplicación, el teorema fundamental de la aritmética nos dice que todo natural se escribe de manera única como producto de primos.

Sin embargo, resulta muy complicado saber qué pasa con la factorización en primos de la suma de dos números, aunque sepamos las factorizaciones de ambos. Es por esto que cualquier resultado en teoría de números 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 cómo 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 noción de radical de un número natural. Por el teorema fundamental de la aritmética sabemos que todo número natural n puede escribirse como producto de primos

n = p_1^{e_1}p_2^{e_2} \dotsm p_r^{e_r}

Definimos entonces el radical de n como el número

rad(n) := p_1p_2 \dotsm p_r

es decir, el producto de los primos que aparecen en la factorización de n (todos ellos con exponentes 1). Por ejemplo, como 72 = 2^3 \cdot 3^2 entonces rad(72) = 2 \cdot 3 = 6. Algunas propiedades elementales del radical son las siguientes:

  • rad(n) es un divisor de n. En particular, rad(n) \leq n.
  • rad(n^k) = rad(n)
  • Si m y n son primos relativos, entonces rad(mn) = rad(m)rad(n). En general, para enteros cualesquiera m y n se tiene que rad(mn) \leq rad(m)rad(n).
  • n es libre de cuadrados si y sólo si n = rad(n).

Supongamos ahora que tenemos tres enteros positivos a,b y c, primos relativos, tales que a + b = c, y tratemos de comparar el valor de c con el del radical del producto abc. Observemos primero algunos ejemplos:

  • a=3,b=5,c=8, entonces rad(abc) = rad(3 \cdot 5 \cdot 8 ) = 30
  • a=2,b=3,c=5, entonces rad(abc) = rad(2 \cdot 3 \cdot 5) = 30
  • a=11,b=21,c=32, entonces rad(abc) = rad(11 \cdot 21 \cdot 32) = 11*3*7*2 = 462

Observamos que en todos los casos el radical del producto abc es mayor que c. ¿Será que esta desigualdad es siempre cierta? Desgraciadamente éste no es el caso, puesto que podemos encontrar infinitos contraejemplos de la forma a=1,b= 2^{6n}-1,c= 2^{6n}, donde n es un entero positivo.

Para ver que estos números nos dan contraejemplos para todo n necesitamos un pequeño resultado previo, que os dejo como ejercicio:

Si k divide a n, entonces 2^k  -1 divide a 2^n - 1

Asumiendo el resultado propuesto, en nuestro caso tenemos que 63 = 2^6 - 1 es un divisor de b, por lo que en particular 9 divide a b, y podemos escribir b = 9b^\prime. Si calculamos entonces el radical de abc nos queda (usando algunas de las propiedades de arriba):

\begin{matrix} rad(abc) = rad(a)rad(b)rad(c) = rad(1)rad(b)rad(2^{6n}) = \\ \\ = 2 rad(9b^\prime) \leq 2*rad(9)*rad(b^\prime) = 2*3*rad(b^\prime) \leq 2*3*b^\prime = 2 *3 * \frac{b}{9} \leq \frac{2}{3} c < c \end{matrix}[/latex]   Sin embargo, <strong>Oesterlé</strong> y <strong>Masser</strong>  <p align="center"><img src="http://farm8.staticflickr.com/7212/7245880598_a969365d60_o.jpg" alt="Joseph Oesterlé y David Masser" title="Joseph Oesterlé y David Masser" />   <center>(Imágenes tomadas de <a href="http://es.wikipedia.org/wiki/Joseph_Oesterl%C3%A9">aquí</a> y <a href="http://es.wikipedia.org/wiki/David_Masser">aquí</a>)</center>   observaron en 1985 que si elevamos el radical a una potencia superior a [latex]1, entonces parecían existir tan sólo una cantidad finita de triples a,b,c que no cumplen la desigualdad, dando lugar a la llamada Conjetura ABC:

Conjetura ABC: Para cada \varepsilon > 0 sólo existen una cantidad finita de enteros positivos, a,b,c, primos relativos, tales que a+b = c y verificando la desigualdad c > rad(abc)^{1+\varepsilon}.

Para evitar tener que tratar con el número finito de contraejemplos, la conjetura puede reformularse en términos equivalentes como sigue:

Conjetura ABC: Para cada \varepsilon > 0 existe una constante K_\varepsilon tal que para toda terna a,b,c de primos relativos tales que a+b = c se tiene c < K_\varepsilon rad(abc)^{1+\varepsilon}.[/latex] </blockquote>  A día de hoy, la conjetura ABC sigue sin haberse demostrado.  <h3>Demostración del UTF a partir de ABC</h3>  Pero, <strong>¿cuál es el interés de la conjetura ABC?</strong> Como decíamos más arriba, cualquier resultado que nos diga algo acerca de los factores primos de la suma de dos números suele tener consecuencias importantes.   Para ilustrar estas consecuencias vamos a demostrar el UTF para exponentes <em>grandes</em>. Supongamos que la conjetura ABC es cierta en el caso particular [latex]\varepsilon = 1, y supongamos además (por simplificar lo que sigue, pero esta suposición no es absolutamente necesaria) que la constante K_\varepsilon tiene en este caso el valor 1, esto es, supongamos que para cualesquiera a,b,c coprimos y verificando a+b = c se tiene la desigualdad c < rad(abc)^2[/latex].  Supongamos ahora que tenemos enteros positivos [latex]x < y < z[/latex], primos entre si, tales que [latex]x^n + y^n = z^n[/latex], esto es, que tenemos un contraejemplo al último teorema de Fermat. Tomemos entonces [latex]a= x^n, b= y^n, c = z^n[/latex]. Aplicando el caso particular de la conjetura ABC de arriba, obtenemos [latex]z^n < rad(x^ny^nz^n)^2 = rad(xyz)^2 \leq (xyz)^2 \leq z^6[/latex], y puesto que [latex]z[/latex] es un entero positivo se deduce que [latex]n < 6[/latex], esto es, el último teorema de Fermat debe ser cierto para exponentes [latex]n[/latex] mayores a 5, por lo que sólo necesitaríamos demostrar por separado los casos [latex]n=3,4,5[/latex].  Alguno podría pensar que esperar la igualdad [latex]K_1 = 1[/latex] es demasiado fuerte, pero a efectos prácticos es irrelevante. Puesto que para cualquier contraejemplo del UTF tendremos [latex]x < y < z[/latex], necesariamente [latex]z \geq 4[/latex]; puesto que [latex]K_1[/latex] es constante debe existir algún valor [latex]n_0[/latex] tal que [latex]K_1 < 4^{n_0} \leq z^{n_0}[/latex], y la conjetura ABC nos da    <p align="center">[latex]z^n < K_1 rad(x^ny^nz^n)^2 \leq z^{n_0}z^6 = z^{n_0+6}[/latex]   lo que demostraría el UTF para todo exponente mayor a [latex]n_0 + 6. También es sencillo ver que podríamos haber usado cualquier otro valor de \varepsilon en nuestra demostración.

Evidentemente, para poder completar una demostración usando esta estrategia sería necesario hacer una estimación de K_\varepsilon y demostrar independientemente los casos que nuestra demostración deja sin cubrir, pero si demostramos la conjetura ABC sólo sería necesario demostrar el UTF para una cantidad finita de exponentes.


Este post es una colaboración de vengoroso, que además sirve como tercera aportación de Gaussianos a la Edición 3,1415 del Carnaval de Matemáticas, que este mismo blog aloja.


Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

4 Comentarios

  1. Muy curioso y muy bien explicado. También sería interesante saber qué perspectivas hay entre los especialistas de obtener una prueba de la conjetura ABC.

    Publica una respuesta
  2. Sin ser un especialista en el tema, diría que no hay muchas perspectivas. La conjetura abc no sólo implica el teorema de Fermat, sino muchos otros resultados como la conjetura de Mordell (teorema de Faltings), la conjetura de Fermat-Catalan (¿creo que esta apareció por aquí como conjetura de Belal?), resultados de aproximación diofántina, la conjetura de Erdös-Woods… mucha tela 🙂

    Hay resultados análogos a la conjetura ABC en otros contextos (por ejemplo para polinomios con coeficientes en un cuerpo), pero ninguno parece trasladarse al caso entero. Por ejemplo la demostración para polinomios funciona también tomando \varepsilon = 0, así que no hay muchas esperanzas de poder adaptarla.

    Publica una respuesta
  3. Hay un rumor circulando por ahí de que Mochizuki podría tener lista una demostración de la conjetura ABC:
    http://sbseminar.wordpress.com/2012/06/12/abc-conjecture-rumor-2/
    Me temo que no comprendo los detalles de su “teoría de Techmüller inter-universal” para evaluar el enfoque, pero algunos de mis compañeros que lo conocen en persona dicen que es un programa de trabajo serio. Daré noticias si me entero de algo más.

    Publica una respuesta
  4. Interesante. Aparte de wikipedia leí otros artículos, incluyendo unos acerca del teorema de femat, tratando de encontrar a dónde quieren llegar con la demostración de la conjetura. Y no. No encontré nada. Seguramente al igual que la filosofía, que dicen no es sirvienta de nadie, eso tampoco servirá para nada. Lo dudo, sin embargo, porque comprendo la importancia que las matemáticas tienen en todo nuestro entorno. Entonces, con palabras para un simple mortal, ¿Podría usted hacerme el favor de decirme para qué servirá demostrar la conjetura abc?
    Gracias de antemano.

    Publica una respuesta

Trackbacks/Pingbacks

  1. Bitacoras.com - Información Bitacoras.com... Valora en Bitacoras.com: Uno de los motivos fundamentales por el que problemas de formulación elemental en teoría…
  2. Carnaval de Matemáticas: Resumen de la Edición 3,1415 - Gaussianos | Gaussianos - [...] Y yo, desde Gaussianos, os traje el post La conjetura ABC y el último teorema de Fermat. [...]
  3. Posible demostración de la veracidad de la conjetura ABC - Gaussianos | Gaussianos - [...] la Universidad de Kyoto, estaba cerca de publicar una posible demostración de la veracidad de la conjetura ABC, un…
  4. Conjeturas matemáticas no resueltas: la Conjetura abc | El blog de Alberto Galicia Pérez - [...] principio, llevaba a fin uno de los problemas más importantes de la teoría de números (la ‘Conjetura abc‘), es…

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *