23/12/11 18:49:38.96 qjPuaayX.net
>>363
私の証明について検討したら、実質的には合っている
γは代数的無理数ではないことは背理法で証明出来る
だから、γは有理数か超越数のどちらかになる
γは各項 1+1/2+1/n-log(n) が超越数なるような実数列の極限だから、
γに収束し各項 q_n/p_n p_n>0 が
|γ-q_n/p_n|<1/(p_n)^2 を満たす既約な有理数列 {q_n/p_n} p_n>0 は存在する
以前はγが代数的無理数ではないことの証明をすっ飛ばして
そのγに収束する既約な有理数列 {q_n/p_n} p_n>0 について
背理法による議論をして矛盾を導いていたということ