大学数学基礎解説

高校範囲の極限のお話

高校数学,極限

1992

はじめに

高校範囲では極限が一番好き, と言っている身ですので, 高校範囲でできるいい感じの極限の公式(？)を2つ, 紹介しようと思います.

以下, $f (x)$ は区間 $[0, 1]$ で微分可能で, $f^{'} (x)$ は連続としておきます.

ひとつめ

ひとつめは, 次のような式です.

lim_{n \to \infty} \sum_{k = 1}^{2 n} (- 1)^{k} f (\frac{k}{2 n}) = \frac{f (1) - f (0)}{2}

これは少し有名かもしれません. 昔, 京大で出題されたことがあるみたいです.

(証明)

\sum_{k = 1}^{2 n} (- 1)^{k} f (\frac{k}{2 n}) = \sum_{k = 1}^{n} {f (\frac{2 k - 1}{2 n}) - f (\frac{2 k}{2 n})}

と書けます. ここで, 平均値の定理より,

\frac{2 k - 1}{2 n} < c_{k} < \frac{2 k}{2 n}

なる実数

c_{k}

が存在して,

f (\frac{2 k - 1}{2 n}) - f (\frac{2 k}{2 n}) = \frac{1}{2 n} f^{'} (c_{k})

が成り立ちます.

従って,

\sum_{k = 1}^{2 n} (- 1)^{k} f (\frac{k}{2 n}) = \frac{1}{2 n} \sum_{k = 1}^{n} f^{'} (c_{k})

と書けます.

すると, これは

c_{k}

を区間

[\frac{k - 1}{n}, \frac{k}{n}]

内の代表点としたRiemann和と見ることができるので,

\begin{array}{rcl} lim_{n \to \infty} \sum_{k = 1}^{2 n} (- 1)^{k} f (\frac{k}{2 n}) & = & lim_{n \to \infty} \frac{1}{2 n} \sum_{k = 1}^{n} f^{'} (c_{k}) \\ = & \frac{1}{2} \int_{0}^{1} f^{'} (x) d x \\ = & \frac{f (1) - f (0)}{2} \end{array}

となり, 証明が終了しました.

最後に $f^{'} (x)$ をもう一度積分することになるというのがなかなか面白いですね.

例えば, $a > 0$ に対し $f (x) = x^{a}$ とすると以下のようになります.

lim_{n \to \infty} \frac{1}{n^{a}} \sum_{k = 1}^{n} (- 1)^{k} k^{a} = \frac{1}{2}

ただし, 奇数項も収束するので, $2 n$ を $n$ に読み替えました.

この式で $a = 0$ としてみたりすると, ちょこっと面白いことになりますね.

ふたつめ

ふたつめは, 以下のような式です.

lim_{n \to \infty} (\sum_{k = 1}^{n} f (\frac{k}{n}) - n \int_{0}^{1} f (x) d x) = \frac{f (1) - f (0)}{2}

これは, そこまで有名ではないかもしれませんが, いろいろと面白い式が得られるので, 結構好きです.

イメージとしては, 区分求積の短冊和と本来の積分値の誤差の $n$ 倍の極限値ということになります.

この誤差が大体, それぞれ底辺 $\frac{1}{n}$ 高さ $Δ f$ の三角形となるので, それらの面積の和が $\frac{1}{2} \cdot \frac{1}{n} \cdot \sum Δ f = \frac{f (1) - f (0)}{2 n}$ となるので, 感覚としては正しいかなということになります.

この, 大体三角形になる, を評価するのがなかなかに難しいので, 証明は少し複雑になってしまいます.

(証明)

まずは, 細かく区切ると誤差の三角形の斜辺にあたる部分が大体直線になることを言いたいので,

f^{'}

の評価を考えてみます.

区間

I_{n} = [\frac{k - 1}{n}, \frac{k}{n}]

内での

f^{'} (x)

の最小値, 最大値をそれぞれ

m_{k}, M_{k}

とおきます. 即ち, この

I_{n}

内の実数

t

に対して

m_{k} ≦ f^{'} (t) ≦ M_{k}

が成り立ちます.

次に,

x

を

I_{n}

内の実数として, この不等式の両辺を

t : x \to \frac{k}{n}

と積分します. (これが上手いところです！あえて傾きから評価してそれを積分することで, 関数の値を上手くおさえることができます！)

すると,

m_{k} (\frac{k}{n} - x) ≦ f (\frac{k}{n}) - f (x) ≦ M_{k} (\frac{k}{n} - x)

となります.

これをさらに

x : \frac{k - 1}{n} \to \frac{k}{n}

と積分することで,

\frac{m_{k}}{2 n^{2}} ≦ \frac{1}{n} f (\frac{k}{n}) - \int_{\frac{k - 1}{n}}^{\frac{k}{n}} f (x) d x ≦ \frac{M_{k}}{2 n^{2}}

とすることができます！

この不等式の両辺を,

k = 1, 2, \dots, n

で足し合わせることで,

\frac{1}{2 n^{2}} \sum_{k = 1}^{n} m_{k} ≦ \frac{1}{n} \sum_{k = 1}^{n} f (\frac{k}{n}) - \int_{0}^{1} f (x) d x ≦ \frac{1}{2 n^{2}} \sum_{k = 1}^{n} M_{k}

両辺に

n

をかけて,

\frac{1}{2} \cdot \frac{1}{n} \sum_{k = 1}^{n} m_{k} ≦ \sum_{k = 1}^{n} f (\frac{k}{n}) - n \int_{0}^{1} f (x) d x ≦ \frac{1}{2} \cdot \frac{1}{n} \sum_{k = 1}^{n} M_{k}

となります.

ここで,

m_{k}, M_{k}

はどちらも

I_{n}

内での

f^{'} (x)

の値だったので, これらを代表点とした

f^{'} (x)

のRiemann和と見ることができます.

即ち,

lim_{n \to \infty} \frac{1}{n} \sum_{k = 1}^{n} m_{k} = lim_{n \to \infty} \frac{1}{n} \sum_{k = 1}^{n} M_{k} = \int_{0}^{1} f^{'} (x) d x = f (1) - f (0)

となるので, はさみうちの原理より

lim_{n \to \infty} (\sum_{k = 1}^{n} f (\frac{k}{n}) - n \int_{0}^{1} f (x) d x) = \frac{f (1) - f (0)}{2}

を示すことができました.

[追記] これが実は, 「オイラーの和公式」を背景としていることに気が付きました！詳しくは Wikipediaの記事をご覧ください.

実は, これを用いると, いろいろと面白い式を導くことができます.

まずは, $a > 0$ に対して $f (x) = x^{a}$ としてみると, 次のようになります.

lim_{n \to \infty} (\frac{1}{n^{a}} \sum_{k = 1}^{n} k^{a} - \frac{n}{a + 1}) = \frac{1}{2}

これは何を表しているかというと, 特に $a$ が自然数のとき, 左辺の $Σ$ の部分は $a$ 乗和になっています.

$a$ 乗和は $(a + 1)$ 次の多項式で, $(a + 1)$ 次の係数が $\frac{1}{a + 1}$ であることは常識かと思いますが, (この係数は $\frac{1}{n^{a + 1}} \sum k^{a}$ の極限であり, 極限値は単純な区分求積で求められます. ) そのひとつ下の, $a$ 次の係数が常に $\frac{1}{2}$ であることが, この式からわかるのです！

次に, $f (x) = \log (1 + x)$ としてみます. すると,
$\begin{array}{rcl} \sum_{k = 1}^{n} \log (1 + \frac{k}{n}) & = & \sum_{k = 1}^{n} \log \frac{n + k}{n} \\ = & \log (\frac{n + 1}{n} \cdot \frac{n + 2}{n} \cdot \dots \cdot \frac{2 n}{n}) \\ = & \log \frac{(2 n)!}{n! n^{n}} \end{array}$
であり,
$\begin{array}{rcl} \int_{0}^{1} \log (1 + x) d x & = & [x (\log x - 1)]_{1}^{2} \\ = & 2 \log 2 - 1 \\ = & \log \frac{4}{e} \end{array}$
なので,
$\begin{array}{rcl} \sum_{k = 1}^{n} f (\frac{k}{n}) - n \int_{0}^{1} f (x) d x & = & \log \frac{(2 n)!}{n! n^{n}} - n \log \frac{4}{e} \\ = & \log \frac{e^{n} (2 n)!}{4^{n} n! n^{n}} \end{array}$
となります.