折り紙公理のソースを表示

'''折り紙公理'''（おりがみこうり、折紙公理）は[[折紙の数学#折り紙幾何学|折り紙幾何学]]の一連の規則であり、紙を折るときに理論上厳密に可能である、基本的な操作を記述している<ref name="折紙数学">{{Cite book|和書|title=折紙数学－折紙で作図を楽しむ－|year=2007|publisher=東京図書出版|last=畠山|first=一平|isbn=978-4-86223-166-6|month=3}}</ref>。紙の厚さは無いものとし、伸縮しないものとする<ref name="折紙数学" />。折りの操作は平面で完結し、全ての折り線は直線であると仮定する<ref name="折紙数学" />。折り紙公理は数学的な意味での[[公理]]の要件を満たすものではない{{要説明|date=2021年10月}}<ref name="折紙数学" />。

公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された<ref>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.</ref>。その後公理1から6は[[藤田文章]]によって1991年に再度発見された<ref>Humiaki Huzita, “Understanding Geometry through Origami Axioms”, The
First International Conference on Origami in Education and Therapy (COET91) (1991)</ref>。また、公理7は羽鳥公士郎によって2001年に再発見された<ref>[http://origami.gr.jp/BBS/02001-02050.html 日本折紙学会 Origami BBS] (02021) 2001-06-28 15:37の発言</ref>。また[[ロバート・J・ラング]]も公理7を再発見している。

== 7つの公理 ==
公理1から6は'''藤田の折り紙公理'''として知られる。公理7は羽鳥公士郎によって再発見された。公理は以下である:

#2点''p''<sub>1</sub>, ''p''<sub>2</sub>が与えられたとき、2点を通るただ1つの折り方がある。
#2点''p''<sub>1</sub>, ''p''<sub>2</sub>が与えられたとき、''p''<sub>1</sub>を''p''<sub>2</sub>に重ねるただ1つの折り方がある。
#2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''l''<sub>1</sub>を''l''<sub>2</sub>に重ねるような折り方がある。
#1点''p''<sub>1</sub>と1本の直線''l''<sub>1</sub>が与えられたとき、''l''<sub>1</sub>に垂直で''p''<sub>1</sub>を通るただ1つの折り方がある。
#2点''p''<sub>1</sub>, ''p''<sub>2</sub>と1本の直線''l''<sub>1</sub>が与えられたとき、''p''<sub>1</sub>を''l''<sub>1</sub>上に重ね、''p''<sub>2</sub>を通る折り方がある。
#2点''p''<sub>1</sub>, ''p''<sub>2</sub>2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''p''<sub>1</sub>を''l''<sub>1</sub>上に重ね、かつ''p''<sub>2</sub>を''l''<sub>2</sub>上に重ねる折り方がある。
#1点''p''と2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''p''を''l''<sub>1</sub>に重ね、''l''<sub>2</sub>に垂直な折り方がある。

注目すべき点は、折り紙公理5は0, 1, 2個の解を持つ場合があり、公理6は0, 1, 2, 3個の解を持つ場合があることである。これにより最大の解が2個であるコンパスと定規の幾何学よりも強力な公理である。よって[[定規とコンパスによる作図|コンパスと定規の作図]]は2次方程式を解くことができるのに対し、折り紙の幾何学（オリガメトリー、origametry）では3次方程式や、[[定規とコンパスによる作図#不可能な作図|角の三等分や立方体倍積]]などの問題を解くことができる。しかし、公理6の折り方を実際に行う際には、紙の"滑らせ"、言い換えると[[ネイシス]] ({{lang|gr|νευσις}}, [[:en:Neusis construction|neusis]]) を必要とする。これは古典的なコンパスと定規による作図では認められていないものである。コンパスと定規による作図にもネイシスを導入すれば、任意の角の三等分が可能となる。

== 詳細 ==
=== 公理 1 ===
2点''p''<sub>1</sub>, ''p''<sub>2</sub>が与えられたとき、2点を通るただ1つの折り方がある。

[[Image:Huzita axiom 1.png|2点を通る折り線]]

[[媒介変数表示]]では、この2点を通る折り線の直線の方程式は以下のように表せる。

:<math>F(s)=p_1 +s(p_2 - p_1)</math>

=== 公理 2 ===
2点''p''<sub>1</sub>, ''p''<sub>2</sub>が与えられたとき、''p''<sub>1</sub>を''p''<sub>2</sub>に重ねるただ1つの折り方がある。

[[Image:Huzita axiom 2.png|1点を別の1点に重ねる折り線]]

この折り方は線分''p''<sub>1</sub>''p''<sub>2</sub>の垂直二等分線を求めていることに等しい。これは以下の4工程で折ることができる。

#公理1を用い、2点''p''<sub>1</sub>, ''p''<sub>2</sub>を通る直線を求める。この直線は<math>P(s)=p_1+s(p_2-p_1)</math>と表される。
#''P''(''s'')の[[中点]]''p''<sub>mid</sub>を求める。
#''P''(''s'')に垂直なベクトル'''''v'''''<sup>perp</sup>を求める。
#よって[[媒介変数表示]]による折り線の方程式は以下のように表せる。
:<math>F(s)=p_\mathrm{mid} + s\cdot\boldsymbol{v}^{\mathrm{perp}}</math>

=== 公理 3 ===
2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''l''<sub>1</sub>を''l''<sub>2</sub>に重ねるような折り方がある。

[[Image:Huzita axiom 3.png|直線を別の直線に重ねる折り線]]

これは''l''<sub>1</sub>と''l''<sub>2</sub>がつくる角の二等分線を求めていることに等しい。''p''<sub>1</sub>と''p''<sub>2</sub>を''l''<sub>1</sub>上の任意の点とし、''q''<sub>1</sub>と''q''<sub>2</sub>を''l''<sub>2</sub>上の任意の点とする。更に'''''u'''''と'''''v'''''をそれぞれ''l''<sub>1</sub>と''l''<sub>2</sub>の単位方向ベクトルとすると、以下のように表される。

:<math>\boldsymbol{u} = (p_2-p_1) / \left|(p_2-p_1)\right|</math>
:<math>\boldsymbol{v} = (q_2-q_1) / \left|(q_2-q_1)\right|</math>

2直線が平行でないならば、2直線の交点は以下のように表せる。

:<math>p_\mathrm{int} = p_1+s_\mathrm{int}\cdot\boldsymbol{u}</math>

ここで

:<math>s_\mathrm{int} = -\frac{\boldsymbol{v}^{\perp} \cdot (p_1 - q_1)} {\boldsymbol{v}^{\perp} \cdot \boldsymbol{u}}</math>

二等分線の1つの方向は以下である。

:<math>\boldsymbol{w} = \frac{
\left|\boldsymbol{u}\right| \boldsymbol{v} +
\left|\boldsymbol{v}\right| \boldsymbol{u}}
{\left|\boldsymbol{u}\right| +
\left|\boldsymbol{v}\right|}</math>

よって[[媒介変数表示]]による折り線の方程式は以下のように表せる。

:<math>F(s) = p_\mathrm{int} + s\cdot\boldsymbol{w}</math>

二等分線はもう1つあり、これは最初の二等分線に垂直で''p''<sub>int</sub>を通るものである。このもう1つの二等分線でも、要求された条件「''l''<sub>1</sub>を''l''<sub>2</sub>に重ねる」を満たすことができる。交点の位置によってはどちらか片方の折り方をすることができない。

2直線が平行な場合、2直線は交点をもたない。このときの折り線は''l''<sub>1</sub>と''l''<sub>2</sub>の中間にある、''l''<sub>1</sub>と''l''<sub>2</sub>に平行な線となる。

=== 公理 4 ===
1点''p''<sub>1</sub>と1本の直線''l''<sub>1</sub>が与えられたとき、''l''<sub>1</sub>に垂直で''p''<sub>1</sub>を通るただ1つの折り方がある。

[[Image:Huzita axiom 4.png|直線に垂直で1点を通る折り線]]

これは''p''<sub>1</sub>を通る''l''<sub>1</sub>の垂線を求めることに等しい。直線''l''<sub>1</sub>に垂直なベクトルを'''''v'''''とするとき、[[媒介変数表示]]による折り線の方程式は以下で表せる。

:<math>F(s) = p_1 + s\cdot\boldsymbol{v}</math>

=== 公理 5 ===
2点''p''<sub>1</sub>, ''p''<sub>2</sub>と1本の直線''l''<sub>1</sub>が与えられたとき、''p''<sub>1</sub>を''l''<sub>1</sub>上に重ね、''p''<sub>2</sub>を通る折り方がある。

[[Image:Huzita axiom 5.png|1点を直線に重ね、別の1点を通る折り線]]

これは、''p''<sub>2</sub>を中心として''p''<sub>1</sub>を通るような円と直線''l''<sub>1</sub>との交点を求め、その交点に''p''<sub>1</sub>を重ねる折り方である。一般に、直線と円との交点の個数は0, 1, 2個の場合があり、それに応じて、この公理による折り方がなかったり、1通りだったり、2通りあったりする。

直線上の2点(''x''<sub>1</sub>, ''y''<sub>1</sub>), (''x''<sub>2</sub>, ''y''<sub>2</sub>)がわかっている場合、直線は媒介変数によって以下で表される。

:<math>x = x_1 + s(x_2 - x_1)</math>
:<math>y = y_1 + s(y_2 - y_1)</math>

中心が<math>p_2 = (x_c, y_c)</math>で半径<math>r = \left|p_1 - p_2\right|</math>の円を定義する。この円の方程式は以下である。

:<math>(x-x_c)^2 + (y-y_c)^2 = r^2</math>

直線と円との交点を決定するために、円の方程式中の''x'', ''y''を前述の直線の方程式で置き換え、以下を得る。

:<math>(x_1 + s(x_2-x_1) - x_c)^2 + (y_1 + s(y_2 - y_1) - y_c)^2 = r^2</math>

これは''s''についての2次方程式であり、整理すれば次のように表せる。

:<math>as^2 + bs + c = 0</math>

ここで

:<math>a = (x_2 - x_1)^2 + (y_2 - y_1)^2</math>
:<math>b = 2(x_2 - x_1)(x_1 - x_c) + 2(y_2 - y_1)(y_1 - y_c)</math>
:<math>c = x_c^2 + y_c^2 + x_1^2 + y_1^2 - 2(x_c x_1 + y_c y_1)-r^2</math>。

この2次方程式の解を書き下すと次のようになる。

:<math>\frac{-b\pm\sqrt{b^2-4ac}}{2a}</math>

判別式''b''<sup>2</sup> － 4''ac'' < 0の場合、解はない。このとき円は線と交差したり接することがない。判別式が0に等しい場合、1つの解があり、このとき直線は円の接線となる。判別式が0より大きいとき、2つの解があり、このとき解は円と線の2つの交点として表される。解がある場合、この解を''d''<sub>1</sub>, ''d''<sub>2</sub>とすると、以下の0, 1, 2本の線分を得る。

:<math>m_1 = \overline{p_1 d_1}</math>
:<math>m_2 = \overline{p_1 d_2}</math>

折り線''F''<sub>1</sub>(''s'')は''m''<sub>1</sub>の垂直二等分線で、''p''<sub>1</sub>を直線上の''d''<sub>1</sub>に重ねる。同様に、折り線''F''<sub>2</sub>(''s'')は''m''<sub>2</sub>の垂直二等分線で、''p''<sub>2</sub>を直線上の''d''<sub>2</sub>に重ねる。この折り方は公理2を応用することで容易に得ることができる。[[媒介変数表示]]による折り線の方程式は以下のように表せる。

:<math>F_1(s) = p_1 +\frac{1}{2}(d_1-p_1)+s(d_1-p_1)^{\perp}</math>
:<math>F_2(s) = p_1 +\frac{1}{2}(d_2-p_1)+s(d_2-p_1)^{\perp}</math>

=== 公理 6 ===
2点''p''<sub>1</sub>, ''p''<sub>2</sub>2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''p''<sub>1</sub>を''l''<sub>1</sub>上に重ね、かつ''p''<sub>2</sub>を''l''<sub>2</sub>上に重ねる折り方がある。

[[Image:Huzita axiom 6.png|1点を直線に重ね、別の1点を別の直線に重ねる折り線]]

この公理は2つの[[放物線|抛物線]]の共通接線を求めることに等しく、3次方程式を解くことに等しいと見なせる。2つの抛物線はそれぞれ''p''<sub>1</sub>と''p''<sub>2</sub>に焦点をもち、また''l''<sub>1</sub>と''l''<sub>2</sub>を準線とする。

=== 公理 7 ===
1点''p''と2本の直線''l''<sub>1</sub>, ''l''<sub>2</sub>が与えられたとき、''p''を''l''<sub>1</sub>に重ね、''l''<sub>2</sub>に垂直な折り方がある。

[[Image:Huzita-Hatori axiom 7.png|1点を直線に重ね、別の直線に垂直な折り線]]

羽鳥公士郎がこの公理を再発見し、[[ロバート・J・ラング]]がこれら7つの折り方で折り紙公理が完全であることを証明した。

== 参照文献 ==
<references/>
*　{{Cite book|和書
  | author = ロベルト ゲレトシュレーガー
  | translator = 深川 英俊
  | title = 折紙の数学 ユークリッドの作図法を超えて
  | publisher = 森北出版
  | year = 2002
  | isbn = 4627016816
}}

*[https://web.archive.org/web/20060421173006/http://www.merrimack.edu/~thull/omfiles/geoconst.html Origami Geometric Constructions （英語）] by Thomas Hull
*[http://nyjm.albany.edu:8000/j/2000/6-8.html A Mathematical Theory of Origami Constructions and Numbers （英語）] by [[ロジャー・アルペリン|Roger C. Alperin]]
*{{cite paper
  | author = [[ロバート・J・ラング]]
  | title = Origami and Geometric Constructions （英語）
  | publisher = ロバート・J・ラング
  | date = 2003
  | url = http://www.langorigami.com/science/hha/origami_constructions.pdf
  | format = PDF
  | accessdate = 2007-04-12
}}
*[http://origami.ousaan.com/library/constj.html 折り紙による作図] 羽鳥公士郎による簡単な解説

{{DEFAULTSORT:おりかみこうり}}
[[Category:幾何学]]
[[Category:公理]]
[[Category:折り紙]]
[[Category:数学パズル]]
[[Category:数学に関する記事]]