折り紙公理
折り紙公理（おりがみこうり、折紙公理）は折り紙幾何学の一連の規則であり、紙を折るときに理論上厳密に可能である、基本的な操作を記述している。紙の厚さは無いものとし、伸縮しないものとする。折りの操作は平面で完結し、全ての折り線は直線であると仮定する。折り紙公理は数学的な意味での公理の要件を満たすものではない。
公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された。その後公理1から6は藤田文章によって1991年に再度発見された。また、公理7は羽鳥公士郎によって2001年に再発見された。またロバート・J・ラングも公理7を再発見している。
公理1から6は藤田の折り紙公理として知られる。公理7は羽鳥公士郎によって再発見された。公理は以下である:注目すべき点は、折り紙公理5は0, 1, 2個の解を持つ場合があり、公理6は0, 1, 2, 3個の解を持つ場合があることである。これにより最大の解が2個であるコンパスと定規の幾何学よりも強力な公理である。よってコンパスと定規の作図は2次方程式を解くことができるのに対し、折り紙の幾何学（オリガメトリー、origametry）では3次方程式や、角の三等分や立方体倍積などの問題を解くことができる。しかし、公理6の折り方を実際に行う際には、紙の"滑らせ"、言い換えるとネイシス (, ) を必要とする。これは古典的なコンパスと定規による作図では認められていないものである。コンパスと定規による作図にもネイシスを導入すれば、任意の角の三等分が可能となる。
2点"p", "p"が与えられたとき、2点を通るただ1つの折り方がある。
媒介変数表示では、この2点を通る折り線の直線の方程式は以下のように表せる。
2点"p", "p"が与えられたとき、"p"を"p"に重ねるただ1つの折り方がある。
この折り方は線分"p""p"の垂直二等分線を求めていることに等しい。これは以下の4工程で折ることができる。2本の直線"l", "l"が与えられたとき、"l"を"l"に重ねるような折り方がある。
これは"l"と"l"がつくる角の二等分線を求めていることに等しい。"p"と"p"を"l"上の任意の点とし、"q"と"q"を"l"上の任意の点とする。更にuとvをそれぞれ"l"と"l"の単位方向ベクトルとすると、以下のように表される。
2直線が平行でないならば、2直線の交点は以下のように表せる。
二等分線の1つの方向は以下である。
よって媒介変数表示による折り線の方程式は以下のように表せる。
二等分線はもう1つあり、これは最初の二等分線に垂直で"p"を通るものである。このもう1つの二等分線でも、要求された条件「"l"を"l"に重ねる」を満たすことができる。交点の位置によってはどちらか片方の折り方をすることができない。
2直線が平行な場合、2直線は交点をもたない。このときの折り線は"l"と"l"の中間にある、"l"と"l"に平行な線となる。
1点"p"と1本の直線"l"が与えられたとき、"l"に垂直で"p"を通るただ1つの折り方がある。
これは"p"を通る"l"の垂線を求めることに等しい。直線"l"に垂直なベクトルをvとするとき、媒介変数表示による折り線の方程式は以下で表せる。
2点"p", "p"と1本の直線"l"が与えられたとき、"p"を"l"上に重ね、"p"を通る折り方がある。
これは、"p"を中心として"p"を通るような円と直線"l"との交点を求め、その交点に"p"を重ねる折り方である。一般に、直線と円との交点の個数は0, 1, 2個の場合があり、それに応じて、この公理による折り方がなかったり、1通りだったり、2通りあったりする。
直線上の2点("x", "y"), ("x", "y")がわかっている場合、直線は媒介変数によって以下で表される。
中心がformula_13で半径formula_14の円を定義する。この円の方程式は以下である。
直線と円との交点を決定するために、円の方程式中の"x", "y"を前述の直線の方程式で置き換え、以下を得る。
これは"s"についての2次方程式であり、整理すれば次のように表せる。
この2次方程式の解を書き下すと次のようになる。
判別式"b" － 4"ac" < 0の場合、解はない。このとき円は線と交差したり接することがない。判別式が0に等しい場合、1つの解があり、このとき直線は円の接線となる。判別式が0より大きいとき、2つの解があり、このとき解は円と線の2つの交点として表される。解がある場合、この解を"d", "d"とすると、以下の0, 1, 2本の線分を得る。
折り線"F"("s")は"m"の垂直二等分線で、"p"を直線上の"d"に重ねる。同様に、折り線"F"("s")は"m"の垂直二等分線で、"p"を直線上の"d"に重ねる。この折り方は公理2を応用することで容易に得ることができる。媒介変数表示による折り線の方程式は以下のように表せる。
2点"p", "p"2本の直線"l", "l"が与えられたとき、"p"を"l"上に重ね、かつ"p"を"l"上に重ねる折り方がある。
この公理は2つの抛物線の共通接線を求めることに等しく、3次方程式を解くことに等しいと見なせる。2つの抛物線はそれぞれ"p"と"p"に焦点をもち、また"l"と"l"を準線とする。
1点"p"と2本の直線"l", "l"が与えられたとき、"p"を"l"に重ね、"l"に垂直な折り方がある。
羽鳥公士郎がこの公理を再発見し、ロバート・J・ラングがこれら7つの折り方で折り紙公理が完全であることを証明した。