ボルツァーノ-ワイエルシュトラスの定理｜区間縮小法による証明

微分積分学では次のボルツァーノ-ワイエルシュトラス（Bolzano-Weierstrass）の定理を学びます．

［ボルツァーノ-ワイエルシュトラスの定理］有界実数列は収束する部分列をもつ．

ボルツァーノ-ワイエルシュトラスの定理を用いることでさまざまな定理を示すことができ，「縁の下の力持ち」という言葉がよく似合う定理です．

単調有界実数列の収束定理を用いて示される区間縮小法（nested intervals）と呼ばれる論法を用いることで，ボルツァーノ-ワイエルシュトラスの定理を証明することができます．

この記事では

区間縮小法とその証明
部分列とボルツァーノ-ワイエルシュトラスの定理

を順に説明します．

「微分積分学の基本」の一連の記事

実数・実数列の性質

微分積分学の参考文献
1. 微分積分学（笠原晧司著）
部分列とボルツァーノ-ワイエルシュトラスの定量
区間縮小法と証明

微分積分学の参考文献

以下は微分積分学に関するオススメの教科書です．

微分積分学（笠原晧司著）

数学科など理論系の学生向けの微分積分学の入門書です．基本的な例から発展的な例まで扱われており，バランスの良い教科書です．

部分列とボルツァーノ-ワイエルシュトラスの定量

ボルツァーノ-ワイエルシュトラスの定理を説明するために，まずは部分列を定義する必要があります．

部分列の考え方

ざっくり言えば，元の数列$\{a_n\}_{n=1}^{\infty}$から項を間引いてできる数列を部分列と言います．

以下では$n$は正の整数とし，$\{a_n\}_{n=1}^{\infty}$を単に$\{a_n\}_n$と表します．

例えば，数列$\{a_n\}$の偶数番目の項だけからなる数列は

\begin{align*}a_2,\ a_4,\ a_6,\ a_8, a_{10},\dots\end{align*}

となり，この数列は$\{a_{2n}\}_{n}$と表せますね．

\begin{tikzpicture}
\def\r{.06}\def\xs{-0.5}\def\xl{6.7}\def\ys{-0.5}\def\yl{4.2}
\def\c{0.4}\def\C{3.8}

\coordinate[label=below left:O](O) at (0,0); %原点
\coordinate(xs) at (\xs,0); %x軸最小
\coordinate(xl) at (\xl,0); %x軸最大
\coordinate(ys) at (0,\ys); %y軸最小
\coordinate(yl) at (0,\yl); %y軸最大
\draw[->,>=stealth,semithick](xs)–(xl) node[below]{$n$}; %x軸
\draw[->,>=stealth,semithick](ys)–(yl) node[left]{$a_{n}$}; %y軸
\coordinate(A1) at (0.2,2.5);\coordinate(A2) at (0.4,3.4);\coordinate(A3) at (0.6,2);\coordinate(A4) at (0.8,1.5);\coordinate(A5) at (1,1.7);
\coordinate(A6) at (1.2,2.3);\coordinate(A7) at (1.4,3.3);\coordinate(A8) at (1.6,0.6);\coordinate(A9) at (1.8,2.2);\coordinate(A10) at (2,.5);
\coordinate(A11) at (2.2,2.3);\coordinate(A12) at (2.4,2.1);\coordinate(A13) at (2.6,3.7);\coordinate(A14) at (2.8,0.6);\coordinate(A15) at (3,3.6);
\coordinate(A16) at (3.2,0.6);\coordinate(A17) at (3.4,1.3);\coordinate(A18) at (3.6,2);\coordinate(A19) at (3.8,3.1);\coordinate(A20) at (4,2.7);
\coordinate(A21) at (4.2,0.9);\coordinate(A22) at (4.4,1.1);\coordinate(A23) at (4.6,1.4);\coordinate(A24) at (4.8,1.3);\coordinate(A25) at (5,1.3);
\coordinate(A26) at (5.2,3.4);\coordinate(A27) at (5.4,2);\coordinate(A28) at (5.6,1);\coordinate(A29) at (5.8,2.3);\coordinate(A30) at (6,2.6);
\coordinate(A31) at (6.2,2.3);\coordinate(A32) at (6.4,1.7);

