ネウシス作図

ネウシス作図は、ギリシアの数学者によって古くから使われてきた作図法である。
概要.
ネウシス作図はある2つの曲線formula_1，formula_2の間に、極と呼ばれる点formula_3を通る適当な長さformula_4の線分を描くことで行われる。曲線formula_1は準線あるいはガイド線、formula_2はキャッチ線と呼ばれる。上図は、この作図のためのネウシス定規を利用して長さformula_4の線分を探索する過程を示している。
具体例.
ネウシス作図は、定規とコンパスによる作図では解決不能である作図問題を解決できる場合があるために重要視されてきた。主な例としては角の三等分問題、立方体倍積問題などがある。アルキメデス（287–212 BC）やパップス（290-350 AD)、ニュートン（1642-1726）といった数学者はよくネウシス作図を用いたとされているが、この作図法は現在ではあまり使われていない。
ネウシス作図と正多角形.
A. Baragarは、ネウシス作図により構成可能な点により得られる体の拡大formula_8の拡大次数が2，3，5，6のいずれかであることを2002年に示した。これは頂点数が100以下の正多角形のうち、頂点数が23，29，43，47，49，53，59，67，71，79，83，89であるもののネウシス作図不能性を示すのに十分である。また一般に、正formula_9角形が作図可能であるならば、formula_10は作図可能であり、formula_11は5より大きな素因数を持つ。
頂点数が100以下の正多角形のうち、通常の作図により正三，五，十七角形が、角の三等分を認めることにより正七，九，十三，十九，二十七，三十七，七十三，八十一，九十七角形（とこれらの2の累乗倍の頂点を持つ正多角形）が作図可能である。しかしながら、全ての五次方程式がネウシス作図可能な解をもつかどうかはまだわかっていない。なお、この問題は正十一，二十五，三十一，四十一，六十一角形の作図可能性に関連している。
正十一角形がネウシス作図可能であることは、BenjaminとSnyderによって2014年に証明された。さらに一般には、非負整数formula_12，formula_13及び正整数formula_14を用いてformula_15の形で表せる11より大きな素数formula_9個の頂点を持つ正多角形や、頂点数が5より大きな5の累乗であるような正多角形のネウシス作図可能性は未解決問題である。
人気の衰退.
によれば、ギリシアの数学者（440 BC頃）が初めて作図にコンパスと定規のみを用いた人物で、可能な限りネウシス作図を用いないような習慣は、現在知られている限り最古の整理された幾何学の教科書を執筆したヒポクラテス（430 BC頃）によって広められたとされている。この百年後、ユークリッドは原論においてネウシス作図を避けた。
ネウシス作図の衰退における次の一歩は、プラトンのイデア論の台頭により、作図法が以下の三段階にわけられたことである。
ネウシス作図は、上位の作図法が有効な解決を与えられなかったとき、最後の砦として用いられるが、パップスは他の手法が有効かもしれない問題に対してネウシス作図を用いることは「些細な問題」だとしている。