Rincón de problemas del CIMAT: Dificiles-06
Rincón de problemas del CIMAT: Dificiles-06
Rincón de problemas del CIMAT: Dificiles-06
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Rincón <strong>de</strong> <strong>problemas</strong> <strong>de</strong>l <strong>CIMAT</strong>: <strong>Dificiles</strong>-<strong>06</strong><br />
Pedro Pablo Mayorga<br />
mayorga@cimat.mx<br />
Enero 17 <strong>de</strong> 2009.<br />
1 Descripción <strong>de</strong>l problema.<br />
Consi<strong>de</strong>ra a todas las sucesiones <strong>de</strong> n números naturales positivos (a 1 , a 2 , . . .,a n ),<br />
tales que la suma <strong>de</strong> sus recíprocos satisface<br />
1<br />
a 1<br />
+ 1 a 2<br />
+ . . . + 1<br />
a n<br />
= 1. (1)<br />
Denota al número <strong>de</strong> tales sucesiones por A n . Por ejemplo, A 1 = A 2 = 1, y<br />
A 3 = 10, dado por (3, 3, 3), (2, 4, 4), (2, 3, 6), y permutaciones <strong>de</strong> los últimos<br />
dos.<br />
Deci<strong>de</strong> si A 10 es par o impar.<br />
(Sept 11, 1998).<br />
2 Prefacio<br />
La máxima potencia <strong>de</strong> 2 que divi<strong>de</strong> a n! es<br />
t n = [ n 2 ] + [ n 2 2 ] + [ n 23] + . . . , (2)<br />
don<strong>de</strong> [·] representa la parte entera <strong>de</strong> un número. Esto se pue<strong>de</strong> verificar dado<br />
que los números positivos menores o iguales a n divisibles por 2 k satisfacen<br />
2 k ≤ 2 k t ≤ n, o sea, 1 ≤ t ≤ [ n 2 k ] ≤ n 2 k ; por lo que este razonamiento realizado<br />
para k = 1, 2, . . . nos corrobara la afirmación. Por ejemplo<br />
t 10 = [10/2] + [10/4] + [10/8] = 5 + 2 + 1 = 8.<br />
Usando (2) y sabiendo que ∀r ∈ R, [r] ≤ r y que n es finito, se tiene:<br />
t n = [n/2] + [n/4] + [n/8] + . . .<br />
t n ≤ n/2 + n/4 + n/8 + . . .<br />
t n ≤ n (1/2 + 1/4 + 1/8 + . . .) < n<br />
t n ≤ n − 1 (3)<br />
1
3 Solución<br />
Es facil notar que si el número <strong>de</strong> permutaciones <strong>de</strong> una solución al problema es<br />
par, esta no contribuye a la paridad <strong>de</strong> A 10 , por lo que buscaremos la totalidad<br />
<strong>de</strong> soluciones cuyo total <strong>de</strong> permutaciones sea un número impar.<br />
Dada la suma 1/a 1 + . . . + 1/a 10 = 1 don<strong>de</strong> las a i tienen n 1 elementos<br />
iguales a b 1 , . . . , n r elementos iguales a b r , el número <strong>de</strong> permutaciones es<br />
(<br />
10<br />
n 1,...,n r<br />
)<br />
=<br />
10!<br />
n 1!···n r! .<br />
Usando (2) po<strong>de</strong>mos escribir n! = 2 tn k n , con k n un entero impar. Luego el<br />
factor 2 aparece t 10 − (t n1 + . . . + t nr ) veces en el número ( 10<br />
n 1,...,n r<br />
)<br />
. Por lo que<br />
(<br />
10<br />
n 1,...,n r<br />
)<br />
es par si y solo si t10 > ∑ r t n r<br />
e impar en el caso que t 10 = ∑ r t n r<br />
.<br />
Como t 10 = 8, se tiene que<br />
( )<br />
10<br />
es<br />
n 1 , . . . , n r<br />
Usando (3) tenemos<br />
{ ∑ par si<br />
∑ r t n r<br />
< 8<br />
impar si<br />
r t n r<br />
= 8.<br />
t n1 ≤ n 1 − 1<br />
.<br />
.<br />
t nr ≤ n r − 1;<br />
Sumando las <strong>de</strong>sigualda<strong>de</strong>s previas tenemos que<br />
∑<br />
t nr ≤ ∑ n r − r<br />
r<br />
r<br />
∑<br />
t nr ≤ 10 − r.<br />
r<br />
Esto nos indica que para r ≥ 3, ∑ r t n r<br />
≤ 7, por lo que el número ( 10<br />
n 1,...,n r<br />
)<br />
es par para r ≥ 3.<br />
Luego solo analizaremos los casos para r = 1 y r = 2 para conocer la paridad<br />
<strong>de</strong> A 10 .<br />
3.1 Caso r = 1<br />
En el caso r = 1, tenemos solamente la solución a i = 10. De hecho, dado<br />
n 1 = 10 tendríamos 10/b 1 = 1, entonces b 1 = 10.<br />
Luego el número total <strong>de</strong> permutaciones para el caso r = 1 es 1.<br />
3.2 Caso r = 2<br />
Para este caso buscamos t n1 + t n2 = 8, veamos:<br />
t 9 + t 1 = {[9/2] + [9/4] + [9/8]} + {0} = 7<br />
t 8 + t 2 = {[8/2] + [8/4] + [8/8]} + {[2/2]} = 8∗<br />
t 7 + t 3 = {[7/2] + [7/4]} + {[3/2]} = 5<br />
t 6 + t 4 = {[6/2] + [6/4]} + {[4/2] + [4/4]} = 7<br />
t 5 + t 5 = {[5/2] + [5/4]} + {[5/2] + [5/4]} = 6.<br />
.<br />
2
Todas las combinaciones resultarán en un número par excepto n 1 = 8 y<br />
n 2 = 2.<br />
Buscaremos soluciones enteras <strong>de</strong> la ecuación 2 x + 8 y<br />
= 1, tal que x ≠ y.<br />
Tomemos a x = kx 0 y y = ky 0 tal que (x 0 , y 0 ) son coprimos. Entonces<br />
la ecuación quedaría como 8x 0 + 2y 0 = kx 0 y 0 y dividiendo entre x 0 quedaría<br />
como 8 + 2y0<br />
x 0<br />
= ky 0 , <strong>de</strong>bido a la coprimalidad entre x 0 y y 0 , se <strong>de</strong>duce que<br />
(<br />
2<br />
x 0 |2, luego agrupamos la expresión como 8 +<br />
x 0<br />
)y 0 = ky 0 y dividiendo entre<br />
y 0 queda como k = 8 y 0<br />
+ 2 x 0<br />
. Las únicas opciones para x 0 y y 0 son x 0 =<br />
{1, 2}, y 0 = {1, 2, 4, 8}, consi<strong>de</strong>rando las combinaciones en las que (x 0 , y 0 ) son<br />
coprimos y diferentes tenemos (x 0 , y 0 ) = {(1, 2), (1, 4), (1, 8), (2, 1)}, es <strong>de</strong>cir<br />
cuatro soluciones diferentes.<br />
3.3 Conclusión<br />
Hemos encontrado que <strong>de</strong> todas las soluciones posibles <strong>de</strong>l problema (no consi<strong>de</strong>rando<br />
or<strong>de</strong>n), tienen permutaciones que son números pares excepto por 5<br />
soluciones cuyas permutaciones son impares, 1 <strong>de</strong>l caso r = 1 y 4 <strong>de</strong>l caso r = 2.<br />
Por lo que concluimos que A 10 es impar.<br />
3