1 − 2 + 3 − 4 + ...

miniatura|275px|As primeiras 15.000 sumas parciais de  0 + 1 − 2 + 3 − 4 + ... O gráfico está creado cos enteiros positivos á dereita e os enteiros negativos á esquerda.

En matemáticas, a expresión **1 − 2 + 3 − 4 + ...** denota a serie de números reais cuxas sumas parciais son
:S_m:=\sum_{n=1}^m n(-1)^{n-1},
para cada enteiro positivo *m*. Trátase dunha serie diverxente, no senso de que a sucesión das súas sumas parciais {(S_m )}_m=(1, -1, 2, -2, \ldots) non ten límite finito. Malia isto, a mediados do século XVIII, Leonhard Euler propuxo a relación seguinte cualificándoa de paradoxal:

:1-2+3-4+\cdots=\frac14,

recoñecendo por outra banda que para que teña sentido é preciso estender o concepto de *suma*. Até o comezo da década de 1890, Ernesto Cesàro e Émile Borel, entre outros, crearon novos métodos para atopar sumas xeneralizadas de series que permiten sumar algunhas series diverxentes, incluíndo novas interpretacións dos intentos realizados por Leonhard Euler. Moitos destes métodos asignan a 1 − 2 + 3 − 4 + ... un valor de ¼. O método de Cesàro (C,1), un dos máis coñecidos, é dos poucos que non suma esta serie. Pola contra, o de Abel si que ofrece como resultado ¼, aínda que o propio Niels Henrik Abel consideraba as series diverxentes «un invento do diaño» porque «un pode obter a conclusión que desexe se as utiliza».

Ademais,  1 − 2 + 3 − 4 + ... é o produto de Cauchy da serie de Grandi (1 − 1 + 1 − 1 + ...) por si mesma, o que necesariamente vincula os intentos de obter a suma dunha cos da outra.

Xa na linguaxe da análise matemática moderna, a prolongación analítica da serie
:\eta(s):=\sum_{n=1}^\infty\frac{1}{n^s},\;\Re(s)>0
a todo o plano complexo \mathbb C, coñecida como función eta de Dirichlet, verifica \eta(-1)=1/4.

## Diverxencia 
Se a sucesión de sumas parciais (S_m)_m converxese a algún número real *S*,
:\lim_{m\to\infty}(S_{m+1}-S_m)=S-S=0.
Por outra banda,
:\lim_{m\to\infty}(S_{m+1}-S_m)=\lim_{m\to\infty}(-1)^m(m+1),
pero este último límite non é cero (é máis, non existe), en contra do suposto. En consecuencia, a serie 1 − 2 + 3 − 4 + ... é diverxente.

Outro xeito de probar este feito consiste en atopar a expresión explícita das sumas parciais (S_m)_m:
:1 = **1**,
:1 − 2 = **−1**,
:1 − 2 + 3 = **2**,
:1 − 2 + 3 − 4 = **−2**,
:1 − 2 + 3 − 4 + 5 = **3**,
:1 − 2 + 3 − 4 + 5 − 6 = **−3**,
:…
:S_m\overset{\text{def.}}{=}\sum_{n=1}^m (-1)^{n-1} n \; \; = \frac{(-1)^{m-1}(2m+1)+1}{4}

Esta sucesión salienta por conter todos os números enteiros unha única vez (definindo a suma parcial baleira S_0:=0) e polo tanto estabelece a numerabilidade de \mathbb{Z}. Ademais, claramente non ten como límite ningún número real (para cada x\in\mathbb R, pódese atopar un N\in\mathbb Z^+ a partir do cal as seguintes sumas parciais (S_m)_{m>N} caen fóra do intervalo [x-1,x+1]). Así, chegouse de novo a que 1 − 2 + 3 − 4 + ... diverxe.

## Relacións heurísticas de suma 
As explicacións máis sinxelas que relacionan a 1 − 2 + 3 − 4 + ... co valor  son extensións de resultados relacionados coa serie de Grandi (1 − 1 + 1 − 1 + ...), que tampouco é converxente. En calquera caso, para sumar unha serie diverxente é preciso xeneralizar a noción de suma dalgún xeito.

