Prueba combinatoria para la identidad ∑nk=0(nk)(−2)k=(−1)n∑k=0n(nk)(−2)k=(−1)n\sum_{k=0}^n \binom{n}{k}\left(-2\right)^k = (-1)^n

Sé cómo probar esta identidad algebraicamente, pero esa es la forma estúpidamente aburrida de hacer problemas. No puedo pensar en una prueba combinatoria para esto, como en el uso de comités de conteo o algo así. Es difícil lidiar con lo negativo. 2 ...

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

Cualquier ayuda es apreciada, gracias!

( 1 2 ) norte . Teorema del binomio.
@HenningMakholm, las preguntas solicitan una prueba combinatoria. La demostración algebraica es trivial.
@HenningMakholm Wow, eso es mucho más fácil de lo que tenía en mente cuando lo demostraba algebraicamente. Odio la inducción (creo que le quita diversión a probar cosas) y lo estaba haciendo por inducción...

Respuestas (1)

La prueba combinatoria más natural comienza multiplicando la identidad deseada por ( 1 ) norte para hacerlo

k = 0 norte ( norte k ) 2 k ( 1 ) norte k = 1 .

Por supuesto, esto es inmediato del teorema del binomio, pero si desea algo más explícitamente combinatorio, puede reemplazar k por norte k Llegar

k = 0 norte ( norte k ) ( 1 ) k 2 norte k = 1 .

Supongamos que queremos contar los subconjuntos de [ norte ] = { 1 , , norte } que no contienen ningún elemento de [ norte ] . Por supuesto, el único subconjunto de este tipo es , por lo que el valor debe ser 1 . Por otro lado, si por k [ norte ] dejamos A k Sea la familia de subconjuntos de [ norte ] que contiene k , entonces para cualquier no vacío F [ norte ] tenemos

| k F A k | = 2 norte k ,

y aquí están ( norte k ) semejante F [ norte ] , por lo que el resultado se sigue del principio de inclusión-exclusión .

¡Gracias por un enfoque muy bueno para el problema! Tal vez la forma algebraica sea más fácil después de todo: lo estaba haciendo por inducción, lo que me parece extremadamente aburrido / poco interesante como técnica de prueba, no me di cuenta de que era posible simplemente expandir ( 1 2 ) norte como señaló Henning Makholm.
@Terrence: ¡De nada!