11/07/29 04:45:15.60 XmbqFN8c0
>>394
√17を有理数と仮定
√17=p/qとできる
ｑ＝1のとき、√17＝ｐ
ｐは自然数とおいたが、√17は自然数じゃないから・・・
っておかしいと思わんか？
最後の「√17は自然数じゃない」が自明なら、
そもそも√17=p/q（ｐ、ｑ∈Z）とおけないから、
証明になってないのに、
仮定⇒結論って書いてあるから変ということ。
あと、>>395の
√17=p/q⇒ｑ＝1は偽ですよ。
ｑは自然数とおいてるんだから、
一般性を保持しつつ式変形。