19/07/09 23:22:52.94 zofqEgp1.net
>>316
高々有限個の解釈を間違えているから、訳がわからないことになっているんだな。
これ必要性も十分性も自明じゃない。
>>316にあるように、必要性は「任意の無理数sに対して、|s－q/p|＜1/p^2 (p,q)=1 p≧2 を満たす有理数 q/p は可算無限個存在する」ことから直ちに従う。「…」は鳩ノ巣論法を使えばできる。
十分性をいうには|r－q/p|＜1/p^2 (p,q)=1 p≧2 を満たす有理数 q/pが無限個は無いことを示さなければならない。