15/09/26 19:08:33.66 jluPQQ+C.net
>>672
論理の順番おかしくないですか？
先に2^(qr/p)を有理数と仮定してませんか？
有理数係数の因数を持つと仮定→2^(qr/p)が有理数となるため矛盾
という流れだと思うのですがe^(2πi(α_1+α_2+...+α_r)/p)があるので2^(qr/p)が有理数とは限らないということです
15/09/26 19:08:33.66 jluPQQ+C.net
>>672
論理の順番おかしくないですか？
先に2^(qr/p)を有理数と仮定してませんか？
有理数係数の因数を持つと仮定→2^(qr/p)が有理数となるため矛盾
という流れだと思うのですがe^(2πi(α_1+α_2+...+α_r)/p)があるので2^(qr/p)が有理数とは限らないということです