前>>335これ一致する点がみつかるのかなぁ？
>>316
△P4Q44R84を考える。
P4のy座標は17(1+cos(π/7))/2sin(π/7)-4sin(π/7)=3 . ……
Q44R84の中点(-(9/2)cos(2π/7),(23/2)sin(2π/7))から傾き
(17+23cos(2π/7))/(9sin(2π/7))の直線と、
x軸中央に正対させた正七角形の天辺(0,17(1+cos(π/7))/(2sin(π/7)))から傾き-tan(π/7)で引いた直線との交点のy座標は　=3 . ……