命題について。

次の命題の真偽を答えよ。 1辺の長さが1の正7角形の対角線の短い方の長さをx、長い方の長さをyとするとき、x,yはそれぞれx^3-x^2-2x+1=0かつy^3-2y^2-y+1=0を満たす。
この問題をご教授下さい。
で、
「真」です。
x = 2*cos(pi/7), y = 1 + 2*cos(2*pi/7)
であることを導出して考えてください。
円をかき、内接正七角形を書き入れて考えてください。「余弦定理」を使います。
一辺の長さが１であるとき、円(外接円)の半径は 1/{2*sin(pi/7)} です。
の所が分かりません。余弦定理を用いて円の半径を求め、この命題が真であることをご教授下さい。
すみませんが。

No.1 ベストアンサー 回答者： Tacosan 回答日時： 2020/12/29 00:40

「円をかき、内接正七角形を書き入れて考えてください」ってあるじゃん.

やった?

この回答へのお礼

何故、π／7になるのかが、分からないのです。ご教授下さい。すみませんが。

お礼日時：2020/12/29 08:37

No.2 回答者： Tacosan 回答日時： 2020/12/29 23:48

実際に図にして角度や長さを入れていけばわかるはずだ.