前>>334
>>316
△P2Q42R82を考える。
P2のy座標は17(1+cos(π/7))/2sin(π/7)-2sin(π/7)=36.3731657958……
Q42R82の中点(-(5/2)cos(2π/7),(23/2)sin(2π/7))から傾き
(17+23cos(2π/7))/(5sin(2π/7))の直線と、
x軸中央に正対させた正七角形の天辺(0,17(1+cos(π/7))/(2sin(π/7)))から傾き-tan(π/7)で引いた直線との交点のy座標は(17+23cos(2π/7))(2cos(π/7)+(5/2)cos(2π/7))/(5sin(2π/7))+(23/2)sin(2π/7)=35.9339644618……
わずかに違う。
あと2点。