はさみうちの原理の証明

更新日時 2022/02/08

はさみうちの原理（数列版）

はさみうちの原理任意の自然数 $n$ に対して（または十分大きな $n$ に対して） $a_n \leq b_n \leq c_n$ が成立し，

$\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}c_n=\alpha$ なら

$\displaystyle\lim_{n\to\infty}b_n=\alpha$

はさみうちの原理の意味・例題・証明をわかりやすく説明します。

はさみうちの原理の意味

はさみうちの原理は，数列の極限を求めるときに使える定理です。
極限を求めたい数列 $b_n$ よりも小さい数列 $a_n$ と大きい数列 $c_n$ の極限が両方とも $\alpha$ なら，挟まれた $b_n$ の収束先も $\alpha$ になる，という定理です。

例題1

$\displaystyle\lim_{n\to\infty}\dfrac{\sin n}{n}$ を計算せよ。

解答

$-1\leq\sin n \leq 1$ より， $-\dfrac{1}{n}\leq \dfrac{\sin n}{n}\leq\dfrac{1}{n}$ である。

小さい数列の極限は $\displaystyle\lim_{n\to\infty}(-\dfrac{1}{n})=0$
大きい数列の極限は $\displaystyle\lim_{n\to\infty}\dfrac{1}{n}=0$

よって，間に挟まれた数列の極限も $\displaystyle\lim_{n\to\infty}\dfrac{\sin n}{n}=0$ となる。

はさみうちの原理のことを英語では Squeeze Theorem なども言います。原理と呼ぶことが多いですが「定理」です。
感覚的には当然成り立つであろう定理ですが，以下できちんと証明します（証明には $\epsilon-N$ 論法， $\epsilon-\delta$ 論法という大学数学の道具を用いるので大学入試で問われることはありません）。

証明の準備（極限の定義）

はさみうちの原理を証明する準備として，極限の定義をきちんとします。

数列の極限の定義

$\displaystyle\lim_{n\to\infty}a_n=\alpha$ とは，

「任意の正の実数 $\epsilon$ に対して，ある $N$ が存在して $n\geq N$ なら $|a_n-\alpha| <\epsilon$ が成立する」

厳密に書くと分かりにくいですが，意味は難しくありません。

これで極限の意味が厳密に定義されたので，はさみうちの原理が証明できます。

はさみうちの原理の証明

まずは仮定と目標の式をきちんと表現しておきます。
仮定は，
an≤bn≤cna_n \leq b_n \leq c_nan​≤bn​≤cn​
任意の
ϵ>0\epsilon > 0ϵ>0
に対してある
N1N_1N1​
が存在して
n≥N1n\geq N_1n≥N1​
なら
∣an−α∣<ϵ|a_n-\alpha| <\epsilon∣an​−α∣<ϵ
任意の
ϵ>0\epsilon > 0ϵ>0
に対してある
N2N_2N2​
が存在して
n≥N2n\geq N_2n≥N2​
なら
∣cn−α∣<ϵ|c_n-\alpha| <\epsilon∣cn​−α∣<ϵ
目標は，
任意の
ϵ>0\epsilon > 0ϵ>0
に対してある
NNN
が存在して
n≥Nn\geq Nn≥N
なら
∣bn−α∣<ϵ|b_n-\alpha| <\epsilon∣bn​−α∣<ϵ
証明
仮定の2つ目と3つ目より，
任意の
ϵ>0\epsilon > 0ϵ>0
 に対して
N>N1,N>N2N > N_1, N > N_2N>N1​,N>N2​
 となるように
NNN
 を取れば
n≥Nn\geq Nn≥N
 なら
an>α−ϵa_n > \alpha-\epsilonan​>α−ϵ
 かつ
cn<α+ϵc_n <\alpha+\epsiloncn​<α+ϵ
仮定の1つめと合わせると
α−ϵ<bn<α+ϵ\alpha-\epsilon <b_n <\alpha+\epsilonα−ϵ<bn​<α+ϵ
つまり，∣bn−α∣<ϵ|b_n-\alpha| <\epsilon∣bn​−α∣<ϵ
よって，はさみうちの原理が示された。