\foreach \n in {1,2,…,32} \fill[blue!30!white](A\n)circle[radius=\r];
\foreach \n in {2,4,…,32} \fill[blue](A\n)circle[radius=\r];
\foreach \n in {2,4,6,8} \draw[blue,dashed]($(xs)!(A\n)!(xl)$)node[below]{$\n$}–(A\n)–($(ys)!(A\n)!(yl)$)node[left]{$a_{\n}$};
\foreach \n in {10,12,…,32} \draw[blue,dashed]($(xs)!(A\n)!(xl)$)–(A\n);
\draw[blue] (2.5,-.3)node{$\dots$};
\end{tikzpicture}

他にも数列$\{a_n\}$の素数番目の項だけからなる数列は

\begin{align*}a_2,\ a_3,\ a_5,\ a_7, a_{11},\dots\end{align*}

となり，この数列は$\{a_{n_k}\}_k$（$n_k$は$k$番目の素数）などと表せます．

このように，数列$\{a_n\}_n$の添え字$n$を$n_1<n_2<\dots<n_k<\dots$なる正の整数の列$\{n_k\}_k$で考えてできる数列$\{a_{n_k}\}_k$は，元の数列$\{a_n\}$から項を間引いてできる数列になっていますね．

部分列の定義

いまの考え方をもとに部分列をきちんと定義すると次のようになります．

数列$\{a_n\}_n$, $\{b_n\}_n$を考える．正の整数の単調増加列$\{n_k\}_k$が存在して$\{b_n\}_n=\{a_{n_k}\}_{k}$となるとき，$\{b_n\}_n$は$\{a_n\}_n$の部分列（subsequence）であるという．

$\{b_n\}_n=\{a_{n_k}\}_{k}$を書き並べると

\begin{align*}b_1=a_{n_1},\ b_2=a_{n_2},\ b_3=a_{n_3},\dots\end{align*}

ということですから，数列$\{b_n\}_n$は数列$\{a_n\}_n$から項を間引いてできる数列になっていますね．

ボルツァーノ-ワイエルシュトラスの定理

ここでボルツァーノ-ワイエルシュトラスの定理がどのような定理かを説明します．

冒頭でも紹介したように，定理自体は次の通りです．

［ボルツァーノ-ワイエルシュトラスの定理］有界実数列は収束する部分列をもつ．

つまり，実数列$\{a_n\}$がどんなに「ぐちゃぐちゃ」な数列であっても，有界でさえあればうまく項$a_{n_1},a_{n_2},a_{n_3},\dots$を選んで収束する部分列$\{a_{n_k}\}_k$をつくることができるということですね．

\begin{tikzpicture}
\def\r{.06}\def\xs{-0.5}\def\xl{6.7}\def\ys{-0.5}\def\yl{4.2}
\def\c{0.4}\def\C{3.8}

\begin{scope}
\coordinate[label=below left:O](O) at (0,0); %原点
\coordinate(xs) at (\xs,0); \coordinate(xl) at (\xl,0); \draw[->,>=stealth,semithick](xs)–(xl) node[below]{$n$}; %x軸
\coordinate(ys) at (0,\ys); \coordinate(yl) at (0,\yl); \draw[->,>=stealth,semithick](ys)–(yl) node[left]{$a_{n}$}; %y軸
\coordinate(A1) at (0.2,2.5);\coordinate(A2) at (0.4,3.4);\coordinate(A3) at (0.6,2);\coordinate(A4) at (0.8,1.5);\coordinate(A5) at (1,1.7);
\coordinate(A6) at (1.2,2.3);\coordinate(A7) at (1.4,3.3);\coordinate(A8) at (1.6,0.6);\coordinate(A9) at (1.8,2.2);\coordinate(A10) at (2,.5);
\coordinate(A11) at (2.2,2.3);\coordinate(A12) at (2.4,2.1);\coordinate(A13) at (2.6,3.7);\coordinate(A14) at (2.8,0.6);\coordinate(A15) at (3,3.6);
\coordinate(A16) at (3.2,0.6);\coordinate(A17) at (3.4,1.3);\coordinate(A18) at (3.6,2);\coordinate(A19) at (3.8,3.1);\coordinate(A20) at (4,2.7);
\coordinate(A21) at (4.2,0.9);\coordinate(A22) at (4.4,1.1);\coordinate(A23) at (4.6,1.4);\coordinate(A24) at (4.8,1.3);\coordinate(A25) at (5,1.3);
\coordinate(A26) at (5.2,3.4);\coordinate(A27) at (5.4,2);\coordinate(A28) at (5.6,1);\coordinate(A29) at (5.8,2.3);\coordinate(A30) at (6,2.6);
\coordinate(A31) at (6.2,2.3);\coordinate(A32) at (6.4,1.7);

