角の三等分問題
角の三等分問題(かくのさんとうぶんもんだい、英: 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 reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas.”. Journal de Mathématiques Pures et Appliquées. 1 2: 366–372. EuDML 234865 .
- ^ 矢野, 一松 & 亀井 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, 「第Ⅱ部 解説」
- ^ 矢野 & 一松 1984, pp. 81–164, 「第Ⅱ部 解説」
- ^ Dudley, Underwood (1994), The trisectors, Mathematical Association of America, ISBN 0-88385-514-3
- ^ 矢野, 一松 & 亀井 2006, pp. 209–222, 「「角の三等分家」と付き合ってみて――しんどかった」
- ^ 亀井 1995, pp. 246–256, 「『角の三等分家』と付き合ってみて――しんどかった」
参考文献
[編集]- 亀井哲治郎「『角の三等分家』と付き合ってみて――しんどかった」『あぶない数学』朝日新聞社〈朝日ワンテーママガジン 44〉、1995年。
- 高木貞治「§42. 初等幾何学の不可能な作図問題」『代数学講義』(改訂新版)共立出版、1965年11月25日。ISBN 978-4-320-01000-0。
- 矢野健太郎『角の三等分』創元社〈科学の泉 2〉、1943年8月30日。NDLJP:1168598。
- 矢野健太郎『角の三等分』一松信 解説、日本評論社〈数セミ・ブックス 8〉、1984年4月30日。ISBN 978-4-535-60208-3。
- 矢野健太郎『角の三等分』一松信 解説、亀井哲治郎 エッセイ、筑摩書房〈ちくま学芸文庫〉、2006年7月10日。ISBN 978-4-480-09003-4。 - 亀井のエッセイは亀井 (1995)の加筆・再録。
関連項目
[編集]外部リンク
[編集]- 寺田文行『角の三等分問題』 - コトバンク
- Weisstein, Eric W. "Angle Trisection". mathworld.wolfram.com (英語).