Demostrar que: $\sum_{k=0}^{n}{(-1)^k{n\choose k}\over (k+1)^2}={1+\sqrt{1+4(n+1)^2H_nH_{n+1}}\over 2(n+1)^2}$ $n\ge0$

Question

Mostrar que

$$\sum_{k=0}^{n}{(-1)^k{n\choose k}\over (k+1)^2}={1+\sqrt{1+4(n+1)^2H_nH_{n+1}}\over 2(n+1)^2}$$

$H_n$; es el n-ésimo número armónico

Yo:

Sabemos que

$$\sum_{k=0}^{\infty}{(-1)^k\over (k+1)^2}=\int_{0}^{1}{-\ln{x}\over 1+x}dx$$

Pero

$$\sum_{k=0}^{n}{(-1)^k{n\choose k}\over (k+1)^2}=\int_{0}^{a}???$$

De la wikipedia he encontrado

$$H_n=\int_{0}^{1}{1-x^n\over 1-x}dx=\sum_{k=1}^{n}(-1)^{k-1}{{n\choose k}\over k}$$ puede ser de utilidad

En adelante yo soy no tiene ni idea de qué hacer a continuación. Por favor, ayuda!

Answer 1

Inicio de la expansión binomial

$$\sum^n_{k=0} {n \choose k} x^k = (1+x)^n$$

Por la integración

$$\sum^n_{k=0} {n \choose k} \frac{x^{k+1}}{k+1} =\frac{(1+x)^{n+1}-1}{n+1}$$

Integrando de nuevo

$$\sum^n_{k=0} {n \choose k} \frac{(-1)^{k+2}}{(k+1)^2} =\frac{1}{n+1}\int^{-1}_0\frac{(1+x)^{n+1}-1}{x}\,dx = \frac{1}{n+1}\int^{1}_0\frac{(1-x)^{n+1}-1}{x}\,dx$$

Por sustitución

$$\sum^n_{k=0} {n \choose k} \frac{(-1)^{k}}{(k+1)^2} =\frac{1}{n+1}\int^{1}_0\frac{x^{n+1}-1}{x-1}\,dx = \frac{H_{n+1}}{n+1} $$

Tenga en cuenta que

\begin{align} \frac{1+\sqrt{1+4(n+1)^2H_nH_{n+1}}}{n+1} &= \frac{1+\sqrt{1+4(n+1)^2H_n^2+4(n+1)H_n}}{n+1}\\&=\frac{ 1+\sqrt{(1+2(n+1)H_n)^2}}{n+1} \\&=\frac{2+2(n+1)H_n}{2(n+1)^2} \\&= \frac{H_{n+1}}{n+1} \end{align}

Answer 2

Desde $\frac{1}{(1+k)^2}=\int_{0}^{1} x^k(-\log x)\,dx $ tenemos:

$$\begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}\frac{(-1)^k}{(k+1)^2} &=& \int_{0}^{1}(-\log x)\sum_{k=0}^{n}\binom{n}{k}(-x)^k\,dx\\ &=&\int_{0}^{1}(-\log x)(1-x)^n\,dx\\&=&-\int_{0}^{1}x^n\log(1-x)\,dx\\&=&-\left.\frac{d}{d\alpha}\int_{0}^{1}x^n(1-x)^{\alpha}\,dx\,\right|_{\alpha=0^+}\\&=&-\left.\frac{d}{d\alpha}\frac{\Gamma(n+1)\,\Gamma(\alpha+1)}{\Gamma(n+\alpha+1)}\,\right|_{\alpha=0^+}\\&=&\frac{H_{n+1}}{n+1} \end{eqnarray*}$$ y desde $H_{n+1}=H_n+\frac{1}{n+1}$, $$ 1+4(n+1)^2 H_n H_{n+1} = 1+4(n+1) H_n + 4(n+1)^2 H_n^2 = (1+2(n+1)H_n)^2.$$