分からない問題はここに書いてね462

>>188 を 解析幾何的に解こうとして気づいたんですが、
　 c = cos(20°)
　16*c^4 -8*c^3 -12*c^2 + 4*c + 1 = 0
が成り立つみたいです。この関係式どうやったら証明できますか？
4倍角公式とか全然違うし cos(80°) になったからって何も簡単にならないし...