• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Un baúl de problemas olvidado - Problema propuesto 15

+1 voto

Problema. Sea $a$ un número natural que no es un cuadrado perfecto. Demuestre que la ecuación diofántica $n! + a = x^{2}$ admite sólo un número finito de soluciones $(n, x) \in \mathbb{N} \times \mathbb{N}$.

* Las soluciones que se reciban serán consideradas para ser incluidas en las próximas entregas del artículo Un baúl de problemas olvidado. Pueden leer la más reciente entrega de este trabajo en el siguiente enlace:

http://universo.math.org.mx/2015-2/Baul-III/baul-III.html

preguntado por Baúl de Problemas (2,280 puntos) Ago 31, 2015 en Problemas
editado por Baúl de Problemas Ago 23, 2016

2 Respuestas

+1 voto
 
Mejor respuesta

Se utilizará el siguiente lema.

Lema. Un entero $n$ es un residuo cuadrático módulo cualquier primo $p$ salvo un número finito si y sólo si $n$ es un cuadrado perfecto.

Si $n$ es un cuadrado perfecto, entonces claramente $n$ es un residuo cuadrático módulo cualquier primo. Una demostración del hecho recíproco se puede encontrar aquí: http://www.ams.org/journals/bull/1933-39-10/S0002-9904-1933-05730-0/S0002-9904-1933-05730-0.pdf.


Como $a$ no es un cuadrado perfecto, existe un primo $p$ tal que $a$ no es un residuo cuadrático módulo $p.$ Luego, para cualquier entero $n\geq p$ se tiene que $n!+a=x^2$ no tiene soluciones enteras y por lo tanto, el número de soluciones es finito. $$\blacksquare$$





 

respondido por Carlos Jalpa (11,200 puntos) Sep 1, 2015
seleccionada por Baúl de Problemas Dic 8, 2015
Bien, esa es una manera de resolverlo... Hay una solución mucho más simple en la cual ese lema ni tan siquiera es invocado. Por cierto, ¿habías leído ese artículo recientemente?
No tan recientemente. Hace unos meses me encontraba resolviendo (tratando) unos pequeños problemas y busqué referencias que me ayudaran y encontré éste; cuando ví este problema recordé el artículo.

Una solución más simple mm pensaré
–1 voto

Como $a$ no es un cuadrado perfecto, entonces existe un primo $p$ tal que el exponente $e_p(a)$ de $p$ en la factorización de primos de $a$ es impar. Luego, para cada $n\geqslant p^{e_p(a)+1}$ se tiene que $$n!+a=p^{e_p(a)}(m+a'),$$ donde $m$ y $a'$ son enteros tales que $m:=n!/p^{e_p(a)},$ $a'=a/p^{e_p(a)}$ y además $p\mid m$ y $p\nmid a'.$ Luego $p\nmid m+a'$ y entonces $\gcd\left(p^{e_p(a)},m+a'\right)=1.$ Se sigue que $n!+a$ no puede ser un cuadrado perfecto y por lo tanto se concluye que la expresión $n!+a=x^2$ no tiene soluciones $(n,x)\in\mathbb Z^2$ para $n\geqslant p^{e_p(a)+1}$ y el resultado sigue. $$\blacksquare$$

Ahora, ayer (en un rato de ocio) publiqué en mathlinks el problema, pero me respondieron hasta hoy, aunque la solución la hallé independientemente. Esto lo aclaro para que no se piense que es plagio (las soluciones son muy similares).

respondido por Carlos Jalpa (11,200 puntos) Sep 22, 2015
editado por Carlos Jalpa Sep 28, 2015
¿Cuál es la necesidad de pedir soluciones en MathLinks?
Bueno, quería ver si había soluciones alternativas. Si había una más "bonita" o más directa, entonces no postearía mi solución (ni alguna otra, claro), pero al final resultó que la idea era esencialmente la misma. Aún así me disculpo sinceramente por haber posteado el problema en ese sitio.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...