\begin{equation}
1-1+1-1+\cdots = \frac{1}{2}
\end{equation}
1と-1を交互に足し上げていくと、1/2になる、というものです。
不思議な関係です。
この主張について、見ていきましょう。
級数が収束するものとして収束値を求める
以下に示す級数が「収束するものとして」、収束値をとします。
\begin{equation}
S = 1-2+3-4+\cdots
\end{equation}
おもむろに、を書き下します。
\begin{equation}
2S = (1-2+3-4+\cdots) + (1-2+3-4+\cdots)
\end{equation}式を書き換えてみます。
\begin{equation}
2S = (1-2+3-4+\cdots) +1+(-2+3-4+5- \cdots)
\end{equation}
この式の、括弧の外に出した部分は1です。
さらに2つの括弧の中の第1項をそれぞれまとめます。
第2項以降も、同様にまとめていきます。
つまり、足し算の「順序を入れ替え」ます。
\begin{eqnarray}
2S &=& 1+(1-2)+(-2+3)+(3-4)+(-4+5)+\cdots \\
&=& 1-1+1-1+\cdots
\end{eqnarray}
ここで、
1-2+3-4+┅=? - 数式で独楽する
で導いた、
\begin{equation}
S=\frac{1}{4}
\end{equation}を用いると、
\begin{equation}
1-1+1-1+\cdots = \frac{1}{2}
\end{equation}が得られます。
級数を用いる
初項1、公比xの等比級数の和は
\begin{equation}
1+x-x^2+x^3+\cdots = \frac{1}{1-x} \tag{1}
\end{equation}です。
式(1)のをxに置き換えると、
\begin{equation}
1-x+x^2-x^3+\cdots = \frac{1}{1+x} \tag{2}
\end{equation}となります。
さらに式(2)に「を代入する」と、
\begin{equation}
1-1+1-1+\cdots = \frac{1}{2}
\end{equation}が得られます。
どこが怪しいのか?
不思議な関係です。上の記述で怪しいところは、次の通りです。
和の順序を入れ替えている
恣意的に和の順序を入れ替えて、収束するものとしています。