>>103
> β1、β2、β3、β4は、全部絶対値√11の複素数であり
> β1とβ4、β2とβ3は、互いに共役である

それ、クンマー理論との関係で、1の5乗根との対応つかない?
つまり、複素数を極形式 re^iθ で表したとき
θ=72°、144°、216°、288°
のどれかに
なってないかな?