1の17乗根
Apr 12 2016
1の17乗根の冪根表示
1の17乗根について、
`cos((2pi)/17) = 1/16(-1 + sqrt 17 + sqrt (34 - 2 sqrt 17) + 2 sqrt (17 + 3 sqrt 17 - sqrt (34 - 2 sqrt 17) - 2 sqrt (34 + 2 sqrt 17)))`
であることが知られています。
以下のコードはこの値を実際に計算して求めています。
のガロア群が`ZZ//17ZZ-{0}`における乗法についての循環群と同じ構造であることを利用した解法で計算しています。