- 685 名前：１３２人目の素数さん [2024/04/28(日) 22:26:32.72 ID:D0y7o8h6.net]
- 半径Rの円に内接する正7角形をとり、頂点の座標を
P_k (R･cos(2kπ/7), R･sin(2kπ/7))
とする。
A (-R･cos(π/7), 0)
B (x, y)
C (x, -y)
が正3角形になるとき
{x + R･cos(π/7)}/y = tan(π/3) = √3,
また線分 P_1･P_2 上にあることから
{R･sin(4π/7)-y}/{R･cos(4π/7)-x} = {y-R･sin(2π/7)}/{x-R･cos(2π/7)},
∴ cos(3π/7)･x + sin(3π/7)･y = R･cos(π/7),
これらより
x = R･cos(π/7){√3−sin(3π/7)}/{2sin(3π/7+π/3)}
= 0.50144920