### Estabilidade e linearidade 
Un método de suma *M* dise *linear* e *estable* se e só se para calquera par de sucesións de números reais (a_n)_{n\in\mathbb N} (b_n)_{n\in\mathbb N} e para todo \lambda\in\mathbb R:
:(1) M\sum_{n=0}^\infty \lambda a_n=\lambda\cdot M\sum_{n=0}^\infty a_n;
:(2) M\sum_{n=0}^\infty(a_n+b_n)=M\sum_{n=0}^\infty a_n+M\sum_{n=0}^\infty b_n;
:(3) M\sum_{n=0}^\infty \lambda a_n=a_0+M\sum_{n=1}^\infty a_n.

Supóñase que o método *M* permite sumar a serie de Grandi, é dicir, que existe un h\in\mathbb R tal que h=M\sum_{n=0}^\infty(-1)^n. Entón:
:h\overset{(3)}{=}1+M\sum_{n=0}^\infty-(-1)^n\overset{(1)}{=}1-h\Leftrightarrow h=\frac{1}{2}.
Tendo isto en conta, se ademais s=M\sum_{n=0}^\infty(-1)^{n-1}n para algún s\in\mathbb R,
:s=\overset{(3)}{=}1+M\sum_{n=1}^\infty-(-1)^{n}(n+1)\overset{(2)}{=}1+M\sum_{n=1}^\infty-(-1)^{n}+M\sum_{n=1}^\infty-(-1)^{n}n\overset{(1)}{=}1-\frac{1}{2}-s\Leftrightarrow s=\frac{1}{4}.

En conclusión, todo método de suma linear e estable ofrece como únicos posibles resultados finitos:
*1 − 1 + 1 − 1 + ...=;
*1 − 2 + 3 − 4 + ...=.
Iso si, nada garantiza que ningunha destas series sexa sumable para tal método (pénsese, por exemplo, na suma ordinaria).

### Reordenación de sumandos
[miniatura|Sumando 4 copias de 1 − 2 + 3 − 4 + ..., empregando unicamente desprazamentos e sumando termo a termo obtense [1.]]
De xeito equivalente, pódense reordenar as ecuacións para obter (*s* + *s*) + (*s* + *s*) = *h* + *h* = 1, o cal novamente implica que *s* = ; esta é a forma que se amosa no esquema da dereita e na expresión a continuación:

```
s = 1 - 2 + 3 - 4 + 5 - 6 +. .. .. 
   s =   + 1 - 2 + 3 - 4 + 5 -. .. .. 
   s =   + 1 - 2 + 3 - 4 + 5 -. .. ... 
   s =       + 1 - 2 + 3 - 4 +. .. .. .. 
--------------------------------------------
 4 s = 1 + 0 + 0 + 0 + 0 + 0 +. ..
```

Se ben a serie 1 − 2 + 3 − 4 + ... non ten unha suma no senso usual, a ecuación *s* = 1 − 2 + 3 − 4 + ... =  pode ser interpretada como a solución máis natural no caso que se tivese que definir. Unha definición xeneralizada de "suma" dunha serie diverxente é chamada método de sumatorio; existen diferentes tipos de métodos algúns dos cales son explicados nas seccións seguintes, os cales se caracterizan polas propiedades que comparten coa suma convencional.

As manipulacións amosadas previamente demostran que: dado un método de suma que é lineal e estable, **se** suma á serie 1 − 2 + 3 − 4 + ... entón a suma debe ser , e este método tamén permite sumar a serie de Grandi 1 − 1 + 1 − 1 + ... obtendo o valor .

Malia que o punto de vista explicado no parágrafo anterior limita os valores que poden coller as sumas xeneralizadas de 1 − 2 + 3 − 4 + ..., o mesmo non indica cales son os métodos que permitirán sumar ou non a serie. En efecto, algúns métodos de suma lineais e estables, como a suma ordinaria, non suman a serie 1 − 2 + 3 − 4 + ... En troques, se se expresa a serie nunha forma alternativa como un produto, entón é posible determinar cales son os métodos que permiten obter .
Ademais, como

\begin{array}{rcllll}
2s & = & &(1-2+3-4+\cdots) & + & (1-2+3-4+\cdots) \\
 & = & 1 + &(-2+3-4+\cdots) & + 1 - 2 & + (3-4+5-\cdots) \\
 & = & 0 + &(-2+3)+(3-4)+ (-4+5)+\cdots \\
\frac{1}{2}& = & &1-1+1-1+\cdots \\
\end{array}

