Huzita–Hatori axioms

Huzita–Hatori axioms

The Huzita–Hatori axioms or Huzita–Justin axioms are a set of rules related to the mathematical principles of paper folding, describing the operations that can be made when folding a piece of paper. The axioms assume that the operations are completed on a plane (i.e. a perfect piece of paper), and that all folds are linear.

The axioms were first discovered by Jacques Justin in 1989.[1] Axioms 1 through 6 were rediscovered by Italian-Japanese mathematician Humiaki Huzita and reported at the First International Conference on Origami in Education and Therapy in 1991. Axioms 1 though 5 were rediscovered by Auckly and Cleveland in 1995. Axiom 7 was rediscovered by Koshiro Hatori in 2001; Robert J. Lang also found axiom 7.

Contents

The seven axioms

The first 6 axioms are known as Huzita's axioms. Axiom 7 was discovered by Koshiro Hatori. Jacques Justin and Robert J. Lang also found axiom 7. The axioms are as follows:

  1. Given two points p1 and p2, there is a unique fold that passes through both of them.
  2. Given two points p1 and p2, there is a unique fold that places p1 onto p2.
  3. Given two lines l1 and l2, there is a fold that places l1 onto l2.
  4. Given a point p1 and a line l1, there is a unique fold perpendicular to l1 that passes through point p1.
  5. Given two points p1 and p2 and a line l1, there is a fold that places p1 onto l1 and passes through p2.
  6. Given two points p1 and p2 and two lines l1 and l2, there is a fold that places p1 onto l1 and p2 onto l2.
  7. Given one point p and two lines l1 and l2, there is a fold that places p onto l1 and is perpendicular to l2.

Axiom 5 may have 0, 1, or 2 solutions, while Axiom 6 may have 0, 1, 2, or 3 solutions. In this way, the resulting geometries of origami are stronger than the geometries of compass and straightedge, where the maximum number of solutions an axiom has is 2. Thus compass and straightedge geometry solves second-degree equations, while origami geometry, or origametry, can solve third-degree equations, and solve problems such as angle trisection and doubling of the cube. However, in practice the construction of the fold guaranteed by Axiom 6 requires "sliding" the paper, or neusis, which is not allowed in classical compass and straightedge constructions. Use of neusis together with a compass and straightedge does allow trisection of an arbitrary angle.

Details

Axiom 1

Given two points p1 and p2, there is a unique fold that passes through both of them.

Folding a line through two points

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

F(s) = p1 + s(p2p1).

Axiom 2

Given two points p1 and p2, there is a unique fold that places p1 onto p2.

Folding a line putting one point on another

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

  • Use Axiom 1 to find the line through p1 and p2, given by P(s) = p1 + s(p2p1)
  • Find the midpoint of pmid of P(s)
  • Find the vector vperp perpendicular to P(s)
  • The parametric equation of the fold is then:
F(s)=p_\mathrm{mid} + s\cdot\mathbf{v}^{\mathrm{perp}}.

Axiom 3

Given two lines l1 and l2, there is a fold that places l1 onto l2.

Folding a line putting one line on another

This is equivalent to finding a bisector of the angle between l1 and l2. Let p1 and p2 be any two points on l1, and let q1 and q2 be any two points on l2. Also, let u and v be the unit direction vectors of l1 and l2, respectively; that is:

\mathbf{u} = (p_2-p_1) / \left|(p_2-p_1)\right|
\mathbf{v} = (q_2-q_1) / \left|(q_2-q_1)\right|.

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

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

where

s_{int} = -\frac{\mathbf{v}^{\perp} \cdot (p_1 - q_1)} {\mathbf{v}^{\perp} \cdot \mathbf{u}}.

The direction of one of the bisectors is then:

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

And the parametric equation of the fold is:

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

A second bisector also exists, perpendicular to the first and passing through pint. Folding along this second bisector will also achieve the desired result of placing l1 onto l2. It may not be possible to perform one or the other of these folds, depending on the location of the intersection point.

If the two lines are parallel, they have no point of intersection. The fold must be the line midway between l1 and l2 and parallel to them.

Axiom 4

Given a point p1 and a line l1, there is a unique fold perpendicular to l1 that passes through point p1.

Folding through a point perpendicular to a line

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

F(s) = p_1 + s\cdot\mathbf{v}.

Axiom 5

Given two points p1 and p2 and a line l1, there is a fold that places p1 onto l1 and passes through p2.

Folding a point onto a line through another point

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 l1, and the circle has its center at p2, and a radius equal to the distance from p2 to p1. 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, (x1, y1) and (x2, y2), then the line can be expressed parametrically as:

