11/07/29 04:03:38.25 XmbqFN8c0
とりあえず>>311の証明は、つまるところ
「√17が自然数でない」⇒「√17は無理数」
になってておかしい。
ｑ＝1だと、√17＝ｐ/ｑとおいた意味が無い。
「√17が自然数でなくて有理数である」とき
の処理が抜けてる。（つまり中身がほぼ・・・）
11/07/29 04:03:38.25 XmbqFN8c0
とりあえず>>311の証明は、つまるところ
「√17が自然数でない」⇒「√17は無理数」
になってておかしい。
ｑ＝1だと、√17＝ｐ/ｑとおいた意味が無い。
「√17が自然数でなくて有理数である」とき
の処理が抜けてる。（つまり中身がほぼ・・・）