横国問題

θ = 360°/7 とするとき、次の問いに答えよ。

(1) cos 3θ = cos 4θ であることを示せ。

(2) cos θ, cos 2θ, cos 3θ が解となるような、
   係数がすべて整数であるような3次方程式を求めよ。

(3) (1 + 4 cos2 θ)(1 + 4 cos2 2θ) (1 + 4 cos2 3θ) を求めよ
考察