Para demostrar que el teorema es cierto mediante manipulaciones algebraicas, observe que
\begin{align} \frac{(kn)!}{(n!)^k} =\frac{(kn)!}{(kn-n)!n!}\cdot\frac{(kn-n)!}{(n!)^{k-1}} &=\binom{kn}{n} \frac{(kn-n)!}{(n!)^{k-1}}\\ &=\binom{kn}{n}\binom{kn-n}{n}\cdot\frac{(kn-2n)!}{(n!)^{k-2}}\\ &\;\vdots\\ &=\binom{kn}{n}\binom{kn-n}{n}\cdots \binom{kn-mn}{n}\cdot \frac{(kn-(m+1)n)!}{(n!)^{k-(m+1)}}\\ &\;\vdots\\ &=\binom{kn}{n}\binom{kn-n}{n}\cdots \binom{2n}{n}\binom{n}{n} \end{align} Obsérvese que la última fracción se ha agotado de esta manera. Así, el lado izquierdo de la identidad puede reescribirse como $$\frac{(kn)!}{k! (n!)^k}=\frac{1}{k!}\prod_{l=1}^{k}\binom{ln}{n}=\prod_{l=1}^{k}\frac{1}{l}\frac{(ln)!}{n! (ln-n)!}\cdot\frac{n}{n}=\prod_{l=1}^{k}\binom{ln-1}{n-1}$$ como se afirma.
También se puede hacer una prueba de recuento de la primera identidad que he mostrado antes: Supongamos que queremos formar $kn$ personas en $n$ equipos de $k$ . Una forma de hacerlo es elegir primero $n$ de $kn$ personas, luego el siguiente $n$ etc. hasta que todos $k$ se seleccionan los equipos. Esto puede hacerse en $\binom{kn}{n}\cdots \binom{kn-n}{n}\cdots\binom{n}{n}=\prod_{l=1}^k \binom{ln}{n}$ maneras. Pero también podría hacerlo de una sola vez, en cuyo caso el número total vendría dado por el multinomial coeficiente $$\binom{kn}{\underbrace{n,\cdots,n}_k}=\frac{(kn)!}{\underbrace{n!n!\cdots n!}_k}=\frac{(kn)!}{(n!)^k}$$
0 votos
Mi reacción inmediata sería hacer funciones generadoras, pero eso es sólo porque me gusta mucho ese enfoque. Una forma mejor sería probablemente mostrar que los dos lados son simplemente dos formas diferentes de contar el mismo conjunto de objetos.