>>132
なんか変じゃない? x^3-x-1 = 0 は1つの実数解と 2つの虚数解をもつ。
一方、(x-2cos80°)(x-2cosα)(x-2cosβ)=0は 3つの実数解をもつことを
意味する。両者がイコールというのは、ありえないんじゃ?