• Crear cuenta nueva
  • Solicitar una nueva contraseña
MaTeTaM logo
  • Noticias
  • Blog
  • Problemas
  • De consulta
  • Comunidad
  • Cursos
Inicio » Problemas » Números

Olimpiada Iberoamericana (el 4 de 1987)

Enviado por jmd el 20 de Septiembre de 2009 - 05:07.
Versión para impresiónEnviar a un amigo

Se define la sucesión $ p_n $ de la siguiente manera: $ p_1=2 $ y, para $ n\geq2 $, $ p_n $ es el mayor divisor primo de $ p_1p_2\ldotsp_{n-1}+1 $. Demostrar que $ p_n $ es diferente de 5.

Sugerencia
Por: 
jmd
Sugerencia: 

Usa contradicción.

Solución
Por: 
jmd
Fecha: 
21 Sep 2009
Solución: 

Posiblemente la evocación (el recuerdo) de la demostración euclideana de que los primos no son finitos sea la que convierte este problema en uno de dificultad extrema en uno de dificultad media. Porque si uno se acuerda de esa demostración de Euclides, se acuerda también de que el producto de primos diferentes aumentado en 1 tiene una dscomposición canónica, en la cual no aparece ninguno de los primos ya usados... etc.

Para este problema, la evocación de aquélla demostración lleva a conjeturar que la sucesión definida no repite términos. (Antes de eso, uno puede explorar el problema un rato y calcular los primeros 4 términos --2,3,7,43-- y abandonar la idea de encontrar un patrón, pues el quinto término es el máximo divisor primo de 42(43)+1=1807.)

Para ver que la sucesión no repite términos procedamos por contradicción: si $ p_m=p_{m+k} $ entonces $ p_m $ divide a $ p_1\cdot p_2\ldots p_{m-1}+1 $ y a $ p_1\cdot p_2\ldots p_{m+k-1}+1 $. Pero entonces divide a su diferencia $ p_1\cdot p_2\ldots p_{m-1}(p_mp_{m+1}\ldots p_{m+k-1}) $. Pero $ p_m $ no divide al primer factor. Luego, divide al segundo. Es decir, divide a 1. Se ha logrado la contradicción y por tanto la sucesión no puede repetir términos.

Y si no repite términos ¿qué ganamos? Bueno, cuando se está resolviendo el problema no hay ninguna garantía de que una idea o plan vaya a tener éxito. Continuemos ahora con un intento de demostrar por el absurdo que la sucesión no contiene el 5.

Si la sucesión tuviera un 5 (digamos $ p_n=5 $) entonces el 5 es el máximo divisor primo de $ N=p_1p_2\ldotsp_{n-1}+1 $. Pero ello significa que en la descomposición canónica de N no aparecen primos mayores que 5 (pues 5 es el máximo) ni aparecen el 2 ni el 3 (por la observación inicial sobre la demostración euclideana). Conclusión: la descomposición prima de N consiste de puros cincos, es decir, $ N=5^k $. Y ya está.

Porque, en ese caso. $ N=p_1\cdot p_2\dots p_{n-1}+1=5^k $. Y esto permite la ecuación $ p_1\cdot p_2\dots p_{n-1}=5^k-1 $. Es decir, permite concluir que 4 divide al producto de primos  $ p_1\cdot p_2\dots p_{n-1} $. Pero la sucesión no repite términos (en particular, no repite el 2), y se ha logrado una contradicción. Luego, $ p_n $ es diferente de 5. 

Su voto: Nada Promedio: 4.5 (2 votos)
  • Inicia sesión o regístrate para enviar comentarios
  • Números
  • Avanzado
  • II Olimpiada Iberoamericana

Problemas del concurso: II Olimpiada Iberoamericana

  • Olimpiada Iberoamericana (el 4 de 1987)

Problemas relacionados más destacados

  • Olimpiada Iberoamericana (el 5 de 1985)
    5
  • IMO 2009 Problema 1
    5
  • Olimpiada Iberoamericana (el 4 de 2004)
    5
  • Problema 1 de la OMM 2008
    4.5
  • Olimpiada Iberoamericana (el 4 de 1987)
    4.5

Contenidos Relacionados

  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 6)
  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 5)
  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 4)
  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 3)
  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 1)
  • XXIV Olimpiada Iberoamericana de Matemáticas (problema 2)
  • Olimpiada Iberoamericana (el 4 de 2008)
  • Olimpiada Iberoamericana de Matemáticas 2009
  • Problema 6, XII Olimpiada Iberoamericana

Comentarios recientes

  • t
    Fernando Mtz. G. ,  Hace 20 horas 22 mins
    Comentado en Reencuentro con un problema de combinatoria (viejo y sin solución)
  • Agradezco el comentario (y
    DragonforceX ,  Hace 6 días 8 horas
    Comentado en Magia con matemáticas
  • Vean la sugerencia, ¡hay un
    jesus ,  Hace 1 semana 11 horas
    Comentado en Construir un cuadrado con tres puntos dados
  • Lo que habría que mejorar (y
    jmd ,  Hace 1 semana 13 horas
    Comentado en Magia con matemáticas
  • Te escribo para comentarte
    jesus ,  Hace 1 semana 1 día
    Comentado en Magia con matemáticas
  • Demostrando el problema y
    DragonforceX ,  Hace 1 semana 3 días
    Comentado en Magia con matemáticas
Más comentarios
Distribuir contenido

Ligas

  • Blog de Álvaro (entrenador del DF)
    http://problemate.wordpress.com/
  • Blog de Gato y colaboradores (Olimpiada de Guanajuato)
    http://ommgto.wordpress.com/
  • Blog de León-Sotelo (España).
    http://leonsotelo.blogspot.com/
  • Blog de Roberto Selva Gomis (España)
    http://problemate.blogspot.com/
  • Matemáticas de Concurso (Blog --inactivo-- de jmd.)
    http://mateblogtam.blogspot.com/
  • Página oficial de la Olimpiada Internacional de Matemáticas
    http://www.imo-official.org/
  • Página Oficial de la Olimpiada Mexicana de Matemáticas
    http://erdos.fciencias.unam.mx/omm/

Contáctanos | ¿Quiénes somos?

Todos los derechos reservados. Diseño y soluciones web VieNToLiBRe DiGiTaL