- 465 名前：１３２人目の素数さん mailto:sage [2019/01/09(水) 01:48:05.21 ID:qtGBn0IL.net]
- おっちゃんです。
>>411
>結局 おっちゃんは諦めたのか
>γは有理数だというなら、分母分子を具体的に示せ
>といってやろうかと思ったが
これまでとは逆に、γの無理性を示す方針で行く。
ε＞43/100 のときは、0＜|γ−1|＝1−γ≦1−57/100＝43/100＜ε
なので 0＜|γ−q/p|＜ε/p なる既約有理数 q/p p≧1 を q/p＝1 p＝q＝1 と取れば済む。
q/p＝1 p＝q＝1 は 0＜|γ−q/p|＜ε/p のれっきとした有理数解になるから、
γの無理性と同値な命題の条件は満たしている。
ただ、0＜ε≦43/100 のときの 0＜|γ−q/p|＜ε/p を満たす既約有理数 q/p p≧1 の取り方はまだ分からない。
0＜γ＜43/100 だから、有理数の稠密性から示せそうではあるけど、まだ手を付けていない。
