mostrar que $\sum_{i = 1}^{2k}\frac{ (-1)^{i+1}}{i} = \sum_{i = k+1}^{2k} \frac{1}{i}$

Question

Tengo una prueba, pero que no parece elegante. Hay una solución más elegante? Gracias.

Considere la posibilidad de $X = \sum_{i = 1}^{2k}\frac{(-1)^{i+1}}{i} = X_1 + X_2$ donde

$X_1 = 1 - \frac{1}{2} + ... + \frac{1}{k-1} - \frac{1}{k}$

$X_2 = \frac{1}{k+1} - \frac{1}{k+2} + ... + \frac{1}{2k-1} - \frac{1}{2k}$

$k$ es incluso.

Cada término negativo $d$ $X_2$ es de la forma $\frac{1}{2^my}$ donde $y$ es impar y podría ser $1$. También se $y \le k$

Para cada una de dichas $d$, tendremos los siguientes términos $\frac{1}{y} - \frac{1}{2y} - ... - \frac{1}{2^{m-1}y}$ $X_1$ . La adición de $d$ a la anterior, obtenemos

$\frac{1}{y} - \frac{1}{2y} - ... - \frac{1}{2^{m-1}y} - \frac{1}{2^my} = \frac{1}{2^my}$

Así que cada término negativo $d$ $X_2$ es ahora reemplazado con un plazo de duración de la misma magnitud pero con signo positivo.

Por lo tanto $X = \frac{1}{k+1} + \frac{1}{k+2} + ... + \frac{1}{2k-1} + \frac{1}{2k}$

Answer 1

$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove armada]{\displaystyle{#1}}\,} \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{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#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}$

$\ds{\sum_{i = 1}^{2k}{\pars{-1}^{i + 1} \over i} = \sum_{i = k + 1}^{2k}{1 \over i}:\ {\large ?}}$.

\begin{align} \sum_{i = 1}^{2k}{\pars{-1}^{i + 1} \over i} & = \sum_{i = 1}^{k}{1 \over 2i - 1} - \sum_{i = 1}^{k}{1 \over 2i} = \pars{\sum_{i = 1}^{2k}{1 \over i} - \sum_{i = 1}^{k}{1 \over 2i}} - \sum_{i = 1}^{k}{1 \over 2i} \\[5mm] & = \sum_{i = 1}^{2k}{1 \over i} - \sum_{i = 1}^{k}{1 \over i} = \bbx{\ds{\sum_{i = k + 1}^{2k}{1 \over i}}} \end{align}

Answer 2

Deje $S_k=\sum_{k=1}^{2k}(-1)^{i+1}/i$$T_k=\sum_{i+1}^{2i}1/i$. Entonces $$T_k-T_{k-1}=\frac1{2k-1}+\frac1{2k}-\frac1k=\frac1{2k-1}-\frac1{2k}= S_k-S_{k-1}.$$ Obviamente, $S_0=T_0$ por inducción....

Answer 3

Tienes razón, hay una manera mucho más sencilla:

$$S=\sum^{2k}_{i=1}\left[\frac{(-1)^{(i+1)}}{i}\right]=\frac{1}{1}-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\frac{1}{5}-\frac{1}{6} \cdot\cdot\cdot +\frac{1}{2k-1}-\frac{1}{2k}$$

$$S=\color{blue}{\left[\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6} \cdot\cdot\cdot +\frac{1}{2k-1}+\frac{1}{2k}\right]}-2\color{red}{\left[\frac{1}{2}+\frac{1}{4}+\cdot\cdot\cdot\frac{1}{2k}\right]}$$ $$S=\sum^{2k}_{i=1}\frac{1}{i}-2\sum^k_{i=1}\frac{1}{2i}=\sum^{2k}_{i=1}\frac{1}{i}-\sum^k_{i=1}\frac{2}{2i}=\color{purple}{\sum^{2k}_{i=1}\frac{1}{i}-\sum^k_{i=1}\frac{1}{i}}=\sum^{2k}_{i=k+1}\frac{1}{i}$$

De ahí resultó.

---

Nota: $$\sum^{2k}_{i=1}\frac{1}{i}=\sum^{k}_{i=1}\frac{1}{i}+\sum^{2k}_{i=k+1}\frac{1}{i}$$

Answer 4

Podemos utilizar armónica de los números $H_k=\sum_{i=1}^k\frac{1}{i}$.

Obtenemos \begin{align*} \sum_{i=k+1}^{2k}\frac{1}{i}=\color{blue}{H_{2k}-H_k} \end{align*}

por otro lado tenemos \begin{align*} \sum_{i=1}^{2k}\frac{(-1)^{i+1}}{i}-H_{2k} &=-2\left(\frac{1}{2}+\frac{1}{4}+\cdots+\frac{1}{2k}\right)=-H_k\\ \end{align*}

lo que implica \begin{align*} \sum_{i=1}^{2k}\frac{(-1)^{i+1}}{i} &=\color{blue}{H_{2k}-H_k} \end{align*} y el reclamo de la siguiente manera.