Hallar todos los números naturales $n$ tales que $\left \lfloor \frac{n^2}{5}\right \rfloor$ es un número primo.
Aclaración: Los corchetes indican la parte entera del numero que encierran.
Por ejemplo, $\left \lfloor \frac{100}{5}\right \rfloor =20$, $\left \lfloor \frac{121}{5}\right \rfloor =24$.
Ahora separamos en casos según el valor de [math]r:
Caso r=0:
Tenemos que [math]\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2 y la única solución es [math]k=1 (o sea [math]n=5).
Caso r=1:
Tenemos que [math]\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+2k=k(5k+2) y la única solución es [math]k=1 (o sea [math]n=6).
Caso r=2:
Tenemos que [math]\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+4k=k(5k+4) y el único valor de [math]k que podría andar es [math]k=1, que no funciona.
Caso r=3:
Tenemos que [math]\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+6k+1=(k+1)(5k+1) el único valor de [math]k que podría andar es [math]k=0, pero no funciona.
Caso r=4:
Tenemos que [math]\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+8k+3=(k+1)(5k+3) y la única solución es [math]k=0 (o sea [math]n=4).
Entonces las únicas soluciones son [math]n=4, [math]n=5 y [math]n=6.
Los únicos restos posibles de [math]n^2 en la división por [math]5 son [math]0, [math]1 y [math]4.
Tenemos que:
[math]\left\lfloor \frac{n^2}{5} \right\rfloor = \frac{n^2 - r}{5} \quad \text{donde } r \text{ es el resto de } n^2 \text{ en la división por } 5
Veamos el caso en que [math]n^2 \equiv 0 \mod 5, esto implica que [math]n \equiv 0 \mod 5 ya que [math]5 es primo y por lo tanto existe inverso. Por lo tanto podemos decir que
Nuestro objetivo era obtener [math]\left\lfloor \frac{n^2}{5} \right\rfloor = 5t^2 primo, la única forma es si [math]t = 1. Con esto obtenemos el primer caso, [math]n = 5.
Ahora veamos el caso [math]n^2 \equiv 1 \mod 5 entonces [math]\frac{n^2 - 1}{5} = \frac{(n + 1)(n - 1)}{5}. Este valor es primo sii:
[math]n + 1 = 5 \text{ y } n - 1 \text{ es primo, o si } n - 1 = 5 \text{ y } n + 1 \text{ es primo}
Esto nos da otras dos soluciones: [math]n = 4 y [math]n = 6.
Por último, si [math]n^2 \equiv 4 \mod 5 entonces [math]\frac{n^2 - 4}{5} = \frac{(n + 2)(n - 2)}{5}. Este valor es primo sii:
[math]n + 2 = 5 \text{ y } n - 2 \text{ es primo, o si } n - 2 = 5 \text{ y } n + 2 \text{ es primo}
Con esto determinamos que no hay soluciones con [math]n^2 \equiv 4 \mod 5.
Por lo tanto, las únicas soluciones son [math]n = 4, [math]n = 5 y [math]n = 6.
Escribamos $n=5k+r$, con $0\leq r<5$.
Tenemos $$\frac{n^2}{5}=\frac{(5k+r)^2}{5}=\frac{25k^2+10kr+r^2}{5}=5k^2+2kr+\frac{r^2}{5}$$ Luego $$\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+2kr+\left\lfloor \frac{r^2}{5} \right\rfloor$$ Ahora separamos en casos según el valor de $r$:
Caso r=0:
Tenemos que $\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2$ y la única solución es $k=1$ (o sea $n=5$).
Caso r=1:
Tenemos que $\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+2k=k(5k+2)$ y la única solución es $k=1$ (o sea $n=6$).
Caso r=2:
Tenemos que $\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+4k=k(5k+4)$ y el único valor de $k$ que podría andar es $k=1$, que no funciona.
Caso r=3:
Tenemos que $\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+6k+1=(k+1)(5k+1)$ el único valor de $k$ que podría andar es $k=0$, pero no funciona.
Caso r=4:
Tenemos que $\left\lfloor \frac{n^2}{5}\right\rfloor = 5k^2+8k+3=(k+1)(5k+3)$ y la única solución es $k=0$ (o sea $n=4$).
Entonces las únicas soluciones son $n=4$, $n=5$ y $n=6$.
Para cada $r$ no entiendo de dónde sacás cada solución ¿Por qué $k > 1$ es falso para $r=0$? No lo explicas para ningún caso y no me parece para nada obvio.
Peznerd escribió: ↑Vie 08 Nov, 2019 11:42 pm
Para cada $r$ no entiendo de dónde sacás cada solución ¿Por qué $k > 1$ es falso para $r=0$? No lo explicas para ningún caso y no me parece para nada obvio.
Si $5k^2$ es un número primo entonces $k=1$. En los otros casos la idea es la misma: tenemos una factorización de un número que queremos que sea primo, entonces alguno de los factores tiene que ser uno.
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
Peznerd escribió: ↑Vie 08 Nov, 2019 11:42 pm
Para cada $r$ no entiendo de dónde sacás cada solución ¿Por qué $k > 1$ es falso para $r=0$? No lo explicas para ningún caso y no me parece para nada obvio.
Si $5k^2$ es un número primo entonces $k=1$. En los otros casos la idea es la misma: tenemos una factorización de un número que queremos que sea primo, entonces alguno de los factores tiene que ser uno.