Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

User:MA783-NS476/sandbox

From Wikipedia, the free encyclopedia

Origami Numbers

[edit]

The classical Greek problems

[edit]

There were three classical problems that the ancient Greeks (600BC to 400AD) tried to solve by ‘ruler and compass’ constructions. These problems form the basis of what this module is trying to solve.

  1. Can we square the circle? If we have a circle of radius 1 unit (and hence of area ), is it possible to construct a square of the same area and thus to construct the length ?[1]
  2. Can we double the cube? If we have a cube of edge length 1 unit (and hence volume 1), is it possible to construct a cube of volume twice that of the original cube and thus to construct the length ?[1]
  3. Can we trisect an arbitrary angle? Suppose that we can construct a triangle (so the length of each side is a constructible real number) in which one of the angles in the triangle is . Is it always possible to construct a triangle (so each side is again a constructible real number) with one of the angles being ?[1]

Throughout the module, we have examined the relation between field extensions and irreducible polynomials as well as ruler and compass constructions. Through this, we have understood that each of these questions cannot be solved using ruler and compass constructions. So, to help us answer these questions, we shall consider origami constructible numbers but first, let’s consider what we mean by origami. Origami simply involves taking a square piece of paper and folding the paper to form numerous three-dimensional shapes, which produces constructible numbers. This was used as an essential tool in the development of modern algebra.

Note, a real number is origami-constructible if one can construct, in a finite number of steps, two points which are a distance of apart.[2] Since the set of real numbers associated with lengths in that are produced by origami constructions together with their negatives are origami-constructible elements of , for the remainder of this project, we will not distinguish between the terms origami-constructible lengths and origami-constructible real numbers.[2]

Looking at the lecture notes, we have found that a real number is constructible if, in a finite number of steps, we can construct a line segment of length (from the unit length) using only a ruler and compass.

We will study this in more depth throughout this project including the Huzita-Hatori axioms and any theorems that may aid our understanding of how these numbers can be used to solve the three classical Greek problems.

Huzita-Hatori axioms

[edit]

There are seven axioms, referred to as the Huzita- Hatori axioms, that helps aid our understanding regarding the rules of origami constructions which are listed below:

Axiom 1

Given two distinct points and , there is a distinct fold that maps through them. This is illustrated by figure 1.

Figure 1: Axiom 1 [3]

Axiom 2 Given two distinct points and , there is a distinct fold that maps onto . This is illustrated by figure 2.      

Figure 2: Axiom 2 [3]

From the figure, we can see that this is the same as constructing the perpendicular bisector of the line segment .

Axiom 3

Given two lines and , there is a fold that maps onto . This is illustrated by figure 3.

Figure 3: Axiom 3 [3]

From this figure, we can see that this is the same as constructing the bisector of an angle between the two lines.

Axiom 4

Given a line and a point , there is a distinct fold that goes through and perpendicular to . This is illustrated by figure 4.

Figure 4: Axiom 4 [3]

From this figure, we can see that this is the same as constructing a perpendicular to that goes through .

Axiom 5

Given a line and points and , there is a fold mapping onto that goes through the point . This is illustrated by figure 5.

Figure 5: Axiom 5 [3]

From this figure, we can see that this is the same as constructing the intersection between a circle and line , and so having 0,1 or 2 solutions.

Axiom 6

Given two lines and and two points and , there is a fold mapping onto and onto . This is illustrated by figure 6.

Figure 6: Axiom 6 [3]
Figure 7: An application of axiom 6 [4]

From figure 7, we can see that axiom 6 is the same as constructing a line that is tangent to two parabolas simultaneously where we refer to each point as a focus and each line as a directrix. Thus, the foci of the two parabolas are at and respectively and the directrices are given by and .

This axiom enables the construction of cube roots, solving problem 2 which we will discuss in more detail later on.

Axiom 7

Given two lines and and a point , there is a fold mapping point onto the line and is perpendicular to . This is illustrated by figure 8.         

Figure 8: Axiom 7 [3]

A possible eighth axiom?

In 2017, Jorge Lucero claimed there were in fact eight axioms, the seven axioms stated above and an additional operation; given a line , there is a fold along this line.

Lucero believed that this eighth axiom is required in the application of origami, even though it does not form a new line, as one is allowed to fold the layer of paper along a marked line on the layer directly below. Thus, this eighth axiom completes the other seven axioms. However, it is not seen as an axiom.[3]

Theorems on origami constructible numbers

[edit]

Before we examine theorems on origami constructions, let us first recall a few key theorems on real constructible numbers.

