• 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






De un divisor común

+1 voto
Sea $n \in \mathbb{Z}$. Demuestre que si $d \in \mathbb{N}$ es un divisor común de $n^{2}+1$ y $(n+1)^{2}+1$ entonces $d=1$ o $d= 5$.
preguntado por José Hdz (38,020 puntos) Sep 7 en Problemas

1 Respuesta

+1 voto
 
Mejor respuesta
Como $\operatorname{mcd}(x,y)=\operatorname{mcd}(x,y+kx)$ para cualquier entero $k,$ tenemos entonces la siguiente cadena de igualdades:

$$
\begin{aligned}

\operatorname{mcd}(n^2+1,(n+1)^2+1)&=\operatorname{mcd}(n^2+1,(n+1)^2+1-(n^2+1))

\\\\&=\operatorname{mcd}(n^2+1,2n+1)

\\\\&=\operatorname{mcd}(n^2+1-(2n+1),2n+1)

\\\\&=\operatorname{mcd}(n(n-2),2n+1),
\end{aligned}
$$

por lo que

$$g:=\operatorname{mcd}(n^2+1,(n+1)^2+1)=\operatorname{mcd}(n(n-2),2n+1) \qquad (\ast)$$

Ahora, como $g\mid n^2+1$ entonces $g$ y $n$ son primos relativos, por lo que como $g\mid n(n-2)$ entonces necesariamente $g\mid n-2,$ o equivalentemente $n\equiv2\pmod g,$ que implica que $2n+1\equiv5\pmod g,$ pero por $(\ast)$ sabemos que $2n+1\equiv0\pmod g,$ que implica que $5\equiv0\pmod g,$ i.e. $g\mid5;$ el resultado se sigue. $\square$
respondido por Carlos Jalpa (10,700 puntos) Sep 9
seleccionada por José Hdz hace 5 días
Muy bien, Carlos. He aquí mi sol.: De $n^{2}+1 \equiv 0 \pmod{d}$ y $n^{2}+2n+2 \equiv 0 \pmod{d}$ se sigue que $2n^{2}+2n+3 \equiv 0 \pmod{d}$; de esto se desprende a su vez que $(2n+1)^{2}+5 \equiv 0\pmod{d}$: como $d$ es claramente un divisor de $2n+1$ se concluye que $d \mid 5$.
Oh, mucho mejor!
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...