>>500
どこの誰がγは超越数であろうと予想したのか知らないけど、
私はγは有理数であろうと思うけどね
γを無理数と仮定すると、γはユークリッドの互除法を無限回使って
γ=[r_0、r_1、r_2、…、r_n、…] と一意に無限連分数展開出来て、
無限個の既約な分数 q/p p≧3 q≧2 について
0<|γ−q/p|<1/(√5・p^2)<|γ−1/p|
が成り立つ
γが有理数だと、ユークリッド互除法を有限回使えば、或る正の整数nが存在して
γ=[r_0、r_1、…、r_n] と一意に有限連分数展開される
だから、連分数の理論を使えば議論はこれまでとは全く異なる