\foreach \n in {1,2,…,32} \fill[blue](A\n)circle[radius=\r];
\foreach \n in {1,2,…,4}\draw[blue,dashed]($(xs)!(A\n)!(xl)$)node[below]{$\n$}–(A\n)–($(ys)!(A\n)!(yl)$)node[left]{$a_{\n}$};
\foreach \n in {5,6,7,8,9}\draw[blue,dashed]($(xs)!(A\n)!(xl)$)node[below]{$\n$}–(A\n);
\foreach \n in {10,11,…,32} \draw[blue,dashed]($(xs)!(A\n)!(xl)$)–(A\n);
\draw[blue] (2.5,-.3)node{$\dots$};
\end{scope}

\begin{scope}[yshift=-1cm]
\draw[magenta,ultra thick,double,->,>=stealth](3,.3)–(3,-.3);
\end{scope}

\begin{scope}[yshift=-6cm]
\coordinate[label=below left:O](O) at (0,0); %原点
\coordinate(xs) at (\xs,0); %x軸最小
\coordinate(xl) at (\xl,0); %x軸最大
\coordinate(ys) at (0,\ys); %y軸最小
\coordinate(yl) at (0,\yl); %y軸最大
\draw[->,>=stealth,semithick](xs)–(xl) node[below]{$n$}; %x軸
\draw[->,>=stealth,semithick](ys)–(yl) node[left]{$a_{n}$}; %y軸
\coordinate(A1) at (0.2,2.5);\coordinate(A2) at (0.4,3.4);\coordinate(A3) at (0.6,2);\coordinate(A4) at (0.8,1.5);\coordinate(A5) at (1,1.7);
\coordinate(A6) at (1.2,2.3);\coordinate(A7) at (1.4,3.3);\coordinate(A8) at (1.6,0.6);\coordinate(A9) at (1.8,2.2);\coordinate(A10) at (2,.5);
\coordinate(A11) at (2.2,2.3);\coordinate(A12) at (2.4,2.1);\coordinate(A13) at (2.6,3.7);\coordinate(A14) at (2.8,0.6);\coordinate(A15) at (3,3.6);
\coordinate(A16) at (3.2,0.6);\coordinate(A17) at (3.4,1.3);\coordinate(A18) at (3.6,2);\coordinate(A19) at (3.8,3.1);\coordinate(A20) at (4,2.7);
\coordinate(A21) at (4.2,0.9);\coordinate(A22) at (4.4,1.1);\coordinate(A23) at (4.6,1.4);\coordinate(A24) at (4.8,1.3);\coordinate(A25) at (5,1.3);
\coordinate(A26) at (5.2,3.4);\coordinate(A27) at (5.4,2);\coordinate(A28) at (5.6,1);\coordinate(A29) at (5.8,2.3);\coordinate(A30) at (6,2.6);
\coordinate(A31) at (6.2,2.3);\coordinate(A32) at (6.4,1.7);

\foreach \n in {1,2,…,32} \fill[blue!30!white](A\n)circle[radius=\r];
\foreach \n in {3,8,21,28} \fill[blue](A\n)circle[radius=\r];
\draw[blue,dashed]($(xs)!(A3)!(xl)$)node[below]{$n_1$}–(A3)–($(ys)!(A3)!(yl)$)node[left]{$a_{n_1}$} ($(xs)!(A8)!(xl)$)node[below]{$n_2$}–(A8)–($(ys)!(A8)!(yl)$)node[left]{$a_{n_2}$} ($(xs)!(A21)!(xl)$)node[below]{$n_3$}–(A21)–($(ys)!(A21)!(yl)$) ($(xs)!(A28)!(xl)$)node[below]{$n_4$}–(A28)–($(ys)!(A28)!(yl)$);
\draw[blue,<-,>=stealth]($(ys)!(A21)!(yl)+(-.1,0)$)–++(-.5,0)node[left]{$a_{n_3}$};
\draw[blue,<-,>=stealth]($(ys)!(A28)!(yl)+(-.1,0)$)to[out=180,in=0]++(-.5,.3)node[left]{$a_{n_4}$};
\end{scope}
\end{tikzpicture}

このボルツァーノ-ワイエルシュトラスの定理の証明には区間縮小法を用います．

区間縮小法と証明