Note, from the lecture notes, we know that the set of constructible real numbers is a field. Also, this field is closed under addition, multiplication, inverses and taking the square roots of constructible real numbers. For example, using a ruler and compass, all the elements in the field can be constructed. Moreover, if r is a constructible real number, then for some integer k 0.[1] As a result, it is clear that straightedge and compass constructions can find solutions to polynomials of degree . So, doubling the cube and trisecting an angle cannot be solved using this method as they require constructing lengths which are solutions to cubic equations.

Now, through application of the axioms above, we can derive the following theorems on origami constructions.[2]

Theorem: A point is origami constructible if and only if and are origami-constructible elements of .

Theorem: Let r ∈ . Then r ∈ O if and only if there is a finite sequence of fields such that and or for each .

Following on from this, we obtain that if r ∈ O then where a,b 0 are integers. More specifically, the set of origami constructible numbers is closed under taking cube roots.

Thus, we can see that two of the Greek problems, doubling the cube and trisecting an angle, can be solved by origami constructions. We will go into further detail on this later on. But first, let us observe the role of origami in solving the cubic equation.

Application of axioms 1 - 6 in finding solutions to the cubic equation

[edit]

Using axioms 1 - 6, we can construct a real solution with real coefficients in the field O to a cubic equation. We can see this below when we consider the following parabolas.[5]

Let and be two parabolas, and let and be the points in which the common tangent intersects these two parabolas respectively. Suppose the gradient of the simultaneous tangent (see figure 7) is .

If we differentiate this, we get that and .

This would imply that . Now if we let , we get that .

We also know that , which tells us that .

From this we get that . This implies that .[5]

Simplifying this, we get that . From this, we can see that; given any two constructible real numbers and , any cubic equation has constructible solutions.

Now that we have all the necessary theory, we can proceed determining whether the three classical Greek problems can be solved using origami.

Problem 1: Can we square the circle?

[edit]

During the course of this module, we have learnt that we cannot 'square the circle' using ruler and compass constructions, i.e. we cannot construct a square with an area of .

This is shown in Theorem 6.10[1], by proving that is not a real constructible number; the proof by contradiction is shown below.

Proof by contradiction:

We need to construct a square with length . Assume is a constructible real number. Then,  is also a constructible real number using Lemma 6.2[1] and so is algebraic over  by Theorem 6.9.[1] This is a contradiction; from our previous knowledge we are aware that is transcendental over . Thus, we cannot construct and so we cannot square the circle.

This leaves us with the following question: can we square the circle using origami construction?

Unfortunately, this problem still remains unsolved. However, by rounding  to a certain decimal place, we are able to provide approximate solutions.

In 1914, an Indian mathematician, Srinivasa Ramanujan gave a ruler-and-compass construction. This was equivalent to taking the approximate value of to be , giving eight decimal places of  .[6]

Problem 2: Can we double the cube?

[edit]

During the course of this module, we have learnt that we cannot 'double the cube' i.e. we cannot construct a cube with a length of because it is not a constructible real number.

Proof by contradiction:

Assume is a constructible real number. Then has a minimal polynomial over . This is irreducible due to Eisenstein’s Criterion. So, but , so a contradiction. Therefore, is not constructible and so we cannot 'double the cube'.

Now, we ask the following question: can the cube be doubled using origami construction?

We can answer in the affirmative of this by showing that is constructible using origami.[2]

Firstly, fold a square piece of paper into thirds as illustrated in figure 9a.

Figure 9a [2]

Define to be the line of the left-hand side of the square piece of paper and as the top one-third crease line. Let represent the point on the bottom right-hand corner of the square piece of paper and let represent the point of intersection of the right hand-side of the square piece of paper with the bottom one-third crease line.

Now, applying Axiom 6 to lines and and points and , we form a fold line, let’s call this which maps onto and onto as illustrated in Figure 9b.

Figure 9b [2]

The position in which intersects line divides the edge by to 1 and is given by point . This can be seen in Figure 9c.

Figure 9c [2]

Let and

, , , .

Using Pythagorean Theorem on , we obtain

which implies (*).

Also, and

,

,

.

Thus, and and so .

Hence,

.

Substituting (*) into the above, we obtain

.

Hence, is constructible using origami.

Problem 3: Can we trisect the angle?

[edit]

We have learnt during the course of this module that using ruler and compass constructions, not all angles can be trisected. For example, cannot be constructed. We shall prove this using a contradiction.

Proof by contradiction:

Suppose can be constructed. Using Lemma 6.12[1] from the lecture notes, is a constructible real number. Now if we substitute into , we obtain where .

If we let , then . After rearranging and simplifying, we obtain . As is monic and irreducible over Q (by applying Root Test[1]), is the minimal polynomial of . However which contradicts Theorem 6.9[1]. This means cannot be constructed.

Now, we ask the question: can we trisect the angle using origami?