tal método tamén pode sumar a serie de Grandi como 

### Produto de Cauchy 
Xa en 1891, Ernesto Cesàro coidaba que as series diverxentes serían incorporadas no futuro ó cálculo matemático dunha maneira rigorosa:

{{cita centrada|Hoxe en día xa se escribe (1 - 1 + 1 - 1 + ...)^2 = 1 - 2 + 3 - 4 + ... e se afirma que ámbolos dous membros valen \frac{1}{4}.}}
Para Cesàro, esta ecuación era o resultado de aplicar un teorema que el publicara durante o ano previo, sendo identificado como o primeiro teorema ó longo da historia das series diverxentes sumables. Os detalles do seu método de suma explícanse nas seccións subseguintes; a idea central é que 1 − 2 + 3 − 4 + ... é o produto de Cauchy de 1 − 1 + 1 − 1 + ... con 1 − 1 + 1 − 1 + ...

miniatura|esquerda|1 − 2 + 3 − 4 + ... expresada como o produto de Cauchy entre dúas series 1 − 1 + 1 − 1 + ...
O produto de Cauchy de dúas series infindas defínese aínda que ámbalas dúas sexan diverxentes. No caso Σ*a**n* = Σ*b**n* = Σ(−1)*n*, os termos do produto de Cauchy obtéñense mediante a suma das sumas finitas das diagonais:

:\begin{array}{rcl}
c_n & = &\displaystyle \sum_{k=0}^n a_k b_{n-k}=\sum_{k=0}^n (-1)^k (-1)^{n-k} \\[1em]
 & = &\displaystyle \sum_{k=0}^n (-1)^n = (-1)^n(n+1).
\end{array}

Polo tanto a serie produto é:
:\sum_{n=0}^\infty(-1)^n(n+1) = 1-2+3-4+\cdots.

Polo tanto os métodos de suma que "respectan" o produto de Cauchy de dúas series e suman 1 − 1 + 1 − 1 + ... = , tamén suman 1 − 2 + 3 − 4 + ... = . E en concordancia cos resultados da sección previa isto implica unha equivalencia entre a sumabilidade de 1 − 1 + 1 − 1 + ... e 1 − 2 + 3 − 4 + ..., por métodos que son lineais, estables e que respectan o produto de Cauchy.

O teorema de Cesàro é un exemplo sutil disto. A serie 1 − 1 + 1 − 1 + ... é sumable Cesàro no sentido máis feble, chamado sumable (C, 1), mentres que 1 − 2 + 3 − 4 + · · · require o uso dunha forma máis forte do teorema de Cesàro, sendo sumable (C, 2). Xa que logo todas as formas do teorema de Cesàro son lineais e estables, as sumas resultan nos valores indicados previamente.

## Métodos específicos 
### Cesàro e Hölder 
miniatura|Expresión da suma (H, 2) de
Para calcular a suma de Cesàro (C, 1) de 1 − 2 + 3 − 4 + ..., no caso que existise, débese calcular a media aritmética das sumas parciais dos termos da serie.
As sumas parciais son:
:1, −1, 2, −2, 3, −3, ...
e as medias aritméticas destas sumas parciais que son:
:1, 0, , 0, , 0, , ...

Xa que esta sucesión non converxe, conclúese que 1 − 2 + 3 − 4 + ... non é sumable segundo o método de Cesàro.

Existen dúas xeneralizacións do método de suma de Cesàro: a máis sinxela conceptualmente é a sucesión dos métodos (H, *n*) por números naturais *n*. A suma (H, 1) é o sumatorio de Cesàro, e os métodos de maior orde repiten o cálculo das medias. Na expresión anterior, as medias pares converxen en , mentres que as medias impares son igual a cero, polo tanto a media das medias converxe no valor medio de 0 e , ou sexa . Polo tanto 1 − 2 + 3 − 4 + ... é sumable (H, 2) e dá .

A "H" emprégase na honra de Otto Hölder, que foi o primeiro en demostrar en 1882 o que hoxe os matemáticos coidan que é a conexión entre o sumatorio de Abel e o sumatorio (H, *n*); o seu primeiro exemplo foi 1 − 2 + 3 − 4 + ... O feito de que  sexa a suma (H, 2) de 1 − 2 + 3 − 4 + ... garante que tamén é a suma de Abel; feito que se demostra na seguinte sección.

