Problemas WZ

MÉTODOS COMPUTACIONALES PARA DEMOSTRAR IDENTIDADES
COMBINATORIAS
JOSÉ L. RAMÍREZ AND FABIO A. VELANDIA
Resumen. El objetivo de estas notas es dar una introducción a la teoría WZ.
Índice
1. Introducción 1
2. Algoritmo de Gosper 1
3. Algoritmo de Zeilberger 4
4. El Método WZ 7
5. Problemas 8
5.1. Problema 1. (Problema 11940 AMM) 9
5.7. Problema 7. (Identidad tomada de [4]) 15
5.10. Problema 10. 17
Referencias 19
1. Introducción
2. Algoritmo de Gosper
El algoritmo de Gosper responde a la pregunta de ¿cuándo existe una anti-diferencia
sk para un término ak ? Es decir estamos interesados en encontrar una sucesión sk tal
Date: 23 de septiembre de 2019.
2010 Mathematics Subject Classification. Primary 05A18; Secondary 11P81; 05A15.
Key words and phrases. Identidades Combinatorias.
1
2 JOSÉ L. RAMÍREZ AND FABIO A. VELANDIA
que
ak = ∆sk = sk+1 − sk ,
en el caso en que sk es un término hipergeométrico, es decir sk+1 /sk ∈ Q(k). Una vez
conocida una anti-diferencia sk de ak , el problema de encontrar una fórmula cerrada para
la suma:
n
X
a`
`=m
se vuelve sencillo. En efecto reemplazamos las anti-diferencias:
n
X
a` = (sn+1 − sn ) + (sn − sn−1 ) + · · · + (sm+1 − sm ) = sn+1 − sm .
`=m
En caso que el término sk exista, diremos que la función ak es Gosper sumable. Observe
que si an es Gosper sumable entonces
sn sn 1
= = sn+1 .
an sn+1 − sn sn
−1
Esta última expresión es racional. Así podemos suponer que
sn = y(n)an ,
donde y(n) es racional en n. Por lo tanto,
an+1
y(n + 1)an+1 − y(n)an = an ⇔ y(n + 1) − y(n) = 1
an
⇔ y(n + 1)r(n) − y(n) = 1
donde r(n) es racional. Esto quiere decir que el problema de encontrar el termino sn es
equivalente a resolver la recurrencia
(2.1) r(n)y(n + 1) − y(n) = 1
de primer orden con coeficientes racionales. Gosper encontró que este último problema
es equivalente a resolver una recurrencia de primer orden con coeficientes polinomiales.
Para ello se puede asumir (esto siempre se puede asumir!) que
a(n)c(n + 1)
r(n) = ,
b(n)c(n)
donde a(n), b(n) y c(n) son polinomios en n y
gcd(a(n), b(n + h)) = 1, ∀h ≥ 0.
MÉTODOS COMPUTACIONALES PARA DEMOSTRAR IDENTIDADES COMBINATORIAS 3
Reemplazando el valor de r(n) se obtiene que

