Huzita's axioms

Huzita's axioms are a set of rules related to the mathematical principles of origami. They were formulated by Italian-Japanese mathematician Humiaki Huzita[?] in 1992, and are the most powerful known set of axioms related to origami. The axioms are as follows:

1. Given two points p₁ and p₂, there is a unique fold that passes through both of them.
2. Given two points p₁ and p₂, there is a unique fold that places p₁ onto p₂.
3. Given two lines l₁ and l₂, there is a unique fold that places l₁ onto l₂.
4. Given a point p₁ and a line l₁, there is a unique fold perpendicular to l₁ that passes through point p₁.
5. Given two points p₁ and p₂ and a line l₁, there is a fold that places p₁ onto l₁ and passes through p₂.
6. Given two points p₁ and p₂ and two lines l₁ and l₂, there is a fold that places p₁ onto l₁ and p₂ onto l₂.

It should be noted that Axiom (5) may have 0, 1, or 2 solutions, while Axiom (6) may have 0, 1, 2, or 3 solutions.

Table of contents 1 Details 1.1 Axiom 1 1.2 Axiom 2 1.3 Axiom 3 1.4 Axiom 4 1.5 Axiom 5 1.6 Axiom 6

Details

Axiom 1

Given two points p₁ and p₂, there is a unique fold that passes through both of them.

In parametric form, the equation for the line that passes through the two points is:

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

Axiom 2

Given two points p₁ and p₂, there is a unique fold that places p₁ onto p₂.

This is equivalent to finding the perpendicular bisector of the line segment p₁p₂. This can be done in four steps:

• Use Axiom 1 to find the line through p₁ and p₂, given by <math>P(s)=p_1+s(p_2-p_1)</math>
• Find the midpoint of p_mid of P(s)
• Find the vector v^perp perpendicular to P(s)
• The parametric equation of the fold is then:

<math>F(s)=p_{mid} + s\cdot\mathbf{v}^{\mbox{perp}}</math>

Axiom 3

Given two lines l₁ and l₂, there is a unique fold that places l₁ onto l₂.

This is equivalent to finding the bisector of the angle between l₁ and l₂. Let p₁ and p₂ be any two points on l₁, and let q₁ and q₂ be any two points on l₂. Also, let u and v be the unit direction vectors of l₁ and l₂, respectively; that is:

<math>\mathbf{u} = (p_2-p_1) / \left|(p_2-p_1)\right|</math>

<math>\mathbf{b} = (q_2-q_1) / \left|(q_2-q_1)\right|</math>

If the two lines are not parallel, their point of intersection is:

<math>p_{int} = p_1+s_{int}\cdot\mathbf{u}</math>

where

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

The direction of the bisector is then:

<math>\mathbf{w} = \frac{

\left|\mathbf{u}\right| \mathbf{v} + \left|\mathbf{v}\right| \mathbf{u}} {\left|\mathbf{u}\right| + \left|\mathbf{v}\right|}</math>

And the parametric equation of the fold is:

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

If the two lines are parallel, on the other hand, they have no point of intersection. The fold must be the line midway between l₁ and l₂ and parallel to them.

Axiom 4

Given a point p₁ and a line l₁, there is a unique fold perpendicular to l₁ that passes through point p₁.

This is equivalent to finding a perpendicular to l₁ that passes through p₁. If we find some vector v that is perpendicular to the line l₁, then the parametric equation of the fold is:

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

Axiom 5

Given two points p₁ and p₂ and a line l₁, there is a fold that places p₁ onto l₁ and passes through p₂.

This axiom is equivalent to finding the intersection of a line with a circle, so it may have 0, 1, or 2 solutions. The line is defined by l₁, and the circle has its center at p₂, and a radius equal to the distance from p₂ to p₁. If the line does not intersect the circle, there are no solutions. If the line is tangent to the circle, there is one solution, and if the line intersects the circle in two places, there are two solutions.

If we know two points on the line, (x₁, y₁) and (x₂, y₂), then the line can be expressed parametrically as:

<math>x = x_1 + s(x_2 - x_1)</math>

<math>y = y_1 + s(y_2 - y_1)</math>

Let the circle be defined by its center at p₂=(x_c, y_c), with radius r equal to the distance from p₁ to p₂. Then the circle can be expressed as:

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

In order to determine the points of intersection of the line with the circle, we substitute the x and y components of the equations for the line into the equation for the circle, giving:

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

Or, simplified:

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

Where:

<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>

Then we simply solve the quadratic equation:

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

If the discriminant b²-4ac < 0, there are no solutions. The circle does not intersect or touch the line. If the discriminant is equal to 0, then there is a single solution, where the line is tangent to the circle. And if the discriminant is greater than 0, there are two solutions, representing the two points of intersection. Let us call the solutions d₁ and d₂, if they exist. We have 0, 1, or 2 line segments:

<math>l_1 = \overline{p_1 d_1}</math>

<math>l_2 = \overline{p_1 d_2}</math>

A fold F₁(s) perpendicular to l₁ through its midpoint will place p₁ on the line at location d₁. Similarly, a fold F₂(s) perpendicular to l₂ through its midpoint will place p₁ on the line at location d₂. The application of Axiom 2 easily accomplishes this. The parametric equations of the folds are thus:

<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>

Axiom 6

Given two points p₁ and p₂ and two lines l₁ and l₂, there is a fold that places p₁ onto l₁ and p₂ onto l₂.

This axiom is equivalent to finding a line simultaneously tangent to two parabolas, and can be considered equivalent to solving a third-degree equation. The two parabolas have foci at p₁ and p₂, respectively, with directrices defined by l₁ and l₂, respectively.