Problema de la Semana

Combinatoria
3-10 de Septiembre de 2010

Determine el valor de Q1000000 cuando

X 2n − k 
Qn = (−1)k
n
k
k≤2

Solución

Tras intentar infructuosamente ajustar el término a identidades conocidas, se

observa que el n del 2n aparece únicamente como exponente de dicho término
y en ningún momento aparece por sı́ mismo. Esta resulta ser la observación
principal del problema ya que es más práctico (y sencillo) intentar resolver el
problema para la recurrencia:
X m − k 
Rm = (−1)k
k
k≤m

con m ≥ 0. Llegando a una fórmula para Rm nos da el resultado cuando

Qn = R2n .
La siguiente figura muestra cómo se comporta Rm para algunos valores de
m. Note que el resultado es obtenido sumando y restando alternativamente en
la dirección de las flechas.

R0 = 1 1
R1 = 1 1 1

R2 = 0 1 2 1

R3 = −1 1 3 3 1

R4 = −1 1 4 6 4 1

R5 = 0 1 5 10 10 5 1

R6 = 1 1 6 15 20 15 6 1

Calculando hasta m = 15 se obtiene la siguiente tabla, que claramente mues-

tra un patrón.

m 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Rm 1 1 0 -1 -1 0 1 1 0 -1 -1 0 1 1 0 -1

1
 Tenemos que demostrar que esta secuencia es periódica, para lo que podemos
utilizar la identidad de pascal para intentar obtener una recurrencia útil:

X m − k 
Rm = (−1)k
k
k≤m
X m − 1 − k  X m − 1 − k 
k
= (−1) + (−1)k
k k−1
k≤m k+1≤m
X m − 1 − k  X m − 2 − k 
k
= (−1) + (−1)k+1
k k
k≤m k+1≤m
X m − 1 − k   
−1
k
= (−1) + (−1)m
k m
k≤m−1
X m − 2 − k  
−1

− (−1)k − (−1)m−1
k m−1
k≤m−2

= Rm−1 + (−1)2m − Rm−2 − (−1)2(m−1)

= Rm−1 − Rm−2

Esto es válido para m ≥ 2.

Ahora podemos expandir esta recurrencia para comprobar la periodicidad:

Rm = Rm−1 − Rm−2
= (Rm−2 − Rm−3 ) − Rm−2
= −Rm−3 (para m ≥ 3)
= Rm−6 (para m ≥ 6)

Una vez comprobado el perı́odo, podemos afirmar que:

 

 1 
 0
1 1

 


 

0 2
 
Rn = si m mód 6 =

 −1 
 3
−1 4

 


 

0 5
 

Ahora determinamos el valor de Qn . Ya que Qn = R2n , basta determinar los

residuos de 2n en módulo 6. Cuando n = 0, tenemos 20 mód 6 = 1; despueś de
esto, multiplicamos por 2, por lo que el patrón de residuos 2 y 4 se repite. Por
lo tanto,

 1 si n = 0
Qn = R2n = 0 si n es impar
−1 si n es par


De aquı́ que Q1000000 = −1.