0.999...：1に等しい循環小数

二つの表記が等しい理由

0.999... = 1であることは、いくつかの簡単で同値な方法により分かる。よく使われる代数的説明では、x = 0.999...とおき、10倍して10x = 9.999...を得る。元の式を引けば9x = 9となるため、x = 1である。解析的には、0.999...を無限級数9/10 + 9/100 + 9/1000 + ...と解釈できる。これは初項9/10、公比1/10の等比級数であり、その和は1となる。第三の見方では極限を用いる。有限小数0.9、0.99、0.999、…は増加数列をなし、その極限は1である。

一般的な説明と注意点

• 小数表記の非一意性：多くの実数には二通りの小数表記がある。たとえば、0.5000... = 0.4999...である。9が繰り返される末尾は、有限で終わる小数展開に対する別表記である。
• 形式的な展開と記号：0.999...は、極限、または有理数のコーシー列の同値類を表す記法である。この等式を意味あるものとして扱うには、実数の標準的な構成を受け入れる必要がある。
• 直観：各有限打切り値である0.9、0.99、0.999は1未満である。しかし、その極限と1の間に厳密に位置する実数は存在しないため、両者は一致する。

歴史と教育

0.999...をめぐる議論は、学習者が初めて無限過程に触れる教室でしばしば見られる。小数が数直線上の同じ点を異なる仕方で表せるという考え方は、近代的な実解析より前から存在した。教師はこの例を、極限、無限級数、そして実数の完備性を導入するために用いる。

例、意義と関連する事実

関連例には0.333... = 1/3および0.24999... = 0.25がある。0.999... = 1という等式は、等比級数の性質、有理数列に対する極限過程、小数表記が常に一意ではないことといった、より広い原理を示している。小数表記と実数の基礎については、初等解析や数の表現に関する一般的な文献を参照されたい。簡単な参照としては、循環小数における9の繰り返しと、省略記号の意味についての解説も参照できる。