19/01/09 01:48:05.21 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 の取り方は