0.999...
是非お友達にも!
◇暇つぶし何某◇

[Wikipedia|▼Menu]
無限に 9 の続く無限小数

数学における循環十進小数 0.999…(省略記号(英語版) の前の 9 の個数は多少増減させて 0.9… のようにも書く。あるいは他にも 0.9, 0.(9), 0..9 など多様な表記がある)は、実数としての「イチ」であると示すことができる。言葉を変えれば、記号 "0.999…" と "1" は同じ数を表している。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階の数学的厳密性(英語版)が相応に考慮された、多様な定式化がある[1]

任意の 0 でない有限小数(を末尾に無限個の 0 を付けて無限小数と見たもの)は、それと値が等しい、末尾に無限個の 9 が連なる双子の表示(例えば 8.32 と8.31999…)を持つ。ふつうは有限小数表示が好まれることで、それが一意的な表示であるとの誤解に繋がり易い。同じ現象は、任意の別の底に関する位取り記数法や、あるいは同様の実数の表示法でも発生する。

0.999… と 1 の等価性は、実数の体系(これは解析学ではもっとも一般的に用いられる体系である)に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある。そのような体系の大半は、標準的な解釈のもとで式 0.999… の値は 1 に等しくなるが、一部の体系においては記号 "0.999…" に別の解釈を与えて 1 よりも無限小だけ小さいようにすることができる。

等式 0.999… = 1 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分直観に反する(英語版)ものと見做して、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。


目次

1 代数的な証明

1.1 分数による証明

1.2 位取り記数法の性質を利用した証明

1.3 無数の位ごとの操作の正当性


2 解析的な証明

2.1 差に着目した証明

2.2 無数の位の定義の再考

2.2.1 級数の計算

2.2.2 区間縮小法と上限



3 実数の構成

3.1 デデキント切断による構成

3.2 コーシー列による構成


4 他の数体系での振る舞い

4.1 無限小を含む体系

4.1.1 超実数

4.1.2 超現実数・ゲーム


4.2 減法の再考

4.3 p-進数


5 一般化

6 応用例

7 典型的な誤解とその原因

8 メディアでの議論

9 関連する問題

10 脚注

11 関連項目

12 参考文献

13 外部リンク


代数的な証明

0.999… という実数を明確にとらえるには、やはり小数点以下の位がすべて 9 であることを利用する。位取り記数法で表された有限小数における"位ごとの操作(四則演算)"が無限小数の各位についても一斉にできる、と見なすと、0.999… = 1 を初等的に導くことができる。
分数による証明

1/3 を小数表示すると、小数点以下の位はすべて 3 であることを利用する。1/3 は 1 ÷ 3 の商であり、割り算の筆算により、循環小数 0.333… となる。ここで 3 は無限に続く。この小数点以下の各位は 3 倍するといずれも 9 となることから、有限小数のときと同様に各位への一斉な掛け算ができるとみなせば、無限小数 0.333… を 3 倍すると0.999… に等しい。一方、1/3 × 3 = 1 である。したがって 0.999… = 1 である[2]。同様な別証明として、1/9 = 0.111… の両辺に 9 を掛けることでもできる。 0.333 ⋯ = 1 3 0.333 ⋯ × 3 = 1 3 × 3 0.999 ⋯ = 1 {\displaystyle {\begin{aligned}0.333\cdots &={\frac {1}{3}}\\0.333\cdots \times 3&={\frac {1}{3}}\times 3\\0.999\cdots &=1\end{aligned}}}
位取り記数法の性質を利用した証明

十進法表示の有限小数に 10 を掛けると、数字は変化することなく、小数点が1つ右に移動する。このことが無限小数に対しても成り立つと見なせば、0.999… × 10 = 9.999… であり、これはもとの数に比べて 9 大きい。


ご協力下さい!!
★暇つぶし何某★

[次ページ]
[記事の検索]
[おまかせリスト]
[ブックマーク登録]
[mixiチェック!]
[Twitterに投稿]
[オプション/リンク一覧]
[話題のニュース]
[列車運行情報]
[暇つぶしWikipedia]

Size:104 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:FIRTREE