Outra xeneralización coñecida da suma ordinaria segundo Cesàro (C,1) son os métodos métodos (C, *n*), que equivalen aos (H, *n*) de Hölder, malia que teñen diferentes fundamentos históricos. En 1887, Cesàro estivo moi preto de desenvolver a definición do sumatorio(C, *n*), pero só deu uns poucos exemplos, incluíndo 1 − 2 + 3 − 4 + ..., que sumou obtendo o valor  por un método que podería ser interpretado como (C, *n*) mais que non foi xustificado como tal daquela. En 1890, Cesàro definiu formalmente os métodos (C, n) co obxectivo de estabelecer a demostración do seu teorema, o cal di que o produto de Cauchy dunha serie sumable (C, *n*) e unha serie sumable (C, *m*) é unha serie sumable (C, *m* + *n* + 1).

### Sumatorio de Abel 
miniatura|esquerda|120px|Algúns parciais de 1−2*x*+3*x*2+...; 1/(1 + *x*)2; e límites en 1.
Nun traballo que Leonhard Euler escribiu contra o ano 1749, admite que a serie diverxe, pero de tódolos xeitos fai todo o posible por sumala:

En diferentes oportunidades Euler propuxo unha xeneralización da palabra "suma". As súas ideas sobre o caso 1 − 2 + 3 − 4 + ..., son semellantes ó que hoxe se coñece como sumatorio de Abel:

Existen diferentes xeitos de comprobar que, cando menos para valores absolutos |*x*| 1-2x+3x^2-4x^3+\cdots = \frac{1}{(1+x)^2}.
Por exemplo, se se calcula o desenvolvemento en serie de Taylor do lado dereito da igualdade, ou se aplica o formalismo da división polinominal. Comezando dende o lado esquerdo, pódese seguir a heurística xeral indicada previamente e probar de multiplicar por (1+*x*) dúas veces ou elevar ó cadrado a serie xeométrica 1 − *x* + *x*2 − ... Semella que Euler suxire calcular a derivada desta última serie termo a termo.

Dende o punto de vista moderno, a serie 1 − 2*x* + 3*x*2 − 4*x*3 + ... non define unha función en *x* = 1, polo tanto este valor non pode ser substituído na expresión resultante. Por mor do feito de que a función está definida para todo &#124;*x*&#124; \lim_{x\rightarrow 1^{-}}\sum_{n=1}^\infty n(-x)^{n-1} = \lim_{x\rightarrow 1^{-}}\frac{1}{(1+x)^2} = \frac14.

### Euler e Borel 
dereita|miniatura|Sumatorio de Euler en  −
Euler tamén aplicou ás series outra técnica da súa invención: a transformada de Euler. Para calcular a transformada de Euler comézase pola sucesión de termos positivos que forman a serie alternada: Neste caso 1, 2, 3, 4, ... Ó primeiro elemento desta sucesión chámaselle *a*0.

Logo obtense a sucesión das diferenzas anteriores de 1, 2, 3, 4, ...; que é 1, 1, 1, 1, ... Ó primeiro elemento *desta* sucesión chámaselle Δ*a*0. A transformada de Euler depende tamén das diferenzas das diferenzas, e iteracións de maior orde, pero todas as diferenzas subseguintes de 1, 1, 1, 1, ... son 0. A transformada de Euler de 1 − 2 + 3 − 4 + ... defínese como:
:\frac12 a_0-\frac14\Delta a_0 +\frac18\Delta^2 a_0 -\cdots = \frac12-\frac14.
Empregando terminoloxía moderna, dise que 1 − 2 + 3 − 4 + ... é Euler sumable, e dá .

A suma de Euler implica tamén outro tipo de suma. Representando 1 − 2 + 3 − 4 + ... como:
:\sum_{k=0}^\infty a_k = \sum_{k=0}^\infty(-1)^k(k+1),
obtense a serie totalmente converxente asociada:
:a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^{k+1}}{(k+1)!} = x\sum_{k=0}^\infty\frac{(-x)^{k}}{k!} = e^{-x}x.
A suma de Borel de 1 − 2 + 3 − 4 + ... polo tanto é:
:\int_0^\infty e^{-x}a(x)\,dx = \int_0^\infty e^{-2x}x\,dx = -\frac{\partial}{\partial \beta}\bigg|_2 \int_0^\infty e^{-\beta x}\,dx = -\frac{\partial}{\partial \beta} \bigg|_2\beta^{-1} = \frac{1}{4}.

