Suma de series que involucran factoriales.

Question

Tengo esta pregunta en un archivo del concurso de matemáticas y no tengo ni idea de cómo empezar.

ps

Pensé en transformar$$\sum_{m=0}^q(n-m){(p+m)!\over m!}= {(p+q+1)! \over q!}\left(\frac{ n}{ p+1}-\frac {q}{p+2}\right)$ en$\frac{(p+m)!}{m!}$ multiplicando y dividiendo por$p+m\choose m$, pero eso seguramente fue una mala idea o quizás no pude resolverlo bien.

Answer 1

Vamos a tratar de inducción en $q$.

Caso Base: $q=0$, por lo que nuestra instrucción es: $$(n-0)\frac{(p+0)}{0!}=\frac{(p+0+1)!}{0!}\left(\frac{n}{p+1}-\frac{0}{p+2}\right)$$ El lado izquierdo es claramente $n \cdot p!$, mientras que el lado derecho es $(p+1)!\left(\frac{n}{p+1}\right)=n\cdot p!$, por lo que lo anterior es cierto.

Inducción Caso: Supongamos Que: $$\sum_{m=0}^q(n-m){(p+m)!\over m!}= {(p+q+1)! \over q!}\left(\frac{ n}{ p+1}-\frac {q}{p+2}\right)$$ Ahora, agregue el plazo para $q+1$ a ambos lados: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}= {(p+q+1)! \over q!}\left(\frac{ n}{ p+1}-\frac {q}{p+2}\right)+(n-q-1)\frac{(p+q+1)!}{(q+1)!}$$ Ahora, yo creo que puede ser útil para seprate la $n$ términos de $q$ términos, por lo que voy a hacer distribuir un poco: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}= \\ {(p+q+1)! \over q!}\frac{ n}{ p+1}-{(p+q+1)! \over q!}\frac {q}{p+2}+n\frac{(p+q+1)!}{(q+1)!}-(q+1)\frac{(p+q+1)!}{(q+1)!}$$ Y luego arreglar los términos: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}= \\ {(p+q+1)! \over q!}\frac{ n}{ p+1}+n\frac{(p+q+1)!}{(q+1)!}-\left((q+1)\frac{(p+q+1)!}{(q+1)!}+{(p+q+1)! \over q!}\frac {q}{p+2}\right)$$ Ahora, me voy a cambiar a cada término un poco para que sea más fácil para el factor: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}= \\ {n(p+q+1)! \over q!}\frac{1}{ p+1}+\frac{n(p+q+1)!}{q!}\frac{1}{q+1}-\left(\frac{(p+q+1)!}{q!}+{(p+q+1)! \over q!}\frac {q}{p+2}\right)$$ Ahora, me voy a cambiar a cada término un poco para que sea más fácil para agregar términos semejantes: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}= \\ {n(p+q+1)! \over q!}\frac{q+1}{(p+1)(q+1)}+\frac{n(p+q+1)!}{q!}\frac{p+1}{(p+1)(q+1)}-\left(\frac{(p+q+1)!}{q!}\frac{p+2}{p+2}+{(p+q+1)! \over q!}\frac {q}{p+2}\right)$$ Factor y agregar los términos semejantes: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}={n(p+q+1)! \over q!}\frac{p+q+2}{(p+1)(q+1)}-\frac{(p+q+1)!}{q!}\frac{p+q+2}{p+2}$$ Combinar los productos para crear mayor factoriales: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}={n(p+q+2)! \over (q+1)!}\frac{1}{p+1}-\frac{(p+q+2)!}{q!}\frac{1}{p+2}$$ Cambiar los términos un poco para hacer más fácil el factor: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}={(p+q+2)! \over (q+1)!}\frac{n}{p+1}-\frac{(p+q+2)!}{(q+1)!}\frac{q}{p+2}$$ Por último, el factor: $$\sum_{m=0}^{q+1}(n-m){(p+m)!\over m!}={(p+q+2)! \over (q+1)!}\left(\frac{n}{p+1}-\frac{q}{p+2}\right)$$ Por lo tanto, hemos demostrado que la declaración de $q$ implica la declaración de $q+1$, concluyendo que la inducción de paso.

Answer 2

