マスログ｜数学・統計・AIをわかりやすく解説するメディア

cos(2π/17)の値を求めてみたくなった話

和からの数学講師の岡本です。今日はひょんなことから\(\cos(2\pi/17)\)の値を求めてみたくなったので解説していきます。そもそも\(\cos(2\pi/17)\)とは、下図のように単位円に内接する正十七角形における赤い点の\(x\)座標の値です。この値がどのようにして求められるかに非常に興味があります。 １．…

2023年3月20日