- 1 名前：１３２人目の素数さん [2009/10/10(土) 09:03:13 ]
- 一応激しい論議の結果、回答テンプレートが作成されました >2-5
今後書き込む際には、できるだけまず回答テンプレートを参照してから、それをふまえて行ってください。
また、回答テンプレートへの意見なども自由に書き込んでください。
前スレ
1=0.999… その 9.999… science4.2ch.net/test/read.cgi/math/1118452051/
1=0.999… その10.999… science4.2ch.net/test/read.cgi/math/1136133055/
1=0.999… その11.999… science4.2ch.net/test/read.cgi/math/1142173277/
1=0.999… その12.999… science4.2ch.net/test/read.cgi/math/1154943310/
1=0.999… その13.999… science6.2ch.net/test/read.cgi/math/1161855366/
1=0.999… その14.999… science6.2ch.net/test/read.cgi/math/1174700172/
1=0.999… その15.999… science6.2ch.net/test/read.cgi/math/1219454079/
- 2 名前：１３２人目の素数さん [2009/10/10(土) 09:04:11 ]
- Q1: 1=0.999… か?
A1 ｢前提条件｣により｢1=0.999…｣なり｢1≠0.999…｣なり変わる｡
しかし、通常はその様な前提条件を採用する事の利点や、過去の経緯を考えると
｢1=0.999…｣であるとした方が妥当である｡
Q2:｢1=0.999…｣は証明可能なのではないか｡
A2:A1の前提条件を認めれば可能である。しかし、認めない人にとってはその証明は
無意味である｡
Q3:1と0.999…は形が全く違う。同じ数だと言うのは納得できない｡
A3:分数の2/2と3/3も違う形だが、全く同じ数である｡
Q4:A1で、数学で正反対の結果を容認するのは納得できない。論理は一意に定まるのではないか?
A4:自然数が入っている論理がもし正しいなら、その正しさはその論理内で証明できない｡
従って、｢1=0.999…｣が結論となる論理も｢1≠0.999…｣が結論になる論理も
無矛盾な限り、その正しさはその論理内で証明できない｡
更に言えばどちらの論理結果も独立に存在し得る｡
- 3 名前：１３２人目の素数さん [2009/10/10(土) 09:05:11 ]
- Q5:A1の｢前提条件｣とは何か?
A5:通常は実数の範囲で考え、｢実数の連続性｣や｢0.999…が無限級数の
極限値である｣こと等を前提にする。しかし、説明は複雑になるが､
アルキメデス性を満たす数の範囲(例えば実数ではなく有理数)で
考える事も可能である｡
Q6:｢1=0.999…｣の証明には幾つかの初等的手法があるが、これらは無意味になるのか?
A6:前提条件を認めて、無限小数の演算を矛盾無く定義するなら、それらの初等的証明は
確かに証明になっている。前提条件を認めた段階でのより単純な証明は存在するが
初等的証明には｢分かり易い｣という利点がある｡
- 4 名前：１３２人目の素数さん [2009/10/10(土) 09:06:16 ]
- Q7:Q6の初等的証明とは具体的にどの様な物があるのか?
A7:
① 1/3=0.333…
2/3=0.666…
3/3=0.999…
∴ 1=0.999…
② x=0.999… と置いて
10x-x=9.999… - 0.999…
9x=9
x=1
∴ 1=0.999…
③ 0.999… は初項0.9公比0.1の無限等比級数だから、その値は
0.999… = 0.9/(1－0.1) = 1
④ n÷n を計算する際に商の一の位に0をたてると、0．999…が得られるから
1 = n÷n = 0．999…
- 5 名前：１３２人目の素数さん [2009/10/10(土) 09:07:01 ]
- ⑤ 1≠0.999…だとすれば、その間に数がある事になるが､その様な数が
あるとし、各桁毎に比較する事でその値を考えてみても､
1の位は比較して0、小数第1位以降は比較して9、と、結局
0.999…を得る事になり、0.999…と1の間の数にならないので矛盾｡
⑥ 1と0.999…を足して2で割った数は
1.999…/2=0999…となり、x=0.999…と置くと、(1+x)/2=x
よって、x=1となる｡
|
 |
