1=0.999… その13.999…

1 名前：１３２人目の素数さん [2006/10/26(木) 18:36:06 ] 前スレ: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/ 一応激しい論議の結果、回答テンプレートが作成されました　>2-5 今後書き込む際には、できるだけまず回答テンプレートを参照してから、それをふまえて行ってください。 また、回答テンプレートへの意見なども自由に書き込んでください。 2 名前：１３２人目の素数さん [2006/10/26(木) 18:37:18 ] Ｑ１：　１＝０．９９９９…　か？ Ａ１：　「前提条件」によって「１＝０．９９９９…」となったり「１≠０．９９９９…」になったりする。 　　　しかし、通常はそのような前提条件を採用することのメリットや、過去の経緯を考えると 　　　「１＝０．９９９９…」であるとした方が妥当である。 Ｑ２：「１＝０．９９９９…」は証明可能なのではないか。 Ａ２：Ａ１の前提条件を認めれば可能である。しかし、認めない人にとってはその証明は 　　無意味である。 Ｑ３：１と０．９９９９…は形が全く違う。同じ数だと言うのは納得できない。 Ａ３：分数の２／２と３／３も違う形だが、全く同じ数である。 Ｑ４：Ａ１で、数学で正反対の結果を容認するのは納得できない。論理は絶対なのではないか？ Ａ４：自然数が入っている論理がもし正しいなら、その正しさはその論理内で証明できない。 　　したがって、「１＝０．９９９９…」が結論となる論理も「１≠０．９９９９…」が結論になる論理も 　　矛盾がない限り、その正しさはその論理内で証明できない。 3 名前：１３２人目の素数さん [2006/10/26(木) 18:38:02 ] Ｑ５：　Ａ１の「前提条件」とは何か？ Ａ５：　通常は実数の範囲で考え、「実数の連続性」や「０．９９９９…が 　　　無限級数の極限値である」ことなどを前提にする。しかし、説明は複 　　　雑になるが、有理数の範囲で考えることも可能である。 Ｑ６：　「１＝０．９９９９…」の証明には幾つかの初等的手法があるが、これらは無意味なのか？ Ａ６：　前提条件を認めて、無限小数の演算を矛盾無く定義するなら、それらの初等的証明は 　　確かに証明になっている。前提条件を認めた段階でのより単純な証明は存在するが 　　初等的証明には「分かりやすい」という利点がある。 4 名前：１３２人目の素数さん [2006/10/26(木) 18:38:34 ] Ｑ７：Ｑ６の初等的証明とは具体的にどのようなものがあるのか？ Ａ７： �@　　１／３＝０．３３３３…　 　　　　　　両辺を３倍して 　　　　１　　＝０．９９９９… �A　ｘ＝０．９９９９…　とおいて 　　１０ｘ−ｘ＝９．９９９９…　−　０．９９９９… 　　　９ｘ　　＝９ 　　　　ｘ　　＝１ 　　したがって　１＝０．９９９９…　である。 �B　１／９＝０．１１１１… 　　２／９＝０．２２２２… 　　　　　… 　　８／９＝０．８８８８… 　　９／９＝０．９９９９…　＝　１ �C　０．９９９９…　は初項０．９公比０．１の無限等比級数だから、その値は 　０．９９９９…　＝　０．９／（１−０．１）　＝　１ �D　ｎ÷ｎ　を計算する際に商の一の位に０をたてると、０．９９９９…が得られるから 　１　＝　ｎ÷ｎ　＝　０．９９９９… 5 名前：１３２人目の素数さん [2006/10/26(木) 18:39:26 ] �E　０．９９９９…と１が異なるとなるとすると、その間の数がある。 　その間の数があるとして、各桁毎に比較することでその値を考えていくと… 　１の位は比較して０ 　小数第１位は比較して９ 　小数第２位は比較して９ 　小数第３位は比較して９ 　………… 　と、以下繰り返していくと、結局この間の数は 　０．９９９９… 　となってしまい、０．９９９９…と１の間の数にならないので矛盾。 �F１と０．９９９９…を足して２で割った数は 　１．９９９９…／２＝０．９９９９…となり、ｘ＝０．９９９９…とおくと、 　（１＋ｘ）／２＝ｘ　よって、ｘ＝１となる。 ＊＊＊＊＊ 今後の課題：１≠０．９９９９…となる数学モデルの提示 6 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 18:57:14 ] 乙 7 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 19:28:39 ] �Fのテンプレは証明が必要。 �@のテンプレも同様。 テンプレなので多少の間違いや早とちりがあっても良いって事？ 8 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 19:32:35 ] 初等的証明だから、ま、いいんじゃね。 それより改めて見ると「０．９９９９…」の定義がまったく無いね。 9 名前：１３２人目の素数さん [2006/10/26(木) 19:37:13 ] >>7 �@�FはＱＡ５〜ＱＡ６によって、「実数の連続性などの前提条件を認め」かつ「無限小数の 演算が矛盾無く定義されている状態」とされている。 その条件を認めるなら…�@も�Fも単純に「無限小数の演算ができるか」ってコトが重要だ から、問題ないだろう。要するに「無限小数の演算が既に定義済み」というコトが重要。 これでも、問題があるというなら指摘してくれ。 10 名前：１３２人目の素数さん [2006/10/26(木) 19:38:55 ] >>8 色々な定義があるからね。 標準的な実数による定義、有理数だけでの定義、超準解析による定義…えとせとら 11 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 19:41:37 ] >>10 うん、いろいろあるけど、 初等的な証明をいくつか書くならば、 その前提になる初等的な定義も何かあったほうがいいんじゃないかな？ 12 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 19:58:11 ] 「実数の連続性」を前提とするって事だけど、 実際は「アルキメデスの原理」があれば十分じゃないかな。 数学的帰納法を使っていいならば 「1=0.999…」と「アルキメデスの原理」は同値でしょ。 有理数の範囲で考える事も可能なのは、 有理数体もアルキメデス順序体だからだよね。 前スレで、超準解析ならば「1=0.999…」とならない解釈も可能って議論が出てたけど、 それは「超実数体はアルキメデスの原理を満たさない」という解釈が 可能だという事の言い換えでしょ。 13 名前：１３２人目の素数さん [2006/10/26(木) 20:32:26 ] なるほどね。じゃ、こうか？ Ｑ５：　Ａ１の「前提条件」とは何か？ Ａ５：　考える数がアルキメデスの原理を満たすことなどである。 14 名前：１３２人目の素数さん [2006/10/26(木) 20:34:48 ] >>8 そもそも、その定義自体をこのスレで議論しているのでは？ ０．９９・・（極限とした見方）＝１ ０．９９・・（永遠に続く数を値として認める）≠１ 永遠に続く数を値として捕らえるのはどうだろうかと思うから、 0．99・・＝lim　(n　->　∞）Σ　[1,　ｎ]（1−（1/10）^k) として、極限としての値１で表記をしたのがオーソドックスな 考えになってる。 ここのスレの人は、この考えをより明確にさらに合理的に解決する ため集合論や数学基礎論のような分野の話をしたいと考えている のかな？ 15 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 20:41:53 ] >>14 定義レベルの議論もあるし、証明レベルの議論もあるよ。 しかし、少なくともテンプレで証明をいくつか書くんなら 定義のいくつかも厳密でなくてもいいから書く必要はあるんじゃないの？ って思うんだよ。 16 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 21:07:13 ] >>9 定義だから無矛盾と言うのも、数学の拡張性をなくすと思うのだが？ その定義って言うのは、 無限に演算を続ければ、余りはなくなるって言う事を定義しているの？ >>14 limを外した時に、(n　->　∞）Σ　[1,　ｎ]（1−（1/10）^k) は (n　->　∞）Σ　[1,　ｎ]（1−（1/10）^k) →１と言う意味合いしかなく、 矢印の意味合いは、限りなく近づくという意味でしかないだろう。 17 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 21:31:36 ] (n→∞)an → lim[n→∞]an こういうことだ。 18 名前：１３２人目の素数さん [2006/10/26(木) 21:35:27 ] >>16 分数から無限小数への変換は君が言うとおり(?)定義してもとりあえず無矛盾なのでは？ 19 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 22:06:10 ] >>17 ウン、その通りだね。 >>18 無矛盾であるかどうかは証明しなければいけないのでは？ 20 名前：１３２人目の素数さん [2006/10/26(木) 22:47:16 ] >>19 だからあ、そこに「ゲーデル」が出てくる訳でしょ？ 21 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 23:01:29 ] ＞だからあ、 口癖でつか？ 22 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 23:30:41 ] >>21 ＞口癖でつか？ マァ、それだけではなくて、半可通とも呼ばれるんじゃないの？ 23 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 00:53:06 ] 全くの素人意見なんだけど気になったので聞いてみたい。 無限小数に対して四則計算って有効なの？ どういうことかと言うと、 無限に循環する少数である「無限小数」は、その存在点が確定されうる値として取り扱う事が出来るのかという事なんだ。 もしこれが証明されていないならその他の数と計算することは出来ないんじゃないかと思う。 例えば数直線上で、 　　　　　　　　　─────────────── 　　　　　　　　　　　・　　　　　　　　　　　　　　　　・ 　　　　　　　　　　　A　　　　　　　　　　　　　　　　B AとBの二点間の距離を求めるにはA点とB点の値の差を計算すれば良いんだけど、このAないしBのどちらかが無限小数である場合（あるいは両方） 上で書いたように、「無限小数の確定された点」を観測できなければ、二点間の距離を求める事ができなく、 無限小数に対して四則計算が成り立つとは言えない事が証明されるんじゃないかな？ 本当に素人意見なんで「こいつ何言ってるんだ頭おかしいんじゃねぇ？」と思われた方は無視してくださってかまいません。 どなたか、お暇で親切な人がいたらツッコんで貰えると嬉しいです。 24 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:02:52 ] 「無限小数」というのは、人間が読み書きするための「数字」上の話であって、 実際の数値や計算とは本質的には無関係。 25 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:16:49 ] >>24 ちょっと分かりづらい。 その説明を意訳すると無限小数は人間が勝手に作った概念であるって事？ 計算に使用する場合は、俺の言ってるような事は見当違いだって事？ スレ違いかもしれないんだけど、これも俺の聞いた事に関係した疑問なんで一つ。 １＋１を、「１」と言う地点から「１」という値だけ離れた所を指し示す式だと考えたら、 ∞＋１は、「∞」という地点から「１」という値だけ離れた所を指し示す式と言う風に捉えることが出来る。 でも∞という値には留まる所（確定される点）が無いから、そこから「１」離れた点なんて取りようが無いと思う。 つまり俺は∞＋１＝エラーになると思うのだけど、実際には∞＋１＝∞と書くよね？これは本当に真実なの？ それとも、まだ良く分かっていないから近似っぽく表しているだけなの？ 26 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:27:17 ] 仮定が間違い。 27 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:48:25 ] >>25 拡大実数においては真実。行列どうしの積を考えるときに、必ずしも割り算が出来ないのと 同じようなもの。Oでない2つの行列A，Bに対してAB＝Oが成り立つことがあるのと同じようなもの。 28 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:11:16 ] > 無限に循環する少数である「無限小数」は、その存在点が確定されうる値として取り扱う事が出来るのかという事なんだ。 おおざっぱに言っちゃうと、実数というものの定義で 「無限小数は、その存在点が確定されてる」 ってことになってる。 29 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:34:49 ] >>23 極限の四則演算については、次のような定理がある。 lim[n→∞] a_n = a、lim[n→∞] b_n = b である時、次の等式が成立する。 (1) lim[n→∞] (a_n±b_n) = a±b　　　（複号同順） (2) lim[n→∞] (a_n*b_n) = a*b　　 (3) bは0でない場合、lim[n→∞] (a_n/b_n) = a/b これを無限小数に当てはめると、有限桁まで計算した値を数列にして それの極限を求めれば、無限小数の四則演算を行った事と同じになる。 テンプレの>>4にある初等的証明も、この定理を前提とした話だね。 30 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:39:17 ] >>25 超準解析では無限大や無限小となる数を扱うけど、 それはモデル論の結果を使って、ある特殊な超準モデルを構成した上での話。 無限大や無限小に見える数も、超準モデルの中では確定した点になっている。 そういう数についても四則演算が定義できるが それも超準モデルの中での話であって、数字で具体的に表せるわけではない。 超準モデルには無限大超実数は無限に存在するので 「∞」という記号ではそれらの数を表す事は出来ない。 せいぜい「無限大という性質を持つ」という事の省略形につかえるだけ。 「∞＋１＝∞」も「無限大に1加えた値も無限大になる」という意味なら正しいが、 これはきちんと定義された演算ではないし 「∞」という確定した点が存在するわけでもない。 31 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:49:56 ] しかし、たとえば[0,∞)上における関数の積分では、あたかも∞＋1＝∞が キチンと定義されているかのような式が成立することがある。 ∫[0,∞]f(x)dx＝∫[1,∞]f(x−1)dx 32 名前：中卒止まりｵｻｰﾝ mailto:sage [2006/10/27(金) 05:25:17 ] ではでは、 　･ 0.9(=以下0.9dotと代記) =1は言える事やどちらでも(ｹﾞｰﾃﾞﾙさん？)な話は置いといて、 壱　0.9dotは1そのものか？(面積は等しいが異なる図形、と言う様に) 弐　壱を否定する場合、0.9dotと1の間はφか？ 参　弐を肯定する場合、0.9dotの逆数は1の次の実数(←こんな表現であってるかも疑問…超限実数？)か？ 33 名前：１３２人目の素数さん [2006/10/27(金) 07:54:02 ] >>25 そもそも、数って人間が現実をシミュレートしやすいように「勝手に作ったモノ」でしょうに。 34 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 09:00:23 ] 色んな人からの回答有難うございます。 なるほど、数学というのも実に奥の深く、興味深い学問だと分かりました。 35 名前：１３２人目の素数さん [2006/10/27(金) 12:55:48 ] >>34 要するに、無限小数が「確定していない」とするより「確定している」 として各種の計算を決定（定義）する方がより便利だし、かつ問題も ないってコト。 現実をシミュレートする役割の「数」にとって、より多方面に利用でき る方が「正義」。もちろん、その定義によって何らかの問題が発生する なら全く事情はちがったものになるが。 36 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 00:39:05 ] 循環小数は分数の形で表すことが出来る。 故に、既約分数は小数または、循環小数で表せる。 って言うのは、定理（既に証明されている。）だろう。 37 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 01:30:58 ] >>36 故に、っておかしくね？ 38 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 07:18:28 ] >>37 では、書き直しましょう。 循環小数は分数の形で表すことが出来る。 また、既約分数は小数または、循環小数で表せることも真なり。 って言うのは、定理（既に証明されている。）だろう。 これもなんか変なんだけどね。 39 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 16:08:45 ] >>4 ＞�A　ｘ＝０．９９９９…　とおいて ＞　　１０ｘ−ｘ＝９．９９９９…　−　０．９９９９… ＞　　　９ｘ　　＝９ ＞　　　　ｘ　　＝１ ＞　　したがって　１＝０．９９９９…　である。 �A　ｘ＝０．９９９９…　とおいて 　　１０ｘ−ｘ＝９．９９９９・・　−　０．９９９９・・・ 　　　９ｘ　　＝８．９９９９・・・ 　　ではなくて良い事を証明せよ。 40 名前：１３２人目の素数さん [2006/10/28(土) 17:26:12 ] 証明の必要なし。それは無限小数の演算の定義次第だからだ。 41 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 17:42:10 ] 文の後段が前段を受けてないなんじゃないか？ 42 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 19:04:39 ] >>38 既約分数は小数で表せる、の方は定理ちゅうか、割り算の定義だろ。 43 名前：１３２人目の素数さん [2006/10/28(土) 20:31:22 ] 普通はね。ここは無限少数なんて無いといっちやう人のスレ でもある。 44 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 20:44:11 ] 別に割り算の定義に、小数はいらないだろう。 既約分数を小数で表せるかどうかは、割り算とは無関係。 45 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 20:49:03 ] 一般的に言えば無関係だけど、そう言ったらほとんどなんでもアリの世界だよ 46 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 21:05:37 ] 一般的って言うか、そもそもなんで小数と分数の話に割り算が出てくるのかが わからないんだけど。割り算ってのは演算なんだから、数の表記法とは本質的に 無関係だろう。 きっと、筆算をして小数展開を求めることを想定してるんだろうけど、 歴史的に見ても、明らかにまず有理数とその演算があって、1000年以上たった後で 小数展開が出てくるわけだから、「割り算の定義のなかに入ってます」 って言うのは無理があると思う。 47 名前：１３２人目の素数さん [2006/10/28(土) 21:10:40 ] じゃあ、そもそも分数っていうのは何なんだ？ 48 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 21:16:04 ] 歴史的、直観的に言ったら、まあ分数X/Yってのは、XをYで割った数だね。 もちろん現代数学ではもう少し厳密な定義を与えるけど。 とは言うものの、こう言うことはギリシア人も知ってた。 にも関らずギリシア人は小数展開なんてやらなかったわけで。 だからやっぱり割り算と小数展開の間には本質的な飛躍があると思う。 49 名前：１３２人目の素数さん [2006/10/28(土) 21:34:53 ] >>48 その本質的な飛躍にもう少し厳密な定義を与えてください。 50 名前：１３２人目の素数さん [2006/10/28(土) 21:36:57 ] 文系の与太話じゃないんだからさー。 歴史がどーのとか言っていないで、論理で攻めろよｗ 51 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 22:15:16 ] いやだって「論理的」には、表記法と演算は無関係、で終了だろう。 飛躍に厳密な定義なんて与えられようはずもないし。 52 名前：１３２人目の素数さん [2006/10/28(土) 23:21:50 ] だからそもそも「飛躍」ってのが心理的なモンだけだと早く気づけよｗ 53 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 00:18:02 ] >>4の > �A　ｘ＝０．９９９９…　とおいて > 　　１０ｘ−ｘ＝９．９９９９…　−　０．９９９９… > 　　　９ｘ　　＝９ > 　　　　ｘ　　＝１ > 　　したがって　１＝０．９９９９…　である。 これ、昔だれかが「x=」と置くのはダメとか言っててワケわからなかったけど、 何となくわかった気がする。例えば x = 1/0とおいて、 x*(1/2) = (1/0)*(1/2) x/2 = 1/0 (∵分子×分子、分母×分母 よって x/2 = x x = 0 したがって 1/0 = 0。 みたいな議論とあまり変わらんわけか。ちゃんとその値が存在するか、 収束するか、って言わなきゃ「x=」と置けないわけか。 …合ってる？ 54 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 00:40:00 ] >>53 それもあるけど、その値が存在する事を言ったとしてもまだ問題は残る。 その証明は 「10倍すると各桁の数字を一桁左にずらした値になるが、 同じ数字が無限に続いているので、小数点以下の部分は全く変わらない。 よって元の数を引くと整数部分だけが残る。」 という論法だけど、これも厳密に言おうとするとなかなか大変。 55 名前：53 mailto:sage [2006/10/29(日) 00:55:32 ] >>54 なるほど。うん、そこも気持ち悪い感じがしてた。 56 名前：中卒止まりｵｻｰﾝ mailto:sage [2006/10/29(日) 11:03:19 ] >>54-55 そこで、次の話題(>>32改) 　･ 0.9(=以下0.9dotと代記) =1は言える事やどちらでも(ｹﾞｰﾃﾞﾙさん？)な話は置いといて、 壱　0.9dotは1そのものか？(面積は等しいが異なる図形、と言う様に) 弐　壱を否定する場合、0.9dotと1の間はφか？ 参　弐を肯定する場合、0.9dotの逆数は1の次に来る実数、として良いのか？ 57 名前：１３２人目の素数さん [2006/10/29(日) 12:52:50 ] >>53 まあ、上に有界な単調増加数列だから収束するって事で一つの値に固定されているって コトになるよなあ…。でも、これは数ある「実数の連続性」の定義と同値なモノだよね。 だから「実数の連続性」とか使っちゃうと結局「０．９９９９…は収束するから収束するんだー」 って強弁しているのと実質変わらない気もする…ｗ　単に、別の実数の性質に責任転嫁 しているだけでさー。　 要するに、０．９９９９…が固定した何らかの値になるとしても、とりあえず問題は発生しない からそうするってコトっしょ。 >>54 それは、テンプレでは無限小数の演算が既に定義されているって前提だから、 問題ないのでは？ 58 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 13:26:35 ] >>42 では書き直しましょう。 循環小数は分数の形で表すことが出来る。 また、既約分数は小数の形で割り切れるか、または、 循環小数で表せることも真なり。 で、ある形の既約分数が循環小数で表せるって言うのは、 定理（既に証明されている。）だろう。 >>57 ＞要するに、０．９９９…が固定した何らかの値になるとしても、 ＞とりあえず問題は発生しない からそうするってコトっしょ。 もっと厳密な形に論点は絞れるのではないのかな？ ＞それは、テンプレでは無限小数の演算が既に定義されているって前提だから、 ＞問題ないのでは どのように定義されているか書込まれていないから、 定義している事にはならない。 59 名前：１３２人目の素数さん [2006/10/29(日) 13:53:46 ] >>58 より厳密なコト言えって？ １＝０．９９９９…と定義しても問題無し。演算の定義は各桁毎にやってくって定義でできるっしょ。 問題なし。 60 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 14:03:31 ] 各桁毎にやっても…計算が終わらん… 61 名前：１３２人目の素数さん [2006/10/29(日) 14:09:46 ] 必ず循環するんだろ？循環するとはっきり分かった時点で終了。 62 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 14:36:04 ] じゃあ 1-0.999…=0.000…=0 だけでいいか。 63 名前：１３２人目の素数さん [2006/10/29(日) 15:56:49 ] f(x) = (10^x -1 )/10^x 64 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 16:58:39 ] 1/9=(1/10)*(1+1/9)=0.1+1/90=0.11+1/900=0.11...(n)+1/(9*10^n) 結局、極限で lim[n→∞]1/(9*10^n)=0 を言わないと、1/9=0.111... は言えないんじゃないの？ ＞１＝０．９９９９…と定義しても問題無し。 こんな定義ありえんでしょ。 円周率は無限桁の小数で表されるけど、こんなの書いてられないからπと定義する、っていうのは納得いくが 1=0.999...は定義しちゃダメで、証明すべきもの。 勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。 65 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 17:53:29 ] だから、0.999・・・の定義を先に書いとけと言ってるだろ 66 名前：１３２人目の素数さん [2006/10/29(日) 17:57:26 ] >>64 過去ログみたら分かるけど極限使った理論を言っても納得しない人は 沢山いるわけで…。 「１＝２」と違って、「１＝０．９９９９…」と定義しても矛盾はないからいいん じゃないの？それに、その定義によって、無限小数と整数の関係が皆 決定できるから万々歳。問題なし。 まあ…、「１＝０．９９９９…」となるように各種の定義・公理を選択する… ってのが、本筋なのかも知れないけどね。 67 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:11:27 ] >>66 ＞過去ログみたら分かるけど極限使った理論を言っても納得しない人は ＞沢山いるわけで…。 それは、極限を持ち出す側が、 極限の事を完全に理解してはいないからだろう。 おまけに定義の意味も分かってない。 68 名前：１３２人目の素数さん [2006/10/29(日) 18:16:25 ] x=0.99999…とおく。 10x=9.99999… 10x-x=9 9x=9 ∴x=1 69 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:24:34 ] x=９.９９９９９・・・とおく。 １０x=９.９９９９９・・ 10x-x=８.９９９９９・・・ ９x=８.９９９９９・・・ ∴x=０.９９９９９・・・ 70 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:27:52 ] >>69 書込む前に見直そうな 71 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:30:16 ] ご免、許して。 x=０.９９９９９・・・とおく。 １０x=９.９９９９９・・ 10x-x=８.９９９９９・・・ ９x=８.９９９９９・・・ ∴x=０.９９９９９・・・ 72 名前：１３２人目の素数さん [2006/10/29(日) 18:35:26 ] >>67 極限の意味だってｗ　　言ってくれ。 皆がそれでこの問題を納得できるようなモンを頼むぞ。 定義に関してだけど、問題ありならそこをキチンと指摘してくれｗ 73 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:45:54 ] >>65 ＞だから、0.999・・・の定義 では、0.999…の定義を。 0.999…は循環小数であり、循環小数は明らかに無限小数である。 また、明らかに0.999…は級数であり、部分級数の値のｎが∞と言う値を、 取れる場合と言える。 よって、0.999…は無限級数の値に等しいと言える。 ∴1=0.999… 74 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:55:04 ] >>64 ＞lim[n→∞]1/(9*10^n)=0 これはアルキメデスの原理の1バージョンで、「1=0.999…」と同値な命題だから これを証明する事と「1=0.999…」を証明する事は本質的に同じ事なんだよね。 アルキメデスの原理と別のバージョンとしては 「どんな実数を取ってきても、それより大きい自然数が存在する」ってのがあるけど、 これならほとんどの人が自明だと思うんじゃないかな。 納得できない人も多い「1=0.999…」とこれが同値だというのは、なかなか興味深い。 75 名前：１３２人目の素数さん [2006/10/29(日) 19:50:49 ] >>73 明らかに１＝０．９９９９…であるってのとあまり変わりないような… 76 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 19:53:06 ] >>72 ＞極限の意味だって そんな事何処に書いてあるんだ。 １＝０．９９９９…が定義としなければ、確定できないならば、 全ての循環小数に対して、対応する値を、 定義しなければならないって言う事じゃないのか。 77 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:08:21 ] >>75 定義を書く事を考えていたから、証明の部分をかなり省略しているからね。 nが無限大を取れると言う部分は、0.9(1-10^(-n))/(1-0.1)がn=∞と出来て、 0.9×1/(1-0.1)と言う値を取れるという事を省略している。 循環小数は無限級数であるのか、って言う事と、 ｎは無限大と言う値を取れるのかって言う事が、 定義するべき部分と考えたんだけどね。 78 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:22:40 ] >>77 > 定義を書く事を考えていたから、証明の部分をかなり省略しているからね。 逆だろ 79 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:37:49 ] >>78 ＞逆だろ そう思えるのか？ 最初は0.999…の定義なんて、 循環小数って言うだけで良いだろうと思っていたんだけれど。 定義としては書込みすぎと思ったくらい。 だから、蛇足だというならば解る。 80 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:44:21 ] だったら0.333・・・の定義も循環小数って言うだけなのか？ 81 名前：１３２人目の素数さん [2006/10/29(日) 21:32:26 ] さて、１と０．９９９９...は等しくないと思いたがる人を見つけたら、 「じゃあ1と0.9999....の間にある数を言ってみて。」と言おう。 定義　差がある２個の実数の間には実数がある。 でも1と0.9999...の間に実数はないよね。9は無限に続くもんね。 82 名前：１３２人目の素数さん [2006/10/29(日) 21:33:47 ] >>81 実際言ったら「そんな法則しらん！」で終了でしたｗ 83 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 21:41:47 ] > 定義　差がある２個の実数の間には実数がある。 無限小があるという人は 「無限小は0の次の数だ！」とか言うんだから 当然そんな「定義」受け入れないでしょ 84 名前：１３２人目の素数さん [2006/10/29(日) 22:44:38 ] 超準解析には無限小があるのですが… 85 名前：１３２人目の素数さん [2006/10/29(日) 22:52:26 ] 昔ﾄｰﾁｬﾝに聞いた説明 1/9=0.111… 両辺に９を掛けると 1=0.999… 86 名前：１３２人目の素数さん [2006/10/29(日) 23:04:32 ] >>4の�Bだろ 87 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 23:20:53 ] >>64 ＞勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。 「その他の公理」として何を採用するかで、矛盾するか どうかは変わる。実際、別の公理を採用すれば 1＝2は成り立つ。 例：F_2(標数2の素体)においては1＝2である。 88 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 03:29:32 ] 0.999…＋0.000…1＝1 89 名前：１３２人目の素数さん [2006/10/30(月) 07:10:37 ] 0.999…+0.0001=1.000…0999… 90 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 08:01:22 ] lim[m→∞] 0.1^m ＋�納n=1〜m](9*0.1^n) ＝１ 91 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 12:28:49 ] >>90 式が間違ってるぞ。 それじゃ、0.999…にしかならないぞ。 92 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 16:49:58 ] >>91 あってるじゃん、極限はなくてもいいけど・・・ 93 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 17:28:43 ] 余裕で証明できる あのな このスレの題名を見れば解る もしも1=0.999…じゃなければこのスレが意味不明なことになるだろ 13.999…（≠14）個めのスレってどんなんだよ 説明してみろよ なんかよくわかんねぇよ 94 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 17:34:24 ] ん〜、13.999…個めのスレとは言ってないぞ、といいわけできるな。 95 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 20:47:44 ] >>92 �納n=1〜m](9*0.1^n) に極限記号がないから、有限小数になる。 ｍ桁目ってなんだ？ッて言うツッコミは入れないから。 96 名前：>>90改訂 mailto:sage [2006/10/31(火) 10:46:11 ] lim[m→∞] {0.1^m ＋�納n=1〜m](9*0.1^n)} ＝１ 97 名前：１３２人目の素数さん [2006/10/31(火) 20:27:09 ] 無知な学生と講師と助手が屯しているスレはここでいいですか？ ぷ 98 名前：１３２人目の素数さん mailto:sage [2006/10/31(火) 23:18:15 ] ＞無知な学生と講師と助手 そんなに高尚かな？ 『中卒オヤジと（数学は教養だ、という）感違いブラザーズ』って言う処じゃないのかな？ 99 名前：１３２人目の素数さん [2006/10/31(火) 23:49:56 ] 反論できないから中傷…ｶｺﾜﾙｲ 100 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 02:52:02 ] >>99 なんに対して反論しなければいけないのか教えてくれ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef