15/03/08 10:25:38.63 ndRfUVoG.net
>>411
>矛盾が生じれば背理法が成立して万々歳。
そうでないと証明出来ない命題があるから、そうだよな。
今まで、議論の中で条件を背理法の枠組みで使っていなかった訳か。
知らぬ間に、マヌケな幻惑をした。
>だったら、その条件を満たすような有理数は存在しないんだろう。
いや、実数論の有理数の稠密性が気になって、素数pは可算無限個あるから、
pを分母に持つ有理数q/p＞0を取ったら任意の有理数a＞0に幾らでも近似出来て、
あたかもディオファンタス近似の理論の反例になるとも見えるような、
不等式を使った実数(有理数や代数的無理数も含む)の奇妙な評価が評価が得られているんだよ。
そういう訳で、ディオファンタス近似の反例になるのではないかと思って、
いまいち気になっていた。有理数の稠密性は無理数の構成の前提になっているから、
数論のディオファンタス近似の理論は、本当に正しいだろうか？ と思ってさ。
ディオファンタス近似の理論は有理数の稠密性に矛盾していない訳か。