19/07/08 00:39:43.41 DyCucefI.net
>>320
>(必要性)：仮定から実数rは有理数だから、有理数rに対して、| r－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす
>既約有理数 q/p は高々有限個存在する。
ここが意味不明だ。
19/07/08 00:39:43.41 DyCucefI.net
>>320
>(必要性)：仮定から実数rは有理数だから、有理数rに対して、| r－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす
>既約有理数 q/p は高々有限個存在する。
ここが意味不明だ。