### Separación de escalas 
Saichev e Woyczyński chegan a 1 − 2 + 3 − 4 + · · · = 1⁄4 empregando só dous principios físicos: *relaxación infinitesimal* e *separación de escalas*. En realidade, estes principios permítenlles definir unha familia ampla de "métodos de sumatorio-*φ*", onde todos eles suman a serie ó valor 1⁄4:

* Se *φ*(*x*) é unha función cuxas primeira e segunda derivadas son continuas e integrables no intervalo (0, ∞), con φ(0) = 1 e sendo cero o valor dos límites de φ(*x*) e *x*φ(*x*) en +∞ , entón
::\lim_{\delta\downarrow0}\sum_{m=0}^\infty (-1)^m(m+1)\varphi(\delta m) = \frac14.

Este resultado xeneraliza o sumatorio de Abel, o que corresponde ó caso *φ*(*x*) = exp(−*x*). O formalismo xeral pode ser demostrado apareando os termos da serie sobre *m* e convertendo a expresión nunha integral de Riemann. Para este último paso, a demostración correspondente para 1 − 1 + 1 − 1 + · · ·  emprega o teorema do valor medio, pero aquí requírese da poderosa forma de Lagrange do teorema de Taylor.

## Xeneralizacións 
miniatura|Extracto de p.233 de E212 — *Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum*. Euler suma diversas series relacionadas con 1 − 2 + 3 − 4 + ..., ca. (1755).
O produto de Cauchy triplo de 1 − 1 + 1 − 1 + ... é 1 − 3 + 6 − 10 + ..., a serie alternada dos números triangulares; a súa suma de Abel e de Euler é .

O produto de Cauchy cuarto de 1 − 1 + 1 − 1 + ... é 1 − 4 + 10 − 20 + ..., a serie alternada dos números tetraédricos, cuxa suma de Abel é .

Outra xeneralización de 1 − 2 + 3 − 4 + ... nunha dirección lixeiramente diferente é a serie 1 − 2*n* + 3*n* − 4*n* + ..., sendo *n* un enteiro positivo arbitrario. Estas series teñen as seguintes sumas segundo Cesàro (C, *n+1*) e, polo tanto, de Abel:
:1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}
onde *B**n* son os números de Bernoulli. Tendo en conta que os números de Bernoulli impares son sempre nulos, cando *n=2k* pares, isto redúcese a:
:1-2^{2k}+3^{2k}-\cdots = 0.
Esta última suma foi ridiculizada por Niels Henrik Abel en 1826:

Eugène Charles Catalan, o mestre de Cesàro, tamén menosprezaba as series diverxentes. Baixo a influencia de Catalan, Cesàro inicialmente referíase ás "fórmulas convencionais" para 1 − 2*n* + 3*n* − 4*n* + ... como "igualdades absurdas", e en 1883, Cesàro manifestaba o punto de vista aceptado daquela segundo o cal as fórmulas eran falsas pero aínda así dalgún xeito útiles formalmente. Finalmente, no seu traballo *Sur la multiplication des series*, publicado en 1890, Cesàro adoptou un punto de vista moderno comezando polas definicións.

A serie tamén foi estudada para valores non enteiros de *n*: estes producen a función eta de Dirichlet. Unha parte da motivación de Euler para estudar series relacionadas con  era a ecuación funcional da función eta, a cal leva directamente á ecuación funcional da función zeta de Riemann. Euler xa se fixera famoso por atopar os valores destas funcións para enteiros pares positivos (incluíndo o problema de Basilea) e tentou atopar os valores para enteiros impares positivos (incluíndo a constante de Apéry): este último problema aínda está sen resolver hoxe en día. Coa función eta, en particular, é máis doado traballar cos métodos de Euler xa que a súa serie de Dirichlet é sumable Abel na súa totalidade; a serie da función eta de Dirichlet é moito máis complicada de sumar onde diverxe. Por exemplo, o homólogo de  na función zeta é a serie non alternada , que ten importantes aplicacións en física moderna e require métodos máis sofisticados para facer a suma.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

### Outros artigos 
* 1 + 2 + 3 + 4 + ⋯.
* Serie alternada.