x = x_1 + s(x_2 - x_1)\,
y = y_1 + s(y_2 - y_1).\,

Let the circle be defined by its center at p2=(xc, yc), with radius r = \left|p_1 - p_2\right|. Then the circle can be expressed as:

(x-x_c)^2 + (y-y_c)^2 = r^2.\,

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:

(x_1 + s(x_2-x_1) - x_c)^2 + (y_1 + s(y_2 - y_1) - y_c)^2 = r^2.\,

Or, simplified:

as^2 + bs + c = 0\,

where:

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.\,

Then we simply solve the quadratic equation:

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

If the discriminant b2 − 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 d1 and d2, if they exist. We have 0, 1, or 2 line segments:

m_1 = \overline{p_1 d_1} \,
m_2 = \overline{p_1 d_2}. \,

A fold F1(s) perpendicular to m1 through its midpoint will place p1 on the line at location d1. Similarly, a fold F2(s) perpendicular to m2 through its midpoint will place p1 on the line at location d2. The application of Axiom 2 easily accomplishes this. The parametric equations of the folds are thus:


\begin{align}
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{align}

Axiom 6

Given two points p1 and p2 and two lines l1 and l2, there is a fold that places p1 onto l1 and p2 onto l2.

Huzita axiom 6.png

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 p1 and p2, respectively, with directrices defined by l1 and l2, respectively.

Axiom 7

Given one point p and two lines l1 and l2, there is a fold that places p onto l1 and is perpendicular to l2.

Huzita-Hatori axiom 7.png

Koshiro Hatori discovered this axiom, and Robert J. Lang has proven that this list of axioms completes the axioms of origami.

Constructibility

The first five axioms define a system weaker than compass and straightedge constructions: every shape that can be folded with those axioms can be constructed with compass and straightedge, but some things can be constructed by compass and straightedge that cannot be folded with those axioms.[2]

Adding the neusis axiom 6, the reverse becomes true: all compass-straightedge constructions, and more, can be made. In particular, the constructible regular polygons with these axioms are those with 2^a3^b\rho\ge3 sides, where ρ is a product of distinct Pierpont primes. Compass-straightedge constructions allow only those with 2^a\phi\ge3 sides, where ϕ is a product of distinct Fermat primes. (Fermat primes are a subset of Pierpoint primes.)

The seventh axiom does not allow construction of further polygons.

References

  1. ^ 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.
  2. ^ D. Auckly and J. Cleveland. "Totally real origami and impossible paperfolding". American Mathematical Monthly (102): pp. 215–226. arXiv:math/0407174. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Huzita-Hatori axioms — The Huzita Hatori axioms or Huzita Justin axioms are a set of rules related to the mathematical principles of paper folding, describing the operations that can be made when folding a piece of paper. The axioms assume that the operations are… …   Wikipedia

  • Humiaki Huzita — ( ja. 藤田文章, Hepburn romanization: Fujita Fumiaki , 1924 ndash; 26 march 2005) was a Japanese Italian mathematician and origami artist. He was born in Japan, emigrating to Italy to study nuclear physics at the University of Padua. He is best known …   Wikipedia

  • Mathematics of paper folding — The art of origami or paper folding has received a considerable amount of mathematical study. Fields of interest include a given paper model s flat foldability (whether the model can be flattened without damaging it) and the use of paper folds to …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Compass and straightedge constructions — Creating a regular hexagon with a ruler and compass Construction of a regular pentagon Compass and straightedge or ruler and compass construction is the construction of lengths, angl …   Wikipedia

  • Robert J. Lang — Infobox Scientist name = Robert J. Lang image width = 300px caption = Dr. Robert Lang folding an origami American flag, which includes 50 stars and 13 stripes, from a single uncut square. birth date = May 4, 1961 birth place = Dayton, Ohio death… …   Wikipedia

  • Правила Худзита — набор из семи правил формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки. Фактически они описывают все возможные способы получения одной новой складки на листе бумаги, путем …   Википедия

  • Правила Худзиты — Правила Худзиты  набор из семи правил формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки. Фактически они описывают все возможные способы получения одной новой складки… …   Википедия

  • Правила Фудзиты — Правила Фудзиты  набор из семи правил, формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки. Фактически они описывают все возможные способы получения одной новой складки …   Википедия

  • Плоское оригами — Правила Худзита набор из семи правил формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки. Фактически они описывают все возможные способы получения одной новой складки на… …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”