
幾何学において、ネウシス(νεῦσις、古代ギリシア語のνεύειν (neuein)「~に向かって傾く」に由来、複数形:νεύσεις、neuseis)は、古代ギリシアの数学者によって使用された幾何学的作図法である。
ネウシス構成とは、与えられた長さ( a)の直線要素を、与えられた2つの(必ずしも直線ではない)直線( lとm )の間に、直線要素の延長線が与えられた点Pを通るように配置することである。つまり、直線要素の一端はl上に、もう一端はm上にあり、直線要素は点Pに向かって「傾いている」必要がある。
点Pはニューシスの極、線l はディレクトリックスまたはガイドライン、線mはキャッチラインと呼ばれます。長さaはディアステマ(ギリシャ語: διάστημα 、文字通り「距離」 )と呼ばれます。
ネウシス作図は、点Pを中心に回転可能な目盛り付き定規を用いて行うことができます(これは、点Pにピンを刺し、定規をピンに押し付けることで行うことができます)。図では、定規の一端に黄色の目盛りが付いています。これが定規の目盛りの原点です。定規のもう 1 つの目盛り (青色の目盛り) は、原点からの距離aを示しています。黄色の目盛りを線lに沿って移動させ、青色の目盛りが線mと一致するまで移動させます。
直線lとmの両方が直線である必要がある場合、この構成は直線-直線ネウシスと呼ばれます。直線-円ネウシスと円-円ネウシスも同様に定義されます。直線-直線ネウシスは、2 次および 3 次 (したがって 4 次) の方程式を解くための正確な能力を与えてくれますが、直線-円ネウシスと円-円ネウシスは、直線-直線ネウシスよりも厳密に強力です。技術的には、直線-円ネウシスまたは円-円ネウシスのいずれかによって生成される任意の点は、各隣接ペアのインデックスが 2、3、5、または 6 である体のタワーによって到達できる有理数の拡張体にありますが、直線-直線ネウシスの拡張体のタワー上の隣接ペアのインデックスは 2 または 3 です。[ 1 ]


2行から始めますそして角度で交差する(三等分の対象)交点とし、2番目のポイントは円を描きます中心は(準線は(そしてキャッチラインは円です。)定規を線に置きますそしてそれをマークするそして定規(ただし印は除く)を接触させたまま定規をスライドさせて回転させ、マークがタッチマークまで再び円に接する。この点を円上にラベル付けする。そして定規(およびその-マーク) タッチ角度の3分の1に等しい(構造図の下にある視覚的な証明に示すように)。
ノイシスは、コンパスと定規だけでは解けない幾何学的問題を解決する手段となることがあるため、重要でした。例としては、任意の角を3等分することや、立方体の2倍などが挙げられます。[ 2 ] [ 3 ]シラクサのアルキメデス (紀元前287~212年)やアレクサンドリアのパップス( 紀元後290~350年)などの数学者はノイシスを自由に利用しました。アイザック・ニュートン(1642~1726年)も彼らの考えに倣い、ノイシス作図法を用いました。[ 4 ]しかしながら、この技法は次第に使われなくなりました。
構築される数xが、フィールドの塔の上にあると仮定します。、
すると、 x を構成するための十分条件は、各ステップでの拡張の次数が 4 以下であることである。[ n 1 ] 2002 年に、A. Baragar は、 x が構成可能であるための必要条件は、各ステップでの拡張の次数が 6 以下であることであることを示した。 [ n 2 ]
128 角形より小さいすべての素数冪多角形のうち、これだけで、正23角形、29 角形、43 角形、47 角形、49 角形、53 角形、59 角形、67 角形、71 角形、79 角形、83 角形、89 角形、103 角形、107 角形、113 角形、121 角形、127 角形はネウシスで構成できないことが示せる。(正p角形が構成可能であれば、3角形、4 角形、5 角形、6 角形、8 角形、 10 角形、12 角形、 15 角形、16角形、 17 角形、 20角形、 24角形、 30角形、 32 角形、 34角形、40 角形、48 角形、51角形、60 角形、64 角形、68 角形、80 角形、85 角形、96 角形、102 角形、120 角形、128 角形は定規とコンパスだけで作図でき、7角形、9角形、13 角形、14 角形、 18 角形、 19 角形、 21角形、26 角形、27 角形、28 角形、35 角形は定規とコンパスだけで作図でき、 36、37、38、39、42、52、54、56、57、63、65、70、72、73、74、76、78、81、84、91、95、97、104、105、108、109、111、112、114、117、119、および126角形と角の三等分。しかし、一般的には、すべての五次多項式がネウシス構成可能な根を持つかどうかはわかっておらず、これは11角形、25 角形、31 角形、41 角形、61 角形、101 角形、および 125 角形に関係する。[ 5 ]ベンジャミンとスナイダーは 2014 年に、正 11 角形はネウシス構成可能であることを示した。[ 2 ] 25 角形、31 角形、41 角形、61 角形、101 角形、および 125 角形は未解決問題のままである。より一般的には、目盛りの付いた定規とコンパスで 5 より大きい 5 のすべてのべき乗を作図できるかどうかは未解決の問題であり、p = 2 r 3 s 5 t + 1の形のすべての 11 より大きい素数 ( 11より大きく、 10 で割り切れる通常の数より 1 大きいすべての素数) も同様である。 [ 5 ]
ネウシスは円を正方形にすることはできない。なぜなら、ネウシスによって構成可能なすべての比率は代数的であり、したがって、次のような超越的な比率を構成することはできないからである。。
数学史家のTLヒースは、ギリシャの数学者オエノピデス(紀元前440年頃)が、コンパスと定規を使った作図をネウセイスよりも優先させた最初の人物であると示唆している。可能な限りネウセイスを避けるという原則は、オエノピデスと同じ島出身で、体系的に整理された幾何学の教科書を最初に書いたとされるキオスのヒポクラテス(紀元前430年頃)によって広められた可能性がある。彼から100年後、ユークリッドもまた、非常に影響力のある教科書『原論』の中でネウセイスを避けた。
ネウシスに対する次の攻撃は、紀元前4世紀以降、プラトンの観念論が勢力を拡大した時に起こった。その影響下で、幾何学的構成の3つの階層が発展した。「抽象的で高貴なもの」から「機械的で現実的なもの」へと順に、3つの階層は以下の通りである。
結局、ネウシスは、他の2つのより高度な構築方法では解決できない場合にのみ許容されるものとみなされた。ネウシスは、他のより信頼できる方法がすべて失敗した場合にのみ用いられる、いわば最後の手段となった。他の構築方法が使えるはずの場面でネウシスを用いることは、後期のギリシャの数学者アレクサンドリアのパップス(紀元325年頃)によって「無視できない誤り」と烙印を押された。
{{cite journal}}: CS1メンテナンス: アーカイブサービスは非推奨になりました (リンク)