区間縮小法を証明し，ボルツァーノ-ワイエルシュトラスの定理を証明しましょう．

区間縮小法

以下では，閉区間$I=[a,b]$の長さ$b-a$を$|I|$と表します．

［区間縮小法］有界閉区間$I_{1},I_{2},I_{3},\dots\subset\R$が

\begin{align*}I_{1}\supset I_{2}\supset I_{3}\supset\dots,\quad
\lim_{k\to\infty}|I_{k}|=0\end{align*}

を満たすとする．

\begin{tikzpicture}
\def\r{.06}\def\xs{-0.25}\def\xl{6.25}
\coordinate(O) at (0,0); %原点
\coordinate(xs) at (\xs,0); %x軸最小
\coordinate(xl) at (\xl,0); %x軸最大
\draw[->,>=stealth,semithick](xs)–(xl); %x軸
\def\p{0}\def\pp{1}\def\ppp{2}
\def\q{6}\def\qq{4.5}\def\qqq{3.7}

\fill[magenta](\p,0)circle[radius=\r] (\q,0)circle[radius=\r];
\draw[magenta,thick](\p,0)–(\q,0)node[above left]{$I_{1}$};
\fill[blue](\pp,.1)circle[radius=\r] (\qq,0.1)circle[radius=\r];
\draw[blue,thick](\pp,.1)–(\qq,0.1)node[above left]{$I_{2}$};
\fill[orange](\ppp,.2)circle[radius=\r] (\qqq,0.2)circle[radius=\r];
\draw[orange,thick](\ppp,0.2)–(\qqq,0.2)node[above left]{$I_{3}$};
\draw[magenta](\p,-0.1)node[below]{$p_{1}$} (\q,-0.1)node[below]{$q_{1}$};
\draw[blue](\pp,-0.1)node[below]{$p_{2}$} (\qq,-0.1)node[below]{$q_{2}$};
\draw[orange](\ppp,-0.1)node[below]{$p_{3}$} (\qqq,-0.1)node[below]{$q_{3}$};
\end{tikzpicture}

このとき，共通部分$\bigcap\limits_{k=1}^{\infty}I_{k}$はただ１つの元のみからなり，

\begin{align*}\bigcap_{k=1}^{\infty}I_{k}=\{\alpha\},\quad
I_{k}=[p_{k},q_{k}]\quad(k=1,2,3,\dots)\end{align*}

とすると，$\lim\limits_{k\to\infty}p_{k}=\lim\limits_{n\to\infty}q_{k}=\alpha$が成り立つ．

つまり，「区間$I_k$が入れ子状に小さくなっていき，区間$I_k$の長さが０に収束するなら，区間は１点に潰れていく」というわけですね．

区間縮小法の証明

証明には「広義単調増加かつ上に有界な（広義単調減少かつ下に有界な）実数列は収束する」という単調有界実数列の収束定理を用います．

$I_1\supset I_2\supset I_3\supset\dots$より$p_1\le p_2\le p_3\le$かつ$p_k\le q_1$（$k=1,2,3,\dots$）が成り立つ．すなわち，実数列$\{p_k\}$は広義単調増加かつ上に有界だから，単調有界実数列の収束定理により収束する．

同様に実数列$\{q_k\}$は広義単調減少かつ下に有界だから，単調有界実数列の収束定理により収束する．

\filldraw[magenta,fill=magenta] (\p,0)circle[radius=\r]node[below]{$p_1$};
\filldraw[blue,fill=blue] (\pp,0)circle[radius=\r]node[below]{$p_2$};
\filldraw[orange,fill=orange] (\ppp,0)circle[radius=\r]node[below]{$p_3$};
\filldraw[magenta,fill=magenta] (\q,0)circle[radius=\r]node[below]{$q_1$};
\filldraw[blue,fill=blue] (\qq,0)circle[radius=\r]node[below]{$q_2$};
\filldraw[orange,fill=orange] (\qqq,0)circle[radius=\r]node[below]{$q_3$};
\end{tikzpicture}

$p=\lim\limits_{k\to\infty}p_{k}$, $q:=\lim\limits_{n\to\infty}q_{k}$とおくと，

\begin{align*}\lim_{k\to\infty}|I_{k}|=0\iff& \lim_{k\to\infty}(q_k-p_k)=0
\\\iff& q-p=0\iff p=q\end{align*}

が成り立つ．

また，集合の共通部分の定義から，任意の$\alpha\in\bigcap\limits_{k=1}^{\infty}I_{k}$は

