角の三等分問題
[Wikipedia|▼Menu]
(目盛りなしの)定規とコンパスを使用したネウシス作図により任意の角は三等分できる。この例では、(目盛りなしだが、円の半径に等しい長さの)定規をスライドと同時に回転させる操作により、θ>.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}3π/4を満たす角θが三等分されたφ=θ/3を作図している。

角の三等分問題(かくのさんとうぶんもんだい、: angle trisection)とは、古代ギリシャ数学(英語版)における古典的な定規とコンパスによる作図問題である。この問題は、与えられた任意の角に対しその三分の一の大きさの角を、目盛りのない定規とコンパスのみを用いて作図せよというものである。

1837年にピエール・ヴァンツェルにより、一般にはこの問題を解くことが不可能であることが示された[1]。ただし、これは定規とコンパスのみを用いて角を三等分する方法が一般には存在しないということであり、特別な場合として三等分が可能な角は幾つか存在する。例えば、直角の三等分(即ち 30° の角の作図)は比較的単純に行うことができる。逆に、三等分が不可能な角で不可能性を容易に証明することができるものが幾つか存在する。例えば、60° の三等分(即ち 20° の角の作図)の不可能性は複素数を使うことにより比較的単純に示すことができる[2][3][4]

定規とコンパス以外の道具を用いて任意の角の三等分を行うことは可能である。例として、古代ギリシャから知られていたネウシス作図がある。これはスライドと同時に回転が可能な目盛り付きの定規を用いる作図であり、(目盛りなしの)定規とコンパスでは不可能な作図である。その他数々の方法が数学者達により何世紀にもわたって考案されてきた。

この問題の内容自体は単純で理解に難くない一方、これが解けないことの証明は複雑である[5][6][7]。そのため、角の三等分問題の解法はよく疑似数学(英語版)的な試みの対象となる。これらの「解法」はしばしばルールの誤解釈、あるいは単純に誤りを含んだものとなっている[8][9][10]
脚注[脚注の使い方]^ Wantzel, P M L (1837). ⇒“Recherches sur les moyens de reconnaitre si un probleme de Geometrie peut se resoudre avec la regle et le compas.”. Journal de Mathematiques Pures et Appliquees. 1 2: 366?372. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}EuDML 234865. ⇒http://www.numdam.org/item/JMPA_1837_1_2__366_0/
^ 矢野, 一松 & 亀井 2006, pp. 61?66, 「第7章 60°という角は三等分不可能なることの証明」
^ 矢野 & 一松 1984, pp. 47?51, 「第7章 60°という角は三等分不可能なることの証明」
^ 矢野 1943, pp. 46?51, 「第七章 60°といふ角は三等分不可能なることの證明」NDLJP:1168598/29
^ 高木 1965, pp. 208?213, 「§42. 初等幾何学の不可能な作図問題」
^ 矢野, 一松 & 亀井 2006, pp. 101?299, 「第U部 解説」
^ 矢野 & 一松 1984, pp. 81?164, 「第U部 解説」
^ Dudley, Underwood (1994), The trisectors, Mathematical Association of America, ISBN 0-88385-514-3 
^ 矢野, 一松 & 亀井 2006, pp. 209?222, 「「角の三等分家」と付き合ってみて――しんどかった」
^ 亀井 1995, pp. 246?256, 「『角の三等分家』と付き合ってみて――しんどかった」


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:17 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef