19/07/07 23:51:14.55 OgAgb5qE.net
>>319
>316 は有名なディリクレの定理(と有理数の場合の有限性を合わせたもの）
なので、本来証明は不要。
そして、色々ややこしいことが書いてあるが、次の行でディリクレの定理自身を用いている・・・。
>しかし、任意の無理数sに対して、| s－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は可算無限個存在する。
おっちゃん、何考えてるんだろうね・・・。
19/07/07 23:51:14.55 OgAgb5qE.net
>>319
>316 は有名なディリクレの定理(と有理数の場合の有限性を合わせたもの）
なので、本来証明は不要。
そして、色々ややこしいことが書いてあるが、次の行でディリクレの定理自身を用いている・・・。
>しかし、任意の無理数sに対して、| s－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は可算無限個存在する。
おっちゃん、何考えてるんだろうね・・・。