origami and constructible numberscourses.csail.mit.edu/6.885/fall07/lectures/l23_hull.pdf ·...

24
Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College [email protected]

Upload: phungkhue

Post on 20-Dec-2018

228 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami and Constructible Numbers

(and some other stuff)

Tom Hull, Merrimack [email protected]

Page 2: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Straightedge and Compass basic operations

Given two points P1 and P2, we can draw the line P1P2.

Given a point P and a line segment of length r, we can draw a circle centered at P with radius r.

We can locate intersection points, if they exist, between lines and circles.

Page 3: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

What are the Basic Operations of Origami?

Page 4: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

What are the Basic Operations of Origami?Given two points P1 and P2, we can fold the crease line P1P2.

Given two points P1 and P2, we can make a crease that puts P1 onto P2.

Given two lines L1 and L2, we can make a crease that puts L1 onto L2.

and so on.

Page 5: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

The craziest BOO

L1 L2

P1 P2

The most important move in origami (probably)

Page 6: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami angle trisection

L3 2θ 3

L1

θ

L1

L2

p1

p2

θ

Page 7: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami angle trisection

L3 2θ 3

L1

θ

L1

L2

p1

p2

θ

L1

L2 L3

O

A

B C

D

Proof:

credit: Hisashi Abe, 1980

Page 8: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami angle trisection

L1 L2

P1 P2

The deal is: this origami move is actuallysolving a cubic equation.

Page 9: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami angle trisection

L1 L2

P1 P2

The deal is: this origami move is actuallysolving a cubic equation.

(Finding a simultaneous tangentto two parabolas.)

Page 10: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationItalian mathematician Margherita Beloch proved this in the 1930s. Here’s her proof:

Consider the followingconstruction problem:Let A and B be two pointsand r and s two lines.We want to construct asquare that has A and B onopposite sides (or extensions)and has two adjacent vertices lying on the lines r and s.

A

B

r

sX

Y

Page 11: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationWe can make this square construction with origami. Let d1 be a line parallelto r, wheredist(A, r) = dist(r, d1).Let d2 be a line parallelto s, wheredist(B, s) = dist(s, d2).

Then fold A -> d1 andB -> d2 simultaneously. The crease gives thetop of the square (XY).

A

B

d1

d2

r

sX

Y

A’

B’

Page 12: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationWe can make this square construction with origami. Let d1 be a line parallelto r, wheredist(A, r) = dist(r, d1).Let d2 be a line parallelto s, wheredist(B, s) = dist(s, d2).

Then fold A -> d1 andB -> d2 simultaneously. The crease gives thetop of the square (XY).

A

B

d1

d2

r

sX

Y

A’

B’

Page 13: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationWhy is this like solving a cubic equation? Beloch realized that this is just an application of Lill’s method for finding real roots of apolynomial!

A

B

r

sX

YO

Page 14: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

a1

O

a0

T

a3

a4

a5

a2

θ

θ

θ

θ

Lill’s geometric method for finding real roots of any polynomial:anxn+an-1xn-1+...+a2x2+a1x+a0=0

Start at O, go an, turn 90°,go an-1, turn 90°, etc, ending at T.

(Lill, 1867)

Then shoot from O with an angle θ, bouncing off the walls at right angles, to hit T.Then x = -tan θ is a root.

Origami can solve any cubic equation

Page 15: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Why does Lill’s method work? PnQn-1 /an = tan θ = -xSo PnQn-1 = -anx

(Lill, 1867)

Origami can solve any cubic equation

a1

O

a0T

an-1

an

a2

θ

θ

θ

θ

P n

Q n-1

P n-1 Q n-2 an-2

P1

Page 16: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Why does Lill’s method work? PnQn-1 /an = tan θ = -xSo PnQn-1 = -anx

Pn-1Qn-2 /(an-1-PnQn-1) = -xSo Pn-1Qn-2 = -x(an-1 + anx)

(Lill, 1867)

Origami can solve any cubic equation

a1

O

a0T

an-1

an

a2

θ

θ

θ

θ

P n

Q n-1

P n-1 Q n-2 an-2

P1

Page 17: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Why does Lill’s method work? PnQn-1 /an = tan θ = -xSo PnQn-1 = -anx

Pn-1Qn-2 /(an-1-PnQn-1) = -xSo Pn-1Qn-2 = -x(an-1 + anx)Similarly,Pn-2Qn-3 = -x(an-2+x(an-1+anx))Continuing...

a0 = P1T = - a1x - a2x2 - ... - an-1xn-1 - anxn or, anxn + an-1xn-1 + ... + a2x2 + a1x + a0 = 0.

(Lill, 1867)

Origami can solve any cubic equation

a1

O

a0T

an-1

an

a2

θ

θ

θ

θ

P n

Q n-1

P n-1 Q n-2 an-2

P1

Page 18: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationWhy is this like solving a cubic equation?

Finding our “construction square” is the same as “shooting the turtle” inthe n=3 case!

O

Ta2

a1a0

a3

r

s

Page 19: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationLet’s find the roots of the cubic z3 - 7z - 6.

Page 20: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationLet’s find the roots of the cubic z3 - 7z - 6.

O

