数学シリーズ第1回 / 全4回

なぜ 0.999… = 1 なのか？――2行の証明から「無限」の定義まで

November 4, 2026

「0.999…と1は等しい」と聞いて、どう感じるだろうか。

0.9は1より小さい。0.99も小さい。9を100個並べても、1には少しだけ届かない。それなのに、9を無限に並べると1に等しくなるという。

本記事では、まず拍子抜けするほど短い証明を紹介し、その後で「そもそも … とは何か？」まで掘り下げてみる。

1. まずは、たった2行の証明

次の等式を思い出してほしい。

\frac{1}{3}=0.333\ldots

両辺を3倍すると、

1=0.999\ldots\qquad\blacksquare

以上。実にあっけない。

この証明は、通常の無限小数の計算を認めるなら正しい。ただし、どこか引っかからないだろうか。

最初の $1/3=0.333\ldots$ は、なぜ正しいと言えるのか？

実はここにも、無限小数の意味が隠れている。したがって、この2行は美しい証明である一方、無限小数の定義そのものを説明するものではない。

2. 「9を増やし続ける」と「無限に9が続く」は違う

まず、9を $n$ 個並べた有限小数を $a_n$ とする。

$n$	$a_n$	1との差
1	0.9	0.1
2	0.99	0.01
3	0.999	0.001
4	0.9999	0.0001

一般に、

a_n=\sum_{k=1}^{n}\frac{9}{10^k}=1-\frac{1}{10^n}

と書ける。だから、すべての有限の $n$ に対して、

a_n<1

である。

ここまでは「どこまで9を並べても1にはならない」という直感のとおりだ。

インタラクティブ

9 を並べるほど 1 に近づく様子

a_n = 0.99…9(9 が n 個)= 1 − 10⁻ⁿ

桁数 n = 3

a_n0.999
1(桁をそろえて)1.000
差 1 − a_n0.001

どの n でも a_n < 1

9 を 3 個並べた有限小数は、1 より 0.001 だけ小さいままです。n をどれだけ増やしても「ぴったり 1」にはなりません。

ただし、差 10⁻ⁿ は n を増やせばいくらでも小さくできます。この「どこまでも近づく」先にある値を、数列の極限として 1 と定義します。

A. 全体の数直線(0.9 〜 1)

これまでの項 a₁〜a₃ を点で示しています。n が大きくなると、点は 1 に重なって見分けがつきません。

B. 差を拡大した数直線

図の幅は 10⁻³ の 2 倍。n を変えても同じ絵になりますが、目盛りが 10 倍ずつ細かくなっています。どれだけ拡大しても、a_n と 1 の間には隙間が残っています。それでも隙間はいくらでも縮められる、というのが極限の考え方です。

しかし、 $0.999\ldots$ は「9をものすごくたくさん並べた有限小数」ではない。

通常の実数の体系で、無限小数は有限小数の列の極限として定義する。

0.999\ldots\;:=\;\lim_{n\to\infty} a_n

… は、どこかに「最後の9」があることを意味しない。そもそも無限に続くものには、最後の桁が存在しない。

3. 極限を使って計算する

先ほど、

a_n=1-\frac{1}{10^n}

だった。ここで $n$ を限りなく大きくすると、 $10^{-n}$ の極限は0になる。

したがって、

\begin{aligned} 0.999\ldots &=\lim_{n\to\infty}\left(1-\frac{1}{10^n}\right)\\ &=1-0\\ &=1. \end{aligned}

これが、無限小数の定義に立ち返った証明だ。

ここで大事なのは、次の2つを区別すること。

有限の項： $a_n$ は、どんなに大きな $n$ でも1より小さい。
数列の極限値： $\lim_{n\to\infty}a_n$ は、正確に1である。

「1に限りなく近い別の数」があるのではない。 $0.999\ldots$ は実数として1そのものを表している。

4. 「ほんのわずかな差」が残るのでは？

「0.999…と1の間には、無限に小さい差がある」と考えたくなるかもしれない。

だが、通常の実数では、0より大きく、あらゆる正の実数より小さい実数は存在しない。

例えば、差を $d>0$ と仮定してみよう。9を $n$ 個並べた数と1の差は $10^{-n}$ なので、差 $d$ が残るなら、すべての $n$ について

0<d\le\frac{1}{10^n}

となるはずだ。

しかし、十分大きな $n$ を選べば $10^{-n}<d$ にできる。これは矛盾する。

つまり、そのような正の差 $d$ は存在しない。

この「どんな正の誤差を指定されても、十分先ではそれより小さくできる」という考えを、数学では厳密な言葉にしている。それがε-N（イプシロン・エヌ）論法だ。

5. 実は、1には小数表記が2つある

結論をもう一度書こう。

0.999\ldots=1.000\ldots=1

実数の値が同じでも、その書き方が同じとは限らない。10進表記では、ある数が「末尾に0が続く表記」と「末尾に9が続く表記」の2通りを持つことがある。

例えば、

0.24999\ldots=0.25000\ldots

である。

まとめ

$0.9,0.99,0.999,\ldots$ の各項はすべて1より小さい。
$0.999\ldots$ は、それらの項を「無限に実行した結果」ではなく、数列の極限値として定義した実数である。
その極限値は、厳密に1である。
$\frac13\times3$ の2行の証明も正しいが、無限小数の定義を前提にしている。

次の記事では、今まで何気なく使ってきた「限りなく近づく」という言葉を、ε-N論法で厳密に定義してみよう。