摺紙公理

摺紙公理，又稱藤田－羽鳥公理或藤田－賈斯汀公理，是摺紙數學的基本公理。假定所有摺紙操作均在理想的平面上進行，並且所有摺痕都是直線，那麼這些公理描述了通過摺紙可能達成的所有數學操作。

摺紙定理最早於1989年由雅克·賈斯汀（Jacques Justin）發現。截至目前為止，共推衍了7個公理，其中，公理1－6又於1991年由日裔意大利數學家藤田文章發現。定理7也於2001年由羽鳥公士郎發現。賈斯汀和羅伯特·朗（Robert J. Lang）也同樣發現了公理7。

七個公理

前6個公理又叫做藤田公理，公理7由羽鳥公士郎發現，賈斯汀和羅伯特·朗（Robert J. Lang）也同樣發現了公理7。7條公理如下：

1. 給定兩點 $p_{1}$ 和 $p_{2}$，有且僅有一條摺痕同時過這兩點。
2. 給定兩點 $p_{1}$ 和 $p_{2}$，有且僅有一種方法把 $p_{1}$ 折到 $p_{2}$ 上。
3. 給定兩直線 $l_{1}$ 和 $l_{2}$，可以把 $l_{1}$ 折到 $l_{2}$ 上。
4. 給定一點 $p_{1}$ 和一條直線 $l_{1}$，有且僅有一種方法過 $p_{1}$ 折出 $l_{1}$ 的垂線。
5. 給定兩點 $p_{1}$ 和 $p_{2}$ 和一條直線 $l_{1}$，可以沿過 $p_{2}$ 的直線將 $p_{1}$ 折到 $l_{1}$ 上。
6. 給定兩點 $p_{1}$ 和 $p_{2}$ 和兩直線 $l_{1}$ 和 $l_{2}$，可以一次將 $p_{1}$ 、$p_{2}$ 分別折到 $l_{1}$ 、$l_{2}$ 上。
7. 給定一點 $p$ 和兩直線 $l_{1}$ 和 $l_{2}$，可以沿着 $l_{2}$ 的垂線將 $p_{1}$ 折到 $l_{1}$ 上。

公理5可能有最多2個解，公理6可能有最多3個解，而尺規作圖的公理最多只有兩個解。所以，摺紙的作圖能力要強於尺規作圖。就是說，尺規作圖相當於在解二次方程，而摺紙幾何相當於解三次方程。因而諸如三等分角、倍立方等尺規作圖無法解決的問題卻可以用摺紙幾何解決。但是公理6在實踐中需要將紙「滑動」，這其實相當於二刻尺作圖，這在標準的尺規作圖中是不被允許的。

羅伯特·朗證明了這七個公理已經是摺紙幾何的全部公理了。

公理 1

給定兩點 $p_{1}$ 和 $p_{2}$，有且僅有一條摺痕同時過這兩點。

以參數方程表示的話，過2點的直線可以表示為：

$F(s)=p_{1}+s(p_{2}-p_{1}).$

公理 2

給定兩點 $p_{1}$ 和 $p_{2}$，有且僅有一種方法把 $p_{1}$ 折到 $p_{2}$ 上。

這條公理相當於是作線段 ${\overline {p_{1}p_{2}}}$的垂直平分線。這可以通過以下四個步驟完成：

• 使用公理1作出連結 $p_{1}$ 和 $p_{2}$ 的直線 $P(s)=p_{1}+s(p_{2}-p_{1})$
• 找到直線 $P(s)$ 的中點 $p_{mid}$
• 找到垂直於 $P(s)$ 的向量 $\mathbf {v_{perp}}$
• 摺痕的參數方程表示為：

$F(s)=p_{\mathrm {mid} }+s\cdot \mathbf {v} _{\mathrm {perp} }.$

公理 3

給定兩直線 $l_{1}$ 和 $l_{2}$，可以把 $l_{1}$ 折到 $l_{2}$ 上。

這條公理相當於是找出 $l_{1}$ 和 $l_{2}$ 組成的角的平分線。假設 $p_{1}$ 和 $p_{2}$ 是 $l_{1}$ 上任意兩點，$q_{1}$ 和 $q_{2}$ 是 $l_{2}$ 上任意兩點，$\mathbf {u}$ 和 $\mathbf {v}$ 分別是 $l_{1}$ 和 $l_{2}$ 方向的單位向量：

$\mathbf {u} =(p_{2}-p_{1})/\left|(p_{2}-p_{1})\right|$

$\mathbf {v} =(q_{2}-q_{1})/\left|(q_{2}-q_{1})\right|.$

如果兩直線不平行，它們的交點為：

$p_{\mathrm {int} }=p_{1}+s_{\mathrm {int} }\cdot \mathbf {u}$

其中

$s_{int}=-{\frac {\mathbf {v} _{\perp }\cdot (p_{1}-q_{1})}{\mathbf {v} _{\perp }\cdot \mathbf {u} }}.$

兩條直線所夾的一個角的平分線方向是：

$\mathbf {w} ={\frac {\left|\mathbf {u} \right|\mathbf {v} +\left|\mathbf {v} \right|\mathbf {u} }{\left|\mathbf {u} \right|+\left|\mathbf {v} \right|}}.$

摺痕的參數方程是：

$F(s)=p_{\mathrm {int} }+s\cdot \mathbf {w} .$

