>>672
論理の順番おかしくないですか？
先に2^(qr/p)を有理数と仮定してませんか？
有理数係数の因数を持つと仮定→2^(qr/p)が有理数となるため矛盾

という流れだと思うのですがe^(2πi(α_1+α_2+...+α_r)/p)があるので2^(qr/p)が有理数とは限らないということです