Número de Oro 2019 - P8

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:

Número de Oro 2019 - P8

Mensaje sin leer por Gianni De Rico »

Sea $n$ un número natural. Determine condiciones suficientes sobre $n$ para que

$S=1+2+\ldots +n$ divida a $P=1\cdot 2\cdot \ldots \cdot n$.
♪♫ do re mi función lineal ♪♫
Avatar de Usuario
Turko Arias

Colaborador-Varias OFO - Medalla de Plata-OFO 2016 OFO - Medalla de Oro-OFO 2019 FOFO Pascua 2019 - Medalla-FOFO Pascua 2019 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
Mensajes: 591
Registrado: Lun 28 Nov, 2011 11:39 am
Medallas: 17
Nivel: Ñandú
Ubicación: La Plata, Provincia de Buenos Aires

Re: Número de Oro 2019 - P8

Mensaje sin leer por Turko Arias »

Spoiler: mostrar
Vamos a trabajar con $n \geq 2$ y el caso $1$ después lo vemos.
Tenemos $S=\frac{n(n+1)}{2}$, $P=n!$, queremos $S|P$. Notemos que si $n+1=q$ con $q$ primo impar, entonces claramente $q$ es coprimo con todos los enteros menores que el, por lo que es coprimo con cada factor de $n!$, luego $q \nmid P$ y por ende $q \frac{n}{2} \nmid P$.
Sea $q$ un primo impar divisor de $n+1$:
-Si $\frac{n+1}{q}\not= q$, definimos $\frac{n+1}{q}=k$. Claramente $n$ y $n+1$ son coprimos, por lo que $\frac{n}{2}$ y $k$ son coprimos, al igual que $\frac{n}{2}$ y $q$, por lo que los tres son distintos y menores que $n$ y por ende aparecen como factores en $n!$, por lo que $S|P$.
-Si $\frac{n+1}{q}=q$, como $q$ es primo impar, $2q<q^2$, por lo que $2p<n$ (no podría ser que $n$ y $n+1$ sean divisibles por $q$), pero entonces, $q$ y $\frac{n}{2}$ son coprimos y $v_q(n!) \geq 2$, por lo que $S|P$.

Ahora supongamos que no existe un $q$ cumpliendo lo pedido, luego $n+1$ es potencia de dos, y por ende $\frac{n+1}{2}<n$, por lo que $\frac{n+1}{2}$ está como factor en $n!$ y nos queda que $\frac{n+1}{q}$ y $n$ son factores distintos de $n!$, por lo que en este caso también $S|P$.
Por último, si $n=1, S=1, P=1$ por lo que $S|P$.

Luego, los $n$ que no funcionan son los que cumplen que $n+1$ es un primo impar, el resto sirven todos :D :D :D
1  
Fundamentalista del Aire Acondicionado

Y todo el orgullo de ser bien bilardista
Responder