這兩直線還有另一個角平分線，兩條角平分線互相垂直，且都過點 $p_{int}$。而沿着任意一條角平分線折都能將 $l_{1}$ 折到 $l_{2}$ 上。但在實踐中可能因為交點的位置（比如交點在紙外）使沿着其中一條角平分線的摺疊無法實施。

如果兩條直線平行，那麼只要沿着兩直線中間的一條線（與兩直線平行，到兩直線距離相等）摺疊就可以將 $l_{1}$ 折到 $l_{2}$ 上

公理 4

給定一點 $p_{1}$ 和一條直線 $l_{1}$，有且僅有一種方法過 $p_{1}$ 折出 $l_{1}$ 的垂線。

向量 $\mathbf {v}$ 是垂直於 $l_{1}$ 的單位向量，那麼摺痕的參數方程是：

$F(s)=p_{1}+s\cdot \mathbf {v} .$

公理 5

給定兩點 $p_{1}$ 和 $p_{2}$ 和一條直線 $l_{1}$，可以沿過 $p_{2}$ 的直線將 $p_{1}$ 折到 $l_{1}$ 上。

這個公理相當於找出圓和直線的交點，所以有最多2個解，最少也可能無解。這取決於直線 $l_{1}$ 和以$p_{2}$ 為圓心，$p_{2}$ 到 $p_{1}$ 的距離為半徑的圓的位置關係。如果直線和圓不相交則無解，相切則有1解，相交則有2解.

如果我們知道直線上兩點 $(x_{1},y_{1})$ 和 $(x_{2},y_{2})$，那麼直線可以表示為：

$x=x_{1}+s(x_{2}-x_{1})\,$

$y=y_{1}+s(y_{2}-y_{1}).\,$

如果圓心 $p_{2}=(x_{c},y_{c})$，半徑 $r=\left|p_{1}-p_{2}\right|$。那麼這個圓可以表示為：

$(x-x_{c})^{2}+(y-y_{c})^{2}=r^{2}.\,$

為了確定圓和直線的交點，將直線方程代入圓方程，得：

$(x_{1}+s(x_{2}-x_{1})-x_{c})^{2}+(y_{1}+s(y_{2}-y_{1})-y_{c})^{2}=r^{2}.\,$

或者可以簡化為：

$as^{2}+bs+c=0\,$

其中：

$a=(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}\,$

$b=2(x_{2}-x_{1})(x_{1}-x_{c})+2(y_{2}-y_{1})(y_{1}-y_{c})\,$

$c=x_{c}^{2}+y_{c}^{2}+x_{1}^{2}+y_{1}^{2}-2(x_{c}x_{1}+y_{c}y_{1})-r^{2}.\,$

然後，只要解以下方程就能確定直線和圓的交點：

${\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}.$

如果判別式 $b^{2}-4ac<0$，那麼方程無實數解，圓和直線沒有交點；如果辨別式等於0，那麼方程有一解，圓和直線相切；如果辨別式大於0，方程有兩解，圓和直線有兩個交點。令$d_{1}$ 和 $d_{2}$ 是兩個交點（如果存在），那麼，我們可以得到線段如下：

$m_{1}={\overline {p_{1}d_{1}}}\,$

$m_{2}={\overline {p_{1}d_{2}}}.\,$

摺痕 $F_{1}(s)$ 垂直平分 $m_{1}$，可以將 $p_{1}$ 折到 $d_{1}$。同樣，摺痕 $F_{2}(s)$ 垂直平分 $m_{2}$，可以將 $p_{1}$ 折到 $d_{2}$。只要應用公理2就可以找到垂直平分線。摺痕的參數方程是：

${\begin{aligned}F_{1}(s)&=p_{1}+{\frac {1}{2}}(d_{1}-p_{1})+s(d_{1}-p_{1})_{\perp }\\[8pt]F_{2}(s)&=p_{1}+{\frac {1}{2}}(d_{2}-p_{1})+s(d_{2}-p_{1})_{\perp }.\end{aligned}}$

公理 6

給定兩點 $p_{1}$ 和 $p_{2}$ 和兩直線 $l_{1}$ 和 $l_{2}$，可以一次將 $p_{1}$ 、$p_{2}$ 分別折到 $l_{1}$ 、$l_{2}$ 上。

這個公理相當於找到同時與兩條拋物線相切的直線，等價於解一個三次方程。兩條拋物線的焦點分別是 $p_{1}$ 和 $p_{2}$，準線分別是 $l_{1}$ 和 $l_{2}$。

公理 7

給定一點 $p$ 和兩直線 $l_{1}$ 和 $l_{2}$，可以沿着 $l_{2}$ 的垂線將 $p_{1}$ 折到 $l_{1}$ 上。

過 $p$ 點作 $l_{2}$ 的平行線，交 $l_{1}$ 於 $q$，這個公理就是要找出線段 ${\overline {pq}}$ 的垂直平分線。沿着這條垂直平分線折，就可以將 $p$ 折到 $q$ 上。

外部連結

• Origami Geometric Constructions by Thomas Hull
• A Mathematical Theory of Origami Constructions and Numbers （頁面存檔備份，存於網際網路檔案館） by Roger C. Alperin
• Lang, Robert J. Origami and Geometric Constructions (PDF). Robert J. Lang. 2003 [2007-04-12]. （原始內容存檔於2012-03-10）.