「折り紙公理」の版間の差分
Luckas-bot (会話 | 投稿記録) m r2.7.1) (ロボットによる 追加: zh:折纸公理 |
+ zh:折纸公理 |
||
166行目: | 166行目: | ||
[[Category:数学パズル]] |
[[Category:数学パズル]] |
||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
[[zh:折纸公理]] |
|||
[[en:Huzita–Hatori axioms]] |
[[en:Huzita–Hatori axioms]] |
||
[[fa:اصل هوزیتا-هاتوری]] |
[[fa:اصل هوزیتا-هاتوری]] |
2011年2月27日 (日) 01:55時点における版
折り紙公理(折紙公理、おりがみこうり)とは折り紙において、折紙の数学の原理に関連した一連の規則であり、紙を折るときの基本的な操作を記述している。この公理においては、折りの操作は平面で完結し、全ての折り線は直線であると仮定している。なお、折り紙公理は数学的な意味での公理の要件を満たすものではない[1]。
公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された[2]。その後公理1から6は藤田文章によって1991年に再度発見された[3]。また、公理7は羽鳥公士郎によって2001年に再発見された[4]。またロバート・J・ラングも公理7を再発見している。
7つの公理
公理1から6は藤田の折り紙公理として知られる。公理7は羽鳥公士郎によって再発見された。公理は以下である:
- 2点p1, p2が与えられたとき、2点を通るただ一つの折り方がある。
- 2点p1, p2が与えられたとき、p1をp2に重ねるただ一つの折り方がある。
- 2本の直線l1, l2が与えられたとき、l1をl2に重ねるような折り方がある。
- 1点p1と1本の直線l1が与えられたとき、l1に垂直でp1を通るただ一つの折り方がある。
- 2点p1, p2と1本の直線l1が与えられたとき、p1をl1上に重ね、p2を通る折り方がある。
- 2点p1, p22本の直線l1, l2が与えられたとき、p1をl1上に重ね、かつp2をl2上に重ねる折り方がある。
- 1点pと2本の直線l1, l2が与えられたとき、pをl1に重ね、l2に垂直な折り方がある。
注目すべき点は、折り紙公理5は0, 1, 2個の解を持つ場合があり、公理6は0, 1, 2, 3個の解を持つ場合があることである。これにより最大の解が2個であるコンパスと定規の幾何学よりも強力な公理である。よってコンパスと定規の作図は2次方程式を解くことができるのに対し、折り紙の幾何学(オリガメトリー、origametry)では3次方程式や、角の三等分や立方体倍積などの問題を解くことができる。しかし、公理6の折り方を実際に行う際には、紙の"滑らせ"、言い換えるとネイシス (νευσις、neusis) を必要とする。これは古典的なコンパスと定規による作図では認められていないものである。コンパスと定規による作図にもネイシスを導入すれば、任意の角の三等分が可能となる。
詳細
公理 1
2点p1, p2が与えられたとき、2点を通るただ一つの折り方がある。
媒介変数表示では、この2点を通る折り線の直線の方程式は以下と表せる。
公理 2
2点p1, p2が与えられたとき、p1をp2に重ねるただ一つの折り方がある。
この折り方は線分p1p2の垂直二等分線を求めていることに等しい。これは以下の4工程で折ることができる。
- 公理1を用い、2点p1, p2を通る直線を求める。この直線はと表される。
- P(s)の中点pmidを求める。
- P(s)に垂直なベクトルvperpを求める。
- よって媒介変数表示による折り線の方程式は以下と表せる。
公理 3
2本の直線l1, l2が与えられたとき、l1をl2に重ねるような折り方がある。
これはl1とl2がつくる角の二等分線を求めていることに等しい。p1とp2をl1上の任意の点とし、q1とq2をl2上の任意の点とする。更にuとvをそれぞれl1とl2の単位方向ベクトルとすると、以下で表わされる。
2直線が平行でないならば、2直線の交点は以下で表せる。
ここで
二等分線の一つの方向は以下である。
よって媒介変数表示による折り線の方程式は以下と表せる。
二等分線はもう一つあり、これは最初の二等分線に垂直でpintを通るものである。このもう一つの二等分線でも、要求された条件「l1をl2に重ねる」を満たすことができる。交点の位置によってはどちらか片方の折り方をすることができない。
2直線が平行な場合、2直線は交点をもたない。このときの折り線はl1とl2の中間にある、l1とl2に平行な線となる
公理 4
1点p1と1本の直線l1が与えられたとき、l1に垂直でp1を通るただ一つの折り方がある。
これはp1を通るl1の垂線を求めることに等しい。直線l1に垂直なベクトルをvとするとき、媒介変数表示による折り線の方程式は以下と表せる。
公理 5
2点p1, p2と1本の直線l1が与えられたとき、p1をl1上に重ね、p2を通る折り方がある。
これは、p2を中心としてp1を通るような円と直線l1との交点を求め、その交点にp1を重ねる折り方である。 一般に、直線と円との交点の個数は0, 1, 2個の場合があり、それに応じて、この公理による折り方がなかったり、1通りだったり、2通りあったりする。
直線上の2点(x1, y1), (x2, y2)がわかっている場合、直線は媒介変数によって以下で表される。
中心がで半径の円を定義する。この円の方程式は以下である。
直線と円との交点を決定するために、円の方程式中のx, yを前述の直線の方程式で置き換え、以下を得る。
これはsについての2次方程式であり、整理すれば次のように表せる。
ここで
- 。
この2次方程式の解を書き下すと次のようになる。
判別式b2 - 4ac < 0の場合、解はない。このとき円は線と交差したり接することがない。判別式が0に等しい場合、1つの解があり、このとき直線は円の接線となる。判別式が0より大きいとき、2つの解があり、このとき解は円と線の二つの交点として表される。解がある場合、この解をd1, d2とすると、以下の0, 1, 2本の線分を得る。
折り線F1(s)はm1の垂直二等分線で、p1を直線上のd1に重ねる。同様に、折り線F2(s)はm2の垂直二等分線で、p2を直線上のd2に重ねる。この折り方は公理2を応用することで容易に得ることができる。媒介変数表示による折り線の方程式は以下と表せる。
公理 6
2点p1, p22本の直線l1, l2が与えられたとき、p1をl1上に重ね、かつp2をl2上に重ねる折り方がある。
この公理は2つの抛物線の共通接線を求めることに等しく、3次方程式を解くことに等しいとみなせる。2つの抛物線はそれぞれp1とp2に焦点をもち、またl1とl2を準線とする。
公理 7
1点pと2本の直線l1, l2が与えられたとき、pをl1に重ね、l2に垂直な折り方がある。
羽鳥公士郎がこの公理を再発見し、ロバート・J・ラングがこれら7つの折り方で折り紙公理が完全であることを証明した。
参照文献
- ^ 折紙数学―折紙で作図を楽しむ(畠山 一平著、東京図書出版会 2007年03月)ISBN 978-4862231666
- ^ Justin, Jacques, "Resolution par le pliage de l'equation du troisieme degre et applications geometriques", reprinted in Proceedings of the First International Meeting of Origami Science and Technology, H. Huzita ed. (1989), pp. 251–261.
- ^ Humiaki Huzita, “Understanding Geometry through Origami Axioms”, The First International Conference on Origami in Education and Therapy (COET91) (1991)
- ^ 日本折紙学会 Origami BBS (02021) 2001-06-28 15:37の発言
- Origami Geometric Constructions (英語) by Thomas Hull
- A Mathematical Theory of Origami Constructions and Numbers (英語) by Roger C. Alperin
- ロバート・J・ラング (2003) (PDF). Origami and Geometric Constructions (英語). ロバート・J・ラング 2007年4月12日閲覧。.
- 折り紙による作図 羽鳥公士郎による簡単な解説