It is, in fact, possible to trisect any given angle using origami.[2] We can prove this using a method developed by Hisashi Abe published in 1980.[2]

Given a square piece of paper, mark an arbitrary angle on the bottom left hand corner of the paper. This is produced by the line and the bottom edge of the paper as shown in figure 11a.

Figure 11a [2]

Now, suppose point is any constructible point on the left border of the square piece of paper. Applying axiom 4, we can form a line which passes through point and is perpendicular to the left border. Using axiom 2, we can fold onto producing a line that is in the middle to both the parallel lines passing through and . This is shown in figure 11b.  

Figure 11b [2]

Next, we can apply axiom 6 to the lines and and points and forming a fold line that maps onto and onto illustrated in figure 11c.

Figure 11c [2]

Now, define the point as the reflection of point about line . This can be constructed as the intersection of the line perpendicular to through and the line . can be constructed in a similar way. Thus, an angle with measure of is formed by segment and the edge at the bottom of the paper.

In order to prove that the angle with measure of is formed by the segment and the edge at the bottom of the paper, we look at figure 11d.

Figure 11d [2]

Let us define to be the intersection of segments and . Similarly, we define to be the intersection of the line and the left border of the piece of paper. Let be the intersection of line and segment . Let be the angle formed by triangle (i.e. ), be the angle formed by triangle (i.e. ) and be the angle in triangle (i.e. ).  As the reflections of and about line are and respectively, must lie on line . We can see that is an isosceles triangle as and and are two perpendicular right angles. Hence, . Likewise, is also an isosceles triangle since we have the following properties: the reflection of about line is defined by , and angles and are two perpendicular right angles. Thus, .

Notice, the bottom border of the piece of paper and line are parallel and so segment and the bottom border of the paper forms an angle of measure β. So we have:

.

We can see that angle has measures between 0 and . In particular, when  , and so line folds point onto through point . Segment trisects since is an equilateral triangle. If angle has a measure between and , we can divide into a right angle and an acute angle such that . This can be seen using axiom 4, i.e. by constructing a line which is perpendicular to a side of with centre O as illustrated in figure 12.

Figure 12 [2]

We have . Thus, the angle between lines and forms the trisection of the obtuse angle. Similarly, we can apply this method of trisecting an angle to any arbitrary angle.[2]

Exploration of the field of origami numbers

[edit]

So far, we have considered the seven single-fold operations. However, we can also explore multiple fold operations, by permitting the alignments of lines and points along multiple folds, as mentioned by Alperin and Lang (2009).[2] We define a two-fold alignment as the minimal set of alignments that defines two simultaneous fold lines on a finite region of the Euclidean plane with a finite number of solutions. Also, a two-fold alignment is referred to as separable if and only if its alignments can be split into two single-fold sets. There are limitations with such two-fold alignments as practically it can be difficult to ensure that both folds occur simultaneously.

Further research studies on origami can be explored.[2]

One such research study is considering what would happen if tracing was permitted in origami? In 2017, Lucero had mentioned how it is believed that all marked points and lines on one fold are also defined both on the folds below and above, making the paper appear ‘transparent’. So, we could consider whether the set of origami-constructible numbers would be altered from the construction of a new point or line by tracing another point or line onto the folded paper?

Another potential research study involves considering what would happen if cutting is permitted in origami mathematics? And whether this would result in the set of origami-constructible numbers being altered? Careful consideration would need to be taken regarding the definition of cutting; also, after cutting the paper, the types of folds that are permitted. For example, suppose the paper is cut along a line segment and it is not entirely split into two separate pieces of paper. One must then consider methods of folding the paper about the cut.

Moreover, we can also explore other types of field extensions derived from origami constructions but this time, beginning with something other than a unit distance and two points. For instance, we could consider what would happen if instead we begin with three points with a group of angles and/or distances between them?

Thus, it is evident that further extensions in origami can be explored.

References

[edit]

  1. ^ a b c d e f g h i j A. Baranov, Irreducible polynomials and squaring the circle, MA3101 lecture notes, University of Leicester, 2020.{{citation}}: CS1 maint: url-status (link)
  2. ^ a b c d e f g h i j k l m n o p q "Origami Constructible Numbers by Hwa Young Lee" (PDF).{{cite web}}: CS1 maint: url-status (link)
  3. ^ a b c d e f g h "Huzita–Hatori axioms", Wikipedia, 2020-04-14, retrieved 2020-04-16
  4. ^ "Common tangent line of two parabolas", Stack Exchange, 2018-05-06, retrieved 2020-04-16
  5. ^ a b Alperin, Roger. "Origami Constructions and Numbers" (PDF).{{cite web}}: CS1 maint: url-status (link)
  6. ^ "Squaring the circle wikipedia page".{{cite web}}: CS1 maint: url-status (link)