高校数学の質問スレ Part434

641 ：１３２人目の素数さん：2024/04/28(日) 13:33:53.86 ID:D0y7o8h6.net

単位円に内接する正7角形をとり、頂点の座標を
　P_k (cos(2kπ/7), sin(2kπ/7))
とする。
　P_0 (1, 0)
　A　(x, y)
　B　(x, -y)
が正3角形になるとき
　(1−x)/y = tan(π/3) = √3,
また線分 P_2･P_3 上にあることから
　x = −{(√3)cos(π/7)−sin(2π/7)}/{2cos(2π/7-π/6)}
　　= −0.4182588529921
　y = {cos(π/7)+cos(2π/7)}/{2cos(2π/7-π/6)}
　　= 0.818832130555563