>>670
＞e^(2π(α_1+α_2+...+α_r)/p)は有理数ではないので
有理数係数の因数を持つならそれが有理数になるんだろ。