Demostrar que la suma de una secuencia combinatoria alterna es igual a cero.

La suma de los coeficientes binomiales de ( X + y ) norte se puede expresar de la siguiente manera:

k = 0 norte ( norte k ) = 2 norte

Se puede demostrar que este es el caso usando una prueba de doble conteo de todas las formas de elegir subconjuntos de un conjunto de norte elementos distintos. Se puede demostrar que la versión alterna de esta suma es igual a cero:

k = 0 norte ( 1 ) k ( norte k ) = 0

Hay muchas pruebas de esta afirmación que yo sepa. Una versión más general de la primera suma se puede expresar de la siguiente manera:

k = q norte ( norte k ) ( k q ) = 2 norte q ( norte q )

dónde norte > q . La prueba de esta igualdad también implica una prueba de doble conteo de todas las formas de elegir subconjuntos de tamaño al menos q de un conjunto de norte distintos elementos y luego seleccionando q elementos en cada uno de esos subconjuntos. Note que si q = 0 entonces esta suma se reduce a la suma original. Ahora lo que quiero probar es que la versión alterna de esta suma también es igual a cero, a saber:

k = q norte ( 1 ) k ( norte k ) ( k q ) = 0

He tratado de llevar esta suma a "telescopio" a cero o de alguna manera expresarla en términos de la serie alterna original, todo fue en vano. Cualquier ayuda para probar la identidad anterior sería muy apreciada.

Tenga en cuenta que ( norte k ) ( k q ) = ( norte q ) ( norte q k q ) y puedes factorizar el ( norte q ) fuera de la suma ya que no implica k .
Sí, me acabo de dar cuenta de que la segunda identidad proporcionada por Greg Martin se puede obtener haciendo uso de esta expresión.
@JMoravitz: Esta identidad merece más atención. Lo he usado muchas veces en sumas similares.

Respuestas (3)

La primera suma alterna es el caso especial X = 1 de la identidad general

k = 0 norte X k ( norte k ) = ( 1 + X ) norte
(siempre y cuando supongamos norte > 0 ).

De manera similar, la segunda suma alterna es el caso especial X = 1 de la identidad general

k = q norte X k ( norte k ) ( k q ) = ( norte q ) X q ( 1 + X ) norte q
(siempre y cuando supongamos norte > q ).

¿Sabes si la segunda identidad tiene nombre para poder ir a buscarla? Muchas gracias.
Quiero decir que está relacionado con la identidad de Vandermonde , tal vez eso ayude a buscar

Considere la suma

k = q norte X k ( norte k ) ( k q )
Podemos usar la definición factorial de coeficientes binomiales para obtener la siguiente identidad
( norte k ) ( k q )
norte ! k ! k ! q ! ( norte k ) ! ( k q ) !
norte ! q ! ( norte k ) ! ( k q ) !
norte ! q ! ( norte k ) ! ( k q ) ! ( norte q ) ! ( norte q ) !
( norte q ) ( norte q k q )
Así que nuestra suma se simplifica a
( norte q ) k = q norte X k ( norte q k q )
Podemos desplazar los índices para obtener
( norte q ) k = 0 norte q X k + q ( norte q k )
( norte q ) X q k = 0 norte q X k ( norte q k )
Claramente la suma restante es ( 1 + X ) norte q por el teorema del binomio, por lo que la expresión es equivalente a
( norte q ) X q ( 1 + X ) norte q
podemos enchufar X = 1 para probar la identidad deseada.

no te gusta el = símbolo, ¿verdad?

Digamos que un equipo consta de total k jugadores donde q de ellos están en el once inicial. Puede elegir a los miembros primero y luego seleccionar a algunos de ellos para que estén en la alineación inicial o puede seleccionar la alineación inicial primero y luego elegir a algunos miembros para completar el equipo. Por lo tanto lo siguiente es cierto:

( norte k ) ( k q ) = ( norte q ) ( norte q k q )

Sustituya esto en la expresión de interés y luego obtenemos una identidad familiar:

k = q norte ( 1 ) k ( norte k ) ( k q ) = ( 1 ) q ( norte q ) k q = 0 norte q ( 1 ) k q ( norte q k q ) = ( 1 ) q ( norte q ) 0 = 0