notando que(ab) =( un)bb !,
puedes escribir tu expresión como
(x + norte - 1norte) =∑k = 1norte(norte - 1norte - k) (Xk)
que es Vandermonde, por lo que la prueba combinatoria estándar de Vandermonde es suficiente.
Observe que la fórmula explícita proviene de mezclar los elementos de
[ norte ]
en una línea, usando estrellas y barras para ver que
(norte - 1norte - k)
es el número de formas de particionar el
norte
en positivo
k
partes
a1+a2+ ⋯ +ak= norte
donde el orden importa, por lo que divide su línea usando primero
a1
números, entonces
a2
hasta que consigas el
norte
números, y sacando el orden de los
k
partes. Por ejemplo: Dado
a1= 4 ,a2= 2 ,a3= 1 ,a4= 4
entonces
19102a156a24a3738a4 da la partición ordenada.
Basta mostrarlo sólo porX
un número entero porque estos son polinomios enX
y si tienes dos polinomiosPAG1( X ) =PAG2( X )
parax ∈ norte
entonces
PAG1( X ) -PAG2( X ) = 0
implica que el polinomio de LHS tiene raíces infinitas, eso es posible si el polinomio de la izquierda es estrictamente
0.