松田康雄, 正7角形の頂点を円と放物線の交点で表す, 数学セミナー 2017年7月号 P.36-37 NOTE y=(1/sqrt(7))(4x^2-x-3), y=-(1/sqrt(7))(4x^2-x-3), x^2+y^2=1
