Ya que la pregunta es con la etiqueta "combinatoria" aquí está una combinatoria de la prueba. :)
Deje $A_k$ ser el conjunto de todas las funciones de $f: \{1, 2, \ldots, n\} \mapsto \{1, 2, \ldots, n+r\}$ tal que $f(i) = k$ durante al menos un $i$ donde $1 \leq k \leq n$. La identidad se cuenta el número de funciones en $\cap_{k=1}^n A_k$ en dos formas diferentes.
Primera forma: El conjunto de $\cap_{k=1}^n A_k$ es el conjunto de en funciones de $\{1, 2, \ldots, n\}$ a sí mismo. Desde una en función de un conjunto finito a sí mismo debe ser uno-a-uno así, la intersección de la $A_k$'s es el conjunto de bijections en $\{1, 2, \ldots, n\}$. Hay $n$ opciones para $f(1)$, seguido por $n-1$ opciones para $f(2)$$f(1)$, y así sucesivamente. Por lo tanto: $$\text{There are $n!$ functions in } \bigcap_{k=1}^n A_k.$$
Segunda forma: Ahora queremos usar el principio de inclusión-exclusión. Las funciones en la intersección de las $\bar{A}_{i_1}, \bar{A}_{i_2}, \ldots, \bar{A}_{i_k}$ son los que mapa de$\{1, 2, \ldots, n\}$$\{1, 2, \ldots, n+r\} - \{i_1, i_2, \ldots i_k\}$. Hay $n-k+r$ elementos en este último conjunto, y por tanto, hay $(n-k+r)^n$ funciones $\cap_{j=1}^k \bar{A}_{i_j}$. Además, hay $n^n$ total funciones de $\{1, 2, \ldots, n\}$ a sí mismo. Por la inclusión, la exclusión, entonces, también tenemos los siguientes: $$\text{There are } \sum_{k=0}^n (-1)^k \binom{n}{k} (n-k+r)^n \text{ functions in } \bigcap_{k=1}^n A_k.$$