\begin{align*}\alpha\in I_k\iff p_k\le\alpha\le q_k\quad(k=1,2,3,\dots)\end{align*}

をみたすから，$k\to\infty$とすれば極限について$p\le\alpha\le q$が成り立つ．

よって，$p=q=\alpha$なので$\bigcap\limits_{k=1}^{\infty}I_{k}$はただ１つの元のみからなり，$\{p_k\}$, $\{q_k\}$の極限に一致する．

ボルツァーノ-ワイエルシュトラスの定理の証明

［ボルツァーノ-ワイエルシュトラスの定理（再掲）］有界実数列は収束する部分列をもつ．

有界なので$p_0\le a_n\le q_0$（$n=1,2,\dots$）となる$p_0,q_0\in\R$が存在し，この$[p_0,q_0]$を半分半分に狭めていけば収束する部分列が作れることが分かります．

有界実数列$\{a_n\}$をとる．このとき，有界性よりある$p_0,q_0\in\R$が存在して$p_0\le a_{n}\le q_0$が成り立つ．

ステップ１：単調増加列$\{p_k\}$と単調減少列$\{q_k\}$を構成する

$r_0:=\dfrac{p_0+q_0}{2}$とおく．

\begin{tikzpicture}
\def\xs{-0.4}\def\xl{6.5}\def\ys{-0.4}\def\yl{4.2}
\coordinate[label=below left:O](O) at (0,0); %原点
\coordinate(xs) at (\xs,0); \coordinate(xl) at (\xl,0); \draw[->,>=stealth,semithick](xs)–(xl) node[below]{$n$}; %x軸
\coordinate(ys) at (0,\ys); \coordinate(yl) at (0,\yl); \draw[->,>=stealth,semithick](ys)–(yl) node[left]{$a_{n}$}; %y軸

\def\c{0.4}\def\C{3.8}
\coordinate(A1) at (0.2,2.5);\coordinate(A2) at (0.4,3.4);\coordinate(A3) at (0.6,2);\coordinate(A4) at (0.8,1.5);\coordinate(A5) at (1,1.7);
\coordinate(A6) at (1.2,2.3);\coordinate(A7) at (1.4,3.3);\coordinate(A8) at (1.6,0.6);\coordinate(A9) at (1.8,2.2);\coordinate(A10) at (2,.5);
\coordinate(A11) at (2.2,2.3);\coordinate(A12) at (2.4,2.1);\coordinate(A13) at (2.6,3.7);\coordinate(A14) at (2.8,0.6);\coordinate(A15) at (3,3.6);
\coordinate(A16) at (3.2,0.6);\coordinate(A17) at (3.4,1.3);\coordinate(A18) at (3.6,2);\coordinate(A19) at (3.8,3.1);\coordinate(A20) at (4,2.7);
\coordinate(A21) at (4.2,0.9);\coordinate(A22) at (4.4,1.1);\coordinate(A23) at (4.6,1.4);\coordinate(A24) at (4.8,1.3);\coordinate(A25) at (5,1.3);
\coordinate(A26) at (5.2,3.4);\coordinate(A27) at (5.4,2);\coordinate(A28) at (5.6,1);\coordinate(A29) at (5.8,2.3);\coordinate(A30) at (6,2.6);
\coordinate(A31) at (6.2,2.3);\coordinate(A32) at (6.4,1.7);

\foreach \n in {1,2,…,32} \fill[blue](A\n)circle(0.06);
\draw[magenta,dashed] (0,\C)node[left]{$q_{0}$}–(\xl,\C) (0,\c)node[left]{$p_{0}$}–(\xl,\c) (0,{(\c+\C)/2})node[left]{$r_{0}$}–(\xl,{(\c+\C)/2});
\end{tikzpicture}

このとき，区間$[p_0,r_0]$, $[r_0,q_0]$の少なくとも一方には実数列$\{a_n\}$の項が無限に属する（もしどちらにも有限個しかなければ，実数列$\{a_n\}$の項が有限個しか存在しないことになり矛盾）から

$[p_0,r_0]$に実数列$\{a_{n}\}$の項が無限に属していれば$p_1:=p_0$, $q_1:=r_0$
そうでないときは$p_1:=r_0=$, $q_1:=q_0$

と定め，さらに$r_1:=\dfrac{p_1+q_1}{2}$と定める．

