Selectivo Cono Sur - 2016 - Problema 4

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Matías V5

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
OFO - Jurado-OFO 2018 OFO - Jurado-OFO 2020 OFO - Jurado-OFO 2021
Mensajes: 1115
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 8
Nivel: Exolímpico

Selectivo Cono Sur - 2016 - Problema 4

Mensaje sin leer por Matías V5 »

Diremos que un número entero positivo es bueno si sus tres dígitos finales son [math]. Demostrar que todo número bueno tiene un divisor primo mayor que [math].
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!

Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 841
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Selectivo Cono Sur - 2016 - Problema 4

Mensaje sin leer por Emerson Soriano »

Spoiler: mostrar
Primero observemos que para todo entero positivo [math], el resto de [math] en el módulo [math] tiene las siguientes posibilidades:
[math]
Mientras que las únicas posibilidades de [math] en el módulo [math] son: [math]

Vamos a suponer que existe un número bueno [math] cuyos factores primos son todos menores o iguales que [math]. Claramente [math] no es par ni múltiplo de [math]. Por lo tanto, existen enteros no negativos [math] y [math] tales que [math].

Si [math], entonces [math], lo cual es falso.

Si [math], entonces [math], lo cual es falso.

Si [math], entonces [math], lo cual es falso.

Si [math], entonces [math], lo cual es falso.

Por lo tanto, cualquier número bueno posee algún divisor primo mayor que [math].
Avatar de Usuario
Brimix

OFO - Medalla de Oro-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2019 OFO - Medalla de Oro-OFO 2020 OFO - Medalla de Plata-OFO 2021
OFO - Medalla de Plata-OFO 2023 OFO - Medalla de Oro-OFO 2024
Mensajes: 97
Registrado: Dom 21 Abr, 2013 10:00 am
Medallas: 7
Nivel: Exolímpico
Ubicación: Rosario♥
Contactar:

Re: Selectivo Cono Sur - 2016 - Problema 4

Mensaje sin leer por Brimix »

Holis!

Solucion completa:
Spoiler: mostrar
Para este problema voy a usar Congruencia de numeros. Para entenderla bien es necesario tener claro el concepto.

Un numero $bueno$ es un numero de la forma $1000K + 133$

Sabemos que para todo $n \geq 2$ , $n$ tiene al menos un factor primo.
Si demostramos que los primos $\{2, 3, 5, 7\}$ no son los unicos factores primos de $n$, es suficiente para saber que $n$ tiene un factor primo mayor a $7$

Tomemos $n = 1000K + 133$ e intentemos demostrarlo.

Supongamos que $\{2, 3, 5, 7\}$ son los unicos factores primos de $n$:

$1000K + 133 \equiv 0 + 1 \equiv 1 \neq 0(2)$
$1000K + 133 \equiv 0 + 3 \equiv 3 \neq 0(5)$
De aqui decimos que ni $2$ ni $5$ dividen a $n$

Luego, $3$ y $7$ son los unicos factores primos de $n$.
Tenemos:
$n = 3^a7^b \Rightarrow \left.\begin{matrix} n \equiv 3^a7^b \equiv 3^a3^b \equiv 3^{a+b}(4) \\ n \equiv 1000K + 133 \equiv 0 + 1 \equiv 1(4) \end{matrix}\right\} \Rightarrow 3^{a+b} \equiv 1(4)$
$\Rightarrow (a+b) \text{ es par}$

*Observese que si (a+b) fuera impar 3^{a+b} = 3(4). Absurdo.

Lo que haremos ahora es mirar la congruencia modulo 10 del numero.
Sabemos que $n = 1000K + 133 \equiv 0 + 3 \equiv 3(10)$
Tenemos 3 casos.

Caso 1: $(a = b) \Rightarrow n =3^a7^b = 3^a7^a = 21^a \equiv 1^a \equiv 1 (10)$. Absurdo.

Caso 2: $(a > b) \Rightarrow n =3^a7^b = 3^{a-b}21^b \equiv 3^{a-b}1^b \equiv 3^{a-b} (10)$.
De chequear: $3^0 \equiv 1 (10), 3^1 \equiv 3 (10), 3^2 \equiv 9 (10), 3^3 \equiv 7 (10), 3^4 \equiv 1 (10)$
Vemos el ciclo: $3^{4k} \equiv 1 (10), 3^{4k+1} \equiv 3 (10), 3^{4k+2} \equiv 9 (10), 3^{4k+3} \equiv 7 (10)$

