|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 定規 ： [じょうぎ] 【名詞】 1. (measuring) ruler ・ 作 ： [さく] 1. (n,n-suf) a work 2. a harvest ・ 作図 ： [さくず] 1. (n,vs) drawing (figures) 2. construction (in geometry) 3. drafting ・ 図 ： [ず] 1. (n,n-suf) figure (e.g., Fig 1) 2. drawing 3. picture 4. illustration
定規とコンパスによる作図（じょうぎとコンパスによるさくず）とは、定規とコンパスだけを有限回使って図形を描くことを指す。ここで、定規は2点を通る直線を引くための道具であり、目盛りがついていても長さを測るのには使わないものとし、コンパスは与えられた中心と半径の円を描くことができる道具である。この文脈における「定規」はしばしば「定木」と表記される〔「規」はものさしを想起させるので、長さを測ることには用いない、ということを強調するために「定木」と表記する、という考え方がある。（大野 1993）〕。定規とコンパスによる作図可能性（作図不可能性）の問題として有名なものにギリシアの三大作図問題がある。 数学的には、定規とコンパスによる作図で表せるのは二次方程式を繰り返し解いて得られる範囲の数であることが知られている。つまり、いくつかの二次方程式や一次方程式に帰着出来る問題は定規とコンパスのみで作図可能であり、反対に帰着できない問題は作図不可能である。「作図可能な線分の長さ」の集合は一つの体をなしている。 == 定規とコンパスでできる作業 == この問題に言う「定規」「コンパス」は現実世界にある実物のそれではなく（参考にはしているけれども）、可能な作業が決まっている仮想的な存在である。そのため、思考実験の一種としてサイズに関しては現実的にありえない無茶なことも想定できる代わりに、実物にできることのいくつかははっきりと禁止される。 * 「コンパス」はいくらでも小さく、またはどこまでも大きく半径を取ることのできる、仮想的なもので、広げて任意の長さを測り取ることもできる。ただし、測り取れるのは既に作図されている二点間の長さとしてだけである。なお、「コンパス」本体に角度を表示する目的などで目盛りなどの印を打つことはできない。また、作図の作業においては軸は既に作図された点に固定されるものとし、定規や線の上を引きずって線を引くような用途には使用できない。 * 「定規」はいくらでも長くまっすぐな線を引くことができる。ただし、「定規」に目盛りを打つことは許されない（目盛りがあっても長さを測るのには使わない）。また「定規」だけで引けるのは同時に一本だけであり、複数の平行線を同時に引くようなことはできない。「定規」でできるのは既知の任意の二点を線分で結ぶこと、およびそれを延長して直線にすることである。 仮に目測や近似を使って何らかの作図ができたと主張しても、それは作図問題に答えたことにはならない。間違いなく確実に決まっていることが必要なのである。もちろん（いくらきちんと点や線が作図できたとしても）、目盛りのある定規を使ったり、変形コンパスや分度器その他の道具、手段を利用してはならない。そのようにして得たものは定規とコンパスを用いた作図問題の解決とは無関係な存在だからである。 これらの条件から、定規とコンパスによる作図でできることは原理的には次に挙げるような作業のみであり、既知の点、直線、円たちからはじめて、それらの作業を有限回組み合わせて繰り返すだけで必要な点や長さを得ることができるならば目的の作図が可能、できなければ目的の作図は不可能であるということになる。 * 既知の二点に対し、それらを通る直線を引く。 * 既知の一点を中心とし、それ以外の既知の点を通るような円を描く。 * 互いに平行でない既知の二直線から、その交点を得る。 * 既知の円と直線から、その高々二個の交点を得る。 * 既知の二つの円から、その高々二個の交点を得る。 たとえば、相異なる二点が与えられているだけの最低限の仮定からはじめれば、まずひとつ直線と半径の等しい二つの円を描くことができる。交わる二つの円が得られているのでそれらの交点として新たに二つの点を得ることができる。この新たな二点のうちのいずれかと最初の二点とをそれぞれ結べば正三角形の作図が完成する。 これはつまり、作図という幾何学的な問題は、どのような記号（点や直線、円など）を初めに与えて 、どのような方法で 、どのような結果が得られるか という点に係っているということである。このような側面から言えば、作図問題というのは元が点や直線になっただけの公理的な代数学と等価な存在であるといえる。それを現実のものとし、それによっていくつかの作図問題の不可能性を証明したはじめての人はおそらくガウスであろう〔ガウスは1801年に出版した『整数論の研究』において、定規とコンパスで正''N''角形が作図可能となるための''N''の必要十分条件を示した。（ガウス 1995 第365条、第366条）〕。後の時代になってヒルベルトが、著書『幾何学基礎論』においてユークリッド幾何学の公理を完全に厳密な形で与えている〔ヒルベルト 2005〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「定規とコンパスによる作図」の詳細全文を読む スポンサード リンク
|