El enfoque de la función generadora consiste en preguntar por los coeficientes de $x^{n}$ en la expansión de:
$$(x+x^2+x^3+x^4+x^5+x^6)^{3}=x^3\left(\frac{1-x^6}{1-x}\right)^3$$
Ahora, $$\frac{1}{(1-x)^3}=\sum_{k=0}^{\infty}\binom{k+2}{2}x^k$$
Y $$(1-x^6)^3=1-3x^6+3x^{12}-x^{18}$$
Así que el producto de estos y $x^3$ tiene, para el coeficiente $x^n$ :
$$\binom{n-1}{2}-3\binom{n-7}{2}+3\binom{n-13}{2}-\binom{n-19}{2}$$
Truco es tratar $\binom{j}{2}=0$ cuando $j<2.$
Así, por ejemplo, cuando $n=11$ se obtiene $\binom{10}{2}-3\binom{4}{2}=45-18=27$ .
Esto también le da una idea del valor cuando se trata de $k$ dados. Entonces:
$$c_n = \sum_{i=0}^{k}(-1)^i\binom{k}{i}\binom{n-(1+6i)}{k-1}$$
Si no te gustan las funciones generadoras, esto se puede demostrar mediante inclusión-exclusión.
Hay otro enfoque que es un poco más rápido para calcular todos los valores.
Si $(1+x+x^2+\cdots+x^5)^3=a_0+a_1x+\cdots+a_nx^n+\cdots$ entonces lo consigues:
$$(a_0+a_1x+\cdots+a_nx^n+\cdots)(1-3x+3x^2-x^3)=(1-x^6)^3=1-3x^6+3x^{12}-x^{18}$$
Esto significa que (fijando $a_n=0$ cuando $n<0$ : $$a_{n}-3a_{n-1}+3a_{n-2}-a_{n-3}=\begin{cases} 1&n=0\\ -3&n=6\\ 3&n=12\\ -1&n=18\\ 0&\text{otherwise} \end{cases}$$
o:
$$a_{n}=3\left(a_{n-1}-a_{n-2}\right)+a_{n-3}+\begin{cases} (-1)^k\binom{3}{k}&n=6k\\ 0&\text{otherwise} \end{cases}$$
A continuación, el coeficiente final de $x^n$ después de multiplicar por $x^3$ de nuevo, es $a_{n-3}$ .
Así que lo tienes:
$$\begin{align}a_0&=0+(-1)^{0}\binom{3}{0}=1\\ a_1&=3\left( a_0-a_{-1}\right)=3\\ a_2&=3\left( a_1 - a_0\right)=6\\ a_3&=3\left(a_2 - a_1\right)+a_0=10\\ a_4&=3\left(a_3-a_2\right)+a_1=15\\ a_5&=3\left(a_4-a_3\right)+a_2=21\\ a_6&=3\left(a_5-a_4\right)+a_3+(-1)^{1}\binom{3}{1}=25\\ &\cdots \end{align}$$
Aquí se puede aplicar un truco especial: $a_{n}=3a_{n-1}-3a_{n-2}+a_{n-3}$ se sabe que es un polinomio cuadrático en $n$ . Así, cuando $n$ no es múltiplo de $6$ Lo entiendes:
$$a_{n-2}-a_{n-3},a_{n-1}-a_{n-2},a_{n}-a_{n-1}$$ debe ser una progresión aritmética para cualquier $n$ no es múltiplo de $6$ .
Así que tenemos que $a_5-a_4 = 6, a_6-a_5=4$ y así $a_7-a_6=2$ o $a_7=a_6+2=27.$ $a_8=27+0=27, a_9=27-2=25,a_{10}=25-4=21,a_{11}=21-6=15,a_{12}=15-8+(-1)^2\binom{3}{2}=10$ .