T

4 61 8-4

Page 21: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Origami can solve any cubic equationLet’s find the roots of the cubic z3 - 7z - 6.

O

T

4 61 8-4

D2

D1

Page 22: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

The Algebraic PerspectiveThe set of constructible numbers under SE&C is the smallest subfield of (complex #s) that is closed under square roots.or… is SE&C constructible if and only iffor some . In other words, is algebraic over and the degree if its minimal polynomial over is a power of .

! ! C

C

Q

[Q(!) : Q] = 2n

n ! 0 !2

Q

Page 23: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

The Algebraic PerspectiveThe set of constructible numbers under SE&C is the smallest subfield of (complex #s) that is closed under square roots.or… is SE&C constructible if and only iffor some . In other words, is algebraic over and the degree if its minimal polynomial over is a power of .

Origami version:Let be algebraic over , and let be the splitting field of the minimal polynomial of over . Then is origami constructible from our list of BOOs if and only if for some integers .

! ! C

C

Q

[Q(!) : Q] = 2n

n ! 0 !2

Q

! ! CQ

Q L ! Q!!

[L : Q] = 2a3b a, b ! 0

Page 24: Origami and Constructible Numberscourses.csail.mit.edu/6.885/fall07/lectures/L23_hull.pdf · Origami and Constructible Numbers (and some other stuff) Tom Hull, Merrimack College thull@merrimack.edu

Oh, but it’s worse than that...

Robert Lang’s angle quintisection.

Angle

QuintisectionDesigned by Robert J. Lang

Copyright ©2004.

All Rights Reserved.1. Start with a long strip 1 unit high and 5–6 units long. Angle EAB

is the angle to be quintisected. Make a vertical crease about 1/3 unit

from the right side.

2. Fold line FG down to lie along edge AB.

3. Fold point F over to point A.

4. Fold and unfold. 5. Squash-fold on

the existing

creases.

5. Make a horizontal fold aligned with point C. 6. Fold point C to point A and unfold, making

a second longer horizontal crease.

7. Mountain-fold corner D behind.

D

A

E

B

G

C

F

7. Here’s where it all happens. Fold edge AE down along

crease AJ. At the same time, fold the left flap up so that

point F touches crease HI at the same point that edge AE

does and point C touches crease AJ. You will have to adjust

both folds to make all the alignments happen at once.

D

A

E

B

G

C

F

H I

J

8. Here’s what it looks like folded. Yours may

not look exactly like this, depending on the angle

you used and the length of your strip. Unfold to

step 7.

D

A

I

J

E

9. Bisect angle EAJ.

D

A

E

B

G

C

F

I

J

K

10. Fold crease AK down to

AM and unfold.

D

A

E

B

G

C

F

I

J

K

L

M

11. Bisect angle LAM.

D

A

E

B

G

C

F

I

J

K

L

M

12. Angle EAM is now divided into fifths.

D

A

E

B

G

C

F

J

K

L

M

N

Angle quintisection is division of

an arbitrary angle into fifths. This

requires solution of an irreducible

quintic equation and thus is not

possible with the 7 Huzita-Hatori

axioms, each of which defines a

single fold by simultaneous

alignment of points and lines. By

permitting the simultaneous creation

of two or more folds that satisfy

various combinations of point/line

alignments, it is possible to solve

higher-order equations, as this

example illustrates.

Angle

QuintisectionDesigned by Robert J. Lang

Copyright ©2004.

All Rights Reserved.1. Start with a long strip 1 unit high and 5–6 units long. Angle EAB

is the angle to be quintisected. Make a vertical crease about 1/3 unit

from the right side.

2. Fold line FG down to lie along edge AB.

3. Fold point F over to point A.

4. Fold and unfold. 5. Squash-fold on

the existing

creases.

5. Make a horizontal fold aligned with point C. 6. Fold point C to point A and unfold, making

a second longer horizontal crease.

7. Mountain-fold corner D behind.

D

A

E

B

G

C

F

7. Here’s where it all happens. Fold edge AE down along

crease AJ. At the same time, fold the left flap up so that

point F touches crease HI at the same point that edge AE

does and point C touches crease AJ. You will have to adjust

both folds to make all the alignments happen at once.

D

A

E

B

G

C

F

H I

J

8. Here’s what it looks like folded. Yours may

not look exactly like this, depending on the angle

you used and the length of your strip. Unfold to

step 7.

D

A

I

J

E

9. Bisect angle EAJ.

D

A

E

B

G

C

F

I

J

K

10. Fold crease AK down to

AM and unfold.

D

A

E

B

G

C

F

I

J

K

L

M

11. Bisect angle LAM.

D

A

E

B

G

C

F

I

J

K

L

M

12. Angle EAM is now divided into fifths.

D

A

E

B

G

C

F

J

K

L

M

N

Angle quintisection is division of

an arbitrary angle into fifths. This

requires solution of an irreducible

quintic equation and thus is not

possible with the 7 Huzita-Hatori

axioms, each of which defines a

single fold by simultaneous

alignment of points and lines. By

permitting the simultaneous creation

of two or more folds that satisfy

various combinations of point/line

alignments, it is possible to solve

higher-order equations, as this

example illustrates.