24/01/18 11:51:34.36 .net
>>982
背理法をおさらいすると
0.999... < 1 と仮定すると 0.999... < (0.999...+1)/2 < 1 となるから
0.999... より大きい実数(0.999...+1)/2が有ることになり、0.999...の元の定義
と論理矛盾する。
0.999... < 1 の仮定が論理的に間違っているという結論になる。これが背理法だ。
24/01/18 11:51:34.36 .net
>>982
背理法をおさらいすると
0.999... < 1 と仮定すると 0.999... < (0.999...+1)/2 < 1 となるから
0.999... より大きい実数(0.999...+1)/2が有ることになり、0.999...の元の定義
と論理矛盾する。
0.999... < 1 の仮定が論理的に間違っているという結論になる。これが背理法だ。