Tercer problema de la Olimpiada Internacional de Matemáticas de 2008:
Demostrar que existen infinitos números enteros positivos
tales que
tiene un divisor primo mayor que
.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
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.
Gaussianos recibió el Premio Prisma 2018 a la mejor web/red social. Haz click en la imagen si quieres saber más.
Los Premios Prismas son una iniciativa de los Museos Científicos Coruñeses para premiar la difusión de la cultura científica y apoyar a profesionales que trabajan en este campo. Más información en Premios Prismas.
Si quieres recibir los artículos de Gaussianos en tu mail, haz click en la imagen.
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Una pista: para todo p>13, si existe un m tal que p es divisor de m al cuadrado más 1, existe un n (tal vez distinto de m) que cumple el enunciado.
Si consigues probar esto, lo demás es sencillo.
Roberto, de hecho es conocido que
dado un primo
,
la ecuación
tiene solución si y sólo si 
(de hecho, en virtud del teorema de Wilson, tiene dos soluciones incongruentes módulo 
, a saber: 
)
Hay una prueba aún más directa (me refiero a que es posible deducirla mediante razonamientos sencillos y directos, sin hacer uso de teoremas de renombre), pero la daré en mi blog dentro de dos o tres semanas (falta de tiempo…).
Pondré el enlace aquí cuando la escriba.
Aquí va una solución. Me habría gustado ver como resolvieron este problema esos fenómenos chinos con 16 o menos años. Por supuesto, Roberto, que también me interesa tu solución.
Sea
(ya veremos porqué no consideramos al 5 ni al 13).
Sea
. Entonces 
tal que 
(ver un comentario previo).
Además, si resultase que
, entonces 
verifica 
, 
y 
.
En definitiva, a cada
le podemos asignar un 
tal que 
y 
. Veamos que 
.
Sea
). Como 
, sigue que 
.
Como
es impar, 
y 
, se deduce que 
. Con esto: 
Esto implica
; es decir 
.
Finalmente, notar que la infinitud de números primos en
junto con la condición 
, implican que el conjunto de valores 
es también infinito.
Los coordinadores no pueden dar detalles sobre cómo se resolvió, pero te puedo asegurar que los que lo resolvieron (que fueron pocos), utilizaron métodos de lo más variado. Incluso se comentó que uno de los participantes dio varias soluciones diferentes.
Recientemente, en Argentina, se ha publicado un libro con los problemas de la Olimpiada Iberoamericana resueltos por los estudiantes que obtuvieron medalla de oro. Tal vez estaría bien que la Olimpiada Internacional hiciese eso de vez en cuando.
[Off-topic] Roberto, ¿No serás tú por casualidad cierto valenciano afincao en Madrid?
[off-topic]No, vivo en Alicante, como pongo en mi blog. Pero estuve en Madrid para colaborar como coordinador en la IMO, y participé como concursante hace ya 25 años.
Roberto, ¿sabes cuál es el título del libro que comentas? Estoy interesado en él y me gustaría conocer los datos para buscarlo. Gracias…
Tengo el libro delante:
ISBN: 978-987-9072-54-7
Olimpíadas Iberoamericanas de Matemática
1996-2006
Patricia Fauring, Flora Gutiérrez, Svetoslav Savchev.
ed: Red Olímpica
Santa Fe 3312 9º Piso, Buenos Aires, Argentina
Año 2007
Lo prometido es deuda: aquí (http://solumate.blogspot.com/2008/09/el-problema-internacional.html) pongo la solución con detalle.
Por cierto, gracias a Gaussianos por publicar los enunciados de los problemas. Yo ya había anunciado que los iba a publicar y así lo haré, a razón de uno por mes.
Pero trataré de que mis soluciones sean más asequibles y completas. Aunque será difícil.