0からはじめる自転車通勤入門定規とコンパスによる作図

レース・トレーニング

ﾁｬﾘな話題

自転車通勤の服装

自転車通勤心得

走り出す前にNEW!!

エクイップメントの話

ペダルNEW!!
タイヤ

自転車マナー

アクセサリー・パーツの話

自転車選びのコツ

サイト内全文検索

もっと知りたい

さらに自転車通勤の事を知りたいなら、以下のサイトがオススメです☆

スポーツ・アウトドアランキング
車・バイク・自転車

丸見え"旬"サーチで定規とコンパスによる作図のサイトを見る
定規とコンパスによる作図出典: フリー百科事典『ウィキペディア（Wikipedia）』

定木とコンパスによる作図（じょうぎとコンパスによるさくず）とは、定木とコンパスだけを有限回使って図形を描く事を指す。ここで、定木は2点を通る直線を引くための道具であり、長さは測れないものとし、コンパスは与えられた中心と半径の円を描くことができる道具である。定木とコンパスによる作図（不）可能性の問題として有名なものに

数学的には、定木とコンパスによる作図で表せるのは二次方程式を繰り返し解いて得られる範囲の数であることが知られている。つまり、いくつかの二次方程式や

平面内に原点 O ともう一つの基準となる点 P が与えられると、O の座標を (0, 0) 、P の座標を (1, 0)とするような xy-座標系を平面上で考えることができる。この二つの点を元に定木とコンパスを使った有限回の操作で点　Q （座標を (q, r) とする）が指定されたとすると、体の二次拡大の列

Q = K0 ⊂ K1 ⊂ ... ⊂ Kn [Kj = 1 : Kj] = 2

が存在して q, r ∈ Kn となっていなければならない。

実際、座標 (a, b) の点を中心として座標 (c, d) の点が円周上にあるような円は

(x - a)2 + (y - b)2 = (c - a)2 + (d - b)2

という方程式によって表され、座標 (a', b')の点と座標 (c', d')の点を通る直線は

(d' - b')(x - a') + (c' - a')(y - b') = 0

という方程式によって表されている。従って、作図できている点を元にして描いた円や直線の交点として新しい点を求めるという操作はこれら高々二次の方程式を連立させてその解を求めるという問題に帰着される。

とくに Kn の Q上の拡大次数は 2n であり、Knの部分体である Q(q) やQ(r) も同様の構造を持っていなければならないことがわかる。したがって Q(p) の次元が 2 の冪にならないような代数的数 p やそもそも代数方程式の根として表せないような超越数 p を座標に持つ点は作図できない。

ギリシア時代の数学者たちによって次の3つの作図が定木とコンパスによって可能か、という問いがたてられた：

与えられた円と等しい面積をもつ正方形を作ること（円積問題）与えられた立方体の体積の 2 倍に等しい体積をもつ立方体を作ること（立方体倍積問題）与えられた角を三等分すること（角の三等分問題）

なお、不可能である事が示されているにもかかわらず、いまだに角の三等分が作図可能である事を示そうとする人々がおり、角の三等分家 (Trisector) と呼ばれている。定木やコンパス以外の道具を使用したり、定木やコンパスを本来とは異なる使い方で使用することで角の三等分を作図（あるいは工作等）することは可能であるが、当然ながら、これらは元々の「角の三等分問題」に対する解答ではない。また、「任意の角を三等分する」という問題であるのに、これを「少なくとも一つの角を三等分する」問題であると勘違いし、直角などが三等分できたのでこの問題を解けたと早とちりする人もいる（角度によっては定規とコンパスで三等分出来る）。

正三角形、正方形、正五角形、およびそれらに2の冪を乗じた数の頂点を持つ正多角形が作図可能である事は古代ギリシアの時代より知られていた。それ以上の正多角形についての発見は遅く、1796年になって正十七角形が作図可能である事がガウスにより証明された。

2の冪と相異なるフェルマー素数の積

n=2pFaFb…Fc（Fa , Fb , … ,Fc はフェルマー素数、pは整数）

で表すことができるような3 以上の数n について正n角形が定木とコンパスで作図可能であり、逆に正n角形が作図できたとすれば n はこのような形をしている。これは 1 の原始 n 乗根 ζn のガロア群の構造が 2 次拡大の繰り返しによって得られることの特徴付けとして得られる。

ルーローの三角形

NewPP limit report Preprocessor node count: 7/1000000 Post-expand include size: 0/2048000 bytes Template argument size: 0/2048000 bytes Expensive parser function count: 0/500 --> カテゴリ: 代数学 | 図形 | 数学に関する記事表示本文ノート個人用ツールナビゲーションメインページコミュニティ・ポータル最近の出来事新しいページ最近更新したページおまかせ表示練習用ページヘルプヘルプ井戸端お知らせバグの報告ウィキペディアに関するお問い合わせ検索ツールボックスリンク元関連ページの更新状況特別ページ他の言語最終更新 2009年3月16日 (月) 01:09 （日時は個人設定で未設定ならばUTC）。
ウィキペディアについて免責事項

ダイエットサーチ

ご意見・ご感想お待ちしてます。

このサイトをご覧になったご感想やご意見・ご要望などお教えください。
Mail:yonezo@na.rim.or.jp

ご質問、ご感想、相互リンク申込などのご連絡は上記メールアドレスまたは掲示板にお願いします。
できる限り返信できるよう心掛けますが、
当方の都合によりすぐにお返事できない場合もありますのでご了承ください。