Como ha señalado David, dado que los sumandos no son en general números enteros, es difícil dar una interpretación combinatoria a la fórmula. Sin embargo, si multiplicamos por $a$ o $b$ obtenemos números enteros y podemos dar una interpretación combinatoria a la identidad que obtenemos (aunque al hacer esto se destruye la simetría entre $a$ y $b$ ).
Si multiplicamos por $b$ la suma puede escribirse $$\sum_{k=0}^a (-1)^k \binom{a+b-k-1}{a-k}\binom{b}{k}.$$ Se trata de un caso especial ( $m=a+b-1$ ) de la identidad más general $$\sum_{k=0}^a (-1)^k\binom{m-k}{a-k}\binom{b}{k} = \binom{m-b}{a},$$ que podemos demostrar combinatoriamente. (Por cierto, esta identidad es una forma del teorema de Vandermonde).
Para demostrar esta fórmula, partimos de un conjunto $M$ de tamaño $m$ con un subconjunto $B$ de tamaño $b$ . Para interpretar $\binom{m-k}{a-k}\binom{b}{k}$ elegimos a $k$ -subconjunto $K$ de $B$ y, a continuación, elija un $(a-k)$ -subconjunto $C$ de $M-K$ . El lado derecho $\binom{m-b}{a}$ cuenta pares $(K,C)$ en el que $K$ está vacío y $C$ es un $a$ -subconjunto de $M-B$ . Para demostrar la identidad, encontramos una involución en el conjunto de pares $(K,C)$ no de esta forma que cambia la paridad de $|K|$ . Los pares $(K,C)$ a cancelar son aquellas en las que $K\cup C$ contiene al menos un elemento de $B$ . Entonces la involución desplaza el elemento más pequeño de $(K\cup C) \cap B$ de $K$ a $C$ o de $C$ a $K$ .