Ibero 2004 - P3

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años
OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años OFO - Jurado-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años
OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años OFO - Jurado-OFO 2024
Mensajes: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Ibero 2004 - P3

Mensaje sin leer por Gianni De Rico »

Sean $n$ y $k$ enteros positivos tales que $n$ es impar o bien $n$ y $k$ son ambos pares. Demostrar que existen enteros positivos $a$ y $b$ coprimos con $n$ tales que $k=a+b$.
♪♫ do re mi función lineal ♪♫
juandodyk

OFO - Medalla de Oro-OFO 2022 OFO - Medalla de Oro-OFO 2023 OFO - Mención-OFO 2024
Mensajes: 42
Registrado: Mar 26 Jun, 2018 1:59 am
Medallas: 3
Nivel: Exolímpico

Re: Ibero 2004 - P3

Mensaje sin leer por juandodyk »

El enunciado correcto no pide que $a$ y $b$ sean positivos. Si $a$ y $b$ tienen que ser positivos es falso, por ejemplo con $k=1$ y $n$ impar.
Spoiler: mostrar
Si $n_1$ y $n_2$ son dos enteros positivos coprimos tales que si uno de ellos es par entonces $k$ también, y existen $a_1,b_1,a_2,b_2$ enteros tales que $a_1$ y $b_1$ son coprimos con $n_1$ y $a_2$, $b_2$ son coprimos con $n_2$, y $k=a_1+b_1=a_2+b_2$ entonces existen enteros $a,b$ coprimos con $n=n_1n_2$ tales que $k=a+b$. En efecto, por el teorema chino del resto existe un entero $a$ tal que $a=n_1q_1+a_1$ y $a=n_2q_2+a_2$, con $q_1,q_2$ enteros. Sea $b=k-a$. Entonces $(b:n_1)=(k-n_1q_1-a_1:n_1)=(k-a_1:n_1)=(b_1:n_1)=1$, y similarmente $(b:n_2)=1$. Entonces $(b:n)=(b:n_1)(b:n_2)=1$, como queríamos.
Aclaración: llamo $(a:b)$ al máximo común divisor de $a$ y $b$.

Entonces basta con resolver el problema para $n=p^\alpha$, con $p$ primo y $\alpha\geqq1$ entero, con $k$ par si $p=2$. Si $p=2$ tomamos $a=1$ y $b=k-1$. Como $k$ es par, $b$ es impar, luego $(a:2^\alpha)=(b:2^\alpha)=1$. Si $p\geqq 3$ tomamos $a=k-1$ y $b=1$ si $p\nmid k-1$, y $a=k+1$, $b=-1$ si no. Claramente en ambos casos $(a:p)=(b:p)=1$, luego $(a:p^\alpha)=(b:p^\alpha)=1$, listo.
1  
Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años
OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años OFO - Jurado-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años
OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años OFO - Jurado-OFO 2024
Mensajes: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Re: Ibero 2004 - P3

Mensaje sin leer por Gianni De Rico »

Perdón, no conocía esa página y tuve que traducir los enunciados que encontré (traducidos previamente al inglés).
♪♫ do re mi función lineal ♪♫
juandodyk

OFO - Medalla de Oro-OFO 2022 OFO - Medalla de Oro-OFO 2023 OFO - Mención-OFO 2024
Mensajes: 42
Registrado: Mar 26 Jun, 2018 1:59 am
Medallas: 3
Nivel: Exolímpico

Re: Ibero 2004 - P3

Mensaje sin leer por juandodyk »

Todo bien, ¡gracias por subir tantos enunciados!
Responder