miércoles, 13 de octubre de 2010

El teorema de Tamref

Hoy os traigo un sencillo problema de teoría de números cuya demostración cabe en el margen de cualquier libro.

Se trata de demostrar que la ecuación

no tiene soluciones enteras para , porque, claro, si es evidente que sí hay soluciones. Por ejemplo, basta tomar y ; o bien y .

No, no me estoy volviendo loco. Esto no es el Último Teorema de Fermat. Pero digamos que la relación que tiene con él es la misma que la Conjetura de Hcabdlog con la archiconocida Conjetura de Goldbach.

Si en una semana no han dado con la solución, os la dejaré en un artículo. En la fuente original [1] viene cómo resolverlo, así que lo suyo sería no mirarla.

Aunque, ahora que lo pienso, os dejo con un problema derivado que se me acaba de ocurrir y cuya solución no viene en la fuente.

Para , ¿hay más soluciones aparte de las que ya he dado? Mejor todavía ¿podéis encontrar una esquema para dar soluciones a este problema? Calla, canalla! que mi mente va a 1000 y se me ha ocurrido algo aún mejor ¿podéis darme todas las soluciones para este caso?

¡Hala! Ahí queda eso.

Tito Eliatron Dixit


REFERENCIA:
[1] Su, Francis E., et al. tamreF's Last Theorem, Math Fun Facts.

9 comentarios:

  1. Creo que sé hacerlo, y bastante fácil que sale, pero como es el primer comentario de la entrada, mejor no digo nada para que la gente lo piense. Doy un par de pistas (que sois libres de leer o no).

    1-Si no os gustan los valores enteros, intentad resolverlo con naturales ya que al fin y al cabo es fácil pasar de un caso al otro (multiplicando por N^a con a suficientemente grande).

    2-Para el caso N=2, hay infinitas soluciones. Concretamente hay una solución y solo una solución para cada valor entero que puede tomar x.

    Espero no haber metido la pata en ninguno de los 2 comentarios anteriores ya que ni me he parado a escribir nada.

    ResponderEliminar
  2. @Carlos: muy buenos e interesantes los apuntes que das. De la unicidad no estaba seguro... pero me he convencido de que es cierta. Cosa que también habría que probar, claro. jejeje

    ResponderEliminar
  3. Divídase por N^y y ya sale todo lo que dice Carlos.

    ResponderEliminar
  4. Si, creo que lo he visto. Un ligero "spoiler" un poco más abajo. Por si no lo quieren leer...


    Para N=2, la unicidad es lo interesante y está implicita en la demostración principal (con alguna observación adicional), pero hay solución si (y solo si) x=y=z-1

    ResponderEliminar
  5. Jejeje, veo que acabas de conocer Math Fun Facts. Gran fuente, sí señor. Yo también hablé hace tiempo del teorema de tamreF y de alguna cosa más de esa página, y tengo idea de publicar algún tema más que he visto allí.

    ResponderEliminar
  6. Más que descubror, ^DiAmOnD^, diría RE-descubrir.

    La página la conocía, pero no había curioseado lo bastante.

    Respecto a tu artículo de Tamref... pues no lo había vistyo, la verdad.

    Y a ver si nos ponemos de acuerdo en qué ideas tomamos de allí, no vayamos a publicar los 2 lo mismo el mismo día xDDD

    ResponderEliminar
  7. Lo de la unicidad de que para valor entero x hay una única solución cuando N=2 es también fácil de ver. Doy pista, el que no la quiera que no siga leyendo...

    Claramente 2^(maximo{x,y})<=2^x+2^y<= 2^(maximo{x,y}+1)

    y de aquí se puede deducir la unicidad.

    ResponderEliminar
  8. En mi comentario anterior, el primer <= era un < estricto.

    ResponderEliminar
  9. Pues sí, también es verdad. Yo tengo un par de ideas sacadas de esa página que quiero escribir en las próximas fechas. Si quieres me puedes contar cuáles son las tuyas y te digo yo las mías y así nos podemos coordinar :).

    ResponderEliminar

Si no comentas, Gauss se comerá una integral.
Y, por favor, respeta a todos con tus opiniones.