Luego: $3^{a-b} \equiv 3(10) \Rightarrow (a-b) \equiv 1(4) \Rightarrow (a-b) \text{ es impar}$. Absurdo.

Caso 3: $(a < b) \Rightarrow n =3^a7^b = 21^a7^{b-a} \equiv 1^a7^{b-a} \equiv 7^{b-a} (10)$.
De chequear: $7^0 \equiv 1 (10), 7^1 \equiv 7 (10), 7^2 \equiv 9 (10), 7^3 \equiv 3 (10), 7^4 \equiv 1 (10)$
Vemos el ciclo: $7^{4k} \equiv 1 (10), 7^{4k+1} \equiv 7 (10), 7^{4k+2} \equiv 9 (10), 7^{4k+3} \equiv 3 (10)$

Luego: $7^{b-a} \equiv 3(10) \Rightarrow (b-a) \equiv 3(4) \Rightarrow (b-a) \text{ es impar}$. Absurdo.

Los 3 casos son absurdos. Por lo tanto la proposicion inicial es absurda.

Luego, $n$ tiene factores primos mayores a $7$, que era lo que se queria demostrar.
Version rapida:
Spoiler: mostrar
Supongamos que $n$ es un numero $bueno$ y $\{2, 3, 5, 7\}$ son los unicos factores primos de $n$. $n = 1000K + 133$

Es facil ver que $n$ es coprimo con $2$ y $5$
Luego $n = 3^a7^b$

Viendo la congruencia modulo 4:
$3^a7^b \equiv 3^{a+b} \equiv 1000K + 133 \equiv 1 (4) \Rightarrow (a+b)\text{ es par}$

Viendo la congruencia modulo 10:
$n = 3^a7^b \equiv 3^a(-3)^b \equiv 3^{a+b}(-1)^b (10)$

Sabiendo que (a+b) es par:
$9^{\frac{a+b}{2}}(-1)^b \equiv (-1)^{\frac{a+b}{2}}(-1)^b \equiv (-1)^{\left (\frac{a+b}{2} + b\right )}(10)$

$(-1)^{\left (\frac{a+b}{2} + b\right )} \equiv 1000K + 133 \equiv 3(10)$
Con $\left ( \frac{a+b}{2} + b\right ) \in \mathbb{Z}$

Lo que es absurdo. Porque $(-1)^{\left (\frac{a+b}{2} + b\right )}$ puede ser solo $1$ o $-1$ modulo $10$.

Ganamos. Ya que la proposicion inicial es absurda, luego $n$ tiene algun factor primo mayor a $7$
♪♫Nuestro ARG2 es nuestro ejemplo. 'Efe de equis mas one!'♫♪
Avatar de Usuario
marcoalonzo

FOFO 13 años - Mención-FOFO 13 años OFO - Medalla de Bronce-OFO 2024 FOFO Pascua 2024 - Medalla-FOFO Pascua 2024
Mensajes: 126
Registrado: Mar 18 Abr, 2023 4:52 pm
Medallas: 3

Re: Selectivo Cono Sur - 2016 - Problema 4

Mensaje sin leer por marcoalonzo »

