03.07.2015 Views

Rincón de problemas del CIMAT: Dificiles-06

Rincón de problemas del CIMAT: Dificiles-06

Rincón de problemas del CIMAT: Dificiles-06

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!