Para$q=0$, solo tiene el término$m=0$,$n\frac{p!}{0!}=n p!$ en el lado izquierdo de la ecuación. En el lado derecho tienes$\frac{(p+1)!}{0!}\frac{n}{p+1}$. Observando que$(p+1)!=p!(p+1)$ obtienes el término del lado izquierdo. Ahora probamos por inducción. Suponemos que la ecuación dada es válida para$q$, y queremos demostrar que es válida para$q+1$. $$\sum_{m=0}^{q+1}(n-m)\frac{(p+m)!}{m!}=\sum_{m=0}^{q}(n-m)\frac{(p+m)!}{m!}+(n-q-1)\frac{(p+q+1)!}{(q+1)!} = \frac{(p+q+1)!}{q!}\left(\frac{n}{p+1}-\frac{q}{p+2}\right)+(n-q-1)\frac{(p+q+1)!}{(q+1)!}=\frac{(p+q+1)!}{(q+1)!}\left(\frac{n(q+1)}{p+1}-\frac{q(q+1)}{p+2}+(n-q-1)\right)=\frac{(p+q+1)!}{(q+1)!}\left(\frac{n(q+1)+n(p+1)}{p+1}-\frac{q(q+1)+(p+2)(q+1)}{p+2}\right)=\frac{(p+q+2)!}{(q+1)!}\left(\frac{n}{p+1}-\frac{q+1}{p+2}\right)$ $ Que es exactamente lo que queríamos mostrar

Answer 3

$\newcommand{\ángulos}[1]{\left\langle\,{#1}\,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{\mathrm{i}} \newcommand{\iff}{\Leftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\color{#f00}{\sum_{m = 0}^{q}\pars{n - m}{\pars{p + m}! \over m!}} = p!\sum_{m = -\infty}^{q}\pars{n - m}{p + m \choose m} = p!\sum_{m = -q}^{\infty}\pars{n + m}{p - m \choose -m} = \\[3mm] = &\ p!\sum_{m = 0}^{\infty}\pars{n + m - q}{p - m + q \choose -m + q} = p!\sum_{m = 0}^{\infty}\pars{n + m - q}{-p - 1 \choose -m + q}\pars{-1}^{-m + q} \\[3mm] = &\ \pars{-1}^{q}\,p!\lim_{x \to 1^{-}}\pars{n - q + x\,\partiald{}{x}} \underbrace{\sum_{m = 0}^{\infty}{-p - 1 \choose -m + q}\pars{-x}^{m}} _{\ds{\equiv\ \mathcal{I}\pars{x}}}\,,\ \qquad\verts{x} < 1\tag{1} \end{align}

---

\begin{align} \mathcal{I}\pars{x} & = \sum_{m = 0}^{\infty}\pars{-x}^{m}\oint_{\verts{z} = 1^{-}} {\pars{1 + z}^{-p - 1} \over z^{-m + q + 1}}\,{\dd z \over 2\pi\ic} = \oint_{\verts{z} = 1^{-}} {\pars{1 + z}^{-p - 1} \over z^{q + 1}}\sum_{m = 0}^{\infty}\pars{-xz}^{m} \,{\dd z \over 2\pi\ic} \\[3mm] & = \oint_{\verts{z} = 1^{-}} {\pars{1 + z}^{-p - 1} \over z^{q + 1}\pars{1 + xz}} \,{\dd z \over 2\pi\ic} \\[8mm] \mathcal{I}\pars{x \to 1^{-}} & = \oint_{\verts{z} = 1^{-}}{\pars{1 + z}^{-p - 2} \over z^{q + 1}} \,{\dd z \over 2\pi\ic} = {-p - 2 \choose q} = {p + 2 + q - 1 \choose q}\pars{-1}^{q} \\[3mm] & = {p + q + 1 \choose q}\pars{-1}^{q}\tag{2} \\[8mm] \mathcal{I}'\pars{x \to 1^{-}} & = -\oint_{\verts{z} = 1^{-}}{\pars{1 + z}^{-p - 3} \over z^{q}} \,{\dd z \over 2\pi\ic} = -{-p - 3 \choose q - 1} = -{p + 3 + q - 1 - 1 \choose q - 1}\pars{-1}^{q - 1} \\[3mm] & = {p + q + 1 \choose q - 1}\pars{-1}^{q}\tag{3} \end{align}

---

El siguiente paso es reemplazar $\pars{2}$$\pars{3}$$\pars{1}$: \begin{align} &\color{#f00}{\sum_{m = 0}^{q}\pars{n - m}{\pars{p + m}! \over m!}} = p!\bracks{\pars{n - q}{p + q + 1 \choose q} + {p + q + 1 \choose q - 1}} \\[3mm] = &\ p!\bracks{\pars{n - q}{\pars{p + q + 1}! \over q!\pars{p + 1}!} + {\pars{p + q + 1}! \over \pars{q - 1}!\pars{p + 2}!}} \\[3mm] = &\ {\pars{p + q + 1}! \over q!}\bracks{\pars{n - q}{1 \over p + 1} + {q \over \pars{p + 2}\pars{p + 1}}} \\[3mm] = &\ {\pars{p + q + 1}! \over q!}\bracks{\pars{n - q}{1 \over p + 1} + q\pars{{1 \over p + 1} - {1 \over p + 2}}} \\[3mm] = &\ \color{#f00}{% {\pars{p + q + 1}! \over q!}\pars{{n \over p +1} - {q \over p + 2}}} \end{align}