11/07/29 04:53:11.73 CYRCuNBD0
>>396
最後の「√17は自然数じゃない」が自明なら、
そもそも√17=p/q（ｐ、ｑ∈Z）とおけないから、
ここは違うぞ√17=p/q（ｐ、ｑ∈Z）と出来るのは√17が有理数と仮定したからで自然数かそうでないかは関係ない
あと
√17=p/q⇒ｑ＝1は偽ですよ。
>>395はそう書いてるつもりだが
11/07/29 04:53:11.73 CYRCuNBD0
>>396
最後の「√17は自然数じゃない」が自明なら、
そもそも√17=p/q（ｐ、ｑ∈Z）とおけないから、
ここは違うぞ√17=p/q（ｐ、ｑ∈Z）と出来るのは√17が有理数と仮定したからで自然数かそうでないかは関係ない
あと
√17=p/q⇒ｑ＝1は偽ですよ。
>>395はそう書いてるつもりだが