15/03/12 17:06:26.57 Mah1XYlY.net
>>507-508
今までと全く同じミスを繰り返している。その議論では
「 s,t∈R－Q, T(s)＝T(t), s＞t＞0 」という条件しか使っていないので、
「 s,t∈R－Q, T(s)＝T(t), s＞t＞0 ならば 矛盾」が証明できたことになり、
従って「 s,t∈R－Q, s＞t＞0 ならば T(s)≠T(t)」が証明できたことになるが、
これには反例があるのだった(s＝√2＋2, t＝√2 など)。
よって、今回の議論も自動的に間違っていることになる。
＞ここで、自然数a≧2を任意に取る。すると、2＞s＞1＞t＞0から、1＞s/a＞1/a＞t/a＞0
この部分では、あたかも 2＞s＞1＞t＞0 を使っているかのように見えるが、
そこから得られる「 1＞s/a＞1/a＞t/a＞0 」という不等式は その後の議論で
全く使われてないので、実際には「2＞s＞1＞t＞0」という条件は使われてないことになる。
そして、証明をよく読むと、実際に使われている条件は
「 s,t∈R－Q, T(s)＝T(t), s＞t＞0 」
のみである(よって、自動的に間違っている)。