11/07/29 03:38:51.18 CYRCuNBD0
>>387
例えばq=3,p=3*(5/3)=5
コレだとpとqが互いに素になる
＞q=2,p=2√17とかも考えないといけない
と書いたが任意の自然数n>1に対してn√17が自然数にならなければいいんだが
この場合は√17=p/q,(p,q)=1と仮定しているのでq=q,p=q√17の時p,qは自然数で(p,q)=1かつ17q^2=p^2を満たす
つまり
(p,q)=1よりp^2が17の倍数かつq^2が1
で√17が無理数であるということを使ってるから証明になってない