\foreach \n in {1,2,…,32} \fill[blue](A\n)circle(0.06);
\draw[magenta,dashed] (0,\C)node[left]{$q_0$}–(\xl,\C) (0,\c)node[left]{$p_1=p_0$}–(\xl,\c) (0,{(\c+\C)/2})node[left]{$q_1=r_0$}–(\xl,{(\c+\C)/2}) (0,{(3*\c+\C)/4})node[left]{$r_1$}–(\xl,{(3*\c+\C)/4});
\end{tikzpicture}

同様に，

$[p_1,r_1]$に実数列$\{a_n\}$の項が無限に属していれば$p_2:=p_1$, $q_2:=r_1$
そうでないときは$p_2:=r_1$, $q_2:=q_1$

と定め，さらに$r_2:=\dfrac{p_1+q_1}{2}$と定める．

\begin{tikzpicture}
\def\xs{-0.4}\def\xl{6.5}\def\ys{-0.4}\def\yl{4.2}

\coordinate[label=below left:O](O) at (0,0); %原点
\coordinate(xs) at (\xs,0); \coordinate(xl) at (\xl,0); \draw[->,>=stealth,semithick](xs)–(xl) node[below]{$n$}; %x軸
\coordinate(ys) at (0,\ys); \coordinate(yl) at (0,\yl); \draw[->,>=stealth,semithick](ys)–(yl) node[left]{$a_{n}$}; %y軸

\foreach \n in {1,2,…,32} \fill[blue](A\n)circle(0.06);
\draw[magenta,dashed] (0,\C)node[left]{$q_0$}–(\xl,\C) (0,\c)node[left]{$p_2=p_1=p_0$}–(\xl,\c) (0,{(\c+\C)/2})node[left]{$q_1=r_0$}–(\xl,{(\c+\C)/2}) (0,{(3*\c+\C)/4})node[left]{$q_2=r_1$}–(\xl,{(3*\c+\C)/4}) (0,{(7*\c+\C)/8})node[left]{$r_2$}–(\xl,{(7*\c+\C)/8});
\end{tikzpicture}

これを帰納的に繰り返し，有界閉区間$I_{k}=[p_{k},q_{k}]$（$k=0,1,2,\dots$）を作ると$I_{0}\supset I_{1}\supset I_{2}\supset\dots$かつ$\lim\limits_{k\to\infty}|I_{k}|=0$が成り立つ．

よって，区間縮小法により$\lim\limits_{k\to\infty}p_{k}=\lim\limits_{k\to\infty}q_{k}$を得る．

ステップ２：収束する部分列を構成する

数列$\{a_{n}\}$の部分列$\{a_{n_{k}}\}$を

数列$\{a_{n}\}$の$I_{1}$に属する最初の項を$a_{n_{1}}$
数列$\{a_{n}\}$の$a_{n_{1}}$より後の$I_{2}$に属する最初の項を$a_{n_{2}}$
数列$\{a_{n}\}$の$a_{n_{2}}$より後の$I_{3}$に属する最初の項を$a_{n_{3}}$
……

と帰納的に定める．

\begin{tikzpicture}
\def\xs{-0.4}\def\xl{6.5}\def\ys{-0.4}\def\yl{4.2}

\foreach \n in {1,2,…,32} \fill[blue!30!white](A\n)circle(0.06);
\foreach \n in {3,8,21,28} \fill[blue](A\n)circle(0.06);
\draw[magenta,dashed] (0,\C)–(\xl,\C) (0,\c)–(\xl,\c) (0,{(\c+\C)/2})–(\xl,{(\c+\C)/2}) (0,{(3*\c+\C)/4})–(\xl,{(3*\c+\C)/4}) (0,{(7*\c+\C)/8})–(\xl,{(7*\c+\C)/8}) (0,{(13*\c+3*\C)/16})–(\xl,{(13*\c+3*\C)/16});
\draw[blue,dashed](A3)–($(xs)!(A3)!(xl)$)node[below]{$n_1$} (A8)–($(xs)!(A8)!(xl)$)node[below]{$n_2$} (A21)–($(xs)!(A21)!(xl)$)node[below]{$n_3$} (A28)–($(xs)!(A28)!(xl)$)node[below]{$n_4$};
\end{tikzpicture}

このとき，$a_{n_{k}}\in I_{k}$より$p_{k}\le a_{n_{k}}\le q_{k}$となるので，はさみうちの原理より$\{a_{n_{k}}\}$は極限をもつ．