De identiteiten: \[ x\sum \limits _{m=0}^{m=n} C_n^m(x+m)^{m-1}(y-m)^{n-m} = (x+y)^n, \;\sum \limits _{\alpha =1}^{\alpha =m+1}\frac {C_{\alpha x}^{\alpha - 1} C_{n - \alpha x}^{m-\alpha + 1}}{\alpha }=C_n^m \] en eenige andere identiteiten. (Q5971911)

Außer der im Titel an erster Stelle genannten Identität wird die allgemeinere Identität \[ \begin{aligned} \sum _{m=0}^{m=n-\alpha } &C_{n-\alpha }^m (x+\alpha +m)^m(y - \alpha -m)^{n-m-\alpha }\\ &-(n-\alpha )\sum _{m=0}^{m=n-\alpha -1} C_{n-\alpha -1}^m (x+\alpha +1+m)^m(y-\alpha -1-m)^{n-m-\alpha -1}\\ &= (x+y)^{n-\alpha } \end{aligned} \] abgeleitet, ferner einige sich aus dieser ergebende. Auch die (für \(n\geq (m+1)x\) gültige) zweite Identität aus dem Titel wird noch verallgemeinert.