Spoiler: mostrar
Un número bueno, digamos $N$, tiene la forma $\overline{A133}$, donde $A$ es un entero no negativo. De este modo, a $N$ lo podemos escribir como $N=1000A+133$.
Supongamos que todos los divisores primos de $N$ son menores o iguales a $7$, lo que implica que a lo sumo tiene $4$ divisores primos: el $2, 3, 5$ y $7$. Notar que $N$ termina en $3$, con lo que no es par ni múltiplo de $5$,
O sea que su factorización en primos es $N=3^{a}\cdot7^{b}$, donde ambos exponentes son enteros no negativos.
Tenemos $1000A+133=N=3^a\cdot 7^b$, donde al tomar módulo $8$ se obtiene $5\equiv 3^a\cdot 7^b\pmod8$.
Hagamos una tabla de restos módulo $8$
\begin{array}{|c|c|c|}\hline
n&3^n&7^n\\ \hline
0&1&1\\ \hline
1&3&7\\ \hline
2&1&1\\ \hline
3&3&7\\ \hline
4&1&1\\ \hline
\vdots&\vdots&\vdots\\ \hline
\end{array}
O sea que $3^a$ y $7^b$ tienen un ciclo de longitud $2$ en módulo $8$, que depende de la paridad de su exponente.
Notemos que $5\not\equiv 1, 3, 7\pmod8$, pero $5\equiv 21\equiv 3\cdot 7\pmod8$, o sea que $a$ y $b$ son impares.
Y si tomamos $N$ en módulo $10$ se obtiene $3\equiv 3^a\cdot 7^b\pmod{10}$.
Hagamos una lista de restos módulo $10$
\begin{array}{|c|c|c|}\hline
n&3^n&7^n\\ \hline
0&1&1\\ \hline
1&3&7\\ \hline
2&9&9\\ \hline
3&7&3\\ \hline
4&1&1\\ \hline
\vdots&\vdots&\vdots\\ \hline
\end{array}
O sea que los restos $3^a$ y $7^b$ se repiten en un ciclo de longitud $4$, y en particular cuando su exponente es impar (que es la condición que encontramos para $a$ y $b$) dejan resto $3$ y $7$. Entonces $N$ solo puede ser congruente a $3\cdot3\equiv 9\pmod{10}$, $3\cdot7\equiv 21\equiv 1\pmod{10}$ o $7\cdot7\equiv 49\equiv 9\pmod{10}$, lo que es absurdo porque $3\equiv 3^a\cdot 7^b\pmod{10}$. Luego $N$ siempre tiene al menos un factor primo mayor a $7$.
1  
🔮oráculo y magia negra🔮
Avatar de Usuario
drynshock

FOFO 13 años - Mención-FOFO 13 años OFO - Medalla de Bronce-OFO 2024 FOFO Pascua 2024 - Copa-FOFO Pascua 2024
Mensajes: 499
Registrado: Sab 21 May, 2022 12:41 pm
Medallas: 3
Nivel: 3
Contactar:

Re: Selectivo Cono Sur - 2016 - Problema 4

Mensaje sin leer por drynshock »

Spoiler: mostrar
Buscamos un numero de la forma $\overline{a}133$, donde $\overline{a}$ puede tomar cualquier entero positivo.

Los casos donde $\overline{a}133$ es múltiplo de 3 o 5 quedan inmediatamente descartados ya que el numero no termina en un numero par, ni tampoco en 5.

Nos quedaría analizar que pasa cuando $\overline{a}133 = 3^{k_1}.7^{k_2}, k \in \mathbb Z^+$. Primero veamos el caso $k = x$ en $\overline{a}133 = 3^{x}$

Notemos que $3^4 \equiv 1(mod 20) \Rightarrow 3^{4x} \equiv 1(mod 20)$. Luego sabemos que los restos de las potencias de $3(mod 20)$ van a ser cíclicas, precisamente: $3^x \equiv 1, 3, 9, 27 \equiv(mod 20)$. Como $\overline{a}133 \equiv 13(mod 20)$ entonces no hay solución para este caso.

De manera similar podemos analizar el caso $\overline{a}133 = 7^{x}$. Notemos que $7^4 \equiv 0 (mod 20) \Rightarrow 7^{4x} \equiv 0(mod 20)$. Como las potencias son cíclicas, entonces $7^x \equiv 1, 7, 9, 3 (mod 20)$. Como $\overline{a}133 \equiv 13(mod 20)$ entonces no hay solución para este caso.

Finalmente podemos combinar a mano ambos casos para ver los restos de $\overline{a}133 = 3^{k_1}.7^{k_2} mod 20$
$1.1 | 1.7 | 1.9 | 1.3$
$ - | 3.7 | 3.9 | 3.3$
$ - | 9.7 | 9.9 | -$
$27.1 |27.7 |27.9 |27.3$
Ninguno tiene resto $13 mod 20$ por lo que no hay solución. Entonces, concluimos que todo numero de la forma $\overline{a}133$ tiene sus factores primos mayores que $7$
@Bauti.md ig
TRIVIAL
Responder