!
a(n)c(n + 1
y(n + 1) − y(n) = 1
b(n)c(n)
Así,
!
a(n − 1)c(n)
y(n) − y(n − 1) = 1
b(n − 1)c(n − 1)
(1 + y(n − 1))b(n − 1)c(n − 1) b(n − 1)
⇔ y(n) = = x(n),
a(n − 1)c(n) c(n)
donde x(n) es racional en n. Reemplazando en (2.1) se obtiene que
a(n)c(n + 1 b(n) b(n − 1)
r(n)y(n + 1) − y(n) = 1 ⇔ x(n + 1) − x(n) = 1
b(n)c(n) c(n + 1) c(n)
a(n) b(n − 1)
⇔ x(n + 1) − x(n) = 1
c(n) c(n)
⇔ a(n)x(n + 1) − b(n − 1)x(n) = c(n)
Por lo tanto el problema inicial de encontrar un termino sn es equivalente a resolver
la anterior recurrencia. En caso de poder resolver la recurrencia, entonces
b(n − 1)x(n)
sn = an
c(n)
Ejemplo 2.1. A continuación mostramos como utilizar el algoritmo de Gosper en el
software Mathematica. Por ejemplo para evaluar la suma:
n
X k 4 4k
.
2k
k=0 k
<< RISC`fastZeil`
Fast Zeilberger Package version 3.61

written by Peter Paule, Markus Schorn, and Axel Riese
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria
k^4 * 4^k
Gosper , {k, 0, n}
Binomial[2 k, k]
If `n' is a natural number, then:
4k k4 2 21+2 n (1 + n) 3 22 n + 18 n2 + 112 n3 + 63 n4
Sum , {k, 0, n} - + 
Binomial 2 k, k 231 693 Binomial[2 n, n]
Figura 1. Algoritmo de Gosper en Mathematica.

Se puede obtener aún más información. Para ello definimos F (n, k) como el sumando.
Es decir:
k 4 4k
F (n, k) = 2k .
k
La implementación en Mathematica nos permite encontrar una función G(n, k) tal que
F (n, k) = ∆k (G(n, k)) = G(n, k + 1) − G(n, k).
Con la propiedad importante que
F (n, k)
R(n, k) =
G(n, k)
es siempre una función racional en las dos variables. Esta función se conoce como el
certificado.
k^4 * 4^k
F[n_, k_] :=
Binomial[2 k, k]
Gosper[F[n, k], k]
4k k4 4k  1 2 k  6 26 k 60 k2 140 k3 63 k4 
 Δk  
Binomial 2 k, k] 693 Binomial 2 k, k]
4k - 1 + 2 k - 6 + 26 k + 60 k2 - 140 k + 63 k4 
G[n_, k_] :=
693 Binomial[2 k, k]
F[n, k]  G[n, k]
693 k4
 1 2 k  6 26 k 60 k2 140 k3 63 k4 
FullSimplifyF[n, k] - G[n, k + 1] - G[n, k]

0
Figura 2. Certificado Algoritmo de Gosper en Mathematica.
3. Algoritmo de Zeilberger
Considere la siguiente suma
X
f (n) := F (n, k),
k
donde F (n, k) es un término hipergeométrico en n y k. El objetivo es encontrar una

relación de recurrencia para f (n). Para ello primero vamos a encontrar una recurrencia

n
para F (n, k). Como no todas las sumas son Gosper sumable (por ejemplo m
P
k=0 k , con
m < n), esto quiere decir que no siempre vamos a poder encontrar G tal que
F (n, k) = G(n, k + 1) − G(n, k)
para algún término aceptable G. Sin embargo, en algunos casos podremos encontrar G
tal que
(3.1) F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)
Si esta relación se tiene, se puede verificar que f (n) es contante. En efecto,
X X
(F (n + 1, k) − F (n, k)) = (G(n, k + 1) − G(n, k)),
k k
luego f (n + 1) − f (n) = 0. Aplicando este última relación, se concluye que f (n) = f (0).
Si definimos los operadores
N (g(n, k)) = g(n + 1, k), K(g(n, k)) = g(n, k + 1),
entonces la Ecuación (3.1) se traduce en
(N − 1)F = (K − 1)G.
En general el algoritmo de Zeilberger le garantiza que para un termino hipergeométrico
F (n, k), existe un operador en diferencias de la forma
p(n, N ) = a0 (n) + a1 (n)N + a2 N 2 + · · · + aJ N J ,
tal que
p(n, N )F (n, k) = (K − 1)G,
donde (ai (n))J0 son polinomios en n y
G(n, k)
F (n, k)
es racional en n y k. Si tal operador existe, entonces se puede verificar que
J
X
aj (n)f (n + j) = 0.
j=0
Si J = 1, entonces
a0 (n)f (n) + a1 (n)f (n + 1) = 0,
luego
n−1
Y −a0 (j)
f (n) = f (0) .
j=0 a1 (j)
Si J > 1 y aj (n) son constantes, entonces se obtiene una recurrencia lineal con coefi-
cientes constantes y esto se puede solucionar por métodos estándar. Si J > 1 y aj (n) son
polinomios en n, se puede solucionar la recurrencia mediante el Algoritmo de Petkovsek.
Ejemplo 3.1. A continuación mostramos como utilizar el algoritmo de Zeilberger en el

software Mathematica, para evaluar la suma:
n
! !
2k 2n − 2k
= 4n .
X
k=0 k n−k
Sobre esta identidad se han dado varias demostraciones. En general los argumentos
combinatorios que se han dado son bastante elaborados. Hoy en día se conoce como la
identidad de Hajós (cf. [2]). Con el algoritmo de Zeilberger es posible dar una prueba de
esta identidad.
<< RISC`fastZeil`
Fast Zeilberger Package version 3.61

written by Peter Paule, Markus Schorn, and Axel Riese
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria
F[n_, k_] := Binomial[2 k, k] Binomial[2 n - 2 k, n - k]
Zb[F[n, k], k, n]
{4 (1 + n) F[k, n] + (- 1 - n) F[k, 1 + n] k [F[k, n] R[k, n]]}
show[R]
2 k 1 - 2 k + 2 n
1-k+n
2k 1-2k+2n
R[n_, k_] :=
1-k+n
G[n_, k_] := R[n, k] * F[n, k]
FullSimplify FunctionExpand 4 (n + 1) F[n, k] - (n + 1) F[n + 1, k] - G[n, k + 1] - G[n, k]

0
Figura 3. Algoritmo de Zeilberger en Mathematica.

Como resultado de aplicar el algoritmo se deduce que si F (n, k) = 2k k
2n−2k
n−k
, en-
tonces
4(n + 1)F (n, k) − (n + 1)F (n + 1, k) = G(n, k + 1) − G(n, k),
con el certificado
G(n, k) 2k(2n − 2k + 1)
R(n, k) = = .
F (n, k) n−k+1
Sumando sobre todo k, se concluye que
4(n + 1)f (n) − (n + 1)f (n + 1) = 0.
Como f (n) = 4f (n − 1), entonces es claro que f (n) = 4n f (0) = 4n .
4. El Método WZ
El método WZ no sirve pata encontrar fórmulas cerradas, pero si para probar identi-
dades combinatorias de la forma:
X
F (n, k) = f (n),
k
con r(n) 6= 0. Esta identidad es equivalente a

X
F (n, k)/r(n) = 1.
k
Si pensamos que F (n, k)/r(n) es el sumando original, entonces el problema se reduce a

la igualdad
X
F (n, k) = constante.
k
P
Sea f (n) = k F (n, k), debemos tratar de demostrar que f (n) en contante para todo
n. Una forma es demostrar que f (n + 1) − f (n) = 0 para todo entero no negativo n.
Esto se puede hacer si se encuentra una función G(n, k) tal que:
F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k).
Con este análisis en mente se tiene el siguiente algoritmo:

1. Entrada: Un término hipergeométrico F (n, k) respecto a n y k.
2. Definimos D(k) := F (n + 1, k) − F (n, k).
3. Aplicamos el Algoritmo de Gosper a D(k). Si es exitoso encontramos un término
g(k) tal que
D(k) = g(k + 1) − g(k)
Como g(k) también depende del parámetro n, entonces tenemos que g(k) :=
G(n, k).
4. R(n, k) := G(n, k)/F (n, k) es racional y es el certificado WZ para la identidad
X
F (n, k) = constante.
k
La pareja de funciones (F, G) se le denomina pareja WZ.

Vamos a utilizar el código elaborado por Doron Zeilberger para encontrar el certificado
WZ. Para ello debemos descargar1 y correr el archivo gosper.m.
1
https://www.math.upenn.edu/~wilf/progs.html
Ejemplo 4.1. A continuación mostramos como utilizar el método WZ para demostrar

la identidad:
n
!
n + k −k
2 = 2n .
X
k=0 n
Para más información sobre esta suma ver la referencia [1].
Observe primero que esta suma es equivalente a
n
!
X n + k −(k+n)
f (n) := 2 =1
k=0 n

n+k
Así que debemos definir F (n, k) := n
2−(k+n) . Corremos el algoritmo en Mathemati-
ca:
? WZ
[ {}] ( )
( ) ( ) = ( ) ( )
( + )- ( )= ( + )- ( )
F[n_, k_] := Binomial[n + k, n] 2 ^ - k - n
WZ[F[n, k], n, k]
k
-
1+n
k
R[n_, k_] := -
1+n
G[n_, k_] := R[n, k] * F[n, k]
FullSimplifyF[n + 1, k] - F[n, k] - G[n, k + 1] - G[n, k]

0
Figura 4. Método WZ en Mathematica.
En este caso el certificado es

k
R(n, k) = − .
n+1
Sumando sobre todo k, se concluye que
f (n + 1) − f (n) = 0.
Así que f (n) es constante, e igual a f (0) = 1. Quedando demostrado.
5. Problemas
AMM: American Mathematical Monthly.
5.1. Problema
1. (Problema 11940 AMM). Sea Tn = n(n + 1)/2 y C(n, k) =
n
(n − 2k) k . Para n ≥ 1, demuestre que
n−1
! !
X n3 − 2n2 + 4n Tn Tn+1
C(Tn , k)C(Tn+1 , k) = .
k=0 n+2 n n
Demostración. Dividiendo por el resultado de la suma, el problema es equivalente a probar
que:
n−1
X n+2 C(Tn , k)C(Tn+1 , k)
3 − 2n2 + 4n

Tn Tn+1
= 1.
k=0 n
n n
Sea F (n, k) el sumando, es decir
n+2 C(Tn , k)C(Tn+1 , k)
F (n, k) = .
n3 − 2n + 4n
2 Tn Tn+1
n n
Por el Algoritmo de Gosper obtenemos que

F (n, k) = G(n, k + 1) − G(n, k),
con certificado
G(n, k) 4k 2 (−4k + n2 + 2n + 4)
R(n, k) = = .
F (n, k) n(n + 2) (−4k + n2 + n) (−4k + n2 + 3n + 2)
Por lo tanto
n−1
X
F (n, k) = G(n, n) − G(n, 0) = 1.
k=0
Quedando demostrado.
5.2. Problema 2. (Problema 11916 AMM). Demuestre que si n, r, y s son enteros
positivos, entonces
n + r s−1 n + s r−1
! ! ! ! ! !
X r+k n+k X s+k n+k
= .
n k=0 r − 1 n n k=0 s − 1 n
Demostración. Sean Sum1 (n) y Sum2 (n) las sumas de la derecha e izquierda, respectiva-
mente. Vamos a demostrar que estas sumas satisfacen la misma relación de recurrencia,
con los mismos valores iniciales. Cada una de estas sumas se pueden re-escribir como:
s−1
! ! !
X n+r r+k n+k
Sum1 (n) =
k=0 n r−1 n
r−1
! ! !
X n+s s+k n+k
Sum2 (n) = .
k=0 n s−1 n
Sea F1 (n, k) (resp. F2 (n, k)) el sumando de Sum1 (n) (Sum2 (n)). Por el Algoritmo de
Zeilberger obtenemos que
(n + 1)F1 (n + 1, k) − nF1 (n, k) = G1 (n, k + 1) − G1 (n, k),
(n + 1)F1 (n + 1, k) − nF1 (n, k) = G2 (n, k + 1) − G2 (n, k),

con certificado
G1 (n, k) G2 (n, k) k(1 + k)
R(n, k) = = = .
F1 (n, k) F2 (n, k) 1+n
En la primera igualdad sumamos sobre k desde 0 hasta s − 1:
(n + 1)Sum1 (n + 1) − nSum1 (n) = G1 (n, s) − G1 (n, 0).
Se puede observar que
G1 (n, 0) = 0
! ! !
s(s + 1) n + r n+s r+s
G1 (n, s) = .
n+1 n n r−1
Para la segunda suma se obtiene de manera análoga que
(n + 1)Sum2 (n + 1) − nSum2 (n) = G2 (n, r) − G2 (n, 0).
con
G2 (n, 0) = 0
! ! !
r(r + 1) n + r n+s r+s
G2 (n, r) = .
n+1 n n s−1
Claramente G1 (n, s) = G2 (n, r). Por lo tanto las sumas satisfacen la misma recurrencia.
Por último, sus valores iniciales coinciden:
! !
r+s r+s
Sum1 (1) = s(s + 1) = r(r + 1) = Sum2 (1).
r−1 s−1
5.3. Problema 3. (Problema 12049 AMM). Para todos los enteros no negativos
m y n tales que m ≤ n, muestre que
n
(−1)k+m n + k
! !
X 2k 1
= .
k=m 2k + 1 n−k k−m 2n + 1
Demostración. El problema es equivalente a demostrar que

n
(2n + 1)(−1)k+m n + k
! !
X 2k
=1
k=m 2k + 1 n−k k−m
Definimos F (n, k) como el sumando anterior, luego

(2n + 1)(−1)k+m n + k
! !
2k
F (n, k) =
2k + 1 n−k k−m
El rango de la suma es sobre todos los enteros, puesto que para k < m o k > n los
coeficientes binomiales no están definidos.
Aplicando el Método WZ a F (n, k), obtenemos que
F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)
con el certificado
G(n, k) 2(k − m)(k + m)(1 + 2k + n + 2kn)
R(n, k) = =
F (n, k) (−1 + k − n)(1 − m + n)(1 + m + n)(1 + 2n)
P P
De la identidad anterior, obtenemos que k F (n +1, k) = k F (n, k). Entonces la suma
es constante en n. Notamos que, para el valor inicial n = m
! !
X (2m + 1)(−1)2m m + m 2m
F (m, k) = =1
k 2m + 1 m−m m−m
Por lo tanto
X n
X
F (n, k) = F (n, k) = 1
k k=m
5.4. Problema 4. (Problema 11844 AMM). Para todos los enteros no negativos
m y n, demuestre que
n
!3
m m−1
! ! !
X m X j j
(m − 2k) = (m − n) .
k=0 k n j=0 n m−n−1

u
(Aquí v
= 0 si u < v, y una suma es cero si su rango de suma es vacío.)
Demostración. Sean Sum1 (m) y Sum2 (m) las sumas de la izquierda y derecha, respec-
tivamente. Veamos que estas sumas satisfacen la misma relación de recurrencia, con los
mismos valores iniciales.

Reescribimos Sum2 (m) como:
m−1
! ! !
X m j j
Sum2 (m) = (m − n)
j=0 n n m−n−1
Sean F1 (m, k) el sumando de Sum1 (m) y F2 (m, j) el sumando de Sum2 (m). Aplicando
el Algoritmo de Zeilberger obtenemos que
−F1 (m + 1, k) − F1 (m, k) = G1 (m, k + 1) − G1 (m, k),
−F2 (m + 1, j) − F2 (m, j) = G2 (m, j + 1) − G2 (m, j),

con los certificados
G1 (m, k) k 3 (k − 2(1 + m))
R1 (m, k) = =
F1 (m, k) (−2k + m)(1 − k + m)3
G2 (m, j) (−j + n)(1 + j − m + n)

R2 (m, j) = =
F2 (m, j) (−m + n)2
En la primera igualdad sumamos sobre k desde 0 hasta n:
Sum1 (m + 1) − Sum1 (m) = G1 (m, 0) − G1 (m, n + 1).
Notamos que
G1 (m, 0) = 0
!3
m
G1 (m, n + 1) = −(1 + 2m − n)
n
En la segunda suma, el límite superior depende de m. Sumando sobre j desde 0 hasta
m − 1, se tiene que
Sum2 (m + 1) + Sum2 (m) = F2 (m + 1, m) + G2 (m, 0) − G2 (m, m).
donde
! !2 !3
m m m
F2 (m + 1, m) = (1 + m) = (1 + m)
m−n n n
G2 (m, 0) = 0
! !2 !3
m m m
G2 (m, m) = (n − m) = (n − m)
m−n n n
Claramente −G1 (m, n + 1) = F2 (m + 1, m) − G2 (m, m). Luego las sumas satisfacen la

misma recurrencia. Verificamos que sus valores iniciales coinciden:
!3
0
Sum1 (0) = 0 puesto que F1 (0, k) = (−2k) =0
k
Sum2 (0) = 0 puesto que su rango de suma es vacío (el límite superior es −1)
5.5. Problema 5. (Problema 12016 AMM). Dados m, n ,r y s enteros no nega-

tivos, muestre que
s r
! ! ! ! ! !
X m+r r+k s X m+s s+k r
=
k=0 n−k k k k=0 n − k k k
Demostración. Fijando a m, r y s como parámetros, definimos Sum1 (n) y Sum2 (n) como
las sumas del lado izquierdo y del lado derecho, respectivamente. Veamos que estas sumas
satisfacen la misma relación de recurrencia, con los mismos valores iniciales.
Sean F1 (n, k) el sumando de Sum1 (n) y F2 (n, k) el sumando de Sum2 (n). Aplicando el
Algoritmo de Zeilberger obtenemos que
(1 − m + n)(m − n + r + s)F1 (n, k)

+(−3+3m−5n+2mn−2n2 +2r +nr +2s+ns+rs)F1 (n+1, k)−(2+n)2 F (n+2, k)
= G1 (n, k + 1) − G1 (n, k),
(1 − m + n)(m − n + r + s)F2 (n, k)

+ (−3 + 3m − 5n + 2mn − 2n2 + 2r + nr + 2s + ns + rs)F2 (n + 1, k)
− (2 + n)2 F (n + 2, k)
= G2 (n, k + 1) − G2 (n, k).
Con los certificados

G1 (n, k) k 2 (1 + m + r)(k + m − n + r)
R1 (n, k) = = ,
F1 (n, k) (1 − k + n)(2 − k + n)
G2 (n, k) k 2 (1 + m + s)(k + m − n + s)
R2 (n, k) = = .
F2 (n, k) (1 − k + n)(2 − k + n)
En la recurrencia de F1 (n, k) sumamos sobre k desde 0 hasta s, y en la segunda

recurrencia, sumando sobre k desde 0 hasta r. Como se tienen los siguientes valores
G1 (n, 0) = 0, G1 (n, s + 1) = 0,
G2 (n, 0) = 0, G2 (n, r + 1) = 0.
se puede concluir que las sumas satisfacen la misma recurrencia. Verificamos que sus
valores iniciales coinciden:
! ! !
m+r r s
Sum1 (0) = = 1,
0 0 0
! ! !
m+s s r
Sum2 (0) = = 1.
0 0 0
5.6. Problema 6. (Problema 11928 AMM). Para todos los enteros positivos n y
m, demuestre que ! ! ! ! !2
X n n i+j X n n
=
i<j i j n i<j i j
Demostración. Se puede demostrar que esta identidad es equivalente a:
!2 ! !3
X n 2k X n
= .
k k n k k
Sean Sum1 (m) y Sum2 (m) las sumas de la izquierda y derecha, respectivamente.
Veamos que estas sumas satisfacen la misma relación de recurrencia, con los mismos
valores iniciales.
Sean F1 (n, k) el sumando de Sum1 (n) y F2 (n, k) el sumando de Sum2 (n). Aplicando el
Algoritmo de Zeilberger obtenemos que

(n + 2)2 Fi (n + 2, k) + −7n2 − 21n − 16 Fi (n + 1, k) − 8(n + 1)2 Fi (n, k)
= Gi (n, k + 1) − Gi (n, k),
para i = 1, 2. En este caso los certificados son
k(n − 2k)(−2k + n + 1) (2k 2 (n + 1) − 3k(n + 1)(n + 2))
R1 (n, k) = .
(−k + n + 1)2 (−k + n + 2)2
G2 (n, k)
R2 (n, k) =
F2 (n, k)

k3 4k3 (n + 1)2 − 6k2 (n + 1)2 (3n + 5) + 3k(n + 1)2 9n2 + 31n + 26 − 2(n + 1)2 7n3 + 37n2 + 64n + 36
=
(−k + n + 1)3 (−k + n + 2)3
Sumamos sobre todo k (k ∈ Z):

(n+2)2 Sumi (n+2)+ −7n2 − 21n − 16 Sumi (n+1)−8(n+1)2 Sumi (n) = 0, i = 1, 2.
Por último verificamos que sus valores iniciales coinciden:
Sum1 (0) = 1 = Sum1 (0), Sum1 (1) = 2 = Sum1 (1), Sum1 (2) = 10 = Sum1 (2).
Quedando demostrada la identidad.
5.7. Problema 7. (Identidad tomada de [4]). Para todos los enteros n ≥ 0 y

m > 0 se tiene que
n
n (−1)k
!
X n!
= .
k=0 k m+k m(m + 1) · · · (m + n)
Demostración. El problema es equivalente a demostrar que
n
n (−1)k (m(m + 1) · · · (m + n))
!
X
= 1.
k=0 k (m + k)n!
Definimos F (n, k) como el sumando anterior. Es decir
n (−1)k (m(m + 1) · · · (m + n))
!
F (n, k) = .
k (m + k)n!
El rango de la suma es sobre todos los enteros, puesto que para k < 0 o k > n los
coeficientes binomiales se toman como cero.
F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)
con el certificado
G(n, k) k(k + m)
R(n, k) = =
F (n, k) (n + 1)(k − n − 1)
P P
es constante en n. Notamos que, para el valor inicial n = 0
X
F (0, k) = 1
k
Por lo tanto
X n
X
F (n, k) = F (n, k) = 1.
k k=0
5.8. Problema 8. (Problema 11897 AMM). Demuestre que para todo entero n ≥
0 se tiene que

n 2k 2`+2 !
X k `+1 2n + 2
=2 .
k+`=n,k≥0,`≥0 k+1 n
Demostración. Esta suma se puede re-escribir como

n 2k 2(n−k)+2 !
X k (n−k)+1 2n + 2
=2 .
k=0 k+1 n
La cual es de nuevo equivalente a la suma:

n 2k 2(n−k)+2
X k (n−k)+1
= 1.
k=0 2(k + 1) 2n+2
n
Definimos F (n, k) como el sumando anterior. Es decir

2k 2(n−k)+2
k (n−k)+1
F (n, k) = .
2(k + 1) 2n+2
n
El rango de la suma es sobre todos los enteros, puesto que para k < 0 o k > n los
coeficientes binomiales se toman como cero.
F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)
con el certificado
G(n, k) (k − 1)(k + 1)(2k − 2n − 3)
R(n, k) = =− .
F (n, k) (n + 2)(2n + 3)(k − n − 2)
P P
es constante en n. Notamos que, para el valor inicial n = 0
X
F (0, k) = 1
k
Por lo tanto
X n
X
F (n, k) = F (n, k) = 1.
k k=0
5.9. Problema 9. (Problema 11899 AMM). Demuestre que para todo entero po-
sitivo n,
n
! 2n+1
! ! ! ! !2
X 2n 2n + 1 X 2n + 1 2n 4n + 1 2n
+ = + .
k=0 k k k=n+1 k k−1 2n n
Demostración. Por la simetría de los coeficientes binomiales, tenemos que
n 2n+1 n
! ! ! ! ! !
X 2n 2n + 1 X 2n + 1 2n X 2n 2n + 1
+ =2
k=0 k k k=n+1 k k−1 k=0 k k
Así, consideramos el sumando F (n, k) como
! !
2n 2n + 1
F (n, k) = 2
k k
Pn
Aplicando el Algoritmo de Zeilberger, obtenemos que Sum(n) = k=0 F (n, k) satisface
la recurrencia:
2n2
2(1 + 2n)(9 + 19n + 8n2 ) n
−2(1+2n)(3+4n)(5+4n)Sum(n)+(1+n)(1+2n)(3+2n)Sum(n+1) = −
1+n
2
4n+1 2n
Sea f (n) = 2n
+ n
. Notamos que
2n2
2(1 + 2n)(9 + 19n + 8n2 ) n
−2(1+2n)(3+4n)(5+4n)f (n)+(1+n)(1+2n)(3+2n)f (n+1) = −
1+n
Por otro lado
Sum(0) = 2 = f (0)
Sum(1) = 14 = f (1)
Puesto que Sum(n) y f (n) satisfacen la misma recurrencia con los mismos valores ini-
ciales, concluimos que Sum(n) = f (n)
5.10. Problema 10. Para todos los enteros positivos n y k con n ≤ k, demuestre que
n
!! !! !!
X k k 2k
= .
j=0 j n−j n

u u+v−1
donde v
= v
. Ver [3]
Demostración. Este problema es equivalente a demostrar que

n k k
X j n−j

2k
= 1.
j=0 n
Sea
k k
j n−j
F (k, j) =
2k
n
Aplicando el Método WZ, obtenemos que

F (k + 1, j) − F (k, j) = G(k, j + 1) − G(k, j)
con el certificado
G(k, j) j(−1 + 2j − n)(j − k + n)
R(k, j) = =
F (k, j) k(2k + n)(1 + 2k + n)
Sumando esta recurrencia desde j = 0 hasta j = n, se tiene que
n
X n
X
F (k + 1, j) = F (k, j) = G(k, j + 1) − G(k, 0)
j=0 j=0
y notamos que G(k, j + 1) − G(k, 0) = 0. Por lo tanto, la suma es constante en k.

Finalmente, considerando el valor de la suma para k = n, se tiene que

n n n+j−1 2n−j−1
X X j n−j
F (n, j) =
3n−1
=1
j=0 j=0 n
Referencias
[1] D. Aharonov and U. Elias. A binomial identity via differential equations. The American Mathema-
tical Monthly, 120(5) (2013), 462–466.
[2] R. Duarte and A. Guedes de Oliveira. A famous identity of Hajós in terms of sets. Journal of Integer
Sequences, 17, Article 14.9.1 (2014), 1–10.
[3] J. Lutgen. A combinatorial proof of an alternating convolution identity for multichoose numbers.
The American Mathematical Monthly, 123(2) (2016), 192–196.
[4] M. Z. Spivey. Probabilistic proofs of a binomial identity its inverse and generalizations. The Ame-
rican Mathematical Monthly, 123(2) (2016), 175–180.
José L. Ramírez, Departamento de Matemáticas, Universidad Nacional de Colombia.

https://sites.google.com/site/ramirezrjl/
jlramirezr@unal.edu.co
Fabio A. Velandia, Departamento de Matemáticas, Universidad Nacional de Colombia.

fvelandias@unal.edu.co

Problemas WZ

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Problemas WZ

Caricato da

Copyright:

Formati disponibili

MÉTODOS COMPUTACIONALES PARA DEMOSTRAR IDENTIDADES

JOSÉ L. RAMÍREZ AND FABIO A. VELANDIA

Resumen. El objetivo de estas notas es dar una introducción a la teoría WZ.

Reemplazando el valor de r(n) se obtiene que

Fast Zeilberger Package version 3.61

Figura 1. Algoritmo de Gosper en Mathematica.

FullSimplifyF[n, k] - G[n, k + 1] - G[n, k]

Figura 2. Certificado Algoritmo de Gosper en Mathematica.

donde F (n, k) es un término hipergeométrico en n y k. El objetivo es encontrar una

Ejemplo 3.1. A continuación mostramos como utilizar el algoritmo de Zeilberger en el

Fast Zeilberger Package version 3.61

F[n_, k_] := Binomial[2 k, k] Binomial[2 n - 2 k, n - k]

G[n_, k_] := R[n, k] * F[n, k]

FullSimplify FunctionExpand 4 (n + 1) F[n, k] - (n + 1) F[n + 1, k] - G[n, k + 1] - G[n, k]

Figura 3. Algoritmo de Zeilberger en Mathematica.

con r(n) 6= 0. Esta identidad es equivalente a

Si pensamos que F (n, k)/r(n) es el sumando original, entonces el problema se reduce a

F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k).

Con este análisis en mente se tiene el siguiente algoritmo:

La pareja de funciones (F, G) se le denomina pareja WZ.

Ejemplo 4.1. A continuación mostramos como utilizar el método WZ para demostrar

F[n_, k_] := Binomial[n + k, n] 2 ^ - k - n

G[n_, k_] := R[n, k] * F[n, k]

FullSimplifyF[n + 1, k] - F[n, k] - G[n, k + 1] - G[n, k]

Figura 4. Método WZ en Mathematica.

En este caso el certificado es

Por el Algoritmo de Gosper obtenemos que

(n + 1)F1 (n + 1, k) − nF1 (n, k) = G2 (n, k + 1) − G2 (n, k),

Demostración. El problema es equivalente a demostrar que

Definimos F (n, k) como el sumando anterior, luego

F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)

mismos valores iniciales.

−F2 (m + 1, j) − F2 (m, j) = G2 (m, j + 1) − G2 (m, j),

G2 (m, j) (−j + n)(1 + j − m + n)

Claramente −G1 (m, n + 1) = F2 (m + 1, m) − G2 (m, m). Luego las sumas satisfacen la

5.5. Problema 5. (Problema 12016 AMM). Dados m, n ,r y s enteros no nega-

(1 − m + n)(m − n + r + s)F1 (n, k)

(1 − m + n)(m − n + r + s)F2 (n, k)

Con los certificados

En la recurrencia de F1 (n, k) sumamos sobre k desde 0 hasta s, y en la segunda

Sumamos sobre todo k (k ∈ Z):

5.7. Problema 7. (Identidad tomada de [4]). Para todos los enteros n ≥ 0 y

Demostración. Esta suma se puede re-escribir como

Definimos F (n, k) como el sumando anterior. Es decir

F (n + 1, k) − F (n, k) = G(n, k + 1) − G(n, k)

Aplicando el Método WZ, obtenemos que

y notamos que G(k, j + 1) − G(k, 0) = 0. Por lo tanto, la suma es constante en k.

José L. Ramírez, Departamento de Matemáticas, Universidad Nacional de Colombia.

Fabio A. Velandia, Departamento de Matemáticas, Universidad Nacional de Colombia